( en | de | ru )

 

Disambiguation of "Berthomieu, Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus.

, and . CoRR, (2015)

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

Dirk Bernard

Bernard Broermann

Bernard Willkofer

Bernard Andreae

 

Other publications of authors with the same name

Checking marking reachability with the state equation in Petri net subclasses., , , and . CoRR, (2020)Sleptsov Nets are Turing-complete., and . CoRR, (2023)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)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)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)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)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)Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches., , , and . Discret. Event Dyn. Syst., 17 (2): 133-158 (2007)