681 citations
- Moscow Institute of Physics and TechnologyRU4 papers
- ITMO UniversityRU2 papers
- Politecnico di MilanoIT2 papers
- A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences1 paper
- Associated Compiler Experts (Netherlands)NL1 paper
- Beijing Institute of TechnologyCN1 paper
- Boston UniversityUS1 paper
- Brandenburg University of Technology Cottbus-SenftenbergDE1 paper
- Cardiff UniversityGB1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chinese Academy of SciencesCN1 paper
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Proceedings First Workshop on Logics and Model-checking for Self-* Systems
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci +1
This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of Septe…
cs.SE2014★ 2 cited
An LTL Semantics of Business Workflows with Recovery
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to ite…