Marius Bozga - RankMe

200 papers A* 10A 13B 25C 14Misc 7Journal 58Unranked 70

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks. CAV (3) Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani
2025	J	`jnl`	Counting Abstraction for the Verification of Structured Parameterized Networks. CoRR Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani
2025	—	`conf`	Iterating Non-Aggregative Structure Compositions. FSTTCS Marius Bozga, Radu Iosif, Florian Zuleger
2025	J	`jnl`	Iterating Non-Aggregative Structure Compositions. CoRR Marius Bozga, Radu Iosif, Florian Zuleger
2025	A*	`conf`	Regular Grammars for Sets of Graphs of Tree-Width 2. LICS Marius Bozga, Radu Iosif, Florian Zuleger
2025	J	`jnl`	Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm. CoRR Karine Altisen, Marius Bozga
2025	C	`conf`	Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. FORTE Karine Altisen, Marius Bozga
2025	J	`jnl`	Specification and model-checking of space systems in the TASTE toolset. Innov. Syst. Softw. Eng. Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin
2024	—	`conf`	Function Synthesis for Maximizing Model Counting. VMCAI (1) Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
2024	J	`jnl`	Regular Grammars for Graph Sets of Tree-Width ≤. CoRR Marius Bozga, Radu Iosif, Florian Zuleger
2024	J	`jnl`	Safe by Design Autonomous Driving Systems. CoRR Marius Bozga, Joseph Sifakis
2023	J	`jnl`	Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. Marius Bozga, Joseph Sifakis
2023	J	`jnl`	Function synthesis for maximizing model counting. CoRR Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
2023	J	`jnl`	The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations. CoRR Marius Bozga, Lucas Bueri, Radu Iosif, Florian Zuleger
2023	J	`jnl`	Verification of component-based systems with recursive architectures. Theor. Comput. Sci. Marius Bozga, Radu Iosif, Joseph Sifakis
2022	—	`conf`	Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) Marius Bozga, Joseph Sifakis
2022	J	`jnl`	Correct by Design Coordination of Autonomous Driving Systems. CoRR Marius Bozga, Joseph Sifakis
2022	A	`conf`	Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. IJCAR Marius Bozga, Lucas Bueri, Radu Iosif
2022	J	`jnl`	Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems. CoRR Marius Bozga, Lucas Bueri, Radu Iosif
2022	J	`jnl`	Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
2022	J	`jnl`	Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
2022	—	`conf`	Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
2022	B	`conf`	On an Invariance Problem for Parameterized Concurrent Systems. CONCUR Marius Bozga, Lucas Bueri, Radu Iosif
2022	J	`jnl`	On an Invariance Problem for Parameterized Concurrent Systems. CoRR Marius Bozga, Lucas Bueri, Radu Iosif
2022	J	`jnl`	Reasoning about distributed reconfigurable systems. Proc. ACM Program. Lang. Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
2022	—	`conf`	Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design Marius Bozga, Joseph Sifakis
2021	Misc	`conf`	A temporal configuration logic for dynamic reconfigurable systems. SAC Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
2021	J	`jnl`	Checking deadlock-freedom of parametric component-based systems. J. Log. Algebraic Methods Program. Marius Bozga, Radu Iosif, Joseph Sifakis
2021	J	`jnl`	Formal verification of space systems designed with TASTE. CoRR Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin
2021	J	`jnl`	Local Reasoning about Parameterized Reconfigurable Distributed Systems. CoRR Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
2021	—	`conf`	Monitoring Distributed Component-Based Systems. FACS Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
2021	J	`jnl`	Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2021	—	`conf`	Specification and Safety Verification of Parametric Hierarchical Distributed Systems. FACS Marius Bozga, Radu Iosif
2021	J	`jnl`	Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR Marius Bozga, Joseph Sifakis
2021	J	`jnl`	Verification of Component-based Systems with Recursive Architectures. CoRR Marius Bozga, Radu Iosif, Joseph Sifakis
2020	B	`conf`	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2020	Misc	`conf`	Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
2020	C	`conf`	Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem
2020	—	`conf`	Exploration of Impactful Countermeasures on IoT Attacks. MECO Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
2020	—	`conf`	Fog Computing and Blockchain for Massive IoT Deployment. MECO Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
2020	—	`conf`	Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga
2020	C	`conf`	Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
2020	—	`conf`	Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020	J	`jnl`	Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020	J	`jnl`	Verifying Safety Properties of Inductively Defined Parameterized Systems. CoRR Marius Bozga, Radu Iosif
2019	—	`conf`	Checking Deadlock-Freedom of Parametric Component-Based Systems. TACAS (2) Marius Bozga, Radu Iosif, Joseph Sifakis
2019	J	`jnl`	Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
2019	J	`jnl`	Local Reasoning about Parametric and Reconfigurable Component-based Systems. CoRR Marius Bozga, Radu Iosif, Joseph Sifakis
2019	J	`jnl`	Priority-based scheduling of mixed-critical jobs. Real Time Syst. Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2019	J	`jnl`	Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. CoRR Marius Bozga, Radu Iosif, Joseph Sifakis
2018	—	`conf`	A Model-based Approach to Certification of Adaptive MILS. MILS@DSN Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong
2018	J	`jnl`	Checking Deadlock-Freedom of Parametric Component-Based Systems. CoRR Marius Bozga, Radu Iosif, Joseph Sifakis
2018	J	`jnl`	DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 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
2018	—	`conf`	Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
2018	—	`conf`	Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2018	J	`jnl`	Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2018	—	`conf`	Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2018	J	`jnl`	Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
2018	J	`jnl`	Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
2018	—	`conf`	Programming Dynamic Reconfigurable Systems. FACS Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2018	B	`conf`	Tracing Distributed Component-Based Systems, a Brief Overview. RV Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
2017	—	`conf`	An End-to-End Security Model for Adaptive Service-Oriented Applications. ICSOC Workshops Takoua Abdellatif, Marius Bozga
2017	J	`jnl`	Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
2017	B	`conf`	Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo
2017	—	`conf`	Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem
2017	C	`conf`	Knowledge Based Optimization for Distributed Real-Time Systems. APSEC Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
2017	J	`jnl`	Monitoring Distributed Component-Based Systems. CoRR Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
2016	—	`conf`	A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
2016	—	`conf`	A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2016	J	`jnl`	Component-based verification using incremental design and invariants. Softw. Syst. Model. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2016	B	`conf`	Compositional Parameter Synthesis. FM Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
2016	J	`jnl`	Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
2016	J	`jnl`	Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
2016	B	`conf`	Local Planning of Multiparty Interactions with Bounded Horizons. FM Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
2016	—	`conf`	Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
2016	B	`conf`	Monitoring Multi-threaded Component-Based Systems. IFM Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
2016	C	`conf`	Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
2016	A	`conf`	RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
2015	—	`conf`	A Robust Framework for Securing Composed Web Services. FACS Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2015	—	`conf`	A Theory Agenda for Component-Based Design. Software, Services, and Systems Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
2015	—	`conf`	A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015	B	`conf`	Building distributed sensor network applications using BIP. SAS Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem
2015	J	`jnl`	Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015	—	`conf`	Compositional Verification of Parameterised Timed Systems. NFM Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015	A	`conf`	Models for deterministic execution of real-time multiprocessor applications. DATE Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga
2015	C	`conf`	Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015	J	`jnl`	Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2015	J	`jnl`	Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2015	J	`jnl`	Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
2015	—	`conf`	Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2015	—	`conf`	Using BIP to reinforce correctness of resource-constrained IoT applications. SIES Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
2014	—	`conf`	Architecture internalisation in BIP. CBSE Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
2014	C	`conf`	Building faithful high-level models and performance evaluation of manycore embedded systems. MEMOCODE Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
2014	A	`conf`	Compositional Invariant Generation for Timed Systems. TACAS Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2014	J	`jnl`	Deciding Conditional Termination Log. Methods Comput. Sci. Marius Bozga, Radu Iosif, Filip Konecný
2014	B	`conf`	Faster Statistical Model Checking by Means of Abstraction and Learning. RV Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
2014	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings FORMATS Axel Legay, Marius Bozga
2014	—	`conf`	Model-Driven Information Flow Security for Component-Based Systems. FPS@ETAPS Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2014	C	`conf`	Model-based validation of CANopen systems. WFCS Alexios Lekidis, Marius Bozga, Saddek Bensalem
2014	—	`conf`	Rigorous System Design Flow for Autonomous Systems. ISoLA (1) Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki
2014	B	`conf`	Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops. VMCAI Marius Bozga, Radu Iosif, Filip Konecný
2013	—	`conf`	An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2013	A	`conf`	As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS Jean-Francois Kempf, Marius Bozga, Oded Maler
2013	—	`conf`	Incremental Generation of Linear Invariants for Component-Based Systems. ACSD Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
2013	B	`conf`	Mixed Critical Earliest Deadline First. ECRTS Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
2013	J	`jnl`	Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
2013	—	`conf`	Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2013	J	`jnl`	Rigorous embedded design: challenges and perspectives. Int. J. Softw. Tools Technol. Transf. Saddek Bensalem, Axel Legay, Marius Bozga
2013	J	`jnl`	Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. CoRR Marius Bozga, Radu Iosif, Filip Konecný
2013	—	`conf`	Stochastic modeling and performance analysis of multimedia SoCs. ICSAMOS Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
2012	C	`conf`	A Theory of Fault Recovery for Component-Based Models. SSS Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
2012	J	`jnl`	A framework for automated distributed implementation of component-based models. Distributed Comput. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2012	A	`conf`	Deciding Conditional Termination. TACAS Marius Bozga, Radu Iosif, Filip Konecný
2012	C	`conf`	Integration of correct-by-construction BIP models into the MetroII design space exploration flow. ICCD Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone
2012	—	`conf`	Knowledge Based Transactional Behavior. Haifa Verification Conference Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2012	—	`conf`	Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012	A	`conf`	Modeling Dynamic Architectures Using Dy-BIP. SC Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis
2012	Misc	`conf`	Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
2012	—	`conf`	Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012	—	`conf`	Rigorous Component-Based System Design - (Invited Paper). WRLA Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2012	—	`conf`	Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
2012	J	`jnl`	Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay
2011	B	`conf`	A Theory of Fault Recovery for Component-Based Models. SRDS Borzoo Bonakdarpour, Marius Bozga, Gregor Gößler
2011	Misc	`conf`	Automated distributed implementation of component-based models with priorities. EMSOFT Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
2011	—	`conf`	Component Assemblies in the Context of Manycore. FMCO Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis
2011	—	`conf`	PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO 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, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano
2011	—	`conf`	Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS Jean-Francois Kempf, Marius Bozga, Oded Maler
2011	J	`jnl`	Programs with lists are counter automata. Formal Methods Syst. Des. Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
2011	J	`jnl`	Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
2011	—	`conf`	Rigorous System Design: The BIP Approach. MEMICS Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
2011	C	`conf`	Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang
2011	B	`conf`	Runtime Verification of Component-Based Systems. SEFM Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
2010	—	`conf`	Automated Conflict-free distributed implementation of component-based models. SIES Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010	—	`book`	Component-Based Design of Real-Time Systems. (Construction des Systèmes Temps Réel à base de Composants). Marius Bozga
2010	—	`conf`	Compositional Translation of Simulink Models into Synchronous BIP. SIES Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis
2010	J	`jnl`	Compositional verification for component-based systems and application. IET Softw. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2010	A*	`conf`	Fast Acceleration of Ultimately Periodic Relations. CAV Marius Bozga, Radu Iosif, Filip Konecný
2010	Misc	`conf`	From high-level component-based models to distributed implementations. EMSOFT Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010	B	`conf`	Incremental component-based construction and verification using invariants. FMCAD Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010	B	`conf`	Methods for Knowledge Based Controlling of Distributed Systems. ATVA Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
2010	J	`jnl`	Quantitative Separation Logic and Programs with Lists. J. Autom. Reason. Marius Bozga, Radu Iosif, Swann Perarnau
2010	J	`jnl`	Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Ind. Informatics Marius Bozga, Mohamad Jaber, Joseph Sifakis
2010	—	`conf`	Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
2010	C	`conf`	Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2010	—	`conf`	Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar
2010	B	`conf`	Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
2009	A*	`conf`	Automatic Verification of Integer Array Programs. CAV Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar
2009	A	`conf`	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2009	Misc	`conf`	Compositional timing analysis. EMSOFT Ramzi Ben Salah, Marius Bozga, Oded Maler
2009	A*	`conf`	D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2009	—	`conf`	Deterministic Data Flow Communication in AADL. ICESS Mohamed Yassin Chkouri, Marius Bozga
2009	J	`jnl`	Flat Parametric Counter Automata. Fundam. Informaticae Marius Bozga, Radu Iosif, Yassine Lakhnech
2009	A	`conf`	Iterating Octagons. TACAS Marius Bozga, Codruta Gîrlea, Radu Iosif
2009	Misc	`conf`	Modeling synchronous systems in BIP. EMSOFT Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
2009	—	`conf`	Prototyping of Distributed Embedded Systems Using AADL. ACES-MB@MoDELS Mohamed Yassin Chkouri, Marius Bozga
2009	—	`conf`	Source-to-source architecture transformation for performance optimization in BIP. SIES Marius Bozga, Mohamad Jaber, Joseph Sifakis
2008	B	`conf`	Compositional Verification for Component-Based Systems and Application. ATVA Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen
2008	C	`conf`	Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis
2008	—	`conf`	Modeling Heterogeneous Real-time Components in BIP. Perspectives Workshop: Model Engineering of Complex Systems (MECS) Ananda Basu, Marius Bozga, Joseph Sifakis
2008	A	`conf`	Quantitative Separation Logic and Programs with Lists. IJCAR Marius Bozga, Radu Iosif, Swann Perarnau
2008	—	`conf`	Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS (Workshops) Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis
2007	B	`conf`	On Flat Programs with Lists. VMCAI Marius Bozga, Radu Iosif
2007	—	`conf`	On timed components and their abstraction. SAVCBS Ramzi Ben Salah, Marius Bozga, Oded Maler
2006	—	`conf`	Flat Parametric Counter Automata. ICALP (2) Marius Bozga, Radu Iosif, Yassine Lakhnech
2006	B	`conf`	Modeling Heterogeneous Real-time Components in BIP. SEFM Ananda Basu, Marius Bozga, Joseph Sifakis
2006	B	`conf`	On Interleaving in Timed Automata. CONCUR Ramzi Ben Salah, Marius Bozga, Oded Maler
2006	A*	`conf`	Programs with Lists Are Counter Automata. CAV Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
2005	B	`conf`	On Decidability Within the Arithmetic of Addition and Divisibility. FoSSaCS Marius Bozga, Radu Iosif
2004	—	`conf`	IF Validation Environment Tutorial. SPIN Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
2004	B	`conf`	On Logics of Aliasing. SAS Marius Bozga, Radu Iosif, Yassine Lakhnech
2004	A	`conf`	Scheduling Acyclic Branching Programs on Parallel Machines. RTSS Marius Bozga, Abdelkarim Kerbaa, Oded Maler
2004	—	`conf`	Testing Conformance of Real-Time Applications by Automatic Generation of Observers. RV@ETAPS Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis
2004	—	`conf`	The IF Toolset. SFM Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
2003	—	`conf`	On Timing Analysis of Combinational Circuits. FORMATS Ramzi Ben Salah, Marius Bozga, Oded Maler
2003	J	`jnl`	State space reduction based on live variables analysis. Sci. Comput. Program. Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu
2003	C	`conf`	Storeless semantics and alias logic. PEPM Marius Bozga, Radu Iosif, Yassine Lakhnech
2003	J	`jnl`	Using static analysis to improve automatic test generation. Int. J. Softw. Tools Technol. Transf. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
2002	A*	`conf`	IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV Marius Bozga, Susanne Graf, Laurent Mounier
2002	—	`conf`	Verification of Asynchronous Circuits using Timed Automata. Theory and Practice of Timed Systems @ ETAPS Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
2002	—	`conf`	Verification of Timed Automata via Satisfiability Checking. FTRTFT Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
2001	B	`conf`	Automated Validation of Distributed Software Using the IF Environment. NCA Marius Bozga, Susanne Graf, Laurent Mounier
2001	—	`conf`	Automated validation of distributed software using the IF environment. Workshop on Software Model Checking @ CAV Marius Bozga, Susanne Graf, Laurent Mounier
2001	—	`conf`	Timed Extensions for SDL. SDL Forum Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
2000	B	`conf`	A Transformational Approach for Generating Non-linear Invariants. SAS Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
2000	A*	`conf`	IF: A Validation Environment for Timed Asynchronous Systems. CAV Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
2000	—	`conf`	SDL for Real-Time: What is Missing? SAM Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
2000	A	`conf`	Using Static Analysis to Improve Automatic Test Generation. TACAS Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
2000	J	`jnl`	Verification and test generation for the SSCOP protocol. Sci. Comput. Program. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
1999	—	`conf`	Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME Marius Bozga, Oded Maler, Stavros Tripakis
1999	—	`conf`	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
1999	—	`conf`	IF: An intermediate representation for SDL and its applications. SDL Forum Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
1999	A*	`conf`	On the Representation of Probabilities over Structured Domains. CAV Marius Bozga, Oded Maler
1999	B	`conf`	State Space Reduction Based on Live Variables Analysis. SAS Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
1999	—	`—`	Vérification symbolique pour les protocoles de communication. (Symbolic verification for communication protocols). Marius Bozga
1998	—	`conf`	KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). FTRTFT Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998	A*	`conf`	Kronos: A Model-Checking Tool for Real-Time Systems. CAV Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1997	—	`conf`	Data-Structures for the Verification of Timed Automata. HART Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
1997	J	`jnl`	Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
1997	A*	`conf`	Some Progress in the Symbolic Verification of Timed Automata. CAV Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine