Author of the publication

A Logical Approach for Behavioural Composition of Scenario-Based Models.

, , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 252-269. Springer, (2015)

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

Formal reasoning over class models using TOMM., and . J. Object Technol., 18 (2): 12:1-20 (2019)Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods., and . APSEC, page 313-320. IEEE Computer Society, (2016)Balancing Prescriptions with Constraint Solvers., and . Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems., , , , , , , , , and 6 other author(s). IEEE BigData, page 2726-2735. IEEE, (2019)Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics., , , , and . EFMI-STC, volume 275 of Studies in Health Technology and Informatics, page 17-21. IOS Press, (2020)Correct composition in the presence of behavioural conflicts and dephasing., and . Sci. Comput. Program., (2020)On Defining Rules for Cancer Data Fabrication., , , and . RuleML+RR, volume 12173 of Lecture Notes in Computer Science, page 168-176. Springer, (2020)On Distributed Stochastic Logics for Mobile Systems., and . WoLLIC, volume 8652 of Lecture Notes in Computer Science, page 195-205. Springer, (2014)A Flexible Approach for Finding Optimal Paths with Minimal Conflicts., and . ICFEM, volume 10610 of Lecture Notes in Computer Science, page 209-225. Springer, (2017)Avoiding Medication Conflicts for Patients with Multimorbidities., and . IFM, volume 9681 of Lecture Notes in Computer Science, page 376-390. Springer, (2016)