A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. - Piergiorgio Bertoli; Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso (SAFECOMP, 1998)

The OMRS project: state of the art. - Fausto Giunchiglia; Piergiorgio Bertoli; Alessandro Coglio (WRLA, 1998)

Specification and Integration of Theorem Provers and Computer Algebra Systems. - Piergiorgio Bertoli; Jacques Calmet; Fausto Giunchiglia; Karsten Homann (Fundam. Informaticae, 1999)

Mechanized result verification: an industrial application. - Paolo Traverso; Piergiorgio Bertoli (Int. J. Softw. Tools Technol. Transf., 2000)

Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri (IJCAI, 2001)

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso (IJCAI, 2001)

Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. - Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli (TACAS, 2001)

Improving Heuristics for Planning as Search in Belief Space. - Piergiorgio Bertoli; Alessandro Cimatti (AIPS, 2002)

Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. - Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani (AISC, 2002)

A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. - Gilles Audemard; Piergiorgio Bertoli; Alessandro Cimatti; Artur Kornilowicz; Roberto Sebastiani (CADE, 2002)

Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. - Piergiorgio Bertoli; Alessandro Cimatti; John K. Slaney; Sylvie Thiébaux (ECAI, 2002)

A Framework for Planning with Extended Goals under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso (ICAPS, 2003)

Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. - Alexandre Albore; Piergiorgio Bertoli (AAAI, 2004)

Planning and Monitoring Web Service Composition. - Marco Pistore; Fabio Barbon; Piergiorgio Bertoli; Dmitry Shaparau; Paolo Traverso (AIMSA, 2004)

Planning with Extended Goals and Partial Observability. - Piergiorgio Bertoli; Marco Pistore (ICAPS, 2004)

Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. - Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso (ECAI, 2004)

Conformant planning via symbolic model checking and heuristic search. - Alessandro Cimatti; Marco Roveri; Piergiorgio Bertoli (Artif. Intell., 2004)

Automated Composition of Web Services by Planning in Asynchronous Domains. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli (ICAPS, 2005)

ASTRO: Supporting Composition and Execution of Web Services. - Michele Trainotti; Marco Pistore; Gaetano Calabrese; Gabriele Zacco; Gigi Lucchese; Fabio Barbon; Piergiorgio Bertoli; Paolo Traverso (ICSOC, 2005)

Automated Synthesis of Composite BPEL4WS Web Services. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Annapaola Marconi (ICWS, 2005)

Automated Composition of Web Services by Planning at the Knowledge Level. - Marco Pistore; Annapaola Marconi; Piergiorgio Bertoli; Paolo Traverso (IJCAI, 2005)

Automated synthesis of executable web service compositions from BPEL4WS processes. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Annapaola Marconi (WWW (Special interest tracks and posters), 2005)

Model-Checking Memory Requirements of Resource-Bounded Reasoners. - Alexandre Albore; Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Brian Logan 001; Luciano Serafini (AAAI, 2006)

Safe LTL Assumption-Based Planning. - Alexandre Albore; Piergiorgio Bertoli (ICAPS, 2006)

Towards Strong Cyclic Planning under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore (ICAPS, 2006)

Automated Web Service Composition by On-the-Fly Belief Space Search. - Piergiorgio Bertoli; Marco Pistore; Paolo Traverso (ICAPS, 2006)

Stong Cyclic Planning Under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore (ECAI, 2006)

Verifying Space and Time Requirements for Resource-Bounded Agents. - Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan 001; Luciano Serafini (MoChArt, 2006)

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. - Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti (MoChArt, 2006)

Strong planning under partial observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso (Artif. Intell., 2006)

Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. - Jörg Hoffmann 001; Piergiorgio Bertoli; Marco Pistore (AAAI, 2007)

Design and Analysis of the Composed Telecom Services. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICSOC Workshops, 2007)

Design and Verification ofWeb Services Compositions in the Telecommunication Domain. - Piergiorgio Bertoli; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz (ICWS, 2007)

Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. - Piergiorgio Bertoli; Jörg Hoffmann 001; Freddy Lécué; Marco Pistore (ICWS, 2007)

A Hybridized Planner for Stochastic Domains. - Mausam; Piergiorgio Bertoli; Daniel S. Weld (IJCAI, 2007)

Bounded-Resource Reasoning as (Strong or Classical) Planning. - Alexandre Albore; Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Brian Logan 001 (CLIMA, 2008)

YourWay!: a Platform for Composing and Executing Services Driven by User Resources. - Raman Kazhamiakin; Piergiorgio Bertoli; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (FIS (Posters & Demos), 2008)

Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. - Raman Kazhamiakin; Piergiorgio Bertoli; Massimo Paolucci 001; Marco Pistore; Matthias Wagner 001 (FIS, 2008)

Continuous Orchestration of Web Services via Planning. - Piergiorgio Bertoli; Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik; Matthias Wagner 001 (ICAPS, 2009)

Control Flow Requirements for Automated Service Composition. - Piergiorgio Bertoli; Raman Kazhamiakin; Massimo Paolucci 001; Marco Pistore; Heorhi Raik; Matthias Wagner 001 (ICWS, 2009)

Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. - Jörg Hoffmann 001; Piergiorgio Bertoli; Malte Helmert; Marco Pistore (J. Artif. Intell. Res., 2009)

Message Filtering Based On Mobile User Context. - Hermann Stern; Armin Ulbrich; Viktoria Pammer; Marco Pistore; Piergiorgio Bertoli; Stefanie N. Lindstaedt (CIAO@EKAW, 2010)

Automated composition of Web services via planning in asynchronous domains. - Piergiorgio Bertoli; Marco Pistore; Paolo Traverso (Artif. Intell., 2010)

SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. - Piergiorgio Bertoli; Raman Kazhamiakin; Michele Nori; Marco Pistore (BIS (Workshops), 2012)

A Constraint-Driven Business Object Model for Service-Based Business Processes. - Farhana H. Zulkernine; Piergiorgio Bertoli; Marco Pistore; Andreas Friesen; Jens Lemcke; Bernhard Thimmel; Otfried von Geisau (ITNG, 2012)

SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. - Piergiorgio Bertoli; Raman Kazhamiakin; Michele Nori; Marco Pistore (WISE, 2012)

Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces. - Piergiorgio Bertoli; Chiara Di Francescomarino; Mauro Dragoni; Chiara Ghidini (AI*IA, 2013)

Modeling and Monitoring Business Process Execution. - Piergiorgio Bertoli; Mauro Dragoni; Chiara Ghidini; Emanuele Martufi; Michele Nori; Marco Pistore; Chiara Di Francescomarino (ICSOC, 2013)

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Raman Kazhamiakin (ICWS, 2013)

Modeling and Monitoring Processes exploiting Semantic Reasoning. - Mauro Dragoni; Piergiorgio Bertoli; Chiara Di Francescomarino; Chiara Ghidini; Michele Nori; Marco Pistore; Roberto Tiella; Francesco Corcoglioniti (ISWC (Posters & Demos), 2014)

Semantic-Based Process Analysis. - Chiara Di Francescomarino; Francesco Corcoglioniti; Mauro Dragoni; Piergiorgio Bertoli; Roberto Tiella; Chiara Ghidini; Michele Nori; Marco Pistore (ISWC (2), 2014)

Semantic modeling and analysis of complex data-aware processes and their executions. - Piergiorgio Bertoli; Francesco Corcoglioniti; Chiara Di Francescomarino; Mauro Dragoni; Chiara Ghidini; Marco Pistore (Expert Syst. Appl., 2022)