Bertoli, Piergiorgio
Bertoli, Piergiorgio
SOA
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Hybridized Planner for Stochastic Domains
2007-01-01 Mausam, ; Bertoli, Piergiorgio; Daniel S., Weld
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
1998-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
2007-01-01 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
ASTRO: Supporting the Composition and Execution of Web Services
2005-01-01 Trainotti, Michele; Pistore, Marco; Calabrese, Gaetano; Zacco, Gabriele; P., Lucchese; F., Barbon; Bertoli, Piergiorgio; Traverso, Paolo
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain
2009-01-01 Pistore, Marco; Braghieri, Pietro; Bertoli, Piergiorgio; Antonio, Biscaglia; Marconi, Annapaola; Stefano, Pintarelli; Trainotti, Michele
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification
2006-01-01 Trainotti, Michele; Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; Marconi, Annapaola; Traverso, Paolo; Zacco, Gabriele
Automated Composition of Web Services by Planning at the Knowledge Level
2005-01-01 Pistore, Marco; Marconi, Annapaola; Bertoli, Piergiorgio; Traverso, Paolo
Automated Composition of Web Services by Planning in Asynchronous Domains
2005-01-01 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio
Automated composition of web services via planning in asynchronous domains
2010-01-01 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Automated Synthesis of Composite BPEL4WS Web Services
2005-01-01 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes
2005-01-01 Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola
Automated Web Service Composition by On-The-Fly Belief Space Search
2006-01-01 Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo
Bounded-Resource Reasoning as (Strong or Classical) Planning
2009-01-01 Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan
Certification of Translators via Off-line and On-line Proof Logging and Checking
1997-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
Conformant Planning via Symbolic Model Checking and Heuristic Search
2004-01-01 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Continuous Orchestration of Web Services via Planning
2009-01-01 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Control Flow Requirements for Automated Service Composition
2009-01-01 Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Framework for Planning with Extended Goals under Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo | |
A Hybridized Planner for Stochastic Domains | 1-gen-2007 | Mausam, ; Bertoli, Piergiorgio; Daniel S., Weld | |
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions | 1-gen-2002 | Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools | 1-gen-1998 | Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo | |
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis | 1-gen-2007 | Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro | |
ASTRO: Supporting the Composition and Execution of Web Services | 1-gen-2005 | Trainotti, Michele; Pistore, Marco; Calabrese, Gaetano; Zacco, Gabriele; P., Lucchese; F., Barbon; Bertoli, Piergiorgio; Traverso, Paolo | |
ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain | 1-gen-2009 | Pistore, Marco; Braghieri, Pietro; Bertoli, Piergiorgio; Antonio, Biscaglia; Marconi, Annapaola; Stefano, Pintarelli; Trainotti, Michele | |
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification | 1-gen-2006 | Trainotti, Michele; Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; Marconi, Annapaola; Traverso, Paolo; Zacco, Gabriele | |
Automated Composition of Web Services by Planning at the Knowledge Level | 1-gen-2005 | Pistore, Marco; Marconi, Annapaola; Bertoli, Piergiorgio; Traverso, Paolo | |
Automated Composition of Web Services by Planning in Asynchronous Domains | 1-gen-2005 | Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio | |
Automated composition of web services via planning in asynchronous domains | 1-gen-2010 | Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo | |
Automated Synthesis of Composite BPEL4WS Web Services | 1-gen-2005 | Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola | |
Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes | 1-gen-2005 | Pistore, Marco; Traverso, Paolo; Bertoli, Piergiorgio; Marconi, Annapaola | |
Automated Web Service Composition by On-The-Fly Belief Space Search | 1-gen-2006 | Bertoli, Piergiorgio; Pistore, Marco; Traverso, Paolo | |
Bounded-Resource Reasoning as (Strong or Classical) Planning | 1-gen-2009 | Albore, Alexandre; Natasha, Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; Brian, Logan | |
Certification of Translators via Off-line and On-line Proof Logging and Checking | 1-gen-1997 | Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo | |
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco | |
Conformant Planning via Symbolic Model Checking and Heuristic Search | 1-gen-2004 | Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio | |
Continuous Orchestration of Web Services via Planning | 1-gen-2009 | Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner | |
Control Flow Requirements for Automated Service Composition | 1-gen-2009 | Bertoli, Piergiorgio; Kazhamiakin, Raman; Massimo, Paolucci; Pistore, Marco; Raik, Heorhi; Matthias, Wagner |