dblp.uni-trier.dewww.uni-trier.de

Marco Pistore Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
88EEAnnapaola Marconi, Marco Pistore: Synthesis and Composition of Web Services. SFM 2009: 89-157
87EEUgur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso: Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. 173(5-6): 669-695 (2009)
2008
86 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
85 Dmitry Shaparau, Marco Pistore, Paolo Traverso: Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI 2008: 983-990
84EEVincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto: History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641
83EERaman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner: Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS 2008: 94-106
82 Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Semantic Annotation for Web Service Processes. SEBD 2008: 69-80
81EELuciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12
80EEJulia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. ServiceWave 2008: 122-133
79EERaman Kazhamiakin, Andreas Metzger, Marco Pistore: Towards Correctness Assurance in Adaptive Service-Based Applications. ServiceWave 2008: 25-37
78EEIvan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore: Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence 2008: 605-611
77EEAnnapaola Marconi, Marco Pistore, Paolo Traverso: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3): 23-26 (2008)
2007
76 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
75 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
74EEJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007
73EEPaolo Traverso, Marco Pistore: Agree or Change! Making Services Evolve. ICSM 2007: 2-3
72EEPiergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294
71EEPiergiorgio 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
70EEAnnapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso: AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS 2007: 767-774
69EEPiergiorgio 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
67EEMarco Pistore, Paolo Traverso: Assumption-Based Composition and Monitoring of Web Services. Test and Analysis of Web Services 2007: 307-335
66EEMarco 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
64EERaman 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
62EEMarco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634
61EERaman 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
57EEAnnapaola Marconi, Marco Pistore, Paolo Traverso: Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC 2006: 459-464
56EERaman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Representation, Verification, and Computation of Timed Properties in Web. ICWS 2006: 497-504
55EEFabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti: Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS 2006: 63-71
54EERaman 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
52EEAnnapaola Marconi, Marco Pistore, Paolo Traverso: Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM 2006: 147-156
51EERaman Kazhamiakin, Marco Pistore: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. WS-FM 2006: 227-241
50EERaman Kazhamiakin, Marco Pistore, Luca Santuari: Analysis of communication models in web service compositions. WWW 2006: 267-276
2005
49EERaman Kazhamiakin, Marco Pistore: A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM 2005: 318-332
48EEMarco 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
45EEMichele 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
44EEMarco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi: Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301
43EEMarco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso: Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259
42EEUgo Montanari, Marco Pistore: History-Dependent Automata: An Introduction. SFM 2005: 1-28
41EEMarco 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
40EEAlexey 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)
39EEUgo Montanari, Marco Pistore: Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005)
2004
38EEMarco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso: Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115
37EERaman 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
35EEPaolo Traverso, Marco Pistore: Automated Composition of Semantic Web Services into Executable Processes. International Semantic Web Conference 2004: 380-394
34EERaman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415
33EEMarco Pistore, Marco Roveri, Paolo Busetta: Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci. 105: 95-108 (2004)
32EEAliaksei Novikau, Anna Perini, Marco Pistore: Graph Rewriting for Agent Oriented Visual Modeling. Electr. Notes Theor. Comput. Sci. 109: 85-96 (2004)
2003
31EEAnna 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
29EEMarco Pistore, Moshe Y. Vardi: The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243
28EEAriel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105-
27EEGian 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)
26EEAlessandro 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
24EEAlessandro 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
23EEGian Luigi Ferrari, Ugo Montanari, Marco Pistore: Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158
22EEAlessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002: 49-56
21EEMarco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso: A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES 2002: 76-85
20EEAlessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
19EEMike 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
17EEAriel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso: Model Checking Early Requirements Specifications in Tropos. RE 2001: 174-181
16EEFlavio 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)
14EEFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
2000
13EEUgo Montanari, Marco Pistore: pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS 2000: 569-578
1999
12EEUgo Montanari, Marco Pistore: Finite State Verification for the Asynchronous pi-Calculus. TACAS 1999: 255-269
1998
11EEGian 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
9EEUgo 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
7EEUgo Montanari, Marco Pistore: An Introduction to History Dependent Automata. Electr. Notes Theor. Comput. Sci. 10: (1997)
6EEFlavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: (1997)
1996
5EEMarco Pistore, Davide Sangiorgi: A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). CAV 1996: 38-49
4EEUgo Montanari, Marco Pistore, Daniel Yankelevich: Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279
3EEFlavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
1995
2EEUgo Montanari, Marco Pistore: Checking Bisimilarity for Finitary pi-Calculus. CONCUR 1995: 42-56
1EEUgo Montanari, Marco Pistore: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1: (1995)

