Marco Pistore

Piergiorgio Bertoli

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

A Parametric Communication Model for the Verification of BPEL4WS Compositions.

[BibT_eX]

[DOI]

Raman Kazhamiakin

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Automated Composition of Web Services by Planning in Asynchronous Domains.

[BibT_eX]

[DOI]

Piergiorgio Bertoli

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

Requirements-Driven Verification of Web Services.

[BibT_eX]

[DOI]

Marco Roveri

Paolo Busetta

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Graph Rewriting for Agent Oriented Visual Modeling.

[BibT_eX]

[DOI]

Aliaksei Novikau

Anna Perini

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

Automated Composition of Semantic Web Services into Executable Processes.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 2004

Formal Verification of Requirements using SPIN: A Case Study on Web Services.

[BibT_eX]

[DOI]

Raman Kazhamiakin

Marco Roveri

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Framework for Integrating Business Processes and Business Requirements.

[BibT_eX]

[DOI]

Raman Kazhamiakin

Marco Roveri

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Planning with Extended Goals and Partial Observability.

[BibT_eX]

[DOI]

Piergiorgio Bertoli

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

Planning and Monitoring Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2004

2003

A model-checking verification environment for mobile processes.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

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

[BibT_eX]

[DOI]

Artif. Intell., 2003

Specifying and Analyzing Early Requirements: Some Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Agent-Oriented Modeling by Interleaving Formal and Informal Specification.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 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

2002

Planning for Requests against Web Services.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2002

Improving the Encoding of LTL Model Checking into SAT.

[BibT_eX]

[DOI]

Proceedings of the Verification, 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

Integrating BDD-Based and SAT-Based Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

Proceedings of the Foundations of Software Science and Computation Structures, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 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

On the semantics of durational actions.

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

Theor. Comput. Sci., 2001

A Partition Refinement Algorithm for the -Calculus.

[BibT_eX]

[DOI]

Davide Sangiorgi

Inf. Comput., 2001

'Closed Interval Process Algebra' versus 'Interval Process Algebra'.

[BibT_eX]

[DOI]

Acta Informatica, 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

2000

pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

1999

Finite State Verification for the Asynchronous pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Final semantics for the pi-calculus.

[BibT_eX]

Proceedings of the Programming Concepts and Methods, 1998

Verifying Mobile Processes in the HAL Environment.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

An Introduction to History Dependent Automata.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Eager, busy-waiting and lazy actions in timed computation?

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

An Automated Based Verification Environment for Mobile Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Minimal Transition Systems for History-Preserving Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

1996

Specification and Verification of Timed Lazy Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Efficient Minimization up to Location Equivalence.

[BibT_eX]

[DOI]

Daniel Yankelevich

Proceedings of the Programming Languages and Systems, 1996

History dependent verification for partial order systems.

[BibT_eX]

[DOI]

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

A Partition Refinement Algorithm for the <i>pi</i>-Calculus (Extended Abstract).

[BibT_eX]

[DOI]

Davide Sangiorgi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Concurrent semantics for the pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Checking Bisimilarity for Finitary pi-Calculus.

[BibT_eX]

[DOI]