Paolo Traverso

Annapaola Marconi

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

ASTRO: Supporting Composition and Execution of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.

[BibT_eX]

[DOI]

Pierluigi Roberti

Proceedings of the Semantic Web: Research and Applications, 2005

05462 Service-Oriented Computing: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005

Automated Composition of Web Services by Planning in Asynchronous Domains.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

A Hierarchical Task-Network Planner based on Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

2004

Specifying and analyzing early requirements in Tropos.

[BibT_eX]

[DOI]

Requir. Eng., 2004

Automated Composition of Semantic Web Services into Executable Processes.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2004

Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.

[BibT_eX]

Alessandro Cimatti

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Planning and Monitoring Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2004

Automated planning - theory and practice.

[BibT_eX]

Malik Ghallab

Dana S. Nau

Elsevier, ISBN: 978-1-55860-856-6, 2004

2003

Weak, strong, and strong cyclic planning via symbolic model checking.

[BibT_eX]

[DOI]

Artif. Intell., 2003

A Framework for Planning with Extended Goals under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

The Problem of Planning with Three Sources of Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Planning Based on Decision Theory, 2003

2002

A Request Language for Web-Services Based on Planning and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, Third International Workshop, 2002

Planning with a Language for Extended Goals.

[BibT_eX]

[DOI]

Ugo Dal Lago

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.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Planning as Model Checking for Extended Goals in Non-deterministic Domains.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Mechanized result verification: an industrial application.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2000

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

[BibT_eX]

[DOI]

Fausto Giunchiglia

Int. J. Softw. Tools Technol. Transf., 2000

A dynamic logic for acting, sensing, and planning.

[BibT_eX]

[DOI]

Luca Spalazzi

J. Log. Comput., 2000

1999

Formal Specification and Development of a Safety-Critical Train Management System.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1999

Formal Specification and Validation of a Vital Communication Protocol.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Planning as Model Checking.

[BibT_eX]

[DOI]

Fausto Giunchiglia

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Strong Cyclic Planning Revisited.

[BibT_eX]

[DOI]

Marco Daniele

Moshe Y. Vardi

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.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1998

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1998

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

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1998

Strong Planning in Non-Deterministic Domains Via Model Checking.

[BibT_eX]

[DOI]

Alessandro Cimatti

Marco Roveri

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.

[BibT_eX]

[DOI]

Alessandro Cimatti

Marco Roveri