Piergiorgio Bertoli

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 1

Top Topics

Process Execution

Reasoning Processes

Semantic Modeling

Inclusion Dependencies

Top Venues

Publications

Piergiorgio Bertoli, Francesco Corcoglioniti, Chiara Di Francescomarino, Mauro Dragoni, Chiara Ghidini, Marco Pistore
Semantic modeling and analysis of complex data-aware processes and their executions. Expert Syst. Appl. 198 (2022)
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. CoRR (2014)
Chiara Di Francescomarino, Francesco Corcoglioniti, Mauro Dragoni, Piergiorgio Bertoli, Roberto Tiella, Chiara Ghidini, Michele Nori, Marco Pistore
Semantic-Based Process Analysis. ISWC (2) (2014)
Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino, Chiara Ghidini, Michele Nori, Marco Pistore, Roberto Tiella, Francesco Corcoglioniti
Modeling and Monitoring Processes exploiting Semantic Reasoning. ISWC (Posters & Demos) (2014)
Piergiorgio Bertoli, Chiara Di Francescomarino, Mauro Dragoni, Chiara Ghidini
Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces. AI*IA (2013)
Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin
Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. ICWS (2013)
Piergiorgio Bertoli, Mauro Dragoni, Chiara Ghidini, Emanuele Martufi, Michele Nori, Marco Pistore, Chiara Di Francescomarino
Modeling and Monitoring Business Process Execution. ICSOC (2013)
Farhana H. Zulkernine, Piergiorgio Bertoli, Marco Pistore, Andreas Friesen, Jens Lemcke, Bernhard Thimmel, Otfried von Geisau
A Constraint-Driven Business Object Model for Service-Based Business Processes. ITNG (2012)
Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. BIS (Workshops) (2012)
Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore
SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. WISE (2012)
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174 (3-4) (2010)
Hermann Stern, Armin Ulbrich, Viktoria Pammer, Marco Pistore, Piergiorgio Bertoli, Stefanie N. Lindstaedt
Message Filtering Based On Mobile User Context. CIAO@EKAW (2010)
Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner
Control Flow Requirements for Automated Service Composition. ICWS (2009)
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. 35 (2009)
Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner
Continuous Orchestration of Web Services via Planning. ICAPS (2009)
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan
Bounded-Resource Reasoning as (Strong or Classical) Planning. CLIMA (2008)
Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS (2008)
Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner
YourWay!: a Platform for Composing and Executing Services Driven by User Resources. FIS (Posters & Demos) (2008)
Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS (2007)
Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
Design and Analysis of the Composed Telecom Services. ICSOC Workshops (2007)
Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI (2007)
Mausam, Piergiorgio Bertoli, Daniel S. Weld
A Hybridized Planner for Stochastic Domains. IJCAI (2007)
Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS (2007)
Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
Model-Checking Memory Requirements of Resource-Bounded Reasoners. AAAI (2006)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore
Stong Cyclic Planning Under Partial Observability. ECAI (2006)
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
Verifying Space and Time Requirements for Resource-Bounded Agents. MoChArt (2006)
Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. MoChArt (2006)
Alexandre Albore, Piergiorgio Bertoli
Safe LTL Assumption-Based Planning. ICAPS (2006)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
Strong planning under partial observability. Artif. Intell. 170 (4-5) (2006)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore
Towards Strong Cyclic Planning under Partial Observability. ICAPS (2006)
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, Brian Logan, Chiara Ghidini, Luciano Serafini
Verifying space and time requirements for resource-bounded agents. AAMAS (2006)
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS (2006)
Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso
Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI (2005)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
Automated Synthesis of Composite BPEL4WS Web Services. ICWS (2005)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli
Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS (2005)
Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
ASTRO: Supporting Composition and Execution of Web Services. ICSOC (2005)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
Automated synthesis of executable web service compositions from BPEL4WS processes. WWW (Special interest tracks and posters) (2005)
Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI (2004)
Alexandre Albore, Piergiorgio Bertoli
Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains. AAAI (2004)
Piergiorgio Bertoli, Marco Pistore
Planning with Extended Goals and Partial Observability. ICAPS (2004)
Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso
Planning and Monitoring Web Service Composition. AIMSA (2004)
Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
Conformant planning via symbolic model checking and heuristic search. Artif. Intell. 159 (1-2) (2004)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso
A Framework for Planning with Extended Goals under Partial Observability. ICAPS (2003)
Piergiorgio Bertoli, Alessandro Cimatti
Improving Heuristics for Planning as Search in Belief Space. AIPS (2002)
Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI (2002)
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC (2002)
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE (2002)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. IJCAI (2001)
Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. TACAS (2001)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI (2001)
Paolo Traverso, Piergiorgio Bertoli
Mechanized result verification: an industrial application. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Informaticae 39 (1-2) (1999)
Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP (1998)
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC (1998)
Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio
The OMRS project: state of the art. WRLA (1998)