Some Progress in the Symbolic Verification of Timed Automata. - Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine (CAV, 1997)

Data-Structures for the Verification of Timed Automata. - Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse (HART, 1997)

Protocol Verification with the ALDÉBARAN Toolset. - Marius Bozga; Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 1997)

Kronos: A Model-Checking Tool for Real-Time Systems. - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (CAV, 1998)

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). - Marius Bozga; Conrado Daws; Oded Maler; Alfredo Olivero; Stavros Tripakis; Sergio Yovine (FTRTFT, 1998)

On the Representation of Probabilities over Structured Domains. - Marius Bozga; Oded Maler (CAV, 1999)

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. - Marius Bozga; Oded Maler; Stavros Tripakis (CHARME, 1999)

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 (World Congress on Formal Methods, 1999)

IF: An intermediate representation for SDL and its applications. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier; Joseph Sifakis (SDL Forum, 1999)

Vérification symbolique pour les protocoles de communication. (Symbolic verification for communication protocols). - Marius Bozga (1999)

IF: A Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (CAV, 2000)

SDL for Real-Time: What is Missing? - Marius Bozga; Susanne Graf; Alain Kerbrat; Laurent Mounier; Iulian Ober; Daniel Vincent (SAM, 2000)

A Transformational Approach for Generating Non-linear Invariants. - Saddek Bensalem; Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Yassine Lakhnech (SAS, 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

Timed Extensions for SDL. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober; Jean-Luc Roux; Daniel Vincent (SDL Forum, 2001)

Automated validation of distributed software using the IF environment. - Marius Bozga; Susanne Graf; Laurent Mounier (Workshop on Software Model Checking @ CAV, 2001)

IF-2.0: A Validation Environment for Component-Based Real-Time Systems. - Marius Bozga; Susanne Graf; Laurent Mounier (CAV, 2002)

Verification of Timed Automata via Satisfiability Checking. - Peter Niebert; Moez Mahfoudh; Eugene Asarin; Marius Bozga; Oded Maler; Navendu Jain (FTRTFT, 2002)

Verification of Asynchronous Circuits using Timed Automata. - Marius Bozga; Jianmin Hou; Oded Maler; Sergio Yovine (Theory and Practice of Timed Systems @ ETAPS, 2002)

On Timing Analysis of Combinational Circuits. - Ramzi Ben Salah; Marius Bozga; Oded Maler (FORMATS, 2003)

Storeless semantics and alias logic. - Marius Bozga; Radu Iosif; Yassine Lakhnech (PEPM, 2003)

State space reduction based on live variables analysis. - Jean-Claude Fernandez; Marius Bozga; Lucian Ghirvu (Sci. Comput. Program., 2003)

Using static analysis to improve automatic test generation. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu (Int. J. Softw. Tools Technol. Transf., 2003)

Scheduling Acyclic Branching Programs on Parallel Machines. - Marius Bozga; Abdelkarim Kerbaa; Oded Maler (RTSS, 2004)

On Logics of Aliasing. - Marius Bozga; Radu Iosif; Yassine Lakhnech (SAS, 2004)

The IF Toolset. - Marius Bozga; Susanne Graf; Ileana Ober; Iulian Ober; Joseph Sifakis (SFM, 2004)

IF Validation Environment Tutorial. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober (SPIN, 2004)

Testing Conformance of Real-Time Applications by Automatic Generation of Observers. - Saddek Bensalem; Marius Bozga; Moez Krichen; Stavros Tripakis (RV@ETAPS, 2004)

On Decidability Within the Arithmetic of Addition and Divisibility. - Marius Bozga; Radu Iosif (FoSSaCS, 2005)

On Interleaving in Timed Automata. - Ramzi Ben Salah; Marius Bozga; Oded Maler (CONCUR, 2006)

Modeling Heterogeneous Real-time Components in BIP. - Ananda Basu; Marius Bozga; Joseph Sifakis (SEFM, 2006)

On timed components and their abstraction. - Ramzi Ben Salah; Marius Bozga; Oded Maler (SAVCBS, 2007)

On Flat Programs with Lists. - Marius Bozga; Radu Iosif (VMCAI, 2007)

Distributed Semantics and Implementation for Systems with Interaction and Priority. - Ananda Basu; Philippe Bidinger; Marius Bozga; Joseph Sifakis (FORTE, 2008)

Translating AADL into BIP - Application to the Verification of Real-Time Systems. - Mohamed Yassin Chkouri; Anne Robert; Marius Bozga; Joseph Sifakis (MoDELS (Workshops), 2008)

D-Finder: A Tool for Compositional Deadlock Detection and Verification. - Saddek Bensalem; Marius Bozga; Thanh-Hung Nguyen; Joseph Sifakis (CAV, 2009)

Automatic Verification of Integer Array Programs. - Marius Bozga; Peter Habermehl; Radu Iosif; Filip Konecný; Tomás Vojnar (CAV, 2009)

Modeling synchronous systems in BIP. - Marius Bozga; Vassiliki Sfyrla; Joseph Sifakis (EMSOFT, 2009)

Compositional timing analysis. - Ramzi Ben Salah; Marius Bozga; Oded Maler (EMSOFT, 2009)

Deterministic Data Flow Communication in AADL. - Mohamed Yassin Chkouri; Marius Bozga (ICESS, 2009)

Prototyping of Distributed Embedded Systems Using AADL. - Mohamed Yassin Chkouri; Marius Bozga (ACES-MB@MoDELS, 2009)

Iterating Octagons. - Marius Bozga; Codruta Gîrlea; Radu Iosif (TACAS, 2009)

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (DISC, 2009)

Flat Parametric Counter Automata. - Marius Bozga; Radu Iosif; Yassine Lakhnech (Fundam. Informaticae, 2009)

Component-Based Design of Real-Time Systems. (Construction des Systèmes Temps Réel à base de Composants). - Marius Bozga (2010)

Methods for Knowledge Based Controlling of Distributed Systems. - Saddek Bensalem; Marius Bozga; Susanne Graf; Doron A. Peled; Sophie Quinton (ATVA, 2010)

Tool Demonstration of the FLATA Counter Automata Toolset. - Marius Bozga; Radu Iosif; Filip Konecný; Tomás Vojnar (WING@ETAPS/IJCAR, 2010)

Fast Acceleration of Ultimately Periodic Relations. - Marius Bozga; Radu Iosif; Filip Konecný (CAV, 2010)

From high-level component-based models to distributed implementations. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (EMSOFT, 2010)

Incremental component-based construction and verification using invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (FMCAD, 2010)

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay (FMOODS/FORTE, 2010)

Verification of an AFDX Infrastructure Using Simulations and Probabilities. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis (RV, 2010)

Automated Conflict-free distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (SIES, 2010)

Compositional Translation of Simulink Models into Synchronous BIP. - Vassiliki Sfyrla; Georgios Tsiligiannis; Iris Safaka; Marius Bozga; Joseph Sifakis (SIES, 2010)

Systematic Correct Construction of Self-stabilizing Systems: A Case Study. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (SSS, 2010)

Compositional verification for component-based systems and application. - Saddek Bensalem; Marius Bozga; Thanh-Hung Nguyen; Joseph Sifakis (IET Softw., 2010)

Quantitative Separation Logic and Programs with Lists. - Marius Bozga; Radu Iosif; Swann Perarnau (J. Autom. Reason., 2010)

Source-to-Source Architecture Transformation for Performance Optimization in BIP. - Marius Bozga; Mohamad Jaber 001; Joseph Sifakis (IEEE Trans. Ind. Informatics, 2010)

Automated distributed implementation of component-based models with priorities. - Borzoo Bonakdarpour; Marius Bozga; Jean Quilbeuf (EMSOFT, 2011)

Component Assemblies in the Context of Manycore. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Mayur Maheshwari; Joseph Sifakis (FMCO, 2011)

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. - Christian Fabre; Iuliana Bacivarov; Ananda Basu; Martino Ruggiero; David Atienza; Eric Flamand; Jean-Pierre Krimm; Julien Mottin; Lars Schor; Pratyush Kumar; Hoeseok Yang; Devesh B. Chokshi; et al. (FMCO, 2011)

Performance Evaluation of Schedulers in a Probabilistic Setting. - Jean-Francois Kempf; Marius Bozga; Oded Maler (FORMATS, 2011)

Rigorous System Design: The BIP Approach. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Joseph Sifakis (MEMICS, 2011)

Rigorous system level modeling and analysis of mixed HW/SW systems. - Paraskevas Bourgos; Ananda Basu; Marius Bozga; Saddek Bensalem; Joseph Sifakis; Kai Huang (MEMOCODE, 2011)

Runtime Verification of Component-Based Systems. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (SEFM, 2011)

A Theory of Fault Recovery for Component-Based Models. - Borzoo Bonakdarpour; Marius Bozga; Gregor Gößler (SRDS, 2011)

Programs with lists are counter automata. - Ahmed Bouajjani; Marius Bozga; Peter Habermehl; Radu Iosif; Pierre Moro; Tomás Vojnar (Formal Methods Syst. Des., 2011)

Rigorous Component-Based System Design Using the BIP Framework. - Ananda Basu; Saddek Bensalem; Marius Bozga; Jacques Combaz; Mohamad Jaber 001; Thanh-Hung Nguyen; Joseph Sifakis (IEEE Softw., 2011)

Optimized distributed implementation of multiparty interactions with observation. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (AGERE!@SPLASH, 2012)

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 (DATE, 2012)

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (FMOODS/FORTE, 2012)

Knowledge Based Transactional Behavior. - Saddek Bensalem; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2012)

