Sfoglia per Autore
Protocol Specification and Verification by Using Computational Logic
2005 M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni
Using social integrity constraints for on-the-fly compliance verification of medical protocol
2005 Ciampolini A.; Mello P.; Montali M.; Storari S.
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
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
A-priori verification of web services with abduction.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
An Abductive Framework for A-Priori Verification of Web Services
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
Policy-based reasoning for smart web service interaction.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Testing guidelines conformance by translating a graphical language to computational logic.
2006 F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari
Abduction for Specifying and Verifying Web Service Choreographies.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari
Policy-based reasoning for smart web service interaction
2006 M. Alberti; F. Chesani; E. Lamma; M. Gavanelli; P. Mello; M. Montali; P. Torroni
Expressing and Verifying Business Contracts with Abductive Logic Programming
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification
2007 F. Chesani; P. Mello; M. Montali; S. Storari
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach
2007 V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone
Learning DecSerFlow Models from Labelled Traces
2007 E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari
Learning DecSerFlow Models from Labeled Traces
2007 E. LAMMA; F. RIGUZZI ; S. STORARI; P. MELLO; M. MONTALI
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
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 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
Inducing Declarative Logic-Based Models from Labeled Traces
2007 E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari
Web Service Contracting: Specification and Reasoning with SCIFF
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Protocol Specification and Verification by Using Computational Logic | M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni | 2005-01-01 | - | Pitagora Editrice | 4.01 Contributo in Atti di convegno | - |
| Using social integrity constraints for on-the-fly compliance verification of medical protocol | Ciampolini A.; Mello P.; Montali M.; Storari S. | 2005-01-01 | - | IEEE Press | 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 | - |
| 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 | - |
| 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 | - |
| 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 | - |
| Policy-based reasoning for smart web service interaction. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2006-01-01 | - | CEUR Workshop Proceedings (CEUR-WS.org) | 4.01 Contributo in Atti di convegno | - |
| Testing guidelines conformance by translating a graphical language to computational logic. | F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | s.n | 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 | - |
| Policy-based reasoning for smart web service interaction | M. Alberti; F. Chesani; E. Lamma; M. Gavanelli; P. Mello; M. Montali; P. Torroni | 2006-01-01 | - | CEUR Workshop Proceedings (CEUR-WS.org) | 4.01 Contributo in Atti di convegno | - |
| Expressing and Verifying Business Contracts with Abductive Logic Programming |
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni |
2007-01-01 | - | IBFI | 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 | - |
| Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach | V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Learning DecSerFlow Models from Labelled Traces | E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Learning DecSerFlow Models from Labeled Traces | E. LAMMA; F. RIGUZZI ; S. STORARI; P. MELLO; M. MONTALI | 2007-01-01 | - | s.n | 4.02 Riassunto (Abstract) | - |
| 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 | - |
| 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 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 | - |
| Inducing Declarative Logic-Based Models from Labeled Traces | E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Web Service Contracting: Specification and Reasoning with SCIFF | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni. | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile