2026 Marius Bozga: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	51	5437	5283	111	110	207	7666

Overview

Marius Bozga is affiliated with Grenoble Alpes University in France and has made contributions primarily in the field of Computer Science, with a focus on various subfields including Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications, Software, and Control and Systems Engineering.

Their research topics cover a range of areas such as:

Formal Methods in Verification
Advanced Software Engineering Methodologies
Distributed systems and fault tolerance
Logic, programming, and type systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
Machine Learning and Algorithms

Notable recent papers by Marius Bozga include:

"Programming dynamic reconfigurable systems", 2021, International Journal on Software Tools for Technology Transfer
"Learning and analysis of sensors behavior in IoT systems using statistical model checking", 2021, Software Quality Journal
"Reasoning about distributed reconfigurable systems", 2022, Proceedings of the ACM on Programming Languages
"Generation and verification of learned stochastic automata using k-NN and statistical model checking", 2021, Applied Intelligence
"Verification of component-based systems with recursive architectures", 2022, Theoretical Computer Science

Frequent co-authors collaborating with Marius Bozga include:

Radu Iosif
Joseph Sifakis
Salim Chehida
Abdelhakim Baouya
Saddek Bensalem

The scientist has published in a variety of academic venues, contributing especially to:

arXiv (Cornell University)
International Journal on Software Tools for Technology Transfer
Proceedings of the ACM on Programming Languages
Applied Intelligence
Theoretical Computer Science

Best Publications

Modeling Heterogeneous Real-time Components in BIP

A. Basu;M. Bozga;J. Sifakis

762
Citations
Kronos : A model-checking tool for real-time systems

M. Bozga;C. Daws;O. Maler;A. Olivero

495
Citations
Rigorous Component-Based System Design Using the BIP Framework

A Basu;B Bensalem;M Bozga;J Combaz

383
Citations
Tools and Applications II: The IF Toolset

Marius Bozga;Susanne Graf;Ileana Ober;Iulian Ober

341
Citations
Modeling Heterogeneous Real-time Components in BIP

Ananda Basu;Marius Bozga;Joseph Sifakis

275
Citations
The IF Toolset

Marius Bozga;Susanne Graf;Ileana Ober;Iulian Ober

261
Citations
IF-2.0: A Validation Environment for Component-Based Real-Time Systems

Marius Bozga;Susanne Graf;Laurent Mounier

202
Citations
Data-Structures for the Verification of Timed Automata

Eugene Asarin;Marius Bozga;Alain Kerbrat;Oded Maler

169
Citations
D-Finder: A Tool for Compositional Deadlock Detection and Verification

Saddek Bensalem;Marius Bozga;Thanh-Hung Nguyen;Joseph Sifakis

154
Citations
Some Progress in the Symbolic Verification of Timed Automata

Marius Bozga;Oded Maler;Amir Pnueli;Sergio Yovine

143
Citations
Translating AADL into BIP - Application to the Verification of Real-Time Systems

M. Yassin Chkouri;Anne Robert;Marius Bozga;Joseph Sifakis

142
Citations
Programs with lists are counter automata

Ahmed Bouajjani;Marius Bozga;Peter Habermehl;Radu Iosif

137
Citations
Compositional Verification for Component-Based Systems and Application

Saddek Bensalem;Marius Bozga;Joseph Sifakis;Thanh-Hung Nguyen

135
Citations
Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu;Saddek Bensalem;Marius Bozga;Benoît Caillaud

125
Citations
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Marius Bozga;Jean-Claude Fernandez;Lucian Ghirvu;Susanne Graf

117
Citations
IF: an intermediate representation for SDL and its applications

Marius Bozga;Jean-Claude Fernandez;Lucian Ghirvu;Susanne Graf

104
Citations
Fast acceleration of ultimately periodic relations

Marius Bozga;Radu Iosif;Filip Konečný

102
Citations
A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour;Marius Bozga;Mohamad Jaber;Jean Quilbeuf

84
Citations
Verification of Timed Automata via Satisfiability Checking

Peter Niebert;Moez Mahfoudh;Eugene Asarin;Marius Bozga

81
Citations
Runtime verification of component-based systems

Yliès Falcone;Mohamad Jaber;Thanh-Hung Nguyen;Marius Bozga

73
Citations
Incremental component-based construction and verification using invariants

Saddek Bensalem;Marius Bozga;Axel Legay;Thanh-Hung Nguyen

69
Citations
Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu;Saddek Bensalem;Marius Bozga;Benoît Delahaye

34
Citations
Programs with lists are counter automata

Ahmed Bouajjani;Marius Bozga;Peter Habermehl;Radu Losif

0
Citations

Frequent Co-Authors

Saddek Bensalem Grenoble Alpes University

Joseph Sifakis Verimag

Axel Legay Université Catholique de Louvain

Oded Maler Grenoble Alpes University

Stavros Tripakis Northeastern University

Sergio Yovine Universidad Ort Uruguay

Doron Peled Bar-Ilan University

Lothar Thiele ETH Zurich

Ahmed Bouajjani Université Paris Cité

Alexandre David Aalborg University

External Links

Personal website of Marius Bozga Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online education options can open doors to a variety of rewarding tech and non-tech careers. For students interested in Computer Science, starting with one of the most affordable online colleges can help reduce costs without sacrificing quality. These programs offer flexibility for working professionals and allow you to balance studies with other commitments.

If you're looking to break into engineering or a related technical field, understanding online engineering degree cost is crucial. Tuition and fees can vary widely between institutions, so comparing options can help you make an informed decision.

Ambitious professionals may consider advancing their careers with one of the best online emba programs. These flexible executive MBA degrees are ideal for those aiming for leadership roles in tech, business, or related industries.

Additionally, if you are interested in information management or library science, there are also accredited and affordable mlis programs available online. These programs can open pathways to specialized roles in research, digital archiving, and more.