×

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: de Alfaro, Luca; De Alfaro, Luca; Alfaro, Luca de; de Alfaro, L.
Documents Indexed: 51 Publications since 1995, including 4 Books

Publications by Year

Citations contained in zbMATH Open

42 Publications have been cited 453 times in 298 Documents Cited by Year
Model checking of probabilistic and nondeterministic systems. Zbl 1354.68167
Bianco, Andrea; de Alfaro, Luca
77
1995
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
29
2003
Interface theories for component-based design. Zbl 1050.68518
de Alfaro, Luca; Henzinger, Thomas A.
29
2001
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
26
2007
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
21
2005
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
19
2004
Computing minimum and maximum reachability times in probabilistic systems. Zbl 0949.93082
de Alfaro, Luca
18
1999
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
18
2008
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
14
2002
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
14
2003
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 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
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
10
2004
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
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
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
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
6
2013
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Quantitative verification and control via the mu-calculus. Zbl 1274.68209
de Alfaro, Luca
6
2003
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485
de Alfaro, Luca; Faella, Marco
5
2007
The control of synchronous systems. Zbl 0999.68531
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
4
2000
The control of synchronous systems. II. Zbl 1006.68534
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
4
2001
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
Game models for open systems. Zbl 1274.68208
de Alfaro, Luca
4
2003
From fairness to chance. Zbl 0920.68075
de Alfaro, Luca
3
1998
Detecting errors before reaching them. Zbl 0974.68550
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
3
2000
Model checking the World Wide Web. Zbl 0996.68517
de Alfaro, Luca
3
2001
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 probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
3
2018
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
2
2008
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Solving games via three-valued abstraction refinement. Zbl 1205.68225
de Alfaro, Luca; Roy, Pritam
2
2010
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
2
2013
Average reward timed games. Zbl 1175.68238
Adler, Bo Thomas; de Alfaro, Luca; Faella, Marco
2
2005
Termination criteria for solving concurrent safety and reachability games. Zbl 1425.91074
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
1
2009
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
3
2018
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
6
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
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
18
2008
Stochastic games with lossy channels. Zbl 1138.91336
Abdulla, Parosh Aziz; Ben Henda, Noomene; de Alfaro, Luca; Mayr, Richard; Sandberg, Sven
2
2008
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
26
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
5
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
21
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
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
19
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
14
2003
Quantitative verification and control via the mu-calculus. Zbl 1274.68209
de Alfaro, Luca
6
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.
29
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.
4
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
18
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
77
1995
all top 5

Cited by 490 Authors

26 Chatterjee, Krishnendu
21 Kwiatkowska, Marta Z.
15 Legay, Axel
14 Henzinger, Thomas A.
14 Norman, Gethin
11 Baier, Christel
11 Larsen, Kim Guldstrand
9 Fahrenberg, Uli
8 Doyen, Laurent
8 Sproston, Jeremy
7 de Alfaro, Luca
7 Faella, Marco
7 Katoen, Joost-Pieter
7 Raskin, Jean-François
7 Tini, Simone
6 Majumdar, Rupak
5 Cao, Yongzhi
5 Forejt, Vojtěch
5 Hennicker, Rolf
5 Kupferman, Orna
5 Loreti, Michele
5 van Breugel, Franck
5 Wąsowski, Andrzej
5 Zhang, Lijun
4 Bauer, Sebastian S.
4 Brázdil, Tomáš
4 Chmelík, Martin
4 De Nicola, Rocco
4 Gebler, Daniel E.
4 Ibsen-Jensen, Rasmus
4 Jamroga, Wojciech
4 Kucera, Antonin
4 Li, Yongming
4 Murano, Aniello
4 Pan, Haiyu
4 Pappas, George J.
4 Traonouez, Louis-Marie
4 Worrell, James B.
3 Abate, Alessandro
3 Alur, Rajeev
3 Andova, Suzana
3 Bernardo, Marco
3 Bertrand, Nathalie
3 Bruyère, Véronique
3 Černý, Pavol
3 D’Argenio, Pedro Rubén
3 David, Alexandre
3 Droste, Manfred
3 Georgievska, Sonja
3 Giro, Sergio
3 Grumberg, Orna
3 Hansen, Kristoffer Arnsfelt
3 Hermanns, Holger
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 Thrane, Claus R.
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 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 Girard, Antoine
2 Gupta, Vineet
2 Hahn, Ernst Moritz
2 He, Fei
2 Horn, Florian
2 Jagadeesan, Radha
2 Jansen, David N.
2 Jobstmann, Barbara
...and 390 more Authors
all top 5

Cited in 44 Serials

61 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
4 Information Processing Letters
4 Science of Computer Programming
4 The Journal of Logic and Algebraic Programming
4 Logical Methods in Computer Science
3 International Journal of Approximate Reasoning
3 MSCS. Mathematical Structures in Computer Science
3 Theory of Computing Systems
3 Journal of the ACM
2 Artificial Intelligence
2 Automatica
2 Fuzzy Sets and Systems
2 European Journal of Control
2 Fundamenta Informaticae
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