| Modeling and verification of time dependent systems using time Petri nets B Berthomieu, M Diaz IEEE transactions on software engineering 17 (3), 259, 1991 | 1492 | 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 | 486 | 2004 |
| An enumerative approach for analyzing time Petri nets B Berthomieu, M Menasche Proceedings IFIP, 1983 | 385 | 1983 |
| Time Petri Nets Analysis with TINA. B Berthomieu, F Vernadat QEST 6, 123-124, 2006 | 192 | 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 | 190* | 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 | 179 | 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 | 90 | 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 | 79 | 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 | 74 | 2009 |
| Time petri nets for analyzing and verifying time dependent communication protocols M Menasche, B Berthomieu Protocol specification, testing, and verification, 161-172, 1983 | 67 | 1983 |
| Model checking bounded prioritized time petri nets B Berthomieu, F Peres, F Vernadat International Symposium on Automated Technology for Verification and …, 2007 | 59 | 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 | 58 | 2008 |
| A state enumeration approach for analyzing time Petri nets B Berthomieu, M Menasche 3rd European Workshop on Applications and Theory of Petri Nets, 1982 | 51 | 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 | 47 | 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 | 43 | 2007 |
| Formal Verification of AADL models with Fiacre and Tina B Berthomieu, JP Bodeveix, S Dal Zilio, P Dissaux, M Filali, P Gaufillet, ... | 40 | 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 | 34 | 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 | 29 | 2016 |
| On combining the persistent sets method with the covering steps graph method PO Ribet, B Berthomieu International Conference on Formal Techniques for Networked and Distributed …, 2002 | 26 | 2002 |
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
