Laura Bozzelli

121 papers A* 11A 2B 19C 9Journal 54Unranked 26
YearRankTypeTitle / Venue / Authors
2026 B conf
Inquisitive Team Semantics of LTL.
FoSSaCS
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2026 J jnl
Module checking of pushdown multi-agent systems.
Log. Methods Comput. Sci.
Laura Bozzelli, Aniello Murano, Adriano Peron
2025 — conf
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces.
SPIN
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2025 J jnl
A quantitative extension of interval temporal logic over infinite words.
Theor. Comput. Sci.
Laura Bozzelli, Adriano Peron
2025 — conf
Addressing On-The Field Co-registration for AR Assisted Maintenance Operations: The AURORA Project.
XR (6)
Nazaro Aversano, Guido Bozzelli, Laura Bozzelli, Maurizio De Nino, Francesco de Pandi, Salvatore D'Onofrio, Francesca Matarese, Salvatore Musto, Stefano Ricciardi
2025 A* conf
An Intuitionistic Version of Alternating-Time Temporal Logic.
KR
Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano
2025 J jnl
Inquisitive Team Semantics of LTL.
CoRR
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2024 A* conf
Automata-Theoretic Characterisations of Branching-Time Temporal Logics.
ICALP
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024 J jnl
Automata-Theoretic Characterisations of Branching-Time Temporal Logics.
CoRR
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024 C conf
Full Characterisation of Extended CTL.
TIME
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024 J jnl
On the Complexity of Model Checking Knowledge and Time.
ACM Trans. Comput. Log.
Laura Bozzelli, Bastien Maubert, Aniello Murano
2024 J jnl
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
Log. Methods Comput. Sci.
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2024 — conf
Unifying Asynchronous Logics for Hyperproperties.
FSTTCS
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2024 J jnl
Unifying Asynchronous Logics for Hyperproperties.
CoRR
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2023 J jnl
Interval Temporal Logic for Visibly Pushdown Systems.
ACM Trans. Comput. Log.
Laura Bozzelli, Angelo Montanari, Adriano Peron
2023 J jnl
Pspace-completeness of the temporal logic of sub-intervals and suffixes.
Inf. Comput.
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023 A* conf
Quantifying Over Trees in Monadic Second-Order Logic.
LICS
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2023 J jnl
Quantifying over Trees in Monadic Second-Order Logic.
CoRR
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2022 C conf
A Quantitative Extension of Interval Temporal Logic over Infinite Words.
TIME
Laura Bozzelli, Adriano Peron
2022 J jnl
A quantitative extension of Interval Temporal Logic over infinite words.
CoRR
Laura Bozzelli, Adriano Peron
2022 J jnl
Complexity issues for timeline-based planning over dense time under future and minimal semantics.
Theor. Comput. Sci.
Laura Bozzelli, Angelo Montanari, Adriano Peron
2022 J jnl
Context-free timed formalisms: Robust automata and linear temporal logics.
Inf. Comput.
Laura Bozzelli, Aniello Murano, Adriano Peron
2022 B conf
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.
CONCUR
Laura Bozzelli, Adriano Peron, César Sánchez
2022 J jnl
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.
CoRR
Laura Bozzelli, Adriano Peron, César Sánchez
2022 — conf
Parametric Interval Temporal Logic over Infinite Words.
GandALF
Laura Bozzelli, Adriano Peron
2022 J jnl
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
Log. Methods Comput. Sci.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2022 J jnl
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
CoRR
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021 — conf
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete.
GandALF
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021 A* conf
Asynchronous Extensions of HyperLTL.
LICS
Laura Bozzelli, Adriano Peron, César Sánchez
2021 J jnl
Asynchronous Extensions of HyperLTL.
CoRR
Laura Bozzelli, Adriano Peron, César Sánchez
2021 J jnl
Complexity analysis of a unifying algorithm for model checking interval temporal logic.
Inf. Comput.
Laura Bozzelli, Angelo Montanari, Adriano Peron
2021 C conf
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes.
TIME
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2020 J jnl
Alternating-time temporal logics with linear past.
Theor. Comput. Sci.
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
2020 J jnl
Hierarchical cost-parity games.
Theor. Comput. Sci.
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2020 J jnl
Model checking interval temporal logics with regular expressions.
Inf. Comput.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2020 A* conf
Module Checking of Pushdown Multi-agent Systems.
KR
Laura Bozzelli, Aniello Murano, Adriano Peron
2020 J jnl
Module checking of pushdown multi-agent systems.
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2020 B conf
On a Temporal Logic of Prefixes and Infixes.
MFCS
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2020 J jnl
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
CoRR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2020 J jnl
Timeline-based planning over dense temporal domains.
Theor. Comput. Sci.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2020 — conf
Undecidability of Future Timeline-based Planning over Dense Temporal Domains?
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019 C conf
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic.
TIME
Laura Bozzelli, Angelo Montanari, Adriano Peron
2019 — conf
Interval Temporal Logic for Visibly Pushdown Systems.
FSTTCS
Laura Bozzelli, Angelo Montanari, Adriano Peron
2019 J jnl
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison.
ACM Trans. Comput. Log.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2019 — conf
Model Checking Timeline-Based Systems over Dense Temporal Domains.
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019 — conf
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains.
FSTTCS
Laura Bozzelli, Angelo Montanari, Adriano Peron
2019 A* conf
The Complexity of Model Checking Knowledge and Time.
IJCAI
Laura Bozzelli, Bastien Maubert, Aniello Murano
2019 J jnl
Timed Context-Free Temporal Logics.
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2019 J jnl
Undecidability of future timeline-based planning over dense temporal domains.
CoRR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019 J jnl
Which fragments of the interval temporal logic HS are tractable in model checking?
Theor. Comput. Sci.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018 — conf
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.
GandALF
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018 A* conf
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.
KR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018 C conf
Event-Clock Nested Automata.
LATA
Laura Bozzelli, Aniello Murano, Adriano Peron
2018 J jnl
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.
Inf. Comput.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018 C conf
Results on Alternating-Time Temporal Logics with Linear Past.
TIME
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
2018 — conf
Timed Context-Free Temporal Logics.
GandALF
Laura Bozzelli, Aniello Murano, Adriano Peron
2018 J jnl
Timed context-free temporal logics (extended version).
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2018 — conf
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete.
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2018 J jnl
Visibly Linear Temporal Logic.
J. Autom. Reason.
Laura Bozzelli, César Sánchez
2017 B conf
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.
SEFM
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017 J jnl
Event-Clock Nested Automata.
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2017 C conf
Hierarchical Cost-Parity Games.
TIME
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2017 J jnl
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
CoRR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2017 — conf
On the Complexity of ATL and ATL* Module Checking.
GandALF
Laura Bozzelli, Aniello Murano
2017 — conf
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions.
GandALF
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017 A* conf
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
ICALP
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 J jnl
Foundations of Boolean stream runtime verification.
Theor. Comput. Sci.
Laura Bozzelli, César Sánchez
2016 — conf
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 A conf
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
IJCAR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 — conf
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
FSTTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 — conf
Model Checking the Logic of Allen's Relations Meets and Started-by is P
GandALF
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 B conf
On the Expressiveness of Temporal Equilibrium Logic.
JELIA
Laura Bozzelli, David Pearce
2015 A* conf
On the Complexity of Temporal Equilibrium Logic.
LICS
Laura Bozzelli, David Pearce
2015 J jnl
On the complexity of Temporal Equilibrium Logic.
CoRR
Laura Bozzelli, David Pearce
2015 J jnl
The complexity of one-agent refinement modal logic.
Theor. Comput. Sci.
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2015 J jnl
Uniform strategies, rational relations and jumping automata.
Inf. Comput.
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
2015 B conf
Unifying Hyper and Epistemic Temporal Logics.
FoSSaCS
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
2014 B conf
Foundations of Boolean Stream Runtime Verification.
RV
Laura Bozzelli, César Sánchez
2014 J jnl
Refinement modal logic.
Inf. Comput.
Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
2014 J jnl
Unifying Hyper and Epistemic Temporal Logic.
CoRR
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
2014 J jnl
Verification of gap-order constraint abstractions of counter systems.
Theor. Comput. Sci.
Laura Bozzelli, Sophie Pinchinat
2014 A conf
Visibly Linear Temporal Logic.
IJCAR
Laura Bozzelli, César Sánchez
2014 J jnl
Visibly rational expressions.
Acta Informatica
Laura Bozzelli, César Sánchez
2013 A* conf
The Complexity of One-Agent Refinement Modal Logic.
IJCAI
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2013 — conf
The Complexity of Synthesizing Uniform Strategies
SR
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
2012 J jnl
On timed alternating simulation for concurrent timed games.
Acta Informatica
Laura Bozzelli, Axel Legay, Sophie Pinchinat
2012 J jnl
Refinement Modal Logic
CoRR
Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
2012 C conf
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems.
LATA
Laura Bozzelli
2012 B conf
The Complexity of One-Agent Refinement Modal Logic.
JELIA
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2012 B conf
Verification of Gap-Order Constraint Abstractions of Counter Systems.
VMCAI
Laura Bozzelli, Sophie Pinchinat
2012 — conf
Visibly Rational Expressions.
FSTTCS
Laura Bozzelli, César Sánchez
2011 — conf
Complexity Analysis of the Backward Coverability Algorithm for VASS.
RP
Laura Bozzelli, Pierre Ganty
2011 J jnl
Hardness of preorder checking for basic formalisms.
Theor. Comput. Sci.
Laura Bozzelli, Axel Legay, Sophie Pinchinat
2011 B conf
Hybrid and First-Order Complete Extensions of CaRet.
TABLEAUX
Laura Bozzelli, Ruggero Lanotte
2011 — conf
New results on pushdown module checking with imperfect information
GandALF
Laura Bozzelli
2011 — conf
Opacity Issues in Games with Imperfect Information
GandALF
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
2010 J jnl
Complexity and succinctness issues for linear-time hybrid logics.
Theor. Comput. Sci.
Laura Bozzelli, Ruggero Lanotte
2010 — conf
Hardness of Preorder Checking for Basic Formalisms.
LPAR (Dakar)
Laura Bozzelli, Axel Legay, Sophie Pinchinat
2010 J jnl
Pushdown module checking.
Formal Methods Syst. Des.
Laura Bozzelli, Aniello Murano, Adriano Peron
2009 J jnl
Decision problems for lower/upper bound parametric timed automata.
Formal Methods Syst. Des.
Laura Bozzelli, Salvatore La Torre
2009 — conf
On Timed Alternating Simulation for Concurrent Timed Games.
FSTTCS
Laura Bozzelli, Axel Legay, Sophie Pinchinat
2009 J jnl
On decidability of LTL model checking for process rewrite systems.
Acta Informatica
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2008 B conf
Complexity and Succinctness Issues for Linear-Time Hybrid Logics.
JELIA
Laura Bozzelli, Ruggero Lanotte
2008 B conf
The Complexity of CTL* + Linear Past.
FoSSaCS
Laura Bozzelli
2008 C conf
The Complexity of CaRet + Chop.
TIME
Laura Bozzelli
2008 J jnl
Verification of well-formed communicating recursive state machines.
Theor. Comput. Sci.
Laura Bozzelli, Salvatore La Torre, Adriano Peron
2007 B conf
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.
CONCUR
Laura Bozzelli
2007 — conf
CaRet With Forgettable Past.
M4M
Laura Bozzelli
2007 J jnl
Complexity results on branching-time pushdown model checking.
Theor. Comput. Sci.
Laura Bozzelli
2007 A* conf
Decision Problems for Lower/Upper Bound Parametric Timed Automata.
ICALP
Laura Bozzelli, Salvatore La Torre
2006 B conf
Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.
LPAR
Laura Bozzelli, Régis Gascon
2006 B conf
Complexity Results on Branching-Time Pushdown Model Checking.
VMCAI
Laura Bozzelli
2006 B conf
Controller Synthesis for MTL Specifications.
CONCUR
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
2006 J jnl
Model checking for process rewrite systems and a class of action-based regular properties.
Theor. Comput. Sci.
Laura Bozzelli
2006 — conf
On Decidability of LTL Model Checking for Process Rewrite Systems.
FSTTCS
Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
2006 B conf
Verification of Well-Formed Communicating Recursive State Machines.
VMCAI
Laura Bozzelli, Salvatore La Torre, Adriano Peron
2005 B conf
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties.
VMCAI
Laura Bozzelli
2005 B conf
Pushdown Module Checking.
LPAR
Laura Bozzelli, Aniello Murano, Adriano Peron
2004 J jnl
Model checking for Process Rewrite Systems and a class of action - based regular properties
CoRR
Laura Bozzelli
2004 J jnl
Verification of Process Rewrite Systems in normal form
CoRR
Laura Bozzelli
2003 J jnl
Verification of recursive parallel systems
CoRR
Laura Bozzelli, Massimo Benerecetti, Adriano Peron