×

zbMATH — the first resource for mathematics

de Alfaro, Luca

Compute Distance To:
Author ID: de-alfaro.luca Recent zbMATH articles by "de Alfaro, Luca"
Published as: Alfaro, Luca de; De Alfaro, Luca; de Alfaro, L.; de Alfaro, Luca
Documents Indexed: 51 Publications since 1995, including 4 Books

Publications by Year

Citations contained in zbMATH

44 Publications have been cited 468 times in 302 Documents Cited by Year
Model checking of probabilistic and nondeterministic systems. Zbl 1354.68167
Bianco, Andrea; de Alfaro, Luca
78
1995
Interface theories for component-based design. Zbl 1050.68518
de Alfaro, Luca; Henzinger, Thomas A.
32
2001
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
29
2003
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
27
2007
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
23
2004
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
20
2005
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
19
2008
Computing minimum and maximum reachability times in probabilistic systems. Zbl 0949.93082
de Alfaro, Luca
19
1999
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
16
2003
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
14
2002
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
13
2005
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
13
2000
Sociable interfaces. Zbl 1171.68837
de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria
11
2005
Magnifying-lens abstraction for Markov decision processes. Zbl 1135.68486
de Alfaro, Luca; Roy, Pritam
10
2007
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2006
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
10
2004
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
9
2001
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
8
2002
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Quantitative verification and control via the mu-calculus. Zbl 1274.68209
de Alfaro, Luca
7
2003
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
The control of synchronous systems. II. Zbl 1006.68534
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
5
2001
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485
de Alfaro, Luca; Faella, Marco
4
2007
Game models for open systems. Zbl 1274.68208
de Alfaro, Luca
4
2003
The control of synchronous systems. Zbl 0999.68531
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
4
2000
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
Model checking the World Wide Web. Zbl 0996.68517
de Alfaro, Luca
3
2001
Detecting errors before reaching them. Zbl 0974.68550
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
3
2000
From fairness to chance. Zbl 0920.68075
de Alfaro, Luca
3
1998
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
2
2018
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
2
2013
Solving games via three-valued abstraction refinement. Zbl 1205.68225
de Alfaro, Luca; Roy, Pritam
2
2010
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
2
2008
Average reward timed games. Zbl 1175.68238
Adler, Bo Thomas; de Alfaro, Luca; Faella, Marco
2
2005
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
The complexity of coverage. Zbl 1286.68310
Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak
1
2013
Termination criteria for solving concurrent safety and reachability games. Zbl 1425.91074
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
1
2009
Proceedings of the workshop on games in design and verification (GDV 2004), Boston, MA, USA, June 18, 2004. Zbl 1271.68061
de Alfaro, L. (ed.)
1
2005
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
2
2018
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
2
2013
The complexity of coverage. Zbl 1286.68310
Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak
1
2013
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
Solving games via three-valued abstraction refinement. Zbl 1205.68225
de Alfaro, Luca; Roy, Pritam
2
2010
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Termination criteria for solving concurrent safety and reachability games. Zbl 1425.91074
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
1
2009
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
19
2008
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
2
2008
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
27
2007
Magnifying-lens abstraction for Markov decision processes. Zbl 1135.68486
de Alfaro, Luca; Roy, Pritam
10
2007
An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485
de Alfaro, Luca; Faella, Marco
4
2007
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2006
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
20
2005
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
13
2005
Sociable interfaces. Zbl 1171.68837
de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria
11
2005
Average reward timed games. Zbl 1175.68238
Adler, Bo Thomas; de Alfaro, Luca; Faella, Marco
2
2005
Proceedings of the workshop on games in design and verification (GDV 2004), Boston, MA, USA, June 18, 2004. Zbl 1271.68061
de Alfaro, L. (ed.)
1
2005
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
23
2004
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
10
2004
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
29
2003
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
16
2003
Quantitative verification and control via the mu-calculus. Zbl 1274.68209
de Alfaro, Luca
7
2003
Game models for open systems. Zbl 1274.68208
de Alfaro, Luca
4
2003
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
14
2002
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
8
2002
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Interface theories for component-based design. Zbl 1050.68518
de Alfaro, Luca; Henzinger, Thomas A.
32
2001
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
9
2001
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
The control of synchronous systems. II. Zbl 1006.68534
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
5
2001
Model checking the World Wide Web. Zbl 0996.68517
de Alfaro, Luca
3
2001
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
13
2000
The control of synchronous systems. Zbl 0999.68531
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
4
2000
Detecting errors before reaching them. Zbl 0974.68550
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
3
2000
Computing minimum and maximum reachability times in probabilistic systems. Zbl 0949.93082
de Alfaro, Luca
19
1999
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
From fairness to chance. Zbl 0920.68075
de Alfaro, Luca
3
1998
Model checking of probabilistic and nondeterministic systems. Zbl 1354.68167
Bianco, Andrea; de Alfaro, Luca
78
1995
all top 5

Cited by 513 Authors

26 Chatterjee, Krishnendu
22 Kwiatkowska, Marta Z.
15 Legay, Axel
14 Henzinger, Thomas A.
14 Larsen, Kim Guldstrand
14 Norman, Gethin
11 Baier, Christel
10 Fahrenberg, Uli
9 Parker, David F.
8 Doyen, Laurent
8 Sproston, Jeremy
7 de Alfaro, Luca
7 Faella, Marco
7 Katoen, Joost-Pieter
7 Tini, Simone
6 Majumdar, Rupak
6 Raskin, Jean-François
5 Cao, Yongzhi
5 Forejt, Vojtěch
5 Hennicker, Rolf
5 Kupferman, Orna
5 Loreti, Michele
5 Pappas, George J.
5 van Breugel, Franck
5 Wąsowski, Andrzej
5 Zhang, Lijun
4 Bauer, Sebastian S.
4 Bertrand, Nathalie
4 Brázdil, Tomáš
4 Chmelík, Martin
4 De Nicola, Rocco
4 Gebler, Daniel E.
4 Ibsen-Jensen, Rasmus
4 Kucera, Antonin
4 Li, Yongming
4 Murano, Aniello
4 Pan, Haiyu
4 Thrane, Claus R.
4 Traonouez, Louis-Marie
4 Worrell, James B.
3 Abate, Alessandro
3 Alur, Rajeev
3 Andova, Suzana
3 Bernardo, Marco
3 Černý, Pavol
3 D’Argenio, Pedro Rubén
3 David, Alexandre
3 Droste, Manfred
3 Georgievska, Sonja
3 Girard, Antoine
3 Giro, Sergio
3 Grumberg, Orna
3 Hansen, Kristoffer Arnsfelt
3 Hermanns, Holger
3 Jamroga, Wojciech
3 Klüppelholz, Sascha
3 Lanotte, Ruggero
3 Mardare, Radu
3 Palamidessi, Catuscia
3 Pinchinat, Sophie
3 Radhakrishna, Arjun
3 Rahonis, George
3 Randour, Mickael
3 Schewe, Sven
3 Segala, Roberto
3 Shoham, Sharon
3 Stoelinga, Mariëlle
3 van de Pol, Jan Cornelis
3 Veanes, Margus
3 Viswanathan, Mahesh
3 Wirsing, Martin
2 Arbab, Farhad
2 Avni, Guy
2 Bacci, Giorgio
2 Bacci, Giovanni
2 Barbosa, Luís Soares
2 Bouyer, Patricia
2 Bro Miltersen, Peter
2 Brožek, Václav
2 Bruyère, Véronique
2 Caillaud, Benoît
2 Castiglioni, Valentina
2 Černá, Ivana
2 Chen, Taolue
2 Clarke, Edmund Melson jun.
2 Delahaye, Benoît
2 Desharnais, Josée
2 Di Benedetto, Maria Domenica
2 D’Innocenzo, Alessandro
2 Dubslaff, Clemens
2 Dullerud, Geir E.
2 Ferrer Fioriti, Luis María
2 Fischer, Diana
2 Gimbert, Hugo
2 Gupta, Vineet
2 Hahn, Ernst Moritz
2 He, Fei
2 Horn, Florian
2 Jagadeesan, Radha
2 Jansen, David N.
...and 413 more Authors
all top 5

Cited in 43 Serials

65 Theoretical Computer Science
23 Formal Methods in System Design
22 Information and Computation
13 Acta Informatica
10 Journal of Computer and System Sciences
10 Formal Aspects of Computing
5 Discrete Event Dynamic Systems
5 The Journal of Logic and Algebraic Programming
4 Information Processing Letters
4 Science of Computer Programming
4 Logical Methods in Computer Science
3 International Journal of Approximate Reasoning
3 MSCS. Mathematical Structures in Computer Science
3 European Journal of Control
3 Theory of Computing Systems
3 Journal of the ACM
2 Artificial Intelligence
2 Automatica
2 Fuzzy Sets and Systems
2 ACM Transactions on Computational Logic
2 Nonlinear Analysis. Hybrid Systems
2 Frontiers of Computer Science
1 International Journal of Control
1 Applied Mathematics and Computation
1 Systems & Control Letters
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Real-Time Systems
1 Journal of Statistical Computation and Simulation
1 Distributed Computing
1 Cybernetics and Systems Analysis
1 Journal of Logic, Language and Information
1 Applied Categorical Structures
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 Soft Computing
1 Computer Languages, Systems & Structures
1 Quantum Information Processing
1 Journal of Applied Logic
1 Science China. Technological Sciences
1 Dynamic Games and Applications
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year