Paolo Traverso

According to our database1, Paolo Traverso authored at least 83 papers between 1991 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Incremental Composition for Adaptive By-Design Service Based Systems.
Proceedings of the IEEE International Conference on Web Services, 2016

Automated Planning and Acting
Cambridge University Press, ISBN: 978-1-107-03727-4, 2016

2015
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.
Proceedings of the WEBIST 2015, 2015

Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.
Proceedings of the SMARTGREENS 2015, 2015

Keynote abstract: From smart cities to smart communities: The case of children's independent mobility.
Proceedings of the 10th International Workshop on Semantic and Social Media Adaptation and Personalization, 2015

Design for Adaptation of Distributed Service-Based Systems.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.
Proceedings of the CLOSER 2015, 2015

Blended Planning and Acting: Preliminary Approach, Research Challenges.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
The actor's view of automated planning and acting: A position paper.
Artif. Intell., 2014

2013
Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2010
Automated composition of Web services via planning in asynchronous domains.
Artif. Intell., 2010

2009
Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell., 2009

From Software Services to a Future Internet of Services.
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

2008
Automated Planning.
Proceedings of the Handbook of Knowledge Representation, 2008

Service-Oriented Computing: a Research Roadmap.
Int. J. Cooperative Inf. Syst., 2008

Automated Composition of Web Services: the ASTRO Approach.
IEEE Data Eng. Bull., 2008

Semantic Annotation for Web Service Processes.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Service-Oriented Computing: State of the Art and Research Challenges.
IEEE Computer, 2007

Assumption-Based Composition and Monitoring of Web Services.
Proceedings of the Test and Analysis of Web Services, 2007

Web Service Discovery at Process-level Based on Semantic Annotation.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Agree or Change! Making Services Evolve.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Proceedings of the Autonomous and Adaptive Web Services, 04.02. - 09.02.2007, 2007

2006
Strong planning under partial observability.
Artif. Intell., 2006

Specifying Data-Flow Requirements for the Automated Composition of Web Services.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Run-Time Monitoring of Instances and Classes of Web Service Compositions.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals.
Proceedings of the Service-Oriented Computing, 2006

A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
Proceedings of the Semantic Web: Research and Applications, 2006

Planning Under Uncertainty and Its Applications.
Proceedings of the Reasoning, 2006

Automated Web Service Composition by On-the-Fly Belief Space Search.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Run-Time Monitoring of the Execution of Plans for Web Service Composition.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Contingent Planning with Goal Preferences.
Proceedings of the Proceedings, 2006

2005
Automated synthesis of executable web service compositions from BPEL4WS processes.
Proceedings of the 14th international conference on World Wide Web, 2005

Automated Composition of Web Services by Planning at the Knowledge Level.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Automated Synthesis of Composite BPEL4WS Web Services.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

ASTRO: Supporting Composition and Execution of Web Services.
Proceedings of the Service-Oriented Computing, 2005

Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.
Proceedings of the Semantic Web: Research and Applications, 2005

05462 Service-Oriented Computing: A Research Roadmap.
Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005

Automated Composition of Web Services by Planning in Asynchronous Domains.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

A Hierarchical Task-Network Planner based on Symbolic Model Checking.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

2004
Specifying and analyzing early requirements in Tropos.
Requir. Eng., 2004

Automated Composition of Semantic Web Services into Executable Processes.
Proceedings of the Semantic Web, 2004

Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Planning and Monitoring Web Service Composition.
Proceedings of the Artificial Intelligence: Methodology, 2004

Automated planning - theory and practice.
Elsevier, ISBN: 978-1-55860-856-6, 2004

2003
Weak, strong, and strong cyclic planning via symbolic model checking.
Artif. Intell., 2003

A Framework for Planning with Extended Goals under Partial Observability.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002
A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
Proceedings of the Technologies for E-Services, Third International Workshop, 2002

Planning with a Language for Extended Goals.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Model Checking Early Requirements Specifications in Tropos.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Planning as Model Checking for Extended Goals in Non-deterministic Domains.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Mechanized result verification: an industrial application.
STTT, 2000

Theorem proving in technology transfer: the user's point of view.
STTT, 2000

A dynamic logic for acting, sensing, and planning.
J. Log. Comput., 2000

1999
Formal Specification and Development of a Safety-Critical Train Management System.
Proceedings of the Computer Safety, 1999

Formal Specification and Validation of a Vital Communication Protocol.
Proceedings of the FM'99 - Formal Methods, 1999

Planning as Model Checking.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Strong Cyclic Planning Revisited.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998
Formal Verification of a Railway Interlocking System using Model Checking.
Formal Asp. Comput., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
Proceedings of the Computer Safety, 1998

A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
Proceedings of the Computer Safety, 1998

Strong Planning in Non-Deterministic Domains Via Model Checking.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Planning via Model Checking: A Decision Procedure for AR.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Visual representation of natural language scene descriptions.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 1996

Computational reflection via mechanized logical deduction.
Int. J. Intell. Syst., 1996

Program Tactics and Logic Tactics.
Ann. Math. Artif. Intell., 1996

A Metatheory of a Mechanized Object Theory.
Artif. Intell., 1996

1995
A multicontext architecture for formalizing complex reasoning.
Int. J. Intell. Syst., 1995

A Logic for Acting, Sensing and Planning.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
Proceedings of the Intelligent Agents II, 1995

1994
MRG: Building planers for real-world complex applications.
Applied Artificial Intelligence, 1994

Program Tactics and Logic Tactics.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Planning with Failure.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1992
Understanding Scene Descriptions by Integrating Different Sources of Knowledge.
International Journal of Man-Machine Studies, 1992

Beyond the Single Planning Paradigm: Introspective Planning.
ECAI, 1992

A Knowledge Based System for Automatic 3D Scene.
Proceedings of the Artificial Intelligence V: Methodology, Systems, Applications, 1992

1991
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Automating Meta-Theory Creation and System Extension.
Proceedings of the Trends in Artificial Intelligence, 1991


  Loading...