Piergiorgio Bertoli

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