Marius Bozga

Identifiers

• name variant Marius Bozga 0.60 · backfill

Papers (6)

1. Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs cs.FL · 2026 · author #1
2. Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures cs.FL · 2019 · author #1
3. Checking Deadlock-Freedom of Parametric Component-Based Systems cs.LO · 2018 · author #1
4. Monitoring Distributed Component-Based Systems cs.SE · 2017 · author #5
5. Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems cs.SE · 2016 · author #4
6. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops cs.CC · 2013 · author #1

Mentions

• 1307.5321 #1 · backfill · confidence 0.70 Marius Bozga

Frequent Coauthors

• Radu Iosif 4 shared papers
• Hosein Nazarpour 2 shared papers
• Joseph Sifakis 2 shared papers
• Saddek Bensalem 2 shared papers
• Yli\`es Falcone 2 shared papers
• Filip Konecny 1 shared papers
• Florian Zuleger 1 shared papers
• Mohamad Jaber 1 shared papers