Marius Bozga
Marius Bozga publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Real-Time Systems Scheduling.
- World rank
- #250,041 of 1,633,909 ranked researchers
- Rank in France
- #13,475 of 96,116
- Works
- 62
- Citations
- 286
- Citations per work
- 4.6
What does Marius Bozga research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics28% of their works
- 2Hardware and Architecture25% of their works
- 3Artificial Intelligence19% of their works
- 4Software13% of their works
- 5Computer Networks and Communications9% of their works
- 6Safety, Risk, Reliability and Quality2% of their works
Research topics
Which keywords describe Marius Bozga's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Hard Real-Time Systems, High-Level Synthesis, Reconfigurable Computing and Scheduling Algorithms.
- Model-Driven Engineering
- Software Fault Localization
- Distributed Systems
- Self-Adaptive Systems
- Static Analysis
- Scheduling Algorithms
- High-Level Synthesis
- Embedded Systems
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Hard Real-Time Systems
- Reconfigurable Computing
- Formal Verification
- Autonomic Computing
- Automated Testing
- Fault Tolerance
- Domain-Specific Languages
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking312 topics
- Satisfiability Modulo Theories231 topic
- Symbolic Model Checker231 topic
- Embedded Systems202 topics
- Hard Real-Time Systems101 topic
- High-Level Synthesis101 topic
- Reconfigurable Computing101 topic
- Scheduling Algorithms101 topic
- Formal Verification81 topic
- Static Analysis81 topic
- Autonomic Computing71 topic
- Self-Adaptive Systems71 topic
- Automated Testing51 topic
- Distributed Systems51 topic
- Fault Tolerance51 topic
- Software Fault Localization51 topic
- Domain-Specific Languages41 topic
- Model-Driven Engineering41 topic
Where does Marius Bozga work?
Marius Bozga's main affiliation in the publication record is Verimag, France.
How many publications and citations does Marius Bozga have?
Science Explorer counts 62 works and 286 citations for Marius Bozga, ranking #250,041 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.