Marius Bozga

CNRS Research Engineer (IR1)

VERIMAG / MOHYTOS

Bâtiment IMAG
Université Grenoble Alpes
150 Place du Torrent
38401 Saint Martin d’Hères

tel: +33 (0)4 57 42 22 07
fax: +33 (0)4 57 42 22 22

e-mail: Marius [dot] Bozga [at] univ-grenoble-alpes [dot] fr

Home

Publications
[hal] [dblp] [scholar]

Tools

Research
Projects

Curriculum
Vitae

2024

T. Vigouroux, M. Bozga, C. Ene and L. Mounier Function synthesis for maximizing model counting In VMCAI'24 (to appear)

2023

M. Bozga and J. Sifakis Correct by Design Coordination of Autonomous Driving Systems In Software Tools for Technology Transfer (STTT) (to appear)
M. Bozga, R. Iosif and J. Sifakis Verification of component-based systems with recursive architectures In Theoretical Computer Science, TCS 940 (Part): 146-175 (2023)

2022

I. Dragomir, C. R. Aparicio, T. J. da Silva, L. S. Gouveia, I. Ober, I. Kolesnikov, M. Bozga and M. Perrotin Model-Checking of Space Systems designed with TASTE/SDL In SAM'22 Workshop
I. Dragomir, C. Redondo, T. Jorge, L. Gouveia, M. Bozga, I. Ober and M. Perrotin Model-Checking for TASTE designed Space Software Systems: Results and Lessons Learned In MBSE'22 Workshop
M. Bozga and J. Sifakis Correct by Design Coordination of Autonomous Driving Systems In ISOLA'22 Conference
M. Bozga and J. Sifakis Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework In Principles of Systems Design 2022: 85-106
E. Ahrens, M. Bozga, R. Iosif and JP. Katoen Reasoning about Reconfigurations of Distributed Systems In OOPSLA'22 Conference
M. Bozga, L. Bueri and R. Iosif On an Invariance Problem for Parameterized Concurrent Systems In CONCUR'22 Conference
M. Bozga, L. Bueri and R. Iosif Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems In IJCAR'22 Conference
A. Baouya, S. Chehida, S. Ouchani, S. Bensalem and M. Bozga Generation and verification of learned stochastic automata using k-NN and statistical model checking In Appl. Intell. 52(8): 8874-8894 (2022)
S. Chehida, A. Baouya, S. Bensalem, M. Bozga Learning and analysis of sensors behavior in IoT systems using statistical model checking In Softw. Qual. J. 30(2): 367-388 (2022)

2021

M. Bozga and R. Iosif Specification and Verification of Parametric Systems with Recursive Architectures In FACS'21 Conference
Y. Falcone, H. Nazarpour, S. Bensalem and M. Bozga Monitoring Distributed Component-Based Systems In FACS'21 Conference
I. Dragomir, M. Bozga, I. Ober, D. Silvera, T. Jorge, E. Alana and M. Perrotin Formal Verification of Space Systems Designed with TASTE In MBSE'21 Workshop
A. El-Hokayem, M. Bozga, J. Sifakis A Framework for the Specification and Validation of Dynamic Reconfigurable Systems In Applied Computing Review ACR 21(2), June 2021, pp 18-32
M. Bozga, R. Iosif and J. Sifakis Checking Deadlock-Freedom of Parametric Component-Based Systems In Logical and Algebraic Methods in Programming (JLAMP), 119(2021)
A. El-Hokayem, M. Bozga, J. Sifakis A Temporal Configuration Logic for Dynamic Reconfigurable Systems In ACM SAC'21 Conference
R. El-Ballouli, S. Bensalem, M. Bozga, J. Sifakis Programming Dynamic Reconfigurable Systems In Software Tools for Technology Transfer (STTT), 23(5): 701-719 (2021)

2020

A. El-Hokayem, S. Bensalem, M. Bozga and J. Sifakis A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis In SEFM'20 Conference
M. Bozga, J. Esparza, R. Iosif, J. Sifakis and C. Welzel Structural Invariants for the Verification of Systems with Parameterized Architectures In TACAS'20 Conference
S. Chehida, A. Baouya, M. Bozga, and S. Bensalem Exploration of Impactful Countermeasures on IoT Attacks In MECO'20 Conference
A. Baouya, S. Chehida, S. Bensalem, and M. Bozga, Fog Computing and Blockchain for Massive IoT Deployment In MECO'20 Conference
S. Chehida, A. Baouya, S. Bensalem and M. Bozga Applied Statistical Model Checking for a Sensor Behavior Analysis In QUATIC'20 Conference

2019

M. Bozga, R. Iosif, J. Sifakis Checking Deadlock-Freedom of Parametric Component-Based Systems In TACAS'19 Conference
M. Dellabani, J. Combaz, S. Bensalem, M. Bozga Local Planning Semantics: a Semantics for Distributed Real-Time Systems In Leibniz Transactions on Embedded Systems, LITES 6(1): 01:1-01:27
D. Socci, P. Poplavko, S. Bensalem, M. Bozga Priority-Based Scheduling of Mixed-Critical Jobs In Real-Time Systems, 55(4):709-773

2018

Y. Falcone, H. Nazarpour, M. Jaber, M. Bozga and S. Bensalem Tracing Distributed Component-Based Systems In RV'18 Conference
R. EL-Ballouli, S. Bensalem, M. Bozga and J. Sifakis Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP In ISOLA'18 Conference
I. Dragomir, S. Iosti, M. Bozga and S. Bensalem Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach In ISOLA'18 Conference
B. L. Mediouni, A. Nouri, M. Bozga, A. Legay, and S. Bensalem Mitigating Security Risks through Attack Strategies Exploration In ISOLA'18 Conference
T. Rosenberger, S. Bensalem, M. Bozga and M. Roggenbach Towards Semantical Foundations of Services Computing In NWPT'18 Workshop
R. EL-Ballouli, S. Bensalem, M. Bozga and J. Sifakis Programming Dynamic Reconfigurable Systems In FACS'18 Conference
B.L. Mediouni, A. Nouri, M. Bozga, M. Dellabani, A. Legay and S. Bensalem SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems In ATVA'18 Conference
D. Koelemeijer, R. Araby, A. Nouri, M. Bozga and R. Delong A Model-based Approach to Certification of Adaptive MILS In 4th MILS Workshop
A. Nouri, B. L. Mediouni, M. Bozga, J. Combaz, A. Legay, S. Bensalem Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework In Critical Computer-Based Systems, IJCCBS 8(3/4): 340-370
G. Giannopoulou, P. Poplavko, D. Socci, P. Huang, N. Stoimenov, P. Bourgos, L. Thiele, M. Bozga, S. Bensalem, S. Girbal, M. Faugere, R. Soulat, B. D. de Dinechin DOL–BIP-critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems In Design Automation for Embedded Systems, 22(1-2):141-181
A. Lekidis, E. Stachtiari, P. Katsaros, M. Bozga, C. K. Georgiadis Model-based Design of IoT Systems with the BIP Component Framework In Software: Practice and Experience, 48(6):1167-1194
P. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis, F. Zaraket Global and Local Deadlock Freedom in BIP In ACM Transactions on Software Engineering and Methodology, 26(3):9:1-9:48

2017

T. Abdellatif, M. Bozga An end-to-end security model for adaptive service-oriented applications In ASOCA'17 Workshop
M. Dellabani, J. Combaz, S. Bensalem and M. Bozga Knowledge Based Optimization for Distributed Real-Time Systems In APSEC'17 Conference
F. Gioulekas, P. Poplavko, R. Kahil, P. Katsaros, M. Bozga, S. Bensalem and P. Palomo Design of embedded systems with complex task dependencies and shared resource In SEFM'17 Conference
B.L. Mediouni, A. Nouri, M. Bozga and S. Bensalem Improved Learning for Stochastic Timed Models by State-Merging Algorithms In NFM'17 Conference
H. Nazarpour, Y. Falcone, S. Bensalem and M. Bozga Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems In Formal Aspects of Computing, 29(6), 951-986, 2017

2016

M. Dellabani, S. Bensalem, J. Combaz and M. Bozga Local Planning of Multiparty Interactions with a Bounded Horizon In FM'16 Symposium
L. Astefanoaei, S. Bensalem, M. Bozga, C. Cheng and H. Ruess Compositional Parameter Synthesis In FM'16 Symposium
A. Nouri, M. Bozga, and S. Bensalem Building Faithful Embedded Systems Models: Challenges and Opportunities In Model-Implementation Fidelity in Cyber Physical System Design
A. Nouri, M. Bozga, A. Legay and S. Bensalem Performance Evaluation of Complex Systems Using the SBIP Framework In VECoS'16 Workshop
N. Ben Said, T. Abdellatif, S. Bensalem and M. Bozga A Model-Based Approach to Secure Multiparty Distributed Systems In ISOLA'16 Conference
P. Poplavko, R. Kahil, D. Socci, S. Bensalem and M. Bozga Mixed-Critical Systems Design with Coarse-grained Multi-core Interference In ISOLA'16 Conference
K. El-Fakih, N. Yevtushenko, M. Bozga, S. Besalem Distinguishing Extended Finite State Machine Configurations Using Predicated Abstraction In Software Engineering Research and Development 4: 1 (2016)
P. Poplavko, D. Socci, R. Kahil, M. Bozga and S. Bensalem Extended Abstract: Process Networks for Reactive Streaming with Timed-automata Implementation In IDEA'16 Workshop, (interactive presentation)
H. Nazarpour, Y. Falcone, S. Bensalem, M. Bozga and J. Combaz Monitoring Multi-threaded Component-Based Systems In iFM'16 Conference
A. Nouri, M. Bozga, A. Molnos, A. Legay and S. Bensalem ASTROLABE: A Rigorous Approach for System-level Performance Modeling and Analysis In Transactions on Embedded Computing Systems, Volume 15, Issue 2
S. Ben Rayana, M. Bozga, S. Bensalem and J. Combaz RTD-Finder: A Tool for Compositional Verification of Real-Time Component-based Systems In TACAS'16 Conference
L. Astefanoaei, S. Bensalem and M. Bozga A Compositional Approach to the Verication of Hybrid Systems In Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
S. Bensalem, M. Bozga, A. Legay, T.-H. Nguyen, J. Sifakis and R. Yan Component-based Verification using Incremental design and Invariants In Software and Systems Modeling 15(2): 427-451 (2016)

2015

N. Ben Said, T. Abdellatif, S. Bensalem and M. Bozga A model-based approach to secure multi-party distributed systems In AGERE! Workshop at SPLASH'15
N. Ben Said Najah, T. Abdellatif, S. Bensalem and M. Bozga A robust framework for securing composed Web Services In FACS'15 Conference
S. Ben Rayana, L. Astefanoaei, S. Bensalem, M. Bozga, J. Combaz Compositional Invariant Generation for Timed Systems In Logical Methods in Computer Science
A. Lekidis, E. Stachtiari, P. Katsaros, M. Bozga and C. Georgiadis Using BIP to reinforce correctness of resource-constrained IoT applications In SIES'15 Symposium
D. Socci, P. Poplavko, P. Bourgos, S. Bensalem and M. Bozga A Timed-automata based Middleware for Time-critical Multicore Applications In SEUS'15 Workshop
D. Socci, P. Poplavko, M. Bozga and S. Bensalem Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs In ISORC'15 Conference
L. Astefanoaei, S. Ben Rayana, S. Bensalem, M. Bozga and J. Combaz Compositional Verification of Parameterised Timed Systems In NFM'15 Conference
A. Lekidis, P. Bourgos, S. Djoko-Djoko, M. Bozga and S. Bensalem Building Distributed Sensor Network Applications using BIP In IEEE Sensors Applications Symposium 2015
P. Poplavko, D. Socci, P. Bourgos, M. Bozga and S. Bensalem Models for Deterministic Execution of Real-time Multiprocessor Applications In DATE'15 Conference
J. Sifakis, S. Bensalem, S. Bliudze and M. Bozga A Theory Agenda for Component-Based Design In Software, Services and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation
S. Bensalem, M. Bozga, J. Quilbeuf and J. Sifakis Optimized Distributed Implementation of Multiparty Interactions with Restriction In Science of Computer Programming 98:293-316 (2015)
A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel and A. Legay Statistical Model-Checking QoS Properties of Systems with SBIP In Software Tools for Technology Transfer (STTT), 17(2): 171-185
Y. Falcone, M. Jaber, T-H. Nguyen, M. Bozga, S. Bensalem Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation In Software and Systems Modeling, Volume 14, Issue 1 (2015), pp 173-199

2014

A. Nouri, M. Bozga, A. Molnos, A. Legay and S. Bensalem Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems In MEMOCODE'14 Conference
A. Nouri, B. Raman, M. Bozga, A. Legay and S. Bensalem Faster Statistical Model Checking by Means of Abstraction and Learning In RV'14 Conference
S. Bensalem, M. Bozga, J. Combaz and A. Triki Rigorous System Design Flow for Autonomous Systems In ISOLA'14 Conference
R. Iosif, F. Konecny and M. Bozga Deciding Conditional Termination In Logical Methods in Computer Science, vol. 10(3:8)2014, pp. 1-61
N. Ben Said, T. Abdellatif, S. Bensalem, M. Bozga Model-driven Information Flow Security for Component-Based Systems In FPS Workshop at ETAPS'14 Conference
S. Bliudze, M. Bozga, M. Jaber and J. Sifakis Architecture Internalisation in BIP In CBSE'14 Conference
A. Lekidis, M. Bozga and S. Bensalem Model-based validation of CANopen systems In WFCS'14 Workshop
L. Astefanoaei, S. Ben Rayana, S. Bensalem, M. Bozga and J. Combaz Compositional Invariant Generation for Timed Systems In TACAS'14 Conference
B. Raman, A. Nouri, D. Gangadharan, M. Bozga, A. Basu, M. Maheshwari, A. Legay, S. Bensalem, and S. Chakraborty A General Stochastic Framework for Low-Cost Design of Multimedia SoCs In IEEE COMSOC MMTC E-Letter Vol 9(2):34-36(2014)
R. Iosif, M. Bozga and F. Konecny Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops In VMCAI'14 Conference

2013

M. Bozga, G. Chasapis, V. Dimakopoulos and A. Aggelis Image Processing: Object Recognition In Smart Multicore Embedded Systems, Springer.
D Socci, P. Poplavko, S. Bensalem and M. Bozga Time-Triggered Mixed-Critical Scheduler In WMC'13 Workshop
A. Lekidis, M. Bozga, D. Mauuary and S. Bensalem A model-based design flow for CAN-based systems In iCC'13 Can in Automation Conference
S. Bensalem, B. Bonakdarpour, M. Bozga, D. Peled and Jean Quilbeuf Performance Evaluation of Process Partitioning using Probabilistic Model Checking In HVC'13 Conference
A. Nouri, A. Legay, S. Bensalem and M. Bozga SBIP: A Statistical Model Checking Extension for the BIP Framework In SMC 2013 Workshop
D. Socci, P. Poplavko, S. Bensalem and M. Bozga Modeling Mixed-critical Systems in Real-time BIP In ReTiMics'13 Workshop
B. Raman, A. Nouri, D. Gangadharan, M. Bozga, A. Basu, M. Maheshwari, A. Legay, S. Bensalem and S. Chakraborty Stochastic Modeling and Performance Analysis of Multimedia SoCs In SAMOS XIII Conference
D. Socci, P. Poplavko, S. Bensalem and M. Bozga Mixed Critical Earliest Deadline First In ECRTS'13 Conference
P. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis and F. Zaraket An Abstract Framework for Deadlock Prevention in BIP In FORTE'13 Conference
A. Legay, S. Bensalem, B. Boyer and M. Bozga Incremental Generation of Linear Invariants for Component-Based Systems In ACSD'13 Conference
Jean-Francois Kempf, Marius Bozga and Oded Maler As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty In TACAS'13 Conference
S. Bensalem, A. Legay, M. Bozga Rigorous embedded design: challenges and perspectives In Software Tools for Technology Transfer (STTT) 15(3):149-154(2013)
B. Bonakdarpour, M. Bozga, J. Quilbeuf Model-based Implementation of Distributed Systems with Priorities In Design Automation for Embedded Systems 17(2): 251-276 (2013)

2012

