Author of the publication

Playing with Our CAT and Communication-Centric Applications.

, , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 62-73. Springer, (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

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)A Formal Methods Demonstrator for Railways., and . ERCIM News, (2020)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)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)Specifying variability in service contracts., , , , and . VaMoS, page 20-27. ACM, (2017)A Blockchain-driven Architecture for Usage Control in Solid., , , and . ICDCS Workshops, page 19-24. IEEE, (2023)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)Secure Multi-Party Computation with Service Contract Automata.. ERCIM News, (2021)