×

zbMATH — the first resource for mathematics

Bozzelli, Laura

Compute Distance To:
Author ID: bozzelli.laura Recent zbMATH articles by "Bozzelli, Laura"
Published as: Bozzelli, Laura
Documents Indexed: 54 Publications since 2005

Publications by Year

Citations contained in zbMATH

34 Publications have been cited 115 times in 82 Documents Cited by Year
Decision problems for lower/upper bound parametric timed automata. Zbl 1186.68245
Bozzelli, Laura; La Torre, Salvatore
14
2009
Alternating automata and a temporal fixpoint calculus for visibly pushdown languages. Zbl 1151.68458
Bozzelli, Laura
10
2007
Interval vs. point temporal logic model checking: an expressiveness comparison. Zbl 1391.68075
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
6
2016
Refinement modal logic. Zbl 1309.68175
Bozzelli, Laura; van Ditmarsch, Hans; French, Tim; Hales, James; Pinchinat, Sophie
6
2014
Pushdown module checking. Zbl 1209.68312
Bozzelli, Laura; Murano, Aniello; Peron, Adriano
6
2010
Branching-time temporal logic extended with qualitative Presburger constraints. Zbl 1165.03324
Bozzelli, Laura; Gascon, Régis
6
2006
Interval temporal logic model checking: the border between good and bad HS fragments. Zbl 06623275
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
5
2016
The complexity of CTL\(^*\) + linear past. Zbl 1139.68037
Bozzelli, Laura
5
2008
Complexity results on branching-time pushdown model checking. Zbl 1121.68073
Bozzelli, Laura
5
2007
Pushdown module checking. Zbl 1143.68446
Bozzelli, Laura; Murano, Aniello; Peron, Adriano
5
2005
On decidability of LTL model checking for process rewrite systems. Zbl 1172.68038
Bozzelli, Laura; Křetínský, Mojmír; Řehák, Vojtěch; Strejček, Jan
4
2009
Complexity results on branching-time pushdown model checking. Zbl 1176.68114
Bozzelli, Laura
4
2006
Uniform strategies, rational relations and jumping automata. Zbl 1319.68140
Bozzelli, Laura; Maubert, Bastien; Pinchinat, Sophie
3
2015
Visibly rational expressions. Zbl 1354.68148
Bozzelli, Laura; Sánchez, César
3
2014
Verification of gap-order constraint abstractions of counter systems. Zbl 1325.68141
Bozzelli, Laura; Pinchinat, Sophie
3
2012
Complexity and succinctness issues for linear-time hybrid logics. Zbl 1178.03029
Bozzelli, Laura; Lanotte, Ruggero
3
2008
On the complexity of temporal equilibrium logic. Zbl 1394.68223
Bozzelli, Laura; Pearce, David
2
2015
Visibly linear temporal logic. Zbl 1423.68274
Bozzelli, Laura; Sánchez, César
2
2014
Verification of gap-order constraint abstractions of counter systems. Zbl 1358.68182
Bozzelli, Laura; Pinchinat, Sophie
2
2014
The complexity of one-agent refinement modal logic. Zbl 1361.68107
Bozzelli, Laura; van Ditmarsch, Hans; Pinchinat, Sophie
2
2012
CaRet with forgettable past. Zbl 1347.68219
Bozzelli, Laura
2
2009
On decidability of LTL model checking for process rewrite systems. Zbl 1177.68143
Bozzelli, Laura; Křetínský, Mojmír; Řehák, Vojtěch; Strejček, Jan
2
2006
Controller synthesis for MTL specifications. Zbl 1151.68471
Bouyer, Patricia; Bozzelli, Laura; Chevalier, Fabrice
2
2006
Verification of well-formed communicating recursive state machines. Zbl 1176.68115
Bozzelli, Laura; La Torre, Salvatore; Peron, Adriano
2
2006
Model checking for process rewrite systems and a class of action-based regular properties. Zbl 1097.68570
Bozzelli, Laura
2
2005
Visibly linear temporal logic. Zbl 1425.68182
Bozzelli, Laura; Sánchez, César
1
2018
An in-depth investigation of interval temporal logic model checking with regular expressions. Zbl 1420.68120
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2017
On the expressiveness of temporal equilibrium logic. Zbl 06658159
Bozzelli, Laura; Pearce, David
1
2016
Foundations of Boolean stream runtime verification. Zbl 1339.68165
Bozzelli, Laura; Sánchez, César
1
2016
The complexity of one-agent refinement modal logic. Zbl 1347.03041
Bozzelli, Laura; van Ditmarsch, Hans; Pinchinat, Sophie
1
2015
Visibly rational expressions. Zbl 1354.68149
Bozzelli, Laura; Sánchez, César
1
2012
Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159
Bozzelli, Laura; Ganty, Pierre
1
2011
Hybrid and first-order complete extensions of CaRet. Zbl 1333.03005
Bozzelli, Laura; Lanotte, Ruggero
1
2011
Verification of well-formed communicating recursive state machines. Zbl 1154.68078
Bozzelli, Laura; La Torre, Salvatore; Peron, Adriano
1
2008
Visibly linear temporal logic. Zbl 1425.68182
Bozzelli, Laura; Sánchez, César
1
2018
An in-depth investigation of interval temporal logic model checking with regular expressions. Zbl 1420.68120
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
1
2017
Interval vs. point temporal logic model checking: an expressiveness comparison. Zbl 1391.68075
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
6
2016
Interval temporal logic model checking: the border between good and bad HS fragments. Zbl 06623275
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
5
2016
On the expressiveness of temporal equilibrium logic. Zbl 06658159
Bozzelli, Laura; Pearce, David
1
2016
Foundations of Boolean stream runtime verification. Zbl 1339.68165
Bozzelli, Laura; Sánchez, César
1
2016
Uniform strategies, rational relations and jumping automata. Zbl 1319.68140
Bozzelli, Laura; Maubert, Bastien; Pinchinat, Sophie
3
2015
On the complexity of temporal equilibrium logic. Zbl 1394.68223
Bozzelli, Laura; Pearce, David
2
2015
The complexity of one-agent refinement modal logic. Zbl 1347.03041
Bozzelli, Laura; van Ditmarsch, Hans; Pinchinat, Sophie
1
2015
Refinement modal logic. Zbl 1309.68175
Bozzelli, Laura; van Ditmarsch, Hans; French, Tim; Hales, James; Pinchinat, Sophie
6
2014
Visibly rational expressions. Zbl 1354.68148
Bozzelli, Laura; Sánchez, César
3
2014
Visibly linear temporal logic. Zbl 1423.68274
Bozzelli, Laura; Sánchez, César
2
2014
Verification of gap-order constraint abstractions of counter systems. Zbl 1358.68182
Bozzelli, Laura; Pinchinat, Sophie
2
2014
Verification of gap-order constraint abstractions of counter systems. Zbl 1325.68141
Bozzelli, Laura; Pinchinat, Sophie
3
2012
The complexity of one-agent refinement modal logic. Zbl 1361.68107
Bozzelli, Laura; van Ditmarsch, Hans; Pinchinat, Sophie
2
2012
Visibly rational expressions. Zbl 1354.68149
Bozzelli, Laura; Sánchez, César
1
2012
Complexity analysis of the backward coverability algorithm for VASS. Zbl 1348.68159
Bozzelli, Laura; Ganty, Pierre
1
2011
Hybrid and first-order complete extensions of CaRet. Zbl 1333.03005
Bozzelli, Laura; Lanotte, Ruggero
1
2011
Pushdown module checking. Zbl 1209.68312
Bozzelli, Laura; Murano, Aniello; Peron, Adriano
6
2010
Decision problems for lower/upper bound parametric timed automata. Zbl 1186.68245
Bozzelli, Laura; La Torre, Salvatore
14
2009
On decidability of LTL model checking for process rewrite systems. Zbl 1172.68038
Bozzelli, Laura; Křetínský, Mojmír; Řehák, Vojtěch; Strejček, Jan
4
2009
CaRet with forgettable past. Zbl 1347.68219
Bozzelli, Laura
2
2009
The complexity of CTL\(^*\) + linear past. Zbl 1139.68037
Bozzelli, Laura
5
2008
Complexity and succinctness issues for linear-time hybrid logics. Zbl 1178.03029
Bozzelli, Laura; Lanotte, Ruggero
3
2008
Verification of well-formed communicating recursive state machines. Zbl 1154.68078
Bozzelli, Laura; La Torre, Salvatore; Peron, Adriano
1
2008
Alternating automata and a temporal fixpoint calculus for visibly pushdown languages. Zbl 1151.68458
Bozzelli, Laura
10
2007
Complexity results on branching-time pushdown model checking. Zbl 1121.68073
Bozzelli, Laura
5
2007
Branching-time temporal logic extended with qualitative Presburger constraints. Zbl 1165.03324
Bozzelli, Laura; Gascon, Régis
6
2006
Complexity results on branching-time pushdown model checking. Zbl 1176.68114
Bozzelli, Laura
4
2006
On decidability of LTL model checking for process rewrite systems. Zbl 1177.68143
Bozzelli, Laura; Křetínský, Mojmír; Řehák, Vojtěch; Strejček, Jan
2
2006
Controller synthesis for MTL specifications. Zbl 1151.68471
Bouyer, Patricia; Bozzelli, Laura; Chevalier, Fabrice
2
2006
Verification of well-formed communicating recursive state machines. Zbl 1176.68115
Bozzelli, Laura; La Torre, Salvatore; Peron, Adriano
2
2006
Pushdown module checking. Zbl 1143.68446
Bozzelli, Laura; Murano, Aniello; Peron, Adriano
5
2005
Model checking for process rewrite systems and a class of action-based regular properties. Zbl 1097.68570
Bozzelli, Laura
2
2005
all top 5

