( en | de | ru )

 

Disambiguation of "Berthomieu, Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.

, , , , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 383-399. (2016)

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

Wolfdieter Bernard

Bernard Teissier

Bernard Burke

Bernard Roxel

 

Other publications of authors with the same name

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)Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina., , and . CoRR, (2015)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)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)Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols., and . Protocol Specification, Testing, and Verification, page 161-172. North-Holland, (1983)Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus., and . TTCS, volume 9541 of Lecture Notes in Computer Science, page 90-104. Springer, (2015)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)