S. Bensalem, M. Bozga, J. Quilbeuf, D.Peled Knowledge Based Transactional Behavior In HVC'12 Conference, post-proceedings
S. Bensalem, M. Bozga, J. Quilbeuf, J. Sifakis Optimized Distributed Implementation of Multiparty Interactions with Observation In AGERE! Workshop at SPLASH'12
A. Simalatsar, L. Guo, M. Bozga, R. Passerone Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow In ICCD'12 Coference, short paper
S. Bensalem, M.Bozga, B. Delahaye, C. Jegourel, A. Legay, A. Nouri Statistical Model Checking QoS properties of Systems with SBIP In ISOLA'12 Symposium
A. Basu, S.Bensalem, M. Bozga, P. Bourgos, M. Maheshwari, J. Sifakis Component Assemblies in the Context of Many-Core In FMCO'11 Conference
C. Fabre, I. Bacivarov, A. Basu, M. Ruggiero, D. Atienza, E. Flamand, J-P. Krimm, J. Mottin, L. Schor, P. Kumar, H. Yang, D. Chokshi, L. Thiele, S. Bensalem, M. Bozga, M. Sabry, Y. Leblebici, G. De Micheli, D. Melpignano PRO3D, Programming for Future 3D Manycore Architectures: Status After 24 Months In FMCO'11 Conference
B. Bonakdarpour, M. Bozga, G. Gössler A Theory of Fault-Recovery for Component-Based Systems In SSS'12 Conference
R. Wang, M. Zhou, L. Yin, L. Zhang, J. Sun, G. Ming, M. Bozga Modeling and Validation of PLC-Controlled Systems: A Case Study In TASE'12 Conference
S. Bensalem, M. Bozga, J. Quilbeuf, J. Sifakis Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities In FMOODS/FORTE'12 Conference
M. Bozga, M. Jaber, N. Maris, J. Sifakis Modeling Dynamic Architectures using Dy-BIP In SC'12 Conference
M. Bozga, R. Iosif, F. Konecny Deciding Conditional Termination In TACAS'12 Conference
M. Bozga, A. David, A. Hartmanns, H. Hermanns, K.G. Larsen, A. Legay, J. Tretmans State-of-the-art Tools and Techniques for Modeling and Analyzing Embedded Systems In DATE'12 Conference
A. Basu, S. Bensalem, M. Bozga, J. Mottin, F. Pacull, A. Poulakidas, A. Aggelis System Level Modeling, Analysis and Code Generation: Object Recognition Case Study In Embedded World'12 Conference
S. Bensalem, A. Basu, M. Bozga, P. Bourgos, J. Sifakis Rigorous Component-based System Design In WRLA'12 Workshop
H. Wan, C. Huang, Y. Wang, F. He, M. Gu, R. Chen, M.Bozga Modeling and Validation of a Data Process Unit Control for Space Applications In ERTS'12 Conference
A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay Statistical abstraction and model-checking of large heterogeneous systems In Software Tools for Technology Transfer (STTT) 14(1):53-72(2012)
B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, J. Sifakis A Framework for Automated Distributed Implementation of Component-based Models In Distributed Computing, Volume 25, Number 5 (2012), 383-409

2011

A. Basu, M. Bozga, S. Bensalem, J.P. Krimm, J. Mottin, F. Pacull, C. Fabre Compiling Applications for P2012 with the BIP Tool Chain In P2012 Developers Conference
P. Bourgos, A. Basu, M. Bozga, S. Bensalem From BIP System Model to Platform P2012: A Code Generation Flow In P2012 Developers Conference
Y. Falcone, M. Jaber, T-H. Nguyen, M. Bozga, S. Bensalem Runtime Verication of Component-based Systems In SEFM'11 Conference
A. Basu, S. Bensalem, M. Bozga, P. Bourgos, J. Sifakis Rigorous System Design: the BIP Approach In MEMICS'11 Conference
B. Bonakdarpour, M. Bozga, J. Quilbeuf Automated Distributed Implementation of Component-Based Models with Priorities In EMSOFT'11 Conference
B. Bonakdarpour, M. Bozga, G. Göessler A Theory of Fault Recovery for Component-Based Models In SRDS'11 Conference
J.F. Kempf, M. Bozga, O. Maler Performance Evaluation of Schedulers in a Probabilistic Setting. In FORMATS'11 Conference
A. Basu, S. Bensalem, P. Bourgos, M. Bozga, K. Huang, J. Sifakis Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems In MEMOCODE'11 Conference.
A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T-H. Nguyen, J. Sifakis Rigorous Component-Based System Design Using the BIP Framework In IEEE Software, 28(3): 41-48 (2011)
A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro, T. Vojnar Programs with lists are counter automata In Formal Methods in System Design, 38(2): 158-192 (2011)

2010

