( en | de | ru )

 

Disambiguation of "Buchs, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning.

, , , , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 385-395. Springer, (2018)

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.

Wolfgang Büchs

Jochen Büchs

Jens Buchs

Heribert Büchs

Hubertus Büchs

 

Other publications of authors with the same name

Explicit and Controllable Assignment Semantics., and . CoRR, (2019)Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems., , and . SERENE, volume 8785 of Lecture Notes in Computer Science, page 139-153. Springer, (2014)CREST - A DSL for Reactive Cyber-Physical Systems., , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 29-45. Springer, (2018)StrataGEM: A Generic Petri Net Verification Framework., , and . Petri Nets, volume 8489 of Lecture Notes in Computer Science, page 364-373. Springer, (2014)Prototyping Domain Specific Languages with COOPN., , and . RISE, volume 3943 of Lecture Notes in Computer Science, page 174-189. Springer, (2005)A Coordination Model for Distributed Object Systems., and . COORDINATION, volume 1282 of Lecture Notes in Computer Science, page 410-413. Springer, (1997)Preface., , and . Fundam. Informaticae, (2022)Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems., and . Comput. Artif. Intell., 16 (2): 187-216 (1997)Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 91-110. CEUR-WS.org, (2014)Contextual Coordination between Objects., and . SBES, page 341-356. SBC, (1996)