( en | de | ru )

 

Disambiguation of "Buchs, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
A CEGAR-like Approach for Cost LTL Bounds.

, , 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.

Wolfgang Büchs

Heribert Büchs

Jochen Büchs

Jens Buchs

Ludwig Büchs

 

Other publications of authors with the same name

A Coordination Model for Distributed Object Systems., and . COORDINATION, volume 1282 of Lecture Notes in Computer Science, page 410-413. Springer, (1997)Explicit and Controllable Assignment Semantics., and . CoRR, (2019)Prototyping Domain Specific Languages with COOPN., , and . RISE, volume 3943 of Lecture Notes in Computer Science, page 174-189. Springer, (2005)StrataGEM: A Generic Petri Net Verification Framework., , and . Petri Nets, volume 8489 of Lecture Notes in Computer Science, page 364-373. 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)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)Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems., and . Comput. Artif. Intell., 16 (2): 187-216 (1997)Preface., , and . Fundam. Informaticae, (2022)Contextual Coordination between Objects., and . SBES, page 341-356. SBC, (1996)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)