IRIS

BOZZELLI, LAURA

BOZZELLI, LAURA  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.032 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Verification of Well-Formed Communicating Recursive State Machines 4.1 Articoli in Atti di convegno 2006 A., Bozzelli; S., LA TORRE S; Peron, Adriano
Verification of well-formed Communicating Recursive State Machines 1.1 Articolo in rivista 2008 L., Bozzelli; S., La Torre; 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 Laura, Bozzelli; Alberto, Molinari; Angelo, Montanari; Peron, Adriano; Pietro, Sala
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