BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bozzelli:Laura

Contributed to:

FoSSaCS 20152015
LICS 20152015
IJCAR 20142014
LATA 20122012
VMCAI 20122012
FoSSaCS 20082008
ICALP 20072007
VMCAI 20062006
VMCAI 20052005
IJCAR 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.