Marius Bozga

CNRS Research Engineer (IR1)

VERIMAG
Rigorous System Design (RSD) Team

Bâtiment IMAG
Université Grenoble Alpes
700, Avenue Centrale
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

photo

Home Publications
[hal] [dblp] [scholar]
Tools Research
Projects
Curriculum
Vitae
Others

2017

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, (to appear)

T. Abdellatif, M. Bozga
An end-to-end security model for adaptive service-oriented applications
In ASOCA'17 Workshop, (to appear)

M. Dellabani, J. Combaz, S. Bensalem and M. Bozga
Knowledge Based Optimization for Distributed Real-Time Systems
In APSEC'17 Conference, (to appear)

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, (to appear)

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 Journal of Software Engineering Research and Development

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

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
Statitical Model-Checking QoS Properties of Systems with SBIP
In Software Tools for Technology Transfer (STTT), 17(2): 171-185

Ylies 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
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. 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

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)

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. Gssler
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

B. Bonakdarpour, M. Bozga, J. Quilbeuf
Model-based Implementation of Distributed Systems with Priorities
In Design Automation for Embedded Systems

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. Gessler
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 Divisibility
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 Journal of 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 Journal of 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 21-11-2017