Concepedia

Marius Bozga

MB

Statistics

Publications

47

Citations

2.1K

H-Index

22

Active since

1997

Affiliations

Verimag(Current)

Université Grenoble Alpes

Centre National de la Recherche Scientifique

Université Joseph Fourier

Institut national de recherche en sciences et technologies du numérique

Marius Bozga is an author at Verimag specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringSoftware AnalysisSystem SoftwareComputer ArchitectureVerification

Publications per year

1997–2021

47

Publications

47

Modeling Heterogeneous Real-time Components in BIP

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

Event-driven Architecture, Engineering, Computer Architecture +17

Rigorous Component-Based System Design Using the BIP Framework

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

Modeling Heterogeneous Real-time Components in BIP

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

Event-driven Architecture, Engineering, Computer Architecture +17

Programs with Lists Are Counter Automata

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

Logical Automaton, Engineering, Program Analysis +8

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

1–5 of 47