Linear and Branching System Metrics
de Alfaro, L., Faella, M., Stoelinga, M.
Published in IEEE transactions on software engineering (01.03.2009)
Published in IEEE transactions on software engineering (01.03.2009)
Get full text
Journal Article
jMocha: a model checking tool that exploits design structure
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)
Published in Proceedings / International Conference on Software Engineering (2001)
Get full text
Conference Proceeding
Journal Article
Concurrent omega-regular games
de Alfaro, L., Henzinger, T.A.
Published in Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) (2000)
Published in Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) (2000)
Get full text
Conference Proceeding
Model checking discounted temporal properties
de Alfaro, Luca, Faella, Marco, Henzinger, Thomas A., Majumdar, Rupak, Stoelinga, Mariëlle
Published in Theoretical computer science (21.11.2005)
Published in Theoretical computer science (21.11.2005)
Get full text
Journal Article
Conference Proceeding
Trading memory for randomness
Chatterjee, K., de Alfaro, L., Henzinger, T.A.
Published in First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings (2004)
Published in First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings (2004)
Get full text
Conference Proceeding
Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces]
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)
Published in IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002 (2002)
Get full text
Conference Proceeding
The Complexity of Stochastic Rabin and Streett Games
Chatterjee, Krishnendu, de Alfaro, Luca, Henzinger, Thomas A.
Published in Automata, Languages and Programming (2005)
Published in Automata, Languages and Programming (2005)
Get full text
Book Chapter
Conference Proceeding
Sociable Interfaces
de Alfaro, Luca, da Silva, Leandro Dias, Faella, Marco, Legay, Axel, Roy, Pritam, Sorea, Maria
Published in Frontiers of Combining Systems (2005)
Published in Frontiers of Combining Systems (2005)
Get full text
Book Chapter
Conference Proceeding
Concurrent reachability games
de Alfaro, L., Henzinger, T.A., Kupferman, O.
Published in Annual Symposium on Foundations of Computer Science (1998)
Published in Annual Symposium on Foundations of Computer Science (1998)
Get full text
Conference Proceeding
Journal Article
EVALUACIÓN PRELIMINAR DE BIOMARCADORES ENZIMÁTICOS EN CARACOLES DE AGUA DULCE (Pachychilus sp.) DEL HUMEDAL "CIÉNAGA DE TAMASOPO", MÉXICO
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)
Published in Acta biológica colombiana (01.08.2020)
Get full text
Journal Article
Average Reward Timed Games
Adler, Bo Thomas, de Alfaro, Luca, Faella, Marco
Published in Formal Modeling and Analysis of Timed Systems (2005)
Published in Formal Modeling and Analysis of Timed Systems (2005)
Get full text
Book Chapter
Conference Proceeding
Accumulation and Distribution of Heavy Metals in Scirpus americanus and Typha latifolia from an Artificial Lagoon in San Luis Potosí, México
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)
Published in Water, air, and soil pollution (01.02.2008)
Get full text
Journal Article
JMOCHA:a model checking tool that exploits design structure
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)
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)
Get full text
Conference Proceeding