MONTALI, MARCO
MONTALI, MARCO
DIP. DI ELETTRONICA,INFORMATICA,SISTEMISTICA-DEIS
A computational logic-based approach to verification of IT systems
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
2006 F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
2009 A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani; M. Torchio
A Logic-Based, Reactive Calculus of Events
2010 F. Chesani; P. Mello; M. Montali; P. Torroni
A REC-based commitment tracking tool
2009 Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
A rule-based approach for reasoning about collaboration between smart Web services
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
A-priori verification of web services with abduction.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
Abducing Compliance of Incomplete Event Logs
2016 Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Abduction for Specifying and Verifying Web Service Choreographies.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010 M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation
2017 Chesani, Federico; Mello, Paola; Montali, Marco
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification
2007 F. Chesani; P. Mello; M. Montali; S. Storari
An Abductive Framework for A-Priori Verification of Web Services
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines
2010 A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
2008 v. bryl; p. mello; m. montali; p. torroni; n. zannone
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
2007 V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone
Checking Compliance of Execution Traces to Business Rules
2009 F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari
Commitment Tracking via the Reactive Event Calculus
2009 M. Montali; F. Chesani; P. Mello; P. Torroni
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool
2006 M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic.
2008 F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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-01-01 | - | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - |
| A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. | F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| A REC-based commitment tracking tool | Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A rule-based approach for reasoning about collaboration between smart Web services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A-priori verification of web services with abduction. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Abducing Compliance of Incomplete Event Logs | Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Pao...la; Montali, Marco; Tessaris, Sergio | 2016-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Abduction for Specifying and Verifying Web Service Choreographies. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation | Chesani, Federico; Mello, Paola; Montali, Marco | 2017-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification | F. Chesani; P. Mello; M. Montali; S. Storari | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| An Abductive Framework for A-Priori Verification of Web Services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Checking Compliance of Execution Traces to Business Rules | F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari | 2009-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Commitment Tracking via the Reactive Event Calculus | M. Montali; F. Chesani; P. Mello; P. Torroni | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | - | IOS Press | 2.01 Capitolo / saggio in libro | - |