Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Algebra of Non-safe Petri Boxes.

R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau. AMAST, volume 2422 of Lecture Notes in Computer Science, page 192-207. Springer, (2002)

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.

PD Dr. Raymond Best University of Stuttgart

R. Koerner

R. Watty

Raymond Gosliga University of Stuttgart

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, and R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, and R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)DIANA - Technologien für eine Energie-autarke, intelligente Kabine: Selbstadaptive Kabinenelektronik Plattform : Schlussbericht :M. Riedlinger, and R. Reichel. (2015)An adaptive middleware approach for fault-tolerant avionic systemsO. Marquardt, M. Riedlinger, R. Ahmadi, and R. Reichel. 2015 IEEE Aerospace Conference, Institute of Electrical and Electronics Engineers (IEEE), (March 2015)

Other publications of authors with the same name

Liu and Layland's schedulability test revisited.R. Devillers, and J. Goossens. Inf. Process. Lett., 73 (5-6): 157-161 (2000)On a Class of Allocation Strategies Inducing Bounded Delays Only.J. Cocu, and R. Devillers. Comput. J., 25 (1): 52-55 (1982)Asynchronous Box Calculus.R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau. Fundam. Inform., 54 (4): 295-344 (2003)Analysis and Synthesis of Weighted Marked Graph Petri Nets.R. Devillers, and T. Hujsa. Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 19-39. Springer, (2018)Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.R. Bouroulet, R. Devillers, H. Klaudel, E. Pelz, and F. Pommereau. Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 72-91. Springer, (2008)The box calculus: a new causal algebra with multi-label communication.E. Best, R. Devillers, and J. Hall. Advances in Petri Nets: The DEMON Project, volume 609 of Lecture Notes in Computer Science, Springer, (1992)Petri Net Semantics of the Finite pi-Calculus.R. Devillers, H. Klaudel, and M. Koutny. FORTE, volume 3235 of Lecture Notes in Computer Science, page 309-325. Springer, (2004)Petri Boxes and Finite Precedence.R. Devillers. CONCUR, volume 1119 of Lecture Notes in Computer Science, page 465-480. Springer, (1996)Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.R. Devillers, and H. Klaudel. FORMATS, volume 9884 of Lecture Notes in Computer Science, page 140-156. Springer, (2016)A Graph-Theoretical Characterisation of State Separation.E. Best, R. Devillers, and U. Schlachter. SOFSEM, volume 10139 of Lecture Notes in Computer Science, page 163-175. Springer, (2017)