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: Bozga:Marius
Contributed to:
2015
2014
2014
2014201320122012
2012
2011
201020092009
200820072006
20062006
2005
2004
2004
200320022000200020001999
1999199919981997Wrote 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.