Integration of correct-by-construction BIP models into the MetroII design space exploration flow. - Alena Simalatsar; Liangpeng Guo; Marius Bozga; Roberto Passerone (ICCD, 2012)

Modeling Dynamic Architectures Using Dy-BIP. - Marius Bozga; Mohamad Jaber 001; Nikolaos Maris; Joseph Sifakis (SC@TOOLS, 2012)

Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

Rigorous Component-Based System Design - (Invited Paper). - Ananda Basu; Saddek Bensalem; Marius Bozga; Joseph Sifakis (WRLA, 2012)

A framework for automated distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (Distributed Comput., 2012)

Statistical abstraction and model-checking of large heterogeneous systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2012)

Incremental Generation of Linear Invariants for Component-Based Systems. - Saddek Bensalem; Marius Bozga; Benoît Boyer; Axel Legay (ACSD, 2013)

Mixed Critical Earliest Deadline First. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ECRTS, 2013)

An Abstract Framework for Deadlock Prevention in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (FMOODS/FORTE, 2013)

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. - Saddek Bensalem; Borzoo Bonakdarpour; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2013)

Stochastic modeling and performance analysis of multimedia SoCs. - Balaji Raman 001; Ayoub Nouri; Deepak Gangadharan; Marius Bozga; Ananda Basu; Mayur Maheshwari; Axel Legay; Saddek Bensalem; Samarjit Chakraborty (ICSAMOS, 2013)

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. - Jean-Francois Kempf; Marius Bozga; Oded Maler (TACAS, 2013)

Model-based implementation of distributed systems with priorities. - Borzoo Bonakdarpour; Marius Bozga; Jean Quilbeuf (Des. Autom. Embed. Syst., 2013)

Rigorous embedded design: challenges and perspectives. - Saddek Bensalem; Axel Legay; Marius Bozga (Int. J. Softw. Tools Technol. Transf., 2013)

Architecture internalisation in BIP. - Simon Bliudze; Joseph Sifakis; Marius Bozga; Mohamad Jaber 001 (CBSE, 2014)

Model-Driven Information Flow Security for Component-Based Systems. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (FPS@ETAPS, 2014)

Rigorous System Design Flow for Autonomous Systems. - Saddek Bensalem; Marius Bozga; Jacques Combaz; Ahlem Triki (ISoLA (1), 2014)

Building faithful high-level models and performance evaluation of manycore embedded systems. - Ayoub Nouri; Marius Bozga; Anca Molnos; Axel Legay; Saddek Bensalem (MEMOCODE, 2014)

Faster Statistical Model Checking by Means of Abstraction and Learning. - Ayoub Nouri; Balaji Raman 001; Marius Bozga; Axel Legay; Saddek Bensalem (RV, 2014)

Compositional Invariant Generation for Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (TACAS, 2014)

Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. - Marius Bozga; Radu Iosif; Filip Konecný (VMCAI, 2014)

Model-based validation of CANopen systems. - Alexios Lekidis; Marius Bozga; Saddek Bensalem (WFCS, 2014)

Deciding Conditional Termination - Marius Bozga; Radu Iosif; Filip Konecný (Log. Methods Comput. Sci., 2014)

A Theory Agenda for Component-Based Design. - Joseph Sifakis; Saddek Bensalem; Simon Bliudze; Marius Bozga (Software, Services, and Systems, 2015)

Models for deterministic execution of real-time multiprocessor applications. - Peter Poplavko; Dario Socci; Paraskevas Bourgos; Saddek Bensalem; Marius Bozga (DATE, 2015)

A Robust Framework for Securing Composed Web Services. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (FACS, 2015)

Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (HPCC/CSS/ICESS, 2015)

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ISORC, 2015)

A Timed-Automata Based Middleware for Time-Critical Multicore Applications. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ISORC Workshops, 2015)

Compositional Verification of Parameterised Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (NFM, 2015)

Building distributed sensor network applications using BIP. - Alexios Lekidis; Paraskevas Bourgos; Simplice Djoko Djoko; Marius Bozga; Saddek Bensalem (SAS, 2015)

Using BIP to reinforce correctness of resource-constrained IoT applications. - Alexios Lekidis; Emmanouela Stachtiari; Panagiotis Katsaros; Marius Bozga; Christos K. Georgiadis (SIES, 2015)

Compositional Verification for Timed Systems Based on Automatic Invariant Generation. - Souha Ben Rayana; Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Jacques Combaz (Log. Methods Comput. Sci., 2015)

Optimized distributed implementation of multiparty interactions with Restriction. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (Sci. Comput. Program., 2015)

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (Softw. Syst. Model., 2015)

Statistical model checking QoS properties of systems with SBIP. - Ayoub Nouri; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Cyrille Jégourel; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2015)

A Compositional Approach to the Verification of Hybrid Systems. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga (Theory and Practice of Formal Methods, 2016)

Compositional Parameter Synthesis. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Chih-Hong Cheng; Harald Ruess (FM, 2016)

Local Planning of Multiparty Interactions with Bounded Horizons. - Mahieddine Dellabani; Jacques Combaz; Marius Bozga; Saddek Bensalem (FM, 2016)

Monitoring Multi-threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga; Jacques Combaz (IFM, 2016)

Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. - Peter Poplavko; Rany Kahil; Dario Socci; Saddek Bensalem; Marius Bozga (ISoLA (1), 2016)

A Model-Based Approach to Secure Multiparty Distributed Systems. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (ISoLA (1), 2016)

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. - Souha Ben Rayana; Marius Bozga; Saddek Bensalem; Jacques Combaz (TACAS, 2016)

Performance Evaluation of Complex Systems Using the SBIP Framework. - Ayoub Nouri; Marius Bozga; Axel Legay; Saddek Bensalem (VECoS, 2016)

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga (CoRR, 2016)

Distinguishing extended finite state machine configurations using predicate abstraction. - Khaled El-Fakih; Nina Yevtushenko 001; Marius Bozga; Saddek Bensalem (J. Softw. Eng. Res. Dev., 2016)

Component-based verification using incremental design and invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (Softw. Syst. Model., 2016)

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. - Ayoub Nouri; Marius Bozga; Anca Molnos; Axel Legay; Saddek Bensalem (ACM Trans. Embed. Comput. Syst., 2016)

Knowledge Based Optimization for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (APSEC, 2017)

An End-to-End Security Model for Adaptive Service-Oriented Applications. - Takoua Abdellatif; Marius Bozga (ICSOC Workshops, 2017)

Improved Learning for Stochastic Timed Models by State-Merging Algorithms. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Saddek Bensalem (NFM, 2017)

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 (SEFM, 2017)

Monitoring Distributed Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Mohamad Jaber 001; Saddek Bensalem; Marius Bozga (CoRR, 2017)

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga (Formal Aspects Comput., 2017)

S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Mahieddine Dellabani; Axel Legay; Saddek Bensalem (ATVA, 2018)

A Model-based Approach to Certification of Adaptive MILS. - Dorien Koelemeijer; Rasma Araby; Ayoub Nouri; Marius Bozga; Rance DeLong (MILS@DSN, 2018)

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. - Rim El Ballouli; Saddek Bensalem; Marius Bozga; Joseph Sifakis (ISoLA (3), 2018)

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. - Iulia Dragomir; Simon Iosti; Marius Bozga; Saddek Bensalem (ISoLA (3), 2018)

Mitigating Security Risks Through Attack Strategies Exploration. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Axel Legay; Saddek Bensalem (ISoLA (2), 2018)

Tracing Distributed Component-Based Systems, a Brief Overview. - Yliès Falcone; Hosein Nazarpour; Mohamad Jaber 001; Marius Bozga; Saddek Bensalem (RV, 2018)

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. - Georgia Giannopoulou; Peter Poplavko; Dario Socci; Pengcheng Huang 001; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal; Madeleine Faugère; Romain Soulat; et al. (Des. Autom. Embed. Syst., 2018)

Performance evaluation of stochastic real-time systems with the SBIP framework. - Ayoub Nouri; Braham Lotfi Mediouni; Marius Bozga; Jacques Combaz; Saddek Bensalem; Axel Legay (Int. J. Crit. Comput. Based Syst., 2018)

Model-based design of IoT systems with the BIP component framework. - Alexios Lekidis; Emmanouela Stachtiari; Panagiotis Katsaros; Marius Bozga; Christos K. Georgiadis (Softw. Pract. Exp., 2018)

Global and Local Deadlock Freedom in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (ACM Trans. Softw. Eng. Methodol., 2018)

Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. - Marius Bozga; Radu Iosif; Joseph Sifakis (CoRR, 2019)

Local Reasoning about Parametric and Reconfigurable Component-based Systems. - Marius Bozga; Radu Iosif; Joseph Sifakis (CoRR, 2019)

Local Planning Semantics: A Semantics for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (Leibniz Trans. Embed. Syst., 2019)

Priority-based scheduling of mixed-critical jobs. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (Real Time Syst., 2019)

Asset-Driven Approach for Security Risk Assessment in IoT Systems. - Salim Chehida; Abdelhakim Baouya; Diego Fernández Alonso; Paul-Emmanuel Brun; Guillemette Massot; Marius Bozga; Saddek Bensalem (CRiSIS, 2020)

Formal Modeling and Simulation of Collaborative Intelligent Robots. - Abdelhakim Baouya; Salim Chehida; Miquel Cantero; Marta Millet; Saddek Bensalem; Marius Bozga (ESOCC Workshops, 2020)

Fog Computing and Blockchain for Massive IoT Deployment. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (MECO, 2020)

Exploration of Impactful Countermeasures on IoT Attacks. - Salim Chehida; Abdelhakim Baouya; Marius Bozga; Saddek Bensalem (MECO, 2020)

