Suivre
Marius Bozga
Marius Bozga
Ingenieur de Recherche, CNRS-VERIMAG, Grenoble
Adresse e-mail validée de imag.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Modeling heterogeneous real-time components in BIP
A Basu, M Bozga, J Sifakis
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
7512006
Kronos: A model-checking tool for real-time systems: Tool-presentation for FTRTFT’98
M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
5651998
Rigorous component-based system design using the BIP framework
A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis
IEEE software 28 (3), 41-48, 2011
3672011
The IF toolset
M Bozga, S Graf, I Ober, I Ober, J Sifakis
Formal Methods for the Design of Real-Time Systems: International School on …, 2004
2552004
The IF toolset
M Bozga, S Graf, I Ober, I Ober, J Sifakis
Formal Methods for the Design of Real-Time Systems: International School on …, 2004
2552004
IF-2.0: A validation environment for component-based real-time systems
M Bozga, S Graf, L Mounier
CAV 2, 343-348, 2002
2012002
Compositional verification for component-based systems and application
S Bensalem, M Bozga, TH Nguyen, J Sifakis
IET software 4 (3), 181-193, 2010
1962010
Data-Structures for Verification of Timed Automata
E Asarin, M Bozga, A Kerbrat, O Maler, A Pnueli, A Rasse
Hybrid and Real-Time Systems International Workshop, HART'97 1201, 346--360, 1997
1701997
Translating AADL into BIP-application to the verification of real-time systems
MY Chkouri, A Robert, M Bozga, J Sifakis
Models in Software Engineering: Workshops and Symposia at MODELS 2008 …, 2009
1502009
D-finder: A tool for compositional deadlock detection and verification
S Bensalem, M Bozga, TH Nguyen, J Sifakis
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
1472009
Some progress in the symbolic verification of timed automata
M Bozga, O Maler, A Pnueli, S Yovine
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
1391997
Programs with lists are counter automata
A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
1362006
IF: An intermediate representation and validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
1191999
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Delahaye, A Legay
International Journal on Software Tools for Technology Transfer 14, 53-72, 2012
1182012
IF: An intermediate representation for SDL and its applications
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier, J Sifakis
SDL'99, 423-440, 1999
1071999
Incremental component-based construction and verification using invariants
S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan
Formal Methods in Computer Aided Design, 257-256, 2010
1052010
Fast acceleration of ultimately periodic relations
M Bozga, R Iosif, F Konečný
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1012010
Verification of timed automata via satisfiability checking
P Niebert, M Mahfoudh, E Asarin, M Bozga, O Maler, N Jain
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
812002
A framework for automated distributed implementation of component-based models
B Bonakdarpour, M Bozga, M Jaber, J Quilbeuf, J Sifakis
Distributed Computing 25 (5), 383, 2012
792012
Efficient verification of timed automata using dense and discrete time semantics
M Bozga, O Maler, S Tripakis
Correct Hardware Design and Verification Methods: 10th IFIP WG10. 5 Advanced …, 1999
771999
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20