What is he best known for?
The fields of study Marius Bozga is best known for:
- Formal verification
- Model checking
- Programming language
In his works, Marius Bozga undertakes multidisciplinary study on Programming language and Integer (computer science).
Integer (computer science) and Programming language are two areas of study in which Marius Bozga engages in interdisciplinary work.
His work on Theoretical computer science is being expanded to include thematically relevant topics such as Reachability.
Marius Bozga integrates Model checking with Algorithm in his research.
While working in this field, he studies both Algorithm and Model checking.
His Automaton study frequently involves adjacent topics like Timed automaton.
He frequently studies issues relating to Automaton and Timed automaton.
He connects Component (thermodynamics) with Thermodynamics in his study.
Thermodynamics and Component (thermodynamics) are two areas of study in which he engages in interdisciplinary research.
His most cited work include:
- Kronos: A model-checking tool for real-time systems (241 citations)
- The IF Toolset (128 citations)
- IF-2.0: A Validation Environment for Component-Based Real-Time Systems (98 citations)
What are the main themes of his work throughout his whole career to date
Marius Bozga connects relevant research areas such as Model checking, Set (abstract data type), State (computer science), Software and Semantics (computer science) in the domain of Programming language.
His research on Algorithm often connects related areas such as State (computer science) and Model checking.
His Theoretical computer science study typically links adjacent topics like Automaton.
Marius Bozga combines Thermodynamics and Component (thermodynamics) in his studies.
He performs integrative study on Component (thermodynamics) and Thermodynamics in his works.
He integrates many fields, such as Artificial intelligence and Theoretical computer science, in his works.
Marius Bozga performs multidisciplinary study on Statistics and Algorithm in his works.
He combines Computer network and Asynchronous communication in his research.
Marius Bozga performs integrative study on Asynchronous communication and Computer network.
Marius Bozga most often published in these fields:
- Programming language (80.22%)
- Theoretical computer science (59.34%)
- Distributed computing (40.66%)
What were the highlights of his more recent work (between 2018-2021)?
- Programming language (100.00%)
- Component (thermodynamics) (75.00%)
- Thermodynamics (75.00%)
In recent works Marius Bozga was focusing on the following fields of study:
In his research, Marius Bozga performs multidisciplinary study on Programming language and Distributed computing.
With his scientific publications, his incorporates both Distributed computing and Programming language.
While working in this field, Marius Bozga studies both Component (thermodynamics) and Thermodynamics.
His work often combines Thermodynamics and Component (thermodynamics) studies.
Marius Bozga performs integrative Theoretical computer science and Algorithm research in his work.
His research on Algorithm frequently connects to adjacent areas such as Parameterized complexity.
While working on this project, Marius Bozga studies both Architecture and Visual arts.
Marius Bozga performs multidisciplinary study in Visual arts and Architecture in his work.
In his articles, he combines various disciplines, including Computer architecture and Software.
Between 2018 and 2021, his most popular works were:
- Checking Deadlock-Freedom of Parametric Component-Based Systems (15 citations)
- Programming dynamic reconfigurable systems (9 citations)
- Programming Dynamic Reconfigurable Systems (8 citations)
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.