S. Bensalem, M. Bozga, B. Delahaye, A. Legay, E. Sifakis Verification of an AFDX infrastructure using Simulations and Probabilities In RV'10 Conference
B. Bonakdarpour, M. Bozga, M. Jaber, J.Quilbeuf, J. Sifakis From High-Level Component-Based Models to Distributed Implementations In EMSOFT'10 Conference
A. Basu, B. Bonakdarpour, M. Bozga, J. Sifakis Systematic Correct Construction of Self-Stabilizing Systems: A Case Study In SSS'10 Conference
S. Bensalem, M. Bozga, S. Graf, D. Peled and S. Quinton Methods for Knowledge Based Controlling of Distributed Systems In ATVA'10 Conference
S. Bensalem, M. Bozga, A. Legay, T. Nguyen, J Sifakis and R. Yan Incremental Component-based Construction and Verification using Invariants In FMCAD'10 Conference
M. Bozga, R. Iosif and F. Konecny Fast Acceleration of Ultimately Periodic Relations In CAV'10 Conference
B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf and J. Sifakis Automated Conflict-free distributed implementation of component-based models In SIES'10 Conference
V. Sfyrla, G. Tsiligiannis, I. Safaka, M. Bozga and J. Sifakis Compositional Translation of Simulink Models into Synchronous BIP In SIES'10 Conference, WIP track
A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye and A. Legay Statistical Abstraction and Model-Checking of Large Heterogeneous Component-Based Systems In FORTE'10 Conference
M. Bozga and E. Sifakis Issues on Memory-Management for Component-Based Systems In EC^2 '10 Workshop
M. Bozga, R. Iosif, F. Konecny, T. Vojnar FLATA: Towards a Toolset for manipulation and analysis of counter automata In SVARM'10 Workshop
M. Bozga, R. Iosif, F. Konecny, T. Vojnar Tool Demonstration of the FLATA Counter Automata Toolset In WING'10 Workshop (tool demo)
M. Bozga, M. Jaber and J. Sifakis Source-to-Source Architecture Transformation for Performance Optimization in BIP In IEEE Transactions on Industrial Informatics, vol 6, issue 4, pages 708-718, November 2010
S. Bensalem, M. Bozga, T.H. Nguyen and J. Sifakis Compositional Verification for Component-based Systems and Application In IET Software, Special Issue Automated Compositional Verification, vol 4, issue 3 / June 2010
M. Bozga, R. Iosif and S. Perarnau Quantitative Separation Logic and Programs with Lists In Journal of Automated Reasoning, vol 45, number 2 / August 2010

2009

M. Bozga, P. Habermehl, R. Iosif, F. Konecny and T. Vojnar Automatic Verification of Integer Array Programs In MEMICS'09 Workshop (presentation)
M. Bozga, V. Sfyrla and J. Sifakis Modeling Synchronous Systems in BIP In EMSOFT'09 Conference
R. Ben Salah, M. Bozga and O. Maler Compositional Timing Analysis In EMSOFT'09 Conference
M. Bozga, P. Habermehl, R. Iosif, F. Konecny and T. Vojnar Automatic Verification of Integer Array Programs In CAV'09 Conference
S. Bensalem, M. Bozga, T. Nguyen and J. Sifakis D-Finder: A Tool for Compositional Deadlock Detection and Verification In CAV'09 Conference
M. Bozga, M. Jaber and J. Sifakis Source-to-source architecture transformation for performance optimization in BIP In SIES'09 Conference
Y. Chkouri and M. Bozga Prototyping of Distributed Embedded Systems using AADL In ACES MB'09 Workshop
Y. Chkouri and M. Bozga Deterministic Data Flow Communication in AADL In ICESS'09 Conference
M. Bozga, C. Gîrlea and R. Iosif Iterating Octagons In TACAS'09 Conference
M. Bozga, R. Iosif and Y. Lakhnech Flat Parametric Counter Automata In Fundamenta Informatica, 91(2) 2009, pages 275-303
A. Basu, B. Bonakdarpour, M. Bozga and J. Sifakis Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset In DISC'09 Conference

2008

S. Bensalem, M. Bozga, T. Nguyen and J. Sifakis Compositional Verification for Component-Based Systems and Application In ATVA'08 Conference
Y. Chkouri, A. Robert, M. Bozga and J. Sifakis Translating AADL into BIP - Application to the Verification of Real-Time Systems In ACES MB'08 Workshop
M. Bozga, R. Iosif and S. Perarnau Quantitative Separation Logic and Programs with Lists In IJCAR'08 Conference
A. Basu, P. Bidinger, M. Bozga, J. Sifakis Distributed Semantics and Implementation for Systems with Interaction and Priority In FORTE'08 Conference
S. Bensalem, M. Bozga, M. Gallien, F. Ingrand, M. Krichen and S. Tripakis Automatic Generation of Observers for the DALA Robot with TTG In CISA'08 Conference
M. Bozga, S. Graf, L. Mounier and I. Ober Modeling and Verification of Real-Time Systems using the IF Toolbox In Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, Wiley, ISBN : 9781848210134, pages 319-352

