| Modeling and verification of time dependent systems using time Petri nets B Berthomieu, M Diaz IEEE transactions on software engineering 17 (3), 259, 1991 | 1594 | 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 | 538 | 2004 |
| An enumerative approach for analyzing time Petri nets B Berthomieu, M Menasche Proceedings IFIP, 1983 | 435 | 1983 |
| Time Petri Nets Analysis with TINA. B Berthomieu, F Vernadat QEST 6, 123-124, 2006 | 213 | 2006 |
| 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 | 207* | 2008 |
| 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 | 200 | 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 | 98 | 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 | 87 | 2007 |
| Formal verification of AADL specifications in the Topcased environment B Berthomieu, JP Bodeveix, C Chaudet, SD Zilio, M Filali, F Vernadat International Conference on Reliable Software Technologies, 207-221, 2009 | 82 | 2009 |
| Time petri nets for analyzing and verifying time dependent communication protocols M Menasche, B Berthomieu Protocol specification, testing, and verification, 161-172, 1983 | 75 | 1983 |
| Model checking bounded prioritized time petri nets B Berthomieu, F Peres, F Vernadat International Symposium on Automated Technology for Verification and …, 2007 | 70 | 2007 |
| 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 |
| 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 | 54 | 2001 |
| A state enumeration approach for analyzing time Petri nets B Berthomieu, M Menasche 3rd European Workshop on Applications and Theory of Petri Nets, 1982 | 53 | 1982 |
| The syntax and semantics of Fiacre B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ... Repport LAAS 7264, 2007 | 46 | 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 TL 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, TL Sergent European Symposium On Programming, 89-104, 1994 | 38 | 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 | 36 | 2016 |
| State Space Abstractions for Time Petri Nets. Handbook of Real-Time and Embedded Systems, Ed. Insup Lee, Joseph YT. Leung and Sang Son B Berthomieu, F Vernadat CRC Press, Boca Raton, FL., USA, 2007 | 29* | 2007 |
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
