| Modeling heterogeneous real-time components in BIP A Basu, M Bozga, J Sifakis Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 746 | 2006 |
| 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 | 561 | 1998 |
| 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 | 358 | 2011 |
| 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 | 254 | 2004 |
| 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 | 254 | 2004 |
| IF-2.0: A validation environment for component-based real-time systems M Bozga, S Graf, L Mounier CAV 2, 343-348, 2002 | 200 | 2002 |
| Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010 | 196 | 2010 |
| 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 | 170 | 1997 |
| 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 | 148 | 2009 |
| 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 | 146 | 2009 |
| 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 | 139 | 1997 |
| 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 | 136 | 2006 |
| 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 | 119 | 1999 |
| 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 | 118 | 2012 |
| 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 | 107 | 1999 |
| Fast acceleration of ultimately periodic relations M Bozga, R Iosif, F Konečný Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 101 | 2010 |
| 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 | 100 | 2010 |
| 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 | 81 | 2002 |
| 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 | 79 | 2012 |
| 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 | 77 | 1999 |
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
