Suivre
Bernard Berthomieu
Bernard Berthomieu
LAAS-CNRS
Adresse e-mail validée de laas.fr
Titre
Citée par
Citée par
Année
Modeling and verification of time dependent systems using time Petri nets
B Berthomieu, M Diaz
IEEE transactions on software engineering 17 (3), 259, 1991
16701991
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
5722004
An enumerative approach for analyzing time Petri nets
B Berthomieu, M Menasche
IFIP 9th World Computer Congress, 1983
4551983
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
219*2008
Time Petri Nets Analysis with TINA.
B Berthomieu, F Vernadat
QEST 6, 123-124, 2006
2192006
State class constructions for branching analysis of time Petri nets
B Berthomieu, F Vernadat
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
2092003
Bridging the gap between timed automata and bounded time Petri nets
B Berthomieu, F Peres, F Vernadat
Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006
1022006
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, 133-158, 2007
972007
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
932009
Model checking bounded prioritized time petri nets
B Berthomieu, F Peres, F Vernadat
International Symposium on Automated Technology for Verification and …, 2007
762007
Time petri nets for analyzing and verifying time dependent communication protocols
M Menasche, B Berthomieu
Protocol specification, testing, and verification, 161-172, 1983
761983
Ladder metamodeling and PLC program validation through time Petri nets
DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ...
Model Driven Architecture–Foundations and Applications: 4th European …, 2008
682008
A state enumeration approach for analyzing time Petri nets
B Berthomieu, M Menasche
3rd European Workshop on Applications and Theory of Petri Nets, 1982
581982
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
542001
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
502010
The syntax and semantics of Fiacre
B Berthomieu, JP Bodeveix, M Filali, H Garavel, F Lang, F Peres, R Saad, ...
Repport LAAS 7264, 2007
452007
Incremental multi-threaded garbage collection on virtually shared memory architectures
TL Sergent, B Berthomieu
International Workshop on Memory Management, 179-199, 1992
411992
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
401994
Model checking real-time properties on the functional layer of autonomous robots
M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet
Formal Methods and Software Engineering: 18th International Conference on …, 2016
382016
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
352019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20