The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Pistore: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  71. Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. [Citation Graph (, )][DBLP]


  72. Use-Based Discovery of Pervasive Services. [Citation Graph (, )][DBLP]


  73. Continuous Orchestration of Web Services via Planning. [Citation Graph (, )][DBLP]


  74. History Dependent Automata for Service Compatibility. [Citation Graph (, )][DBLP]


  75. 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. [Citation Graph (, )][DBLP]


  76. 2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). [Citation Graph (, )][DBLP]


  77. Agree or Change! Making Services Evolve. [Citation Graph (, )][DBLP]


  78. Design and Analysis of the Composed Telecom Services. [Citation Graph (, )][DBLP]


  79. Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. [Citation Graph (, )][DBLP]


  80. Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. [Citation Graph (, )][DBLP]


  81. Design for Adaptation of Service-Based Applications: Main Issues and Requirements. [Citation Graph (, )][DBLP]


  82. Cross-Layer Adaptation and Monitoring of Service-Based Applications. [Citation Graph (, )][DBLP]


  83. Dynamo + Astro: An Integrated Approach for BPEL Monitoring. [Citation Graph (, )][DBLP]


  84. Control Flow Requirements for Automated Service Composition. [Citation Graph (, )][DBLP]


  85. Exploiting assumption-based verification for the adaptation of service-based applications. [Citation Graph (, )][DBLP]


  86. Semantic Annotation for Web Service Processes. [Citation Graph (, )][DBLP]


  87. Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. [Citation Graph (, )][DBLP]


  88. Synthesis and Composition of Web Services. [Citation Graph (, )][DBLP]


  89. Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. [Citation Graph (, )][DBLP]


  90. A Formalisation of Adaptable Pervasive Flows. [Citation Graph (, )][DBLP]


  91. Towards Correctness Assurance in Adaptive Service-Based Applications. [Citation Graph (, )][DBLP]


  92. A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. [Citation Graph (, )][DBLP]


  93. An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. [Citation Graph (, )][DBLP]


  94. Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. [Citation Graph (, )][DBLP]


  95. Task decomposition on abstract states, for planning under nondeterminism. [Citation Graph (, )][DBLP]


  96. Automated composition of Web services via planning in asynchronous domains. [Citation Graph (, )][DBLP]


  97. Automated Composition of Web Services: the ASTRO Approach. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002