] Filters: Author is S. Storari [Clear All Filters]
"Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic",
{Book Chapter of Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends}: IOS Press, 2008.
"A Computational Logic-Based Approach to Verification of IT Systems",
Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.
"A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening",
Proceedings of the 16th International Symposium on Foundations of Intelligent Systems (ISMIS 2006), vol. 4203: Springer Verlag, pp. 338-343, 2006.
"Abduction for Specifying and Verifying Web Service Choreographies",
4th International Workshop on AI for Service Composition (AISC 2006), 2006.
"Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification",
International Workshop on Agents, Web-Services and Ontologies: Integrated Methodologies (AWESOME'007), 2007.
"Applying Inductive Logic Programming to Process Mining",
Proceedings of the 17th International Conference on Inductive Logic Programming (ILP2008), vol. 4894: Springer, pp. 132-146, 2008.
Abstract
"Checking Compliance of Execution Traces to Business Rules",
{Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 2009.
"Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming",
23-esimo Convegno Italiano di Logica Computazionale (CILC 2008), 2008.
"Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool",
Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), vol. 4184: Springer, pp. 58-72, 2006.
"Learning DecSerFlow Models from Labeled Traces",
First International Workshop on the Induction of Process Models, 2007.
"Protocol Specification and Verification by Using Computational Logic",
Proceedings of the 6th AI*IA/TABOO Joint Workshop ``From Objects to Agents'' (WOA 2005): Simulation and Formal Analysis of Complex Systems: Pitagora Editrice Bologna, pp. 184-192, 2005.
"Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic",
Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME'07), vol. 4594: Springer, pp. 479-488, 2007.
"Testing Guidelines Conformance by Translating a Graphical Language to Computational Logic",
Workshop on AI Techniques in Healthcare: Evidence-Based Guidelines and Protocols, 2006.
"Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols",
Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05): IEEE Computer Society, pp. 503-505, 2005.
"Exploiting Inductive Logic Programming Techniques for Declarative Process Mining",
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), Special Issue on Concurrency in Process-Aware Information Systems, vol. 5460, pp. 278-295, 2009.