Cited By
View all- Martinelli FMatteucci I(2014)Partial Model Checking for the Verification and Synthesis of Secure Service CompositionsPublic Key Infrastructures, Services and Applications10.1007/978-3-642-53997-8_1(1-11)Online publication date: 2014
- Martín JMartinelli FMatteucci IPimentel ETuruani M(2014)On the Synthesis of Secure Services CompositionEngineering Secure Future Internet Services and Systems10.1007/978-3-319-07452-8_6(140-159)Online publication date: 2014
- Ciancia VMartinelli FMatteucci IPetrocchi MMartín JPimentel E(2013)Automated Synthesis and Ranking of Secure BPMN OrchestratorsProceedings of the 2013 International Conference on Availability, Reliability and Security10.1109/ARES.2013.60(455-464)Online publication date: 2-Sep-2013