Követés
Marius Bozga
Marius Bozga
Ingenieur de Recherche, CNRS-VERIMAG, Grenoble
E-mail megerősítve itt: imag.fr - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Modeling heterogeneous real-time components in BIP
A Basu, M Bozga, J Sifakis
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
7402006
Kronos: A model-checking tool for real-time systems
M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
International symposium on formal techniques in real-time and fault-tolerant …, 1998
5501998
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
3532011
The IF toolset
M Bozga, S Graf, I Ober, I Ober, J Sifakis
Formal Methods for the Design of Real-Time Systems, 237-267, 2004
2522004
The IF toolset
M Bozga, S Graf, I Ober, I Ober, J Sifakis
Formal Methods for the Design of Real-Time Systems, 237-267, 2004
2522004
IF-2.0: A validation environment for component-based real-time systems
M Bozga, S Graf, L Mounier
International Conference on Computer Aided Verification, 343-348, 2002
1982002
Data-structures for the verification of timed automata
E Asarin, M Bozga, A Kerbrat, O Maler, A Pnueli, A Rasse
International Workshop on Hybrid and Real-Time Systems, 346-360, 1997
1651997
D-finder: A tool for compositional deadlock detection and verification
S Bensalem, M Bozga, TH Nguyen, J Sifakis
International Conference on Computer Aided Verification, 614-619, 2009
1452009
Translating AADL into BIP-application to the verification of real-time systems
MY Chkouri, A Robert, M Bozga, J Sifakis
International conference on model driven engineering languages and systems, 5-19, 2008
1432008
Programs with lists are counter automata
A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar
International Conference on Computer Aided Verification, 517-531, 2006
1372006
Some progress in the symbolic verification of timed automata
M Bozga, O Maler, A Pnueli, S Yovine
International Conference on Computer Aided Verification, 179-190, 1997
1371997
Compositional verification for component-based systems and application
S Bensalem, M Bozga, J Sifakis, TH Nguyen
International Symposium on Automated Technology for Verification and …, 2008
1342008
IF: An intermediate representation and validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
International Symposium on Formal Methods, 307-327, 1999
1151999
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
1021999
Fast acceleration of ultimately periodic relations
M Bozga, R Iosif, F Konečný
International Conference on Computer Aided Verification, 227-242, 2010
952010
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A Legay
Formal Techniques for Distributed Systems, 32-46, 2010
842010
Verification of timed automata via satisfiability checking
P Niebert, M Mahfoudh, E Asarin, M Bozga, O Maler, N Jain
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
802002
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-409, 2012
782012
Efficient verification of timed automata using dense and discrete time semantics
M Bozga, O Maler, S Tripakis
Advanced Research Working Conference on Correct Hardware Design and …, 1999
741999
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
732010
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20