BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Denmark
1 × India
1 × Israel
1 × Uruguay
2 × Estonia
2 × Germany
3 × United Kingdom
5 × USA
6 × France
6 × Italy
Collaborated with:
R.Iosif S.Bensalem J.Sifakis O.Maler F.Konecný Y.Lakhnech J.Fernandez L.Ghirvu S.Graf L.Mounier A.Basu M.Jaber T.Nguyen S.Yovine P.Habermehl T.Vojnar J.Kempf C.Gîrlea S.Perarnau J.Krimm S.Bliudze A.Pnueli P.Poplavko D.Socci P.Bourgos L.Astefanoaei S.B.Rayana J.Combaz Y.Falcone I.Ober I.Ober A.Bouajjani P.Moro C.Daws A.Olivero S.Tripakis A.David A.Hartmanns H.Hermanns K.G.Larsen A.Legay J.Tretmans
Talks about:
system (8) time (8) program (5) compon (4) verif (4) model (4) real (4) base (4) automata (3) generat (3)

Person: Marius Bozga

DBLP DBLP: Bozga:Marius

Contributed to:

DATE 20152015
CBSE 20142014
TACAS 20142014
VMCAI 20142014
TACAS 20132013
DATE 20122012
TACAS 20122012
WRLA 20122012
SEFM 20112011
CAV 20102010
CAV 20092009
TACAS 20092009
IJCAR 20082008
VMCAI 20072007
CAV 20062006
ICALP (2) 20062006
SEFM 20062006
FoSSaCS 20052005
SAS 20042004
SFM-RT 20042004
PEPM 20032003
CAV 20022002
CAV 20002000
SAS 20002000
TACAS 20002000
CAV 19991999
World Congress on Formal Methods 19991999
SAS 19991999
CAV 19981998
CAV 19971997

Wrote 31 papers:

DATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime
Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
CBSE-2014-BliudzeSBJ #architecture
Architecture internalisation in BIP (SB, JS, MB, MJ), pp. 169–178.
TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
VMCAI-2014-BozgaIK #integer #problem #safety #source code
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.
TACAS-2013-KempfBM #nondeterminism #probability #scheduling
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.
DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
TACAS-2012-BozgaIK #termination
Deciding Conditional Termination (MB, RI, FK), pp. 252–266.
WRLA-2012-BasuBBS #component #design
Rigorous Component-Based System Design — (AB, SB, MB, JS), pp. 1–9.
SEFM-2011-FalconeJNBB #component #runtime #verification
Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.
CAV-2010-BozgaIK #performance
Fast Acceleration of Ultimately Periodic Relations (MB, RI, FK), pp. 227–242.
CAV-2009-BensalemBNS #composition #concurrent #detection #named #verification
D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.
CAV-2009-BozgaHIKV #array #automation #integer #source code #verification
Automatic Verification of Integer Array Programs (MB, PH, RI, FK, TV), pp. 157–172.
TACAS-2009-BozgaGI
Iterating Octagons (MB, CG, RI), pp. 337–351.
IJCAR-2008-BozgaIP #logic #source code
Quantitative Separation Logic and Programs with Lists (MB, RI, SP), pp. 34–49.
VMCAI-2007-BozgaI #on the #source code
On Flat Programs with Lists (MB, RI), pp. 122–136.
CAV-2006-BouajjaniBHIMV #automaton #source code
Programs with Lists Are Counter Automata (AB, MB, PH, RI, PM, TV), pp. 517–531.
ICALP-v2-2006-BozgaIL #automaton #parametricity
Flat Parametric Counter Automata (MB, RI, YL), pp. 577–588.
SEFM-2006-BasuBS #component #modelling #realtime
Modeling Heterogeneous Real-time Components in BIP (AB, MB, JS), pp. 3–12.
FoSSaCS-2005-BozgaI #decidability #on the
On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.
SAS-2004-BozgaIL #alias #logic #on the
On Logics of Aliasing (MB, RI, YL), pp. 344–360.
SFM-2004-BozgaGOOS #tool support
The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
PEPM-2003-BozgaIL #alias #logic #semantics
Storeless semantics and alias logic (MB, RI, YL), pp. 55–65.
CAV-2002-BozgaGM #component #realtime #validation
IF-2.0: A Validation Environment for Component-Based Real-Time Systems (MB, SG, LM), pp. 343–348.
CAV-2000-BozgaFGGKM #named #validation
IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.
SAS-2000-BensalemBFGL #approach #generative #invariant
A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
TACAS-2000-BozgaFG #automation #generative #static analysis #testing #using
Using Static Analysis to Improve Automatic Test Generation (MB, JCF, LG), pp. 235–250.
CAV-1999-BozgaM #on the #representation
On the Representation of Probabilities over Structured Domains (MB, OM), pp. 261–273.
FM-v1-1999-BozgaFGGKM #named #representation #validation
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.
SAS-1999-BozgaFG #analysis #reduction
State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
CAV-1998-BozgaDMOTY #model checking #named #realtime
Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
CAV-1997-BozgaMPY #automaton #verification
Some Progress in the Symbolic Verification of Timed Automata (MB, OM, AP, SY), pp. 179–190.

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.