Author of the publication

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

A Formal Methods Demonstrator for Railways., and . ERCIM News, (2020)A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems., , , and . J. Rail Transp. Plan. Manag., 6 (2): 163-181 (2016)Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming., , and . RSSRail, volume 10598 of Lecture Notes in Computer Science, page 221-237. Springer, (2017)Survey on Formal Methods and Tools in Railways: The ASTRail Approach., , , , , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 226-241. Springer, (2019)A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts., and . COORDINATION, volume 12717 of Lecture Notes in Computer Science, page 225-238. Springer, (2021)A Blockchain-driven Architecture for Usage Control in Solid., , , and . ICDCS Workshops, page 19-24. IEEE, (2023)Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC., , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 1-21. Springer, (2019)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 368-384. Springer, (2020)Specifying variability in service contracts., , , , and . VaMoS, page 20-27. ACM, (2017)Relating two automata-based models of orchestration and choreography., , , and . J. Log. Algebraic Methods Program., 85 (3): 425-446 (2016)