Author of the publication

Modelling and Monitoring Real-time Systems with Temporal Constraint Nets

. Proc. 6th Internatioal Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93), Edinburgh, Scotland, page 292-298. Gordon and Breach Science Publishers, (June 1993)

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.

 

Other publications of authors with the same name

Implementing an Animated Lambda-Calculus, and . Workshop on Visual Languages and Logic, satellite of 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, Corvallis, OR, USA, September 20, 2009, volume 510 of CEUR Workshop Proceedings, (2009)Special section on graph transformations and visual modeling techniques - Introductory paper, and . 3 (2): 83-84 (2004)Fault Detection for Sequentially Controlled Machines Using Temporal Constraint Nets. Preprints IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess '94), Helsinki, Finland, page 323-328. (June 1994)Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131, , and . Tagungsband SPS/IPC/Drives 2001, Nürnberg, 27.-29. November 2001, page 197-205. (2001)Specifying Animated Diagram Languages, and . Proc. International Workshop on Theory of Visual Languages (TVL'97), Capri, Italy, (September 1997)Generating Diagram Editors with DiaGen, and . International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Monastery Rolduc, Netherlands, September 1-3, 1999, Selected Papers, volume 1779 of Lecture Notes in Computer Science, page 433-440. Springer-Verlag, (March 2000)Specifying Diagram Languages by Means of Hypergraph Grammars. Diagrammatic Representation and Reasoning, chapter 32, Springer-Verlag, (2001)ParVis: A visual tool for exploring parser execution traces., , , and . AVI, page 62:1-62:5. ACM, (2020)Visualizing Visual Parser Execution., , and . DMSVIVA, page 57-66. KSI Research Inc., (2020)Graph Parser Combinators, and . Implementation and Application of Functional Languages, volume 5083 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)