Author of the publication

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans.

, , and . ANT/SEIT, volume 83 of Procedia Computer Science, page 1295-1300. Elsevier, (2016)

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

Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9., , , and . SER&IP@ICSE, page 54-57. IEEE, (2015)Declarative process mining for DCR graphs., , , and . SAC, page 759-764. ACM, (2017)Bigraphical Models of Context-Aware Systems., , , , and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 187-201. Springer, (2006)Replication, refinement & reachability: complexity in dynamic condition-response graphs., , and . Acta Inf., 55 (6): 489-520 (2018)Dynamic Evaluation Forms using Declarative Modeling., , , and . BPM (Dissertation/Demos/Industry), volume 2196 of CEUR Workshop Proceedings, page 172-179. CEUR-WS.org, (2018)The DCR Graphs Process Portal., , , and . BPM (Demos), volume 1789 of CEUR Workshop Proceedings, page 7-11. CEUR-WS.org, (2016)A verification environment for bigraphs., , and . Innov. Syst. Softw. Eng., 9 (2): 95-104 (2013)A model checker for Bigraphs., , and . SAC, page 1320-1325. ACM, (2012)Imperative program optimization by partial evaluation.. PEPM, page 113-122. ACM, (2004)Hierarchical Declarative Modelling with Refinement and Sub-processes., , and . BPM, volume 8659 of Lecture Notes in Computer Science, page 18-33. Springer, (2014)