| 2026 | MFCS | Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs. | Marius Bozga, Radu Iosif, Florian Zuleger |
| 2025 | CAV | Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. | Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani |
| 2025 | FORTE | Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. | Karine Altisen, Marius Bozga |
| 2025 | LICS | Regular Grammars for Sets of Graphs of Tree-Width 2. | Marius Bozga, Radu Iosif, Florian Zuleger |
| 2024 | VMCAI | Function Synthesis for Maximizing Model Counting. | Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier |
| 2022 | CADE | Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. | Marius Bozga, Lucas Bueri, Radu Iosif |
| 2022 | CONCUR | On an Invariance Problem for Parameterized Concurrent Systems. | Marius Bozga, Lucas Bueri, Radu Iosif |
| 2022 | ISoLA | Correct by Design Coordination of Autonomous Driving Systems. | Marius Bozga, Joseph Sifakis |
| 2022 | MODELS | Model-checking of space systems designed with TASTE/SDL. | Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin |
| 2021 | SAC | A temporal configuration logic for dynamic reconfigurable systems. | Antoine El-Hokayem, Marius Bozga, Joseph Sifakis |
| 2020 | CRiSIS | Asset-Driven Approach for Security Risk Assessment in IoT Systems. | Salim Chehida, Abdelhakim Baouya, Diego Fernndez Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem |
| 2020 | QUATIC | Applied Statistical Model Checking for a Sensor Behavior Analysis. | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga |
| 2020 | SEFM | A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2020 | SoMeT | Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. | Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga |
| 2020 | TACAS | Structural Invariants for the Verification of Systems with Parameterized Architectures. | Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel |
| 2019 | TACAS | Checking Deadlock-Freedom of Parametric Component-Based Systems. | Marius Bozga, Radu Iosif, Joseph Sifakis |
| 2018 | ATVA | Untitled record | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem |
| 2018 | ISoLA | Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2018 | ISoLA | Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. | Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem |
| 2018 | ISoLA | Mitigating Security Risks Through Attack Strategies Exploration. | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2018 | RV | Tracing Distributed Component-Based Systems, a Brief Overview. | Ylis Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem |
| 2017 | APSEC | Knowledge Based Optimization for Distributed Real-Time Systems. | Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga |
| 2017 | ICSOC | An End-to-End Security Model for Adaptive Service-Oriented Applications. | Takoua Abdellatif, Marius Bozga |
| 2017 | SEFM | Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). | Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo |
| 2016 | FM | Compositional Parameter Synthesis. | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess |
| 2016 | FM | Local Planning of Multiparty Interactions with Bounded Horizons. | Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem |
| 2016 | IFM | Monitoring Multi-threaded Component-Based Systems. | Hosein Nazarpour, Ylis Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2016 | ISoLA | Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. | Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga |
| 2016 | ISoLA | A Model-Based Approach to Secure Multiparty Distributed Systems. | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
| 2016 | TACAS | RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. | Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz |
| 2016 | VECoS | Performance Evaluation of Complex Systems Using the SBIP Framework. | Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2015 | DATE | Models for deterministic execution of real-time multiprocessor applications. | Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga |
| 2015 | HPCC | Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | ISORC | Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | ISORC | A Timed-Automata Based Middleware for Time-Critical Multicore Applications. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2014 | ISoLA | Rigorous System Design Flow for Autonomous Systems. | Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki |
| 2014 | MEMOCODE | Building faithful high-level models and performance evaluation of manycore embedded systems. | Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem |
| 2014 | RV | Faster Statistical Model Checking by Means of Abstraction and Learning. | Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2014 | TACAS | Compositional Invariant Generation for Timed Systems. | Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2014 | VMCAI | Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2014 | WFCS | Model-based validation of CANopen systems. | Alexios Lekidis, Marius Bozga, Saddek Bensalem |
| 2013 | ECRTS | Mixed Critical Earliest Deadline First. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2013 | FORTE | An Abstract Framework for Deadlock Prevention in BIP. | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket |
| 2013 | TACAS | As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. | Jean-Francois Kempf, Marius Bozga, Oded Maler |
| 2012 | DATE | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. | Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2012 | FORTE | Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. | Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis |
| 2012 | ICCD | Integration of correct-by-construction BIP models into the MetroII design space exploration flow. | Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone |
| 2012 | ISoLA | Statistical Model Checking QoS Properties of Systems with SBIP. | Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri |
| 2012 | SSS | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2012 | TACAS | Deciding Conditional Termination. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2012 | TASE | Modeling and Validation of PLC-Controlled Systems: A Case Study. | Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga |
| 2011 | EMSOFT | Automated distributed implementation of component-based models with priorities. | Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf |
| 2011 | MEMOCODE | Rigorous system level modeling and analysis of mixed HW/SW systems. | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
| 2011 | SEFM | Runtime Verification of Component-Based Systems. | Ylis Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
| 2011 | SRDS | A Theory of Fault Recovery for Component-Based Models. | Borzoo Bonakdarpour, Marius Bozga, Gregor Gler |
| 2010 | ATVA | Methods for Knowledge Based Controlling of Distributed Systems. | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | CADE | Tool Demonstration of the FLATA Counter Automata Toolset. | Marius Bozga, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2010 | CAV | Fast Acceleration of Ultimately Periodic Relations. | Marius Bozga, Radu Iosif, Filip Konecn |
| 2010 | EMSOFT | From high-level component-based models to distributed implementations. | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
| 2010 | FMCAD | Incremental component-based construction and verification using invariants. | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2010 | FORTE | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2010 | RV | Verification of an AFDX Infrastructure Using Simulations and Probabilities. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | SSS | Systematic Correct Construction of Self-stabilizing Systems: A Case Study. | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
| 2009 | CAV | D-Finder: A Tool for Compositional Deadlock Detection and Verification. | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
| 2009 | CAV | Automatic Verification of Integer Array Programs. | Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2009 | EMSOFT | Modeling synchronous systems in BIP. | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
| 2009 | EMSOFT | Compositional timing analysis. | Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2009 | MODELS | Prototyping of Distributed Embedded Systems Using AADL. | Mohamed Yassin Chkouri, Marius Bozga |
| 2009 | TACAS | Iterating Octagons. | Marius Bozga, Codruta Grlea, Radu Iosif |
| 2008 | ATVA | Compositional Verification for Component-Based Systems and Application. | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
| 2008 | CADE | Quantitative Separation Logic and Programs with Lists. | Marius Bozga, Radu Iosif, Swann Perarnau |
| 2008 | FORTE | Distributed Semantics and Implementation for Systems with Interaction and Priority. | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
| 2008 | MODELS | Translating AADL into BIP - Application to the Verification of Real-Time Systems. | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis |
| 2007 | VMCAI | On Flat Programs with Lists. | Marius Bozga, Radu Iosif |
| 2006 | CAV | Programs with Lists Are Counter Automata. | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Toms Vojnar |
| 2006 | CONCUR | On Interleaving in Timed Automata. | Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2006 | ICALP | Flat Parametric Counter Automata. | Marius Bozga, Radu Iosif, Yassine Lakhnech |
| 2006 | SEFM | Modeling Heterogeneous Real-time Components in BIP. | Ananda Basu, Marius Bozga, Joseph Sifakis |
| 2005 | FOSSACS | On Decidability Within the Arithmetic of Addition and Divisibility. | Marius Bozga, Radu Iosif |
| 2004 | RTSS | Scheduling Acyclic Branching Programs on Parallel Machines. | Marius Bozga, Abdelkarim Kerbaa, Oded Maler |
| 2004 | SAS | On Logics of Aliasing. | Marius Bozga, Radu Iosif, Yassine Lakhnech |
| 2003 | PEPM | Storeless semantics and alias logic. | Marius Bozga, Radu Iosif, Yassine Lakhnech |
| 2002 | CAV | IF-2.0: A Validation Environment for Component-Based Real-Time Systems. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2001 | NCA | Automated Validation of Distributed Software Using the IF Environment. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2000 | CAV | IF: A Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 2000 | SAS | A Transformational Approach for Generating Non-linear Invariants. | Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech |
| 2000 | TACAS | Using Static Analysis to Improve Automatic Test Generation. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
| 1999 | CAV | On the Representation of Probabilities over Structured Domains. | Marius Bozga, Oded Maler |
| 1999 | FM | IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 1999 | SAS | State Space Reduction Based on Live Variables Analysis. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu |
| 1998 | CAV | Kronos: A Model-Checking Tool for Real-Time Systems. | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
| 1997 | CAV | Some Progress in the Symbolic Verification of Timed Automata. | Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine |