Marius Bozga

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 84

Top Venues

CoRR

FACS

Int. J. Softw. Tools Technol. Transf.

ISoLA (3)

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Marius Bozga, Joseph Sifakis
Safe by Design Autonomous Driving Systems. CoRR (2024)
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function Synthesis for Maximizing Model Counting. VMCAI (1) (2024)
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function synthesis for maximizing model counting. CoRR (2023)
Marius Bozga, Radu Iosif, Joseph Sifakis
Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940 (Part) (2023)
Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger
The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations. CoRR (2023)
Marius Bozga, Joseph Sifakis
Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. 30 (2) (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems. CONCUR (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
On an Invariance Problem for Parameterized Concurrent Systems. CoRR (2022)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. IJCAR (2022)
Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52 (8) (2022)
Marius Bozga, Joseph Sifakis
Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) (2022)
Marius Bozga, Lucas Bueri, Radu Iosif
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems. CoRR (2022)
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Marius Bozga, Joseph Sifakis
Correct by Design Coordination of Autonomous Driving Systems. CoRR (2022)
Marius Bozga, Joseph Sifakis
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design (2022)
Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. FACS (2021)
Marius Bozga, Radu Iosif
Specification and Safety Verification of Parametric Hierarchical Distributed Systems. FACS (2021)
Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
A temporal configuration logic for dynamic reconfigurable systems. SAC (2021)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Marius Bozga, Joseph Sifakis
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR (2021)
Marius Bozga, Radu Iosif, Joseph Sifakis
Verification of Component-based Systems with Recursive Architectures. CoRR (2021)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking deadlock-freedom of parametric component-based systems. J. Log. Algebraic Methods Program. 119 (2021)
Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, T. Jorge, E. Alaña, M. Perrotin
Formal verification of space systems designed with TASTE. CoRR (2021)
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
Local Reasoning about Parameterized Reconfigurable Distributed Systems. CoRR (2021)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC (2020)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) (2020)
Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
Exploration of Impactful Countermeasures on IoT Attacks. MECO (2020)
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
Fog Computing and Blockchain for Massive IoT Deployment. MECO (2020)
Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem
Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS (2020)
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT (2020)
Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM (2020)
Marius Bozga, Radu Iosif
Verifying Safety Properties of Inductively Defined Parameterized Systems. CoRR (2020)
Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga
Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops (2020)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR (2020)
Marius Bozga, Radu Iosif, Joseph Sifakis
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. CoRR (2019)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Priority-based scheduling of mixed-critical jobs. Real Time Syst. 55 (4) (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking Deadlock-Freedom of Parametric Component-Based Systems. TACAS (2) (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Local Reasoning about Parametric and Reconfigurable Component-based Systems. CoRR (2019)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Programming Dynamic Reconfigurable Systems. FACS (2018)
Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. 48 (6) (2018)
Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 22 (1-2) (2018)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking Deadlock-Freedom of Parametric Component-Based Systems. CoRR (2018)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) (2018)
Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong
A Model-based Approach to Certification of Adaptive MILS. MILS@DSN (2018)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA (2018)
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
Tracing Distributed Component-Based Systems, a Brief Overview. RV (2018)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) (2018)
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) (2018)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM (2017)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29 (6) (2017)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM (2017)
Takoua Abdellatif, Marius Bozga
An End-to-End Security Model for Adaptive Service-Oriented Applications. ICSOC Workshops (2017)
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. CoRR (2017)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC (2017)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
Compositional Parameter Synthesis. FM (2016)
Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS (2016)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
Monitoring Multi-threaded Component-Based Systems. IFM (2016)
Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4 (2016)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR (2016)
Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS (2016)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods (2016)
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
Local Planning of Multiparty Interactions with Bounded Horizons. FM (2016)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) (2016)
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Component-based verification using incremental design and invariants. Softw. Syst. Model. 15 (2) (2016)
Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
: A Rigorous Approach for System-Level Performance Modeling and Analysis. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) (2016)
Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC (2015)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
A Robust Framework for Securing Composed Web Services. FACS (2015)
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14 (1) (2015)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98 (2015)
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
Using BIP to reinforce correctness of resource-constrained IoT applications. SIES (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS (2015)
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11 (3) (2015)
Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem
Building distributed sensor network applications using BIP. SAS (2015)
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
A Theory Agenda for Component-Based Design. Software, Services, and Systems (2015)
Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga
Models for deterministic execution of real-time multiprocessor applications. DATE (2015)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification of Parameterised Timed Systems. NFM (2015)
Alexios Lekidis, Marius Bozga, Saddek Bensalem
Model-based validation of CANopen systems. WFCS (2014)
Marius Bozga, Radu Iosif, Filip Konecný
Deciding Conditional Termination Log. Methods Comput. Sci. 10 (3) (2014)
Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE (2014)
Marius Bozga, Radu Iosif, Filip Konecný
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. VMCAI (2014)
Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) (2014)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Invariant Generation for Timed Systems. TACAS (2014)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS (2014)
Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
Architecture internalisation in BIP. CBSE (2014)
Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
Faster Statistical Model Checking by Means of Abstraction and Learning. RV (2014)
Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
Incremental Generation of Linear Invariants for Component-Based Systems. ACSD (2013)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Mixed Critical Earliest Deadline First. ECRTS (2013)
Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS (2013)
Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference (2013)
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. 17 (2) (2013)
Marius Bozga, Radu Iosif, Filip Konecný
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. CoRR (2013)
Saddek Bensalem, Axel Legay, Marius Bozga
Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)

Marius Bozga.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marius Bozga