Author of the publication

Discovery of SOA patterns via model checking

, , and . 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting, page 8--14. New York, NY, USA, ACM, (2007)
DOI: 10.1145/1294928.1294931

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

TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios., , , , and . CSE/EUC/DCABES, page 401-407. IEEE Computer Society, (2016)An Integrated Fusion Engine for Early Threat Detection Demonstrated in Public-Space Trials., , , , , , , , , and . Sensors, 23 (1): 440 (2023)Drivers of Knowledge Conversion in Socio-Technical Systems., , , , and . STPIS, volume 2789 of CEUR Workshop Proceedings, page 140-145. CEUR-WS.org, (2020)ContentP2P: A Peer-to-Peer Content Management System., , , and . COMPSAC, page 773-778. IEEE Computer Society, (2002)FlowManager: A Workflow Management System Based on Petri Nets., , , and . COMPSAC, page 1054-1059. IEEE Computer Society, (2002)A Gamified Approach to Participatory Modelling of Water System Risks., , , and . CRITIS, volume 10707 of Lecture Notes in Computer Science, page 168-180. Springer, (2017)A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities., , and . DEXA (2), volume 8645 of Lecture Notes in Computer Science, page 334-348. Springer, (2014)M-CREAM: A Tool for Creative Modelling of Emergency Scenarios in Smart Cities., , and . ESWC (Satellite Events), volume 11155 of Lecture Notes in Computer Science, page 83-88. Springer, (2018)Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach., , , , and . ICSOC, volume 4749 of Lecture Notes in Computer Science, page 295-306. Springer, (2007)Ant Colony Optimization for Deadlock Detection in Concurrent Systems., , , and . COMPSAC, page 108-117. IEEE Computer Society, (2011)