×

zbMATH — the first resource for mathematics

Faella, Marco

Compute Distance To:
Author ID: faella.marco Recent zbMATH articles by "Faella, Marco"
Published as: Faella, M.; Faella, Marco
Documents Indexed: 32 Publications since 2002, including 1 Book

Publications by Year

Citations contained in zbMATH

20 Publications have been cited 126 times in 107 Documents Cited by Year
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
23
2004
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
20
2005
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
Defeasible inclusions in low-complexity DLs. Zbl 1247.68265
Bonatti, P. A.; Faella, M.; Sauro, L.
13
2011
Sociable interfaces. Zbl 1171.68837
de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria
11
2005
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Automatic synthesis of switching controllers for linear hybrid systems: safety control. Zbl 1294.93041
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
5
2013
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485
de Alfaro, Luca; Faella, Marco
4
2007
Automata-theoretic decision of timed games. Zbl 1057.68057
Faella, Marco; La Torre, Salvatore; Murano, Aniello
4
2002
Graded alternating-time temporal logic. Zbl 1209.68316
Faella, Marco; Napoli, Margherita; Parente, Mimmo
3
2010
Admissible strategies in infinite games over graphs. Zbl 1250.68187
Faella, Marco
3
2009
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
2
2015
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Average reward timed games. Zbl 1175.68238
Adler, Bo Thomas; de Alfaro, Luca; Faella, Marco
2
2005
Tracking differentiable trajectories across polyhedra boundaries. Zbl 1361.68115
Benerecetti, Massimo; Faella, Marco
1
2013
Reachability games for linear hybrid systems. Zbl 1361.68116
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
1
2012
Exploring the boundary of half-positionality. Zbl 1235.05093
Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
1
2011
Balanced paths in colored graphs. Zbl 1250.05061
Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
1
2009
Decidability of circumscribed description logics revisited. Zbl 1432.68428
Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank
2
2015
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Automatic synthesis of switching controllers for linear hybrid systems: safety control. Zbl 1294.93041
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
5
2013
Tracking differentiable trajectories across polyhedra boundaries. Zbl 1361.68115
Benerecetti, Massimo; Faella, Marco
1
2013
Reachability games for linear hybrid systems. Zbl 1361.68116
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
1
2012
Defeasible inclusions in low-complexity DLs. Zbl 1247.68265
Bonatti, P. A.; Faella, M.; Sauro, L.
13
2011
Exploring the boundary of half-positionality. Zbl 1235.05093
Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
1
2011
Graded alternating-time temporal logic. Zbl 1209.68316
Faella, Marco; Napoli, Margherita; Parente, Mimmo
3
2010
Admissible strategies in infinite games over graphs. Zbl 1250.68187
Faella, Marco
3
2009
Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016
de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel
2
2009
Balanced paths in colored graphs. Zbl 1250.05061
Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
1
2009
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485
de Alfaro, Luca; Faella, Marco
4
2007
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
20
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
23
2004
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
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
Automata-theoretic decision of timed games. Zbl 1057.68057
Faella, Marco; La Torre, Salvatore; Murano, Aniello
4
2002
all top 5

Cited by 189 Authors

11 Chatterjee, Krishnendu
11 Legay, Axel
10 Larsen, Kim Guldstrand
8 Faella, Marco
7 Fahrenberg, Uli
6 Murano, Aniello
6 Pappas, George J.
5 Wąsowski, Andrzej
4 Cao, Yongzhi
4 Henzinger, Thomas A.
4 Kupferman, Orna
4 Li, Yongming
4 Pan, Haiyu
3 Bloem, Roderick
3 David, Alexandre
3 Doyen, Laurent
3 Giordano, Laura
3 Girard, Antoine
3 La Torre, Salvatore
3 Malvone, Vadim
3 Raskin, Jean-François
3 Tini, Simone
3 Traonouez, Louis-Marie
3 Varzinczak, Ivan Jóse
2 Aminof, Benjamin
2 Bauer, Sebastian S.
2 Beierle, Christoph
2 Benerecetti, Massimo
2 Bonatti, Piero Andrea
2 Britz, Katarina
2 Caillaud, Benoît
2 Chmelík, Martin
2 de Alfaro, Luca
2 Delahaye, Benoît
2 Fischer, Diana
2 Hennicker, Rolf
2 Jamroga, Wojciech
2 Joglekar, Manas R.
2 Julius, A. Agung
2 Kaiser, Lukasz
2 Kern-Isberner, Gabriele
2 Könighofer, Robert
2 Kulkarni, Sandeep S.
2 Lutz, Carsten
2 Ma, Zhanyou
2 Majumdar, Rupak
2 Mogavero, Fabio
2 Napoli, Margherita
2 Nyman, Ulrik
2 Rauch Henzinger, Monika
2 Rubin, Sasha
2 Sauro, Luigi
2 Shah, Nisarg
2 Sproston, Jeremy
2 Stoelinga, Mariëlle
2 Theseider Dupré, Daniele
2 Thrane, Claus R.
2 van Breugel, Franck
2 Vogler, Walter
2 Wirsing, Martin
2 Wolter, Frank
2 Worrell, James B.
2 Zhang, Jinjin
2 Zhu, Zhaohui
1 Abdulla, Parosh Aziz
1 Almagor, Shaull
1 Alshiekh, Mohammed
1 Avni, Guy
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Bakera, Marco
1 Batt, Grégory
1 Becchi, Anna
1 Bianco, Alessandro
1 Boker, Udi
1 Bonakdarpour, Borzoo
1 Botoeva, Elena
1 Bourke, Timothy
1 Bouyer, Patricia
1 Bozzato, Loris
1 Bozzelli, Laura
1 Brenguier, Romain
1 Bresolin, Davide
1 Bujtor, Ferenc
1 Bulychev, Peter E.
1 Capiluppi, Marta
1 Carter, Rebekah
1 Casini, Giovanni
1 Chatain, Thomas
1 Chen, Jingshu
1 Chen, Yixiang
1 Ciobanu, Radu Ioan
1 Daca, Przemysław
1 Di Benedetto, Maria Domenica
1 Di Giampaolo, Barbara
1 Di Stasio, Antonio
1 Dingel, Juergen
1 D’Innocenzo, Alessandro
1 Dixon, Clare
1 Edelkamp, Stefan
...and 89 more Authors

Citations by Year