Marius Bozga
Institut polytechnique de Grenoble(FR)Centre National de la Recherche Scientifique(FR)Centre National de la Recherche Scientifique(FR)Verimag(FR)Université Grenoble Alpes(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Embedded Systems Design Techniques, Distributed systems and fault tolerance, Advanced Software Engineering Methodologies
Most-Cited Works
- → Modeling Heterogeneous Real-time Components in BIP(2006)411 cited
- → Kronos: A model-checking tool for real-time systems(1998)324 cited
- → Rigorous Component-Based System Design Using the BIP Framework(2011)278 cited
- → The IF Toolset(2004)157 cited
- → IF-2.0: A Validation Environment for Component-Based Real-Time Systems(2002)116 cited
- → Compositional Verification for Component-Based Systems and Application(2008)104 cited
- → D-Finder: A Tool for Compositional Deadlock Detection and Verification(2009)