MONTALI, MARCO
Dettaglio
MONTALI, MARCO
DIP. DI ELETTRONICA,INFORMATICA,SISTEMISTICA-DEIS
Pubblicazioni
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.001 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A computational logic-based approach to verification of IT systems | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni | 2007 | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - | |
2 | A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. | A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani;... M. Torchio | 2009 | Springer | 4.01 Contributo in Atti di convegno | - | |
3 | A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
4 | A-priori verification of web services with abduction. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006 | s.n | 4.01 Contributo in Atti di convegno | - | |
5 | Abducing Compliance of Incomplete Event Logs | Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Pao...la; Montali, Marco; Tessaris, Sergio | 2016 | Springer | 4.01 Contributo in Atti di convegno | - | |
6 | Abduction for Specifying and Verifying Web Service Choreographies. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari | 2006 | s.n | 4.01 Contributo in Atti di convegno | - | |
7 | Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes | M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma | 2010 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
8 | Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation | Chesani, Federico; Mello, Paola; Montali, Marco | 2017 | Springer | 4.01 Contributo in Atti di convegno | - | |
9 | Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification | F. Chesani; P. Mello; M. Montali; S. Storari | 2007 | s.n | 4.01 Contributo in Atti di convegno | - | |
10 | An Abductive Framework for A-Priori Verification of Web Services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006 | ACM Press | 4.01 Contributo in Atti di convegno | - | |
11 | Analysis of the GLARE and GPROVE approaches to Clinical Guidelines | A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani | 2010 | Springer | 4.01 Contributo in Atti di convegno | - | |
12 | B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification | V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone | 2007 | s.n | 4.01 Contributo in Atti di convegno | - | |
13 | B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification | v. bryl; p. mello; m. montali; p. torroni; n. zannone | 2008 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
14 | Checking Compliance of Execution Traces to Business Rules | F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari | 2009 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
15 | Commitment Tracking via the Reactive Event Calculus | M. Montali; F. Chesani; P. Mello; P. Torroni | 2009 | s.n | 4.01 Contributo in Atti di convegno | - | |
16 | Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool | M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI | 2006 | 4.01 Contributo in Atti di convegno | - | ||
17 | Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. | F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi | 2008 | IOS Press | 2.01 Capitolo / saggio in libro | - | |
18 | Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge | A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani | 2012 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
19 | Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes | Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco | 2015 | Springer International Publishing | 2.01 Capitolo / saggio in libro | - | |
20 | Declarative Specification and Verification of Service Choreographies | M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari | 2010 | ACM TRANSACTIONS ON THE WEB | 1.01 Articolo in rivista | - |