Cited by 131 Authors

16 Bozzelli, Laura
7 Murano, Aniello
7 Peron, Adriano
7 van Ditmarsch, Hans Pieter
6 Montanari, Angelo
5 Molinari, Alberto
5 Pinchinat, Sophie
4 André, Étienne
4 Brázdil, Tomáš
4 Sala, Pietro
4 Weber, Volker
3 Beneš, Nikola
3 Bezděk, Peter
3 Křetínský, Mojmír
3 Kucera, Antonin
3 Kuijer, Louwe Bouke
3 Kupferman, Orna
3 La Torre, Salvatore
3 Lime, Didier
3 Řehák, Vojtěch
3 Song, Fu
3 Sorrentino, Loredana
3 Strejček, Jan
3 Touili, Tayssir
3 van der Hoek, Wiebe
2 Barnat, Jiří
2 Ben-Amram, Amir M.
2 Brožek, Václav
2 Carapelle, Claudia
2 Černá, Ivana
2 Demri, Stéphane P.
2 Diéguez, Martín
2 Forejt, Vojtěch
2 French, Tim
2 Genaim, Samir
2 Gutierrez, Julian
2 Jovanović, Aleksandra Ž.
2 Kartzow, Alexander
2 Kooi, Barteld Pieter
2 Larsen, Kim Guldstrand
2 Lin, Anthony Widjaja
2 Lohrey, Markus
2 Meier, Arne
2 Mundhenk, Martin
2 Napoli, Margherita
2 Parente, Mimmo
2 Perelli, Giuseppe
2 Roux, Olivier H.
2 Sánchez, César
2 Schneider, Thomas
2 Thomas, Michael D.
2 Vardi, Moshe Y.
2 Weinert, Alexander
2 Weiss, Felix
2 Zimmermann, Martín G.
1 Ågotnes, Thomas
1 Aguado, Felicidad
1 Alliot, Jean-Marc
1 Aminof, Benjamin
1 Arenas, Marcelo
1 Azgomi, Mohammad Abdollahi
1 Barceló, Pablo
1 Bartocci, Ezio
1 Bertrand, Nathalie
1 Bolander, Thomas
1 Bresolin, Davide
1 Bulychev, Peter E.
1 Cabalar, Pedro
1 Carotenuto, Dario
1 Charrier, Tristan
1 Chatterjee, Krishnendu
1 David, Alexandre
1 David, Nicolas
1 Delahaye, Benoît
1 Della Monica, Dario
1 Di Giampaolo, Barbara
1 Dingel, Juergen
1 Dong, JinSong
1 Doyen, Laurent
1 D’Souza, Deepak
1 Esparza, Javier
1 Faella, Marco
1 Fan, Jie
1 Fariñas del Cerro, Luis
1 Feng, Shiguang
1 Fontaine, Gaëlle
1 Fournier, Paulin
1 Gascon, Régis
1 Geeraerts, Gilles
1 Göller, Stefan
1 Guelev, Dimitar P.
1 Hague, Matthew
1 Hales, James
1 Jard, Claude
1 Kiefer, Stefan
1 Klaedtke, Felix
1 Konur, Savas
1 Kwiatkowska, Marta Z.
1 Lange, Martin
1 Lanotte, Ruggero
...and 31 more Authors

Citations by Year