| Modeling and verification of time dependent systems using time Petri nets B Berthomieu, M Diaz IEEE transactions on software engineering 17 (3), 259, 1991 | 1519 | 1991 |
| The tool TINA–construction of abstract state spaces for Petri nets and time Petri nets B Berthomieu*, PO Ribet, F Vernadat International journal of production research 42 (14), 2741-2756, 2004 | 501 | 2004 |
| An enumerative approach for analyzing time Petri nets B Berthomieu, M Menasche Proceedings IFIP, 1983 | 397 | 1983 |
| Fiacre: an intermediate language for model verification in the topcased environment B Berthomieu, JP Bodeveix, P Farail, M Filali, H Garavel, P Gaufillet, ... ERTS 2008, 2008 | 196* | 2008 |
| Time Petri Nets Analysis with TINA. B Berthomieu, F Vernadat QEST 6, 123-124, 2006 | 193 | 2006 |
| State class constructions for branching analysis of time Petri nets B Berthomieu, F Vernadat International Conference on Tools and Algorithms for the Construction and …, 2003 | 187 | 2003 |
| Bridging the gap between timed automata and bounded time Petri nets B Berthomieu, F Peres, F Vernadat International Conference on Formal Modeling and Analysis of Timed Systems, 82-97, 2006 | 93 | 2006 |
| Reachability problems and abstract state spaces for time Petri nets with stopwatches B Berthomieu, D Lime, OH Roux, F Vernadat Discrete Event Dynamic Systems 17 (2), 133-158, 2007 | 81 | 2007 |
| Formal verification of AADL specifications in the Topcased environment B Berthomieu, JP Bodeveix, C Chaudet, S Dal Zilio, M Filali, F Vernadat International Conference on Reliable Software Technologies, 207-221, 2009 | 79 | 2009 |
| Time petri nets for analyzing and verifying time dependent communication protocols M Menasche, B Berthomieu Protocol specification, testing, and verification, 161-172, 1983 | 68 | 1983 |
| Ladder metamodeling and PLC program validation through time Petri nets DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ... European Conference on Model Driven Architecture-Foundations and …, 2008 | 65 | 2008 |
| Model checking bounded prioritized time petri nets B Berthomieu, F Peres, F Vernadat International Symposium on Automated Technology for Verification and …, 2007 | 65 | 2007 |
| A state enumeration approach for analyzing time Petri nets B Berthomieu, M Menasche 3rd European Workshop on Applications and Theory of Petri Nets, 1982 | 52 | 1982 |
| La méthode des classes d’états pour l’analyse des réseaux temporels B Berthomieu 3e congres Modélisation des Systemes Réactifs (MSR’2001), 275-290, 2001 | 48 | 2001 |
| The syntax and semantics of Fiacre B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ... Repport LAAS 7264, 2007 | 44 | 2007 |
| Formal Verification of AADL models with Fiacre and Tina B Berthomieu, JP Bodeveix, S Dal Zilio, P Dissaux, M Filali, P Gaufillet, ... ERTSS 2010-Embedded Real-Time Software and Systems, 1-9, 2010 | 41 | 2010 |
| Incremental multi-threaded garbage collection on virtually shared memory architectures T Le Sergent, B Berthomieu International Workshop on Memory Management, 179-199, 1992 | 39 | 1992 |
| Programming with behaviors in an ML framework—the syntax and semantics of LCS B Berthomieu, T Le Sergent European Symposium On Programming, 89-104, 1994 | 35 | 1994 |
| Model checking real-time properties on the functional layer of autonomous robots M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet International Conference on Formal Engineering Methods, 383-399, 2016 | 32 | 2016 |
| Towards the verification of real-time systems in avionics: the Cotre approach B Berthomieu, PO Ribet, F Vernadat, JL Bernartt, JM Farines, JP Bodeveix, ... Electronic Notes in Theoretical Computer Science 80, 203-218, 2003 | 26 | 2003 |
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
