Piergiorgio Bertoli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
13
Active years
1998–2013
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSOC | Modeling and Monitoring Business Process Execution. | Piergiorgio Bertoli, Mauro Dragoni, Chiara Ghidini, Emanuele Martufi, Michele Nori, Marco Pistore, Chiara Di Francescomarino |
| 2013 | ICWS | Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin |
| 2012 | WISE | SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. | Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore |
| 2010 | EKAW | Message Filtering Based On Mobile User Context. | Hermann Stern, Armin Ulbrich, Viktoria Pammer, Marco Pistore, Piergiorgio Bertoli, Stefanie N. Lindstaedt |
| 2009 | ICWS | Control Flow Requirements for Automated Service Composition. | Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner |
| 2007 | AAAI | Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. | Jrg Hoffmann, Piergiorgio Bertoli, Marco Pistore |
| 2007 | IJCAI | A Hybridized Planner for Stochastic Domains. | Mausam, Piergiorgio Bertoli, Daniel S. Weld |
| 2007 | ICSOC | Design and Analysis of the Composed Telecom Services. | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
| 2007 | ICWS | Design and Verification ofWeb Services Compositions in the Telecommunication Domain. | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
| 2007 | ICWS | Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. | Piergiorgio Bertoli, Jrg Hoffmann, Freddy Lcu, Marco Pistore |
| 2006 | AAAI | Model-Checking Memory Requirements of Resource-Bounded Reasoners. | Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini |
| 2006 | ECAI | Stong Cyclic Planning Under Partial Observability. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore |
| 2005 | IJCAI | Automated Composition of Web Services by Planning at the Knowledge Level. | Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | ICSOC | ASTRO: Supporting Composition and Execution of Web Services. | Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | ICWS | Automated Synthesis of Composite BPEL4WS Web Services. | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
| 2005 | WWW | Automated synthesis of executable web service compositions from BPEL4WS processes. | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
| 2004 | AAAI | Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. | Alexandre Albore, Piergiorgio Bertoli |
| 2004 | AIMSA | Planning and Monitoring Web Service Composition. | Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso |
| 2004 | ECAI | Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. | Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso |
| 2002 | AISC | Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
| 2002 | CADE | A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
| 2002 | ECAI | Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. | Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thibaux |
| 2001 | IJCAI | Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri |
| 2001 | IJCAI | Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
| 2001 | TACAS | Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. | Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli |
| 1998 | AISC | Specification and Integration of Theorem Provers and Computer Algebra Systems. | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
| 1998 | SAFECOMP | A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |