| 2008 |
|---|
| 80 | | Danail Dochev,
Marco Pistore,
Paolo Traverso:
Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Springer 2008 |
| 79 | | Dmitry Shaparau,
Marco Pistore,
Paolo Traverso:
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
AAAI 2008: 983-990 |
| 78 | EE | Vincenzo Ciancia,
Gian Luigi Ferrari,
Marco Pistore,
Emilio Tuosto:
History Dependent Automata for Service Compatibility.
Concurrency, Graphs and Models 2008: 625-641 |
| 77 | | I. Di Pietro,
Francesco Pagliarecci,
Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
Semantic Annotation for Web Service Processes.
SEBD 2008: 69-80 |
| 76 | EE | Annapaola Marconi,
Marco Pistore,
Paolo Traverso:
Automated Composition of Web Services: the ASTRO Approach.
IEEE Data Eng. Bull. 31(3): 23-26 (2008) |
| 2007 |
|---|
| 75 | | Jana Koehler,
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 74 | | Jörg Hoffmann,
Piergiorgio Bertoli,
Marco Pistore:
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
AAAI 2007: 1013-1018 |
| 73 | EE | Jana Koehler,
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
Martin Wirsing:
07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Autonomous and Adaptive Web Services 2007 |
| 72 | EE | Paolo Traverso,
Marco Pistore:
Agree or Change! Making Services Evolve.
ICSM 2007: 2-3 |
| 71 | EE | Piergiorgio Bertoli,
Laura Ferrari,
Raman Kazhamiakin,
Corrado Moiso,
Marco Pistore,
Ermes Thuegaz:
Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
ICWS 2007: 1214-1215 |
| 70 | EE | Annapaola Marconi,
Marco Pistore,
Piero Poccianti,
Paolo Traverso:
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.
ICWS 2007: 767-774 |
| 69 | EE | Piergiorgio Bertoli,
Jörg Hoffmann,
Freddy Lécué,
Marco Pistore:
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
ICWS 2007: 815-822 |
| 68 | | Francesco Pagliarecci,
Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation.
SEBD 2007: 220-232 |
| 67 | EE | Marco Pistore,
Paolo Traverso:
Assumption-Based Composition and Monitoring of Web Services.
Test and Analysis of Web Services 2007: 307-335 |
| 66 | EE | Marco Pistore,
Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity.
J. Artif. Intell. Res. (JAIR) 30: 101-132 (2007) |
| 2006 |
|---|
| 65 | | Dmitry Shaparau,
Marco Pistore,
Paolo Traverso:
Contingent Planning with Goal Preferences.
AAAI 2006 |
| 64 | EE | Raman Kazhamiakin,
Paritosh K. Pandya,
Marco Pistore:
Timed Modelling and Analysis in Web Service Compositions.
ARES 2006: 840-846 |
| 63 | | Piergiorgio Bertoli,
Alessandro Cimatti,
Marco Pistore:
Stong Cyclic Planning Under Partial Observability.
ECAI 2006: 580-584 |
| 62 | EE | Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
ESWC 2006: 620-634 |
| 61 | EE | Raman Kazhamiakin,
Marco Pistore:
Analysis of Realizability Conditions for Web Service Choreographies.
FORTE 2006: 61-76 |
| 60 | | Fabio Barbon,
Paolo Traverso,
Marco Pistore,
Michele Trainotti:
Run-Time Monitoring of the Execution of Plans for Web Service Composition.
ICAPS 2006: 346-349 |
| 59 | | Piergiorgio Bertoli,
Alessandro Cimatti,
Marco Pistore:
Towards Strong Cyclic Planning under Partial Observability.
ICAPS 2006: 354-357 |
| 58 | | Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso:
Automated Web Service Composition by On-the-Fly Belief Space Search.
ICAPS 2006: 358-361 |
| 57 | EE | Annapaola Marconi,
Marco Pistore,
Paolo Traverso:
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals.
ICSOC 2006: 459-464 |
| 56 | EE | Raman Kazhamiakin,
Paritosh K. Pandya,
Marco Pistore:
Representation, Verification, and Computation of Timed Properties in Web.
ICWS 2006: 497-504 |
| 55 | EE | Fabio Barbon,
Paolo Traverso,
Marco Pistore,
Michele Trainotti:
Run-Time Monitoring of Instances and Classes of Web Service Compositions.
ICWS 2006: 63-71 |
| 54 | EE | Raman Kazhamiakin,
Marco Pistore:
Static Verification of Control and Data inWeb Service Compositions.
ICWS 2006: 83-90 |
| 53 | | Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
SEBD 2006: 208-216 |
| 52 | EE | Annapaola Marconi,
Marco Pistore,
Paolo Traverso:
Specifying Data-Flow Requirements for the Automated Composition of Web Services.
SEFM 2006: 147-156 |
| 51 | EE | Raman Kazhamiakin,
Marco Pistore:
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
WS-FM 2006: 227-241 |
| 50 | EE | Raman Kazhamiakin,
Marco Pistore,
Luca Santuari:
Analysis of communication models in web service compositions.
WWW 2006: 267-276 |
| 2005 |
|---|
| 49 | EE | Raman Kazhamiakin,
Marco Pistore:
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
EPEW/WS-FM 2005: 318-332 |
| 48 | EE | Marco Pistore,
Pierluigi Roberti,
Paolo Traverso:
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.
ESWC 2005: 62-77 |
| 47 | | Marco Pistore,
Paolo Traverso,
Piergiorgio Bertoli:
Automated Composition of Web Services by Planning in Asynchronous Domains.
ICAPS 2005: 2-11 |
| 46 | | Ugur Kuter,
Dana S. Nau,
Marco Pistore,
Paolo Traverso:
A Hierarchical Task-Network Planner based on Symbolic Model Checking.
ICAPS 2005: 300-309 |
| 45 | EE | Michele Trainotti,
Marco Pistore,
Gaetano Calabrese,
Gabriele Zacco,
Gigi Lucchese,
Fabio Barbon,
Piergiorgio Bertoli,
Paolo Traverso:
ASTRO: Supporting Composition and Execution of Web Services.
ICSOC 2005: 495-501 |
| 44 | EE | Marco Pistore,
Paolo Traverso,
Piergiorgio Bertoli,
Annapaola Marconi:
Automated Synthesis of Composite BPEL4WS Web Services.
ICWS 2005: 293-301 |
| 43 | EE | Marco Pistore,
Annapaola Marconi,
Piergiorgio Bertoli,
Paolo Traverso:
Automated Composition of Web Services by Planning at the Knowledge Level.
IJCAI 2005: 1252-1259 |
| 42 | EE | Ugo Montanari,
Marco Pistore:
History-Dependent Automata: An Introduction.
SFM 2005: 1-28 |
| 41 | EE | Marco Pistore,
Paolo Traverso,
Piergiorgio Bertoli,
Annapaola Marconi:
Automated synthesis of executable web service compositions from BPEL4WS processes.
WWW (Special interest tracks and posters) 2005: 1186-1187 |
| 40 | EE | Alexey Gotsman,
Fabio Massacci,
Marco Pistore:
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.
Electr. Notes Theor. Comput. Sci. 135(1): 59-77 (2005) |
| 39 | EE | Ugo Montanari,
Marco Pistore:
Structured coalgebras and minimal HD-automata for the pi-calculus.
Theor. Comput. Sci. 340(3): 539-576 (2005) |
| 2004 |
|---|
| 38 | EE | Marco Pistore,
Fabio Barbon,
Piergiorgio Bertoli,
Dmitry Shaparau,
Paolo Traverso:
Planning and Monitoring Web Service Composition.
AIMSA 2004: 106-115 |
| 37 | EE | Raman Kazhamiakin,
Marco Pistore,
Marco Roveri:
A Framework for Integrating Business Processes and Business Requirements.
EDOC 2004: 9-20 |
| 36 | | Piergiorgio Bertoli,
Marco Pistore:
Planning with Extended Goals and Partial Observability.
ICAPS 2004: 270-278 |
| 35 | EE | Paolo Traverso,
Marco Pistore:
Automated Composition of Semantic Web Services into Executable Processes.
International Semantic Web Conference 2004: 380-394 |
| 34 | EE | Raman Kazhamiakin,
Marco Pistore,
Marco Roveri:
Formal Verification of Requirements using SPIN: A Case Study on Web Services.
SEFM 2004: 406-415 |
| 33 | EE | Marco Pistore,
Marco Roveri,
Paolo Busetta:
Requirements-Driven Verification of Web Services.
Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004) |
| 32 | EE | Aliaksei Novikau,
Anna Perini,
Marco Pistore:
Graph Rewriting for Agent Oriented Visual Modeling.
Electr. Notes Theor. Comput. Sci. 109: 85-96 (2004) |
| 2003 |
|---|
| 31 | EE | Anna Perini,
Marco Pistore,
Marco Roveri,
Angelo Susi:
Agent-Oriented Modeling by Interleaving Formal and Informal Specification.
AOSE 2003: 36-52 |
| 30 | | Piergiorgio Bertoli,
Alessandro Cimatti,
Marco Pistore,
Paolo Traverso:
A Framework for Planning with Extended Goals under Partial Observability.
ICAPS 2003: 215-225 |
| 29 | EE | Marco Pistore,
Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity.
LICS 2003: 234-243 |
| 28 | EE | Ariel Fuxman,
Lin Liu,
Marco Pistore,
Marco Roveri,
John Mylopoulos:
Specifying and Analyzing Early Requirements: Some Experimental Results.
RE 2003: 105- |
| 27 | EE | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore:
A model-checking verification environment for mobile processes.
ACM Trans. Softw. Eng. Methodol. 12(4): 440-473 (2003) |
| 26 | EE | Alessandro Cimatti,
Marco Pistore,
Marco Roveri,
Paolo Traverso:
Weak, strong, and strong cyclic planning via symbolic model checking.
Artif. Intell. 147(1-2): 35-84 (2003) |
| 2002 |
|---|
| 25 | | Ugo Dal Lago,
Marco Pistore,
Paolo Traverso:
Planning with a Language for Extended Goals.
AAAI/IAAI 2002: 447-454 |
| 24 | EE | Alessandro Cimatti,
Edmund M. Clarke,
Enrico Giunchiglia,
Fausto Giunchiglia,
Marco Pistore,
Marco Roveri,
Roberto Sebastiani,
Armando Tacchella:
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
CAV 2002: 359-364 |
| 23 | EE | Gian Luigi Ferrari,
Ugo Montanari,
Marco Pistore:
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.
FoSSaCS 2002: 129-158 |
| 22 | EE | Alessandro Cimatti,
Enrico Giunchiglia,
Marco Pistore,
Marco Roveri,
Roberto Sebastiani,
Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking.
FroCos 2002: 49-56 |
| 21 | EE | Marco Aiello,
Mike P. Papazoglou,
Jian Yang,
Mark Carman,
Marco Pistore,
Luciano Serafini,
Paolo Traverso:
A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
TES 2002: 76-85 |
| 20 | EE | Alessandro Cimatti,
Marco Pistore,
Marco Roveri,
Roberto Sebastiani:
Improving the Encoding of LTL Model Checking into SAT.
VMCAI 2002: 196-207 |
| 19 | EE | Mike P. Papazoglou,
Marco Aiello,
Marco Pistore,
Jian Yang:
Planning for Requests against Web Services.
IEEE Data Eng. Bull. 25(4): 41-46 (2002) |
| 2001 |
|---|
| 18 | | Marco Pistore,
Paolo Traverso:
Planning as Model Checking for Extended Goals in Non-deterministic Domains.
IJCAI 2001: 479-486 |
| 17 | EE | Ariel Fuxman,
John Mylopoulos,
Marco Pistore,
Paolo Traverso:
Model Checking Early Requirements Specifications in Tropos.
RE 2001: 174-181 |
| 16 | EE | Flavio Corradini,
Marco Pistore:
`Closed Interval Process Algebra' versus `Interval Process Algebra'.
Acta Inf. 37(7): 467-509 (2001) |
| 15 | | Marco Pistore,
Davide Sangiorgi:
A Partition Refinement Algorithm for the -Calculus.
Inf. Comput. 164(2): 264-321 (2001) |
| 14 | EE | Flavio Corradini,
Gian Luigi Ferrari,
Marco Pistore:
On the semantics of durational actions.
Theor. Comput. Sci. 269(1-2): 47-82 (2001) |
| 2000 |
|---|
| 13 | EE | Ugo Montanari,
Marco Pistore:
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.
MFCS 2000: 569-578 |
| 1999 |
|---|
| 12 | EE | Ugo Montanari,
Marco Pistore:
Finite State Verification for the Asynchronous pi-Calculus.
TACAS 1999: 255-269 |
| 1998 |
|---|
| 11 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore,
Gioia Ristori:
Verifying Mobile Processes in the HAL Environment.
CAV 1998: 511-515 |
| 10 | | Furio Honsell,
Marina Lenisa,
Ugo Montanari,
Marco Pistore:
Final semantics for the pi-calculus.
PROCOMET 1998: 225-243 |
| 1997 |
|---|
| 9 | | Ugo Montanari,
Marco Pistore:
Minimal Transition Systems for History-Preserving Bisimulation.
STACS 1997: 413-425 |
| 8 | | Gian Luigi Ferrari,
Gianluigi Ferro,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore,
Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes.
TACAS 1997: 275-289 |
| 7 | EE | Ugo Montanari,
Marco Pistore:
An Introduction to History Dependent Automata.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 6 | EE | Flavio Corradini,
Gian Luigi Ferrari,
Marco Pistore:
Eager, busy-waiting and lazy actions in timed computation?
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 1996 |
|---|
| 5 | | Marco Pistore,
Davide Sangiorgi:
A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract).
CAV 1996: 38-49 |
| 4 | | Ugo Montanari,
Marco Pistore,
Daniel Yankelevich:
Efficient Minimization up to Location Equivalence.
ESOP 1996: 265-279 |
| 3 | | Flavio Corradini,
Marco Pistore:
Specification and Verification of Timed Lazy Systems.
MFCS 1996: 279-290 |
| 1995 |
|---|
| 2 | | Ugo Montanari,
Marco Pistore:
Checking Bisimilarity for Finitary pi-Calculus.
CONCUR 1995: 42-56 |
| 1 | EE | Ugo Montanari,
Marco Pistore:
Concurrent semantics for the pi-calculus.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