2007

M. Bozga, R. Iosif, V. Sfyrla An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs In MEMICS'07 Workshop
R. Ben Salah, M. Bozga, O. Maler On Timed Components and their Abstraction In SAVCBS'07 Workshop, ACM ISBN 978-1-59593-721-6/07/0009 (2007)
M. Bozga and R. Iosif On Flat Programs with Lists In VMCAI'07 Conference, LNCS 4349, pages. Springer (2007)

2006

A. Basu, M. Bozga, J. Sifakis Modeling Heterogeneous Real-Time Components in BIP In SEFM'06 Conference, IEEE Computer Society (2006)
R. Ben Salah, M. Bozga, O. Maler On Interleaving in Timed Automata In CONCUR'06 Conference, LNCS 4137, pages 456-476. Springer (2006)
A. Bouajjani, M. Bozga, P. Habermehl, R. Iosif, P. Moro, T. Vojnar Programs with Lists are Counter Automata In CAV'06 Conference, LNCS 4144, pages 517-531. Springer (2006)
M. Bozga, R. Iosif and Y. Lakhnech Flat Parametric Counter Automata In ICALP'06 Conference, LNCS 4052, pages 577-588. Springer (2006)
M. Bozga, P. Combes, S. Graf, W. Monin and N. Moteau Qualification d'architectures fonctionnelles - Démarche et formalismes pour la spécification et la qualification d'architectures fonctionnelles réparties In NOTERE'06 Conference
M. Bozga, S. Graf, L. Mounier and I. Ober La boîte à outils IF pour la modélisation et la vérification des systèmes temps réel In Systèmes Temps Réel 1: Techniques de Description et de Vérification, Hermes Science, pages ??

2005

S. Bensalem, M. Bozga, M. Krichen and S. Tripakis Testing Conformance of Real-Time Applications by Automatic Generation of Observers In Electronic Notes on Theoretical Computer Science, 113:23-43(2005)
S. Bensalem, M.Bozga, S.Tripakis and M. Krichen Testing Conformance of Real-Time Applications: Case of Planetary Rover Controller In VVPS'05 Workshop, joint with ICAPS'05 Conference (2005)
M. Bozga and R. Iosif Quantitative Verification of Programs with Lists In VISSAS'05 Workshop
M. Bozga and R. Iosif On Decidability Within the Arithmetic of Addition and Spanisibility In FOSSACS'05 Conference, LNCS 3441, pages 425-439. Springer (2005)

2004

M. Bozga, A. Kerbaa and O. Maler Scheduling Acyclic Branching Programs on Parallel Machines In RTSS'04 Conference, pages 208-217 (2004)
M. Bozga, S. Graf, I. Ober, I. Ober and J. Sifakis The IF Toolset In SFM'04 School, LNCS 3185, pages 237-267 (2004)
M. Bozga, R. Iosif and Y. Lakhnech On Logics of Aliasing In SAS'04 Conference, LNCS 3148, pages 344-360. Springer (2004)
M. Bozga and R. Iosif On Model Checking Generic Topologies In LRPP'04 Workshop, pages 73-87 (2004)
A. Akhavan, S. Bensalem, M. Bozga and E. Orfanidou Experiment and Verification of a Planetary Rover Controller In IWPSS'04 Workshop, (2004)
S. Bensalem, M. Bozga, M. Krichen and S. Tripakis Testing conformance of real-time software by automatic generation of observers In RV'04 Workshop, joint with ETAPS'04 Conference (2004)
M. Bozga, S. Graf, L. Mounier and I. Ober IF Validation Environment Tutorial In SPIN'04 Workshop, joint with ETAPS'04 Conference, pages 306-307 (2004)

2003

J-Cl. Fernandez, M. Bozga and L. Ghirvu State-space reduction based on live variable analysis In Science of Computer Programming (SCP), 47(2-3): 203-220 (2003)
M. Bozga, J-Cl. Fernandez and L. Ghirvu Using static analysis to improve automatic test generation In Software Tools for Technology Transfer (STTT), 4(2):142-152 (2003)
R. Ben Salah, M. Bozga and O. Maler On Timing Analysis of Combinational Circuits In FORMATS'03, LNCS 2791, pages 204-219. Springer (2003)
M. Bozga, R. Iosif and Y. Lakhnech Storeless Semantics and Alias Logic In PEPM'03 Workshop, pages 55-65, ACM Press (2003)

