( en | de | ru )

 

Disambiguation of "Berthomieu, Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Time Petri Nets Analysis with TINA.

, and . QEST, page 123-124. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jérémy Berthomieu

Christoph Bernard

Wolfdieter Bernard

Bernard Teissier

Bernard Roxel

 

Other publications of authors with the same name

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina., , and . CoRR, (2015)An Experiment on Parallel Model Checking of a CTL Fragment., , and . ATVA, volume 7561 of Lecture Notes in Computer Science, page 284-299. Springer, (2012)Process Calculi at Work - An Account of the LCS Project.. PSLS, volume 1068 of Lecture Notes in Computer Science, page 344-361. Springer, (1995)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)Sleptsov nets are Turing-complete., and . Theor. Comput. Sci., (February 2024)Modeling and Verification of Time Dependent Systems Using Time Petri Nets., and . IEEE Trans. Software Eng., 17 (3): 259-273 (1991)Time Petri Nets Analysis with TINA., and . QEST, page 123-124. IEEE Computer Society, (2006)On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets., , and . Petri Nets, volume 12734 of Lecture Notes in Computer Science, page 164-185. Springer, (2021)Incremental Multi-threaded Garbage Collection on Virtual Shared Memory Architectures., and . IWMM, volume 637 of Lecture Notes in Computer Science, page 179-199. Springer, (1992)Balancing Load under Large and Fast Load Changes in Distributed Computing Systems - A Case Study., and . CONPAR, volume 854 of Lecture Notes in Computer Science, page 854-865. Springer, (1994)