Travelled to:1 × Austria
1 × France
1 × Hungary
1 × Japan
1 × Poland
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:∅ S.Pinchinat S.L.Torre A.Peron D.Pearce C.Sánchez B.Maubert A.Molinari A.Montanari P.Sala
Talks about:tempor (4) logic (4) complex (3) system (3) model (3) check (3) constraint (2) abstract (2) counter (2) linear (2)
Person: Laura Bozzelli
DBLP: Bozzelli:Laura
Contributed to:
2015
2015
2014
2012
20122008
2007200620052016Wrote 11 papers:
- FoSSaCS-2015-BozzelliMP #logic
- Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.
- LICS-2015-BozzelliP #complexity #equilibrium #logic #on the
- On the Complexity of Temporal Equilibrium Logic (LB, DP), pp. 645–656.
- IJCAR-2014-BozzelliS #linear #logic
- Visibly Linear Temporal Logic (LB, CS), pp. 418–433.
- LATA-2012-Bozzelli #abstraction #constraints #termination
- Strong Termination for Gap-Order Constraint Abstractions of Counter Systems (LB), pp. 155–168.
- VMCAI-2012-BozzelliP #abstraction #constraints #verification
- Verification of Gap-Order Constraint Abstractions of Counter Systems (LB, SP), pp. 88–103.
- FoSSaCS-2008-Bozzelli #complexity #linear
- The Complexity of CTL* + Linear Past (LB), pp. 186–200.
- ICALP-2007-BozzelliT #automaton #bound #parametricity #problem
- Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.
- VMCAI-2006-Bozzelli #automaton #complexity #model checking
- Complexity Results on Branching-Time Pushdown Model Checking (LB), pp. 65–79.
- VMCAI-2006-BozzelliTP #communication #recursion #state machine #verification
- Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.
- VMCAI-2005-Bozzelli #model checking #process #term rewriting
- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties (LB), pp. 282–297.
- IJCAR-2016-BozzelliMMPS #logic #model checking
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (LB, AM, AM, AP, PS), pp. 389–405.