D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 39 Citations 6,613 155 World Ranking 4777 National Ranking 104

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Software

Marius Bozga mostly deals with Theoretical computer science, Distributed computing, Model checking, Component and Programming language. He interconnects Algorithm and Representation in the investigation of issues within Theoretical computer science. His research in Distributed computing intersects with topics in Operational semantics, Set, Application software and Observational equivalence.

His biological study spans a wide range of topics, including Software engineering, Real-time operating system, Embedded system and Software tool. His research investigates the connection between Component and topics such as Object-oriented programming that intersect with issues in Reachability, Component-based software engineering and Semantic data model. In the field of Programming language, his study on Static analysis, Formal verification and Formal methods overlaps with subjects such as Atomic component.

His most cited work include:

  • Kronos: A Model-Checking Tool for Real-Time Systems (314 citations)
  • Modeling Heterogeneous Real-time Components in BIP (282 citations)
  • Rigorous Component-Based System Design Using the BIP Framework (218 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Theoretical computer science, Distributed computing, Component, Algorithm and Automaton. His Theoretical computer science study focuses on Model checking in particular. His study looks at the relationship between Distributed computing and topics such as Embedded system, which overlap with Probabilistic logic.

His studies deal with areas such as Scalability, Set, Component-based software engineering, Semantics and Deadlock as well as Component. Marius Bozga works in the field of Algorithm, namely Computation. His Correctness research also works with subjects such as

  • Design flow which intersects with area such as Systems design,
  • Application software that intertwine with fields like Code generation.

He most often published in these fields:

  • Theoretical computer science (34.92%)
  • Distributed computing (34.39%)
  • Component (25.40%)

What were the highlights of his more recent work (between 2016-2021)?

  • Distributed computing (34.39%)
  • Component (25.40%)
  • Theoretical computer science (34.92%)

In recent papers he was focusing on the following fields of study:

His main research concerns Distributed computing, Component, Theoretical computer science, Deadlock and Statistical model checking. His Distributed computing study incorporates themes from Model-based design, Automaton, Scalability and Model of computation. Marius Bozga has researched Automaton in several fields, including Static analysis, Task analysis and Global consistency.

His research in Component focuses on subjects like Set, which are connected to Algebra and Extension. Marius Bozga has included themes like State, Markov chain and Metric in his Theoretical computer science study. His work deals with themes such as Dining philosophers problem, Systems architecture, Soundness, Bounded function and Trap, which intersect with Deadlock.

Between 2016 and 2021, his most popular works were:

  • Checking Deadlock-Freedom of Parametric Component-Based Systems (12 citations)
  • Performance evaluation of stochastic real-time systems with the SBIP framework (10 citations)
  • Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP (9 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Software
  • Algorithm

Marius Bozga spends much of his time researching Component, Distributed computing, Theoretical computer science, Set and Statistical model checking. Marius Bozga interconnects Service-oriented architecture, Model-based design, Soundness and Bounded function in the investigation of issues within Component. His research integrates issues of Model of computation, Automaton and Multi-core processor in his study of Distributed computing.

Theoretical computer science and Focus are two areas of study in which he engages in interdisciplinary work. His Set research is under the purview of Programming language. His Statistical model checking study contributes to a more complete understanding of Probabilistic logic.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu;Marius Bozga;Joseph Sifakis.
software engineering and formal methods (2006)

724 Citations

Kronos: A Model-Checking Tool for Real-Time Systems

Marius Bozga;Conrado Daws;Oded Maler;Alfredo Olivero.
computer aided verification (1998)

482 Citations

Rigorous Component-Based System Design Using the BIP Framework

A Basu;B Bensalem;M Bozga;J Combaz.
IEEE Software (2011)

331 Citations

The IF Toolset

Marius Bozga;Susanne Graf;Ileana Ober;Iulian Ober.
formal methods (2004)

248 Citations

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

Marius Bozga;Susanne Graf;Laurent Mounier.
computer aided verification (2002)

199 Citations

Data-Structures for the Verification of Timed Automata

Eugene Asarin;Marius Bozga;Alain Kerbrat;Oded Maler.
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems (1997)

168 Citations

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

Saddek Bensalem;Marius Bozga;Thanh-Hung Nguyen;Joseph Sifakis.
computer aided verification (2009)

144 Citations

Some Progress in the Symbolic Verification of Timed Automata

Marius Bozga;Oded Maler;Amir Pnueli;Sergio Yovine.
computer aided verification (1997)

142 Citations

Programs with lists are counter automata

Ahmed Bouajjani;Marius Bozga;Peter Habermehl;Radu Iosif.
computer aided verification (2006)

138 Citations

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

M. Yassin Chkouri;Anne Robert;Marius Bozga;Joseph Sifakis.
model driven engineering languages and systems (2009)

137 Citations

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

Contact us

Best Scientists Citing Marius Bozga

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 82

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 57

Joseph Sifakis

Joseph Sifakis

Verimag

Publications: 42

Stavros Tripakis

Stavros Tripakis

Northeastern University

Publications: 30

Paul Pettersson

Paul Pettersson

Mälardalen University

Publications: 24

Oded Maler

Oded Maler

Grenoble Alpes University

Publications: 23

Patricia Bouyer

Patricia Bouyer

University of Paris-Saclay

Publications: 19

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 17

Jun Sun

Jun Sun

Singapore Management University

Publications: 16

Chris J. Myers

Chris J. Myers

University of Colorado Boulder

Publications: 15

Janos Sztipanovits

Janos Sztipanovits

Vanderbilt University

Publications: 14

Ahmed Bouajjani

Ahmed Bouajjani

Université Paris Cité

Publications: 13

Doron Peled

Doron Peled

Bar-Ilan University

Publications: 13

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 12

Christopher Gill

Christopher Gill

Washington University in St. Louis

Publications: 11

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 11

Something went wrong. Please try again later.