BOZZELLI, LAURA
BOZZELLI, LAURA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Verification of well-formed Communicating Recursive State Machines
2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
Verification of Well-Formed Communicating Recursive State Machines
2006 Bozzelli, A.; LA TORRE S, S.; Peron, Adriano
Pushdown Module Checking
2005 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Pushdown Module Checking
2010 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, P. i. e. t. r. o.
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Hierarchical cost-parity games
2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
On the complexity of ATL and ATL* module checking
2017 Bozzelli, Laura; Murano, Aniello
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Timed context-free temporal logics
2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground
2018 Bozzelli, Laura; Peron, Adriano; Molinari, Alberto; Montanari, Angelo
Event-Clock Nested Automata
2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete
2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Which fragments of the interval temporal logic HS are tractable in model checking?
2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. point temporal logic model checking: An expressiveness comparison
2019 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions
2017 Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo
Interval temporal logic model checking based on track bisimilarity and prefix sampling
2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Verification of well-formed Communicating Recursive State Machines | 1.1 Articolo in rivista | 2008 | Bozzelli, L.; La Torre, S.; Peron, Adriano | |
Verification of Well-Formed Communicating Recursive State Machines | 4.1 Articoli in Atti di convegno | 2006 | Bozzelli, A.; LA TORRE S, S.; Peron, Adriano | |
Pushdown Module Checking | 4.1 Articoli in Atti di convegno | 2005 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
Pushdown Module Checking | 1.1 Articolo in rivista | 2010 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments | 2.1 Contributo in volume (Capitolo o Saggio) | 2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 2.1 Contributo in volume (Capitolo o Saggio) | 2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete | 4.1 Articoli in Atti di convegno | 2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, P. i. e. t. r. o. | |
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Hierarchical cost-parity games | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana | |
On the complexity of ATL and ATL* module checking | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Murano, Aniello | |
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy | 1.1 Articolo in rivista | 2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Timed context-free temporal logics | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Peron, Adriano; Molinari, Alberto; Montanari, Angelo | |
Event-Clock Nested Automata | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Murano, Aniello; Peron, Adriano | |
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard | |
Which fragments of the interval temporal logic HS are tractable in model checking? | 1.1 Articolo in rivista | 2019 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Interval vs. point temporal logic model checking: An expressiveness comparison | 1.1 Articolo in rivista | 2019 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Peron, Adriano; Molinari, Eduardo Alberto; Montanari, Angelo | |
Interval temporal logic model checking based on track bisimilarity and prefix sampling | 4.1 Articoli in Atti di convegno | 2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro |