by de Alfaro, L., Faella, M., Stoelinga, M.
Published in IEEE transactions on software engineering (01.03.2009)

by Alur, R., de Alfaro, L., Grosu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F., Wang, B.Y.
Published in Proceedings / International Conference on Software Engineering (2001)

by de Alfaro, L., Godefroid, P., Jagadeesan, R.
Published in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004 (2004)

by de Alfaro, L.
Published in Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226) (1998)

by de Alfaro, L., Henzinger, T.A.
Published in Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) (2000)

by de Alfaro, L., Henzinger, T.A., Majumdar, R.
Published in Proceedings 16th Annual IEEE Symposium on Logic in Computer Science (2001)

by de Alfaro, Luca, Majumdar, Rupak
Published in Journal of computer and system sciences (01.03.2004)

by de Alfaro, Luca, Faella, Marco, Henzinger, Thomas A., Majumdar, Rupak, Stoelinga, Mariëlle
Published in Theoretical computer science (21.11.2005)

by Chatterjee, K., de Alfaro, L., Henzinger, T.A.
Published in First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings (2004)

by Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.
Published in IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002 (2002)

by Chatterjee, Krishnendu, de Alfaro, Luca, Henzinger, Thomas A.
Published in Automata, Languages and Programming (2005)

by de Alfaro, Luca, da Silva, Leandro Dias, Faella, Marco, Legay, Axel, Roy, Pritam, Sorea, Maria
Published in Frontiers of Combining Systems (2005)

by de Alfaro, L., Henzinger, T.A., Kupferman, O.
Published in Annual Symposium on Foundations of Computer Science (1998)

by CRUZ-SANTIAGO, Omar, ILIZALITURRI-HERNÁNDEZ, César Arturo, MEJÍA-SAAVEDRA, José de Jesús, ESPINOSA-REYES, Guillermo, ALFARO-DE LA TORRE, Ma. Catalina, GONZÁLEZ-MILLE, Donaji Josefina
Published in Acta biológica colombiana (01.08.2020)

by Adler, Bo Thomas, de Alfaro, Luca, Faella, Marco
Published in Formal Modeling and Analysis of Timed Systems (2005)

by de Alfaro, L., Meo, A.R.
Published in IEEE transactions on communications (01.02.1994)

by de Alfaro, Luca, Kapur, Arjun
Published in Theoretical computer science (2003)

by Bernardo, Garcia-Reyes Refugio, Rene, Rangel-Mendez Jose, Ma. Catalina, Alfaro-De la Torre
Published in Journal of hazardous materials (30.10.2009)

by Carranza-Álvarez, Candy, Alonso-Castro, Angel Josabad, Alfaro-De La Torre, María Catalina, García-De La Cruz, Ramón Fernando
Published in Water, air, and soil pollution (01.02.2008)

by Alur, R, de Alfaro, L, Grosu, R, Henzinger, T A, Kang, M, Kirsch, C M, Majumdar, R, Mang, F, Wang, B Y
Published in International Conference on Software Engineering: Proceedings of the 23rd International Conference on Software Engineering : Toronto, Ontario, Canada; 12-19 May 2001 (12.05.2001)