Coauthor Index

1Marco Aiello [19] [21]
2Fabio Barbon [38] [45] [55] [60]
3Luciano Baresi [81]
4Piergiorgio Bertoli [30] [36] [38] [41] [43] [44] [45] [47] [58] [59] [63] [69] [71] [72] [75] [83]
5Paolo Busetta [33]
6Gaetano Calabrese [45]
7Mark James Carman [21]
8Vincenzo Ciancia [84]
9Alessandro Cimatti [20] [22] [24] [26] [30] [59] [63]
10Edmund M. Clarke [24]
11Flavio Corradini [3] [6] [14] [16]
12Danail Dochev [86]
13Gian Luigi Ferrari (GianLuigi Ferrari) [6] [8] [11] [14] [23] [27] [84]
14Laura Ferrari [71] [72]
15Gianluigi Ferro [8]
16Ariel Fuxman [17] [28]
17Enrico Giunchiglia [22] [24]
18Fausto Giunchiglia [24]
19Stefania Gnesi [8] [11] [27]
20Alexey Gotsman [40]
21Sam Guinea [81]
22Julia Hielscher [80]
23Jörg Hoffmann [69] [75]
24Furio Honsell [10]
25Raman Kazhamiakin [34] [37] [49] [50] [51] [54] [56] [61] [64] [71] [72] [79] [80] [81] [83]
26Jana Koehler (Jana Köhler) [74] [76]
27Ugur Kuter [46] [87]
28Ugo Dal Lago [25]
29Freddy Lécué [69]
30Marina Lenisa [10]
31Lin Liu [28]
32Gigi Lucchese [45]
33Annapaola Marconi [41] [43] [44] [52] [57] [70] [77] [78] [88]
34Fabio Massacci [40]
35Andreas Metzger [79] [80]
36Corrado Moiso [71] [72]
37Ugo Montanari [1] [2] [4] [7] [8] [9] [10] [11] [12] [13] [23] [27] [39] [42]
38John Mylopoulos [17] [28]
39Dana S. Nau [46] [87]
40Aliaksei Novikau [32]
41Francesco Pagliarecci [68] [78] [82]
42Paritosh K. Pandya [56] [64]
43Massimo Paolucci [83]
44Mike P. Papazoglou [19] [21]
45Anna Perini [31] [32]
46Ivan Di Pietro [78] [82]
47Piero Poccianti [70]
48Gioia Ristori [8] [11]
49Pierluigi Roberti [48]
50Marco Roveri [20] [22] [24] [26] [28] [31] [33] [34] [37]
51Davide Sangiorgi [5] [15]
52Luca Santuari [50]
53Roberto Sebastiani [20] [22] [24]
54Luciano Serafini [21]
55Dmitry Shaparau [38] [65] [85]
56Amit P. Sheth [74] [76]
57Luca Spalazzi [53] [62] [68] [78] [82]
58Angelo Susi [31]
59Armando Tacchella [22] [24]
60Ermes Thuegaz [71] [72]
61Michele Trainotti [45] [55] [60]
62Paolo Traverso [17] [18] [21] [25] [26] [30] [35] [38] [41] [43] [44] [45] [46] [47] [48] [52] [53] [55] [57] [58] [60] [62] [65] [67] [68] [70] [73] [74] [76] [77] [82] [85] [86] [87]
63Emilio Tuosto [84]
64Moshe Y. Vardi [29] [66]
65Matthias Wagner [83]
66Martin Wirsing [74] [76]
67Jian Yang [19] [21]
68Daniel Yankelevich [4]
69Gabriele Zacco [45]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)