Applied Statistical Model Checking for a Sensor Behavior Analysis. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (QUATIC, 2020)

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. - Antoine El-Hokayem; Saddek Bensalem; Marius Bozga; Joseph Sifakis (SEFM, 2020)

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (SoMeT, 2020)

Structural Invariants for the Verification of Systems with Parameterized Architectures. - Marius Bozga; Javier Esparza; Radu Iosif; Joseph Sifakis; Christoph Welzel (TACAS (1), 2020)

Verifying Safety Properties of Inductively Defined Parameterized Systems. - Marius Bozga; Radu Iosif (CoRR, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

Specification and Safety Verification of Parametric Hierarchical Distributed Systems. - Marius Bozga; Radu Iosif (FACS, 2021)

Monitoring Distributed Component-Based Systems. - Yliès Falcone; Hosein Nazarpour; Saddek Bensalem; Marius Bozga (FACS, 2021)

A temporal configuration logic for dynamic reconfigurable systems. - Antoine El-Hokayem; Marius Bozga; Joseph Sifakis (SAC, 2021)

Local Reasoning about Parameterized Reconfigurable Distributed Systems. - Emma Ahrens; Marius Bozga; Radu Iosif; Joost-Pieter Katoen (CoRR, 2021)

Formal verification of space systems designed with TASTE. - Iulia Dragomir; Marius Bozga; Iulian Ober; D. Silveira; Tiago Jorge; E. Alaña; Maxime Perrotin (CoRR, 2021)

Checking deadlock-freedom of parametric component-based systems. - Marius Bozga; Radu Iosif; Joseph Sifakis (J. Log. Algebraic Methods Program., 2021)

Programming dynamic reconfigurable systems. - Rim El Ballouli; Saddek Bensalem; Marius Bozga; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2021)

Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. - Marius Bozga; Joseph Sifakis (Principles of Systems Design, 2022)

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. - Marius Bozga; Lucas Bueri; Radu Iosif (IJCAR, 2022)

On an Invariance Problem for Parameterized Concurrent Systems. - Marius Bozga; Lucas Bueri; Radu Iosif (CONCUR, 2022)

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 (MoDELS (Companion), 2022)

Generation and verification of learned stochastic automata using k-NN and statistical model checking. - Abdelhakim Baouya; Salim Chehida; Samir Ouchani; Saddek Bensalem; Marius Bozga (Appl. Intell., 2022)

Reasoning about distributed reconfigurable systems. - Emma Ahrens; Marius Bozga; Radu Iosif; Joost-Pieter Katoen (Proc. ACM Program. Lang., 2022)

Learning and analysis of sensors behavior in IoT systems using statistical model checking. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (Softw. Qual. J., 2022)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations. - Marius Bozga; Lucas Bueri; Radu Iosif; Florian Zuleger (CoRR, 2023)

Verification of component-based systems with recursive architectures. - Marius Bozga; Radu Iosif; Joseph Sifakis (Theor. Comput. Sci., 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

Correct by design coordination of autonomous driving systems. - Marius Bozga; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2023)

Function Synthesis for Maximizing Model Counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (VMCAI (1), 2024)

Safe by Design Autonomous Driving Systems. - Marius Bozga; Joseph Sifakis (CoRR, 2024)

Regular Grammars for Graph Sets of Tree-Width ≤. - Marius Bozga; Radu Iosif; Florian Zuleger (CoRR, 2024)

Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. - Marius Bozga; Radu Iosif; Arnaud Sangnier; Neven Villani (CAV (3), 2025)

Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. - Karine Altisen; Marius Bozga (FORTE, 2025)

Counting Abstraction for the Verification of Structured Parameterized Networks. - Marius Bozga; Radu Iosif; Arnaud Sangnier; Neven Villani (CoRR, 2025)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm. - Karine Altisen; Marius Bozga (CoRR, 2025)