2002

P. Niebert, M. Mahfoudh, E. Asarin, M. Bozga, O. Maler and N. Jain Verification of Timed Automata via Satisfiability Checking In FTRTFT'02, LNCS 2469, pages 225-244. Springer (2002)
M. Bozga, H. Jianmin, O.Maler and S. Yovine Verification of Asynchronous Circuits using Timed Automata In TPTS'02 Workshop, joint with ETAPS'02 Conference, Elsevier (2002)
L. Mounier, M. Bozga, S. Graf IF-2.0: A validation environment for component-based real-time systems In CAV'02, LNCS 2404, pages 343-348. Springer (2002)

2001

M. Bozga, S. Graf, L. Mounier Automated Validation of Distributed Software Using the IF Environment In NCA'01 Conference, pages 268-275 (2001)
M. Bozga, S. Graf, L. Mounier, I. Ober, J.L. Roux, and D. Vincent Timed Extensions for SDL In SDL Forum'01, LNCS 2078, pages 223-240. Springer (2001)
M. Bozga, S. Graf, and L. Mounier Automated Validation of Distributed Software using the IF Environment In SMC'01 Workshop, joint with CAV'01 Conference, TCS 55 (2001)
M. Bozga, D. Lesens, and L. Mounier Model-Checking Ariane-5 Flight Program In FMICS'01 Workshop, pages 211-227, INRIA (2001)

2000

M. Bozga, J.Cl. Fernandez, L. Ghirvu, C. Jard, T. Jeron, A. Kerbrat, P. Morel, and L. Mounier Verification and Test Generation for the SSCOP Protocol In Science of Computer Programming (SCP), Special Issue on Formal Methods in Industry, 36(1):27-52 (2000)
M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober, and D. Vincent SDL for Real-Time: What is Missing ? In SAM'00 Workshop, pages 108-122. IMAG (2000)
M. Bozga, J-Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier IF: A Validation Environment for Timed Asynchronous Systems In CAV'00 Conference, LNCS 1855, Springer (2000)
S. Bensalem, M. Bozga, J-Cl. Fernandez, L. Ghirvu, and Y. Lakhnech A Transformational Approach for Generating Non-Linear Invariants In SAS'00 Conference, LNCS 1824, Springer (2000)
M. Bozga, J-Cl. Fernandez, and L. Ghirvu Using Static Analysis to Improve Automatic Test Generation In TACAS'00 Conference, LNCS 1785, pages 235-250. Springer (2000)

1999

M. Bozga, J-Cl. Fernandez, and L. Ghirvu State Space Reduction based on Live Variables Analysis In SAS'99 Conference, LNCS 1694, pages 164-178. Springer (1999)
M. Bozga, J-Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems In FM'99 Conference, LNCS 1708, pages 307-327. Springer (1999)
M. Bozga, O. Maler, and S. Tripakis Efficient Verification of Timed Automata using Dense and Discrete Time Semantics In CHARME'99 Conference, LNCS 1703, pages 125-141. Springer (1999)
M. Bozga and O. Maler On the Representation of Probabilities over Structured Domains In CAV'99 Conference, LNCS 1633, pages 261-273. Springer (1999)
M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, L. Mounier, and J. Sifakis IF: An Intermediate Representation for SDL and its Applications In SDL Forum'99, pages 423-440. Elsevier (1999)

1998

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine KRONOS: A Model-Checking Tool for Real-Time Systems In FTRTFT'98 Workshop, pages 298-302 (1998)
M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine KRONOS: a Model-Checking Tool for Real-Time Systems In CAV'98 Conference, LNCS 1427, pages 546-549. Springer (1998)

1997

M. Bozga, J-Cl. Fernandez, A. Kerbrat, and L. Mounier Protocol Verification with the Aldebaran Toolset In Software Tools for Technology Transfer (STTT), 1(1+2):166-183 (1997)
M. Bozga, O. Maler, A. Pnueli, and S. Yovine Some Progress in the Symbolic Verification of Timed Automata In CAV'97 Conference, LNCS 1254, pages 179-190. Springer (1997)
E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, and A. Rasse Data Structures for the Verification of Timed Automata In HART'97 Workshop,LNCS 1201, pages 346-360. Springer (1997)

Last updated 16-11-2024