Paolo Traverso - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Automated composition of Web services via planning in asynchronous domainsPiergiorgio Bertoli, Marco Pistore, Paolo Traverso. ai, 174(3-4):316-361, 2010. [doi]

2009

The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, ProceedingsLora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Paslaru Bontas Simperl, editors, Volume 5554 of Lecture Notes in Computer Science, Springer, 2009. [doi]

At Your Service: Service-Oriented Computing from an EU PerspectiveDi Nitto, Elisabetta, Anne-Marie Sassen, Paolo Traverso, Arian Zwegers, editors, MIT Press, Cambridge, MA, 2009.

Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected PapersJohn Domingue, Dieter Fensel, Paolo Traverso, editors, Volume 5468 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Task decomposition on abstract states, for planning under nondeterminismUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso. ai, 173(5-6):669-695, 2009. [doi]

From Software Services to a Future Internet of ServicesMarco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner. fia 2009: 183-192 [doi]

2008

Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. ProceedingsDanail Dochev, Marco Pistore, Paolo Traverso, editors, Volume 5253 of Lecture Notes in Computer Science, Springer, 2008.

Automated Composition of Web Services: the ASTRO ApproachAnnapaola Marconi, Marco Pistore, Paolo Traverso. debu, 31(3):23-26, 2008. [doi]

Service-Oriented Computing: a Research RoadmapMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann. ijcis, 17(2):223-255, 2008. [doi]

Semantic Annotation for Web Service ProcessesIvan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso. sebd 2008: 69-80

Fusing Procedural and Declarative Planning Goals for Nondeterministic DomainsDmitry Shaparau, Marco Pistore, Paolo Traverso. AAAI 2008: 983-990

2007

Autonomous and Adaptive Web Services, 04.02. - 09.02.2007Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing, editors, Volume 07061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

07061 Abstracts Collection -- Autonomous and Adaptive Web ServicesJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing. dagstuhl 2007: [doi]

AutomatedWeb Service Composition at Work: the Amazon/MPS Case StudyAnnapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso. icws 2007: 767-774 [doi]

Web Service Discovery at Process-level Based on Semantic AnnotationFrancesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso. sebd 2007: 220-232

Service-Oriented Computing: State of the Art and Research ChallengesMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann. Computer, 40(11):38-45, 2007. [doi]

Assumption-Based Composition and Monitoring of Web ServicesMarco Pistore, Paolo Traverso. In Luciano Baresi, Elisabetta Di Nitto, editors, Test and Analysis of Web Services. pages 307-335, Springer, 2007. [doi]

Agree or Change! Making Services EvolvePaolo Traverso, Marco Pistore. ICSM 2007: 2-3 [doi]

2006

Run-Time Monitoring of the Execution of Plans for Web Service CompositionFabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti. aips 2006: 346-349

Run-Time Monitoring of Instances and Classes of Web Service CompositionsFabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti. icws 2006: 63-71 [doi]

Strong planning under partial observabilityPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso. ai, 170(4-5):337-384, 2006. [doi]

Automated Web Service Composition by On-the-Fly Belief Space SearchPiergiorgio Bertoli, Marco Pistore, Paolo Traverso. aips 2006: 358-361

ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), ProceedingsGerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso, editors, Volume 141 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2006.

Specifying Data-Flow Requirements for the Automated Composition of Web ServicesAnnapaola Marconi, Marco Pistore, Paolo Traverso. sefm 2006: 147-156 [doi]

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition GoalsAnnapaola Marconi, Marco Pistore, Paolo Traverso. icsoc 2006: 459-464 [doi]

A Minimalist Approach to Semantic Annotations for Web Processes CompositionsMarco Pistore, Luca Spalazzi, Paolo Traverso. sebd 2006: 208-216

A Minimalist Approach to Semantic Annotations for Web Processes CompositionsMarco Pistore, Luca Spalazzi, Paolo Traverso. esws 2006: 620-634 [doi]

Contingent Planning with Goal PreferencesDmitry Shaparau, Marco Pistore, Paolo Traverso. AAAI 2006:

Planning Under Uncertainty and Its ApplicationsPaolo Traverso. BIRTHDAY 2006: 213-228 [doi]

2005

Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, ProceedingsBoualem Benatallah, Fabio Casati, Paolo Traverso, editors, Volume 3826 of Lecture Notes in Computer Science, Springer, 2005.

A Hierarchical Task-Network Planner based on Symbolic Model CheckingUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso. aips 2005: 300-309

05462 Service-Oriented Computing: A Research RoadmapMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer. dagstuhl 2006: [doi]

Automated Synthesis of Composite BPEL4WS Web ServicesMarco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi. icws 2005: 293-301 [doi]

Automated Composition of Web Services by Planning in Asynchronous DomainsMarco Pistore, Paolo Traverso, Piergiorgio Bertoli. aips 2005: 2-11

Automated Composition of Web Services by Planning at the Knowledge LevelMarco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso. IJCAI 2005: 1252-1259 [doi]

Process-Level Composition of Executable Web Services: On-the-fly Versus Once-for-all CompositionMarco Pistore, Pierluigi Roberti, Paolo Traverso. esws 2005: 62-77 [doi]

Automated synthesis of executable web service compositions from BPEL4WS processesMarco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi. WWW 2005: 1186-1187 [doi]

ASTRO: Supporting Composition and Execution of Web ServicesMichele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso. icsoc 2005: 495-501 [doi]

2004

2003

A Framework for Planning with Extended Goals under Partial ObservabilityPiergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso. aips 2003: 215-225

Weak, strong, and strong cyclic planning via symbolic model checkingAlessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso. ai, 147(1-2):35-84, 2003. [doi]

2002

A Request Language for Web-Services Based on Planning and Constraint SatisfactionMarco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso. tes 2002: 76-85 [doi]

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, FranceMalik Ghallab, Joachim Hertzberg, Paolo Traverso, editors, AAAI, 2002.

Planning with a Language for Extended GoalsUgo Dal Lago, Marco Pistore, Paolo Traverso. AAAI 2002: 447-454

2001

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model CheckingPiergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso. IJCAI 2001: 473-478

Model Checking Early Requirements Specifications in TroposAriel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso. RE 2001: 174-181 [doi]

Planning as Model Checking for Extended Goals in Non-deterministic DomainsMarco Pistore, Paolo Traverso. IJCAI 2001: 479-486

2000

Theorem proving in technology transfer: the user s point of viewFausto Giunchiglia, Paolo Traverso. STTT, 3(1):1-12, 2000. [doi]

A dynamic logic for acting, sensing, and planningLuca Spalazzi, Paolo Traverso. logcom, 10(6):787-821, 2000. [doi]

Mechanized result verification: an industrial applicationPaolo Traverso, Piergiorgio Bertoli. STTT, 3(1):78-92, 2000. [doi]

1999

Formal Specification and Development of a Safety-Critical Train Management SystemA. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita. safecomp 1999: 410-419 [doi]

Formal Specification and Validation of a Vital Communication ProtocolAlessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita. fm 1999: 1584-1604 [doi]

Strong Cyclic Planning RevisitedMarco Daniele, Paolo Traverso, Moshe Y. Vardi. ecp 2000: 35-48

Planning as Model CheckingFausto Giunchiglia, Paolo Traverso. ecp 2000: 1-20

Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, ProceedingsDieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann, editors, Volume 1641 of Lecture Notes in Computer Science, Springer, 1999.

1998

A Structured Approach to the Formal Certification of Safety of Computer Aided Development ToolsPiergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso. safecomp 1998: 221-230 [doi]

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking SystemAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. safecomp 1998: 284-295 [doi]

Strong Planning in Non-Deterministic Domains Via Model CheckingAlessandro Cimatti, Marco Roveri, Paolo Traverso. aips 1998: 36-43

Formal Verification of a Railway Interlocking System using Model CheckingAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. fac, 10(4):361-380, 1998. [doi]

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic DomainsAlessandro Cimatti, Marco Roveri, Paolo Traverso. AAAI 1998: 875-881

1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical SoftwareAlessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu. cav 1997: 202-213

Planning via Model Checking: A Decision Procedure for ::::AR::::Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso. ecp 1997: 130-142

1996

Program Tactics and Logic TacticsFausto Giunchiglia, Paolo Traverso. AMAI, 17(3-4):235-259, 1996.

A Metatheory of a Mechanized Object TheoryFausto Giunchiglia, Paolo Traverso. ai, 80(1-2):197-241, 1996. [doi]

1995

A Logic for Acting, Sensing and PlanningPaolo Traverso, Luca Spalazzi. IJCAI 1995: 1941-1949

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real WorldPaolo Traverso, Luca Spalazzi, Fausto Giunchiglia. atal 1996: 65-78

1994

Planning with FailureFausto Giunchiglia, Luca Spalazzi, Paolo Traverso. aips 1994: 74-79

Program Tactics and Logic TacticsFausto Giunchiglia, Paolo Traverso. lpar 1994: 16-30

MRG: Building planers for real-world complex applicationsPaolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia. aai, 8(3):333-357, 1994.

1992

Understanding Scene Descriptions by Integrating Different Sources of KnowledgeFausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco. ijmms, 37(1):47-81, 1992.

Beyond the Single Planning Paradigm: Introspective PlanningPaolo Traverso, Alessandro Cimatti, Luca Spalazzi. ecai 1992: 643-647

A Knowledge Based System for Automatic 3D ScenePaolo Traverso, Alessandro Armando, Enrico Giunchiglia. aimsa 1992: 255-264

1991

Automating Meta-Theory Creation and System ExtensionDavid A. Basin, Fausto Giunchiglia, Paolo Traverso. aiia 1991: 48-57

Reflective Reasoning with and between a Declarative Metatheory and the Implementation CodeFausto Giunchiglia, Paolo Traverso. IJCAI 1991: 111-117