Marius Bozga

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu, Marius Bozga, Joseph Sifakis · 2006 · 415 citations · Full text

Engineering, Computer Science, Systems Engineering +12

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga et al. · IEEE Software · 2011 · 280 citations · Full text

Engineering, Systems Engineering, Systems Analysis +11

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu, Marius Bozga, Joseph Sifakis · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 172 citations · Full text

Engineering, Computer Science, Systems Engineering +12

Programs with Lists Are Counter Automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl et al. · Lecture notes in computer science · 2006 · 96 citations · Full text

Computing, Computer Science, Algorithms +10

Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +17