Research Outputs Marco Pistore


  • G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, "A model checking verification environment for mobile processes" in ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, (In press) - see details
  • U. Montanari, M. Pistore, "Structured Coalgebras and Minimal HD-Automata for the pi-Calculus" in THEORETICAL COMPUTER SCIENCE, (In press) - see details
  • R. Kazhamiakin, M. Pistore, L. Santuari, "Analysis of communication models in web service compositions" in World Wide Web Conference, 2006 - see details
  • D. Shaparau, M. Pistore, P. Traverso, "Contingent Planning with Goal Preferences" in National Conference on Artificial Intelligence (AAAI): AAAI Press, 2006, Boston, Massachusetts, USA, July 16–20, 2006 - see details
  • D. Shaparau, M. Pistore, P. Traverso, "Planning with Goal Preferences in Non-deterministicDomains" in Advances in Preference Handling: workshop; ECAI 2006, Riva del Garda, Italy, 28 August - 1 September 2006, Riva del Garda (TN): ECAI, 2006. Proceedings of: Multidisciplinary ECAI-06 Workshop on Advances in Preference Handling, Riva del Garda (TN), 28th-1st September 2006 - see details
  • R. Kazhamiakin, K.P. Pandya, M. Pistore, "Representation, Verification, and Computation of Timed Properties in Web" in International Conference on Web Services, 2006 - see details
  • U. Kuter, D. Nau, M. Pistore, P. Traverso, "A Hierarchical Task-Network Planner based on Symbolic Model Checking" in Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling. ICAPS , Monterey, California: AAAI Press, 2005, p. 300-309. - ISBN: 1577352203. Proceedings of: ICAPS 2005, Monterey (CA), 5th-10th June 2005 - see details
  • R. Kazhamiakin, M. Pistore, "A Parametric Communication Model for the Verification of BPEL4WS Compositions" in Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005 , Berlin; Heidelberg : Springer Verlag, 2005, p. 318-332 -(Lecture Notes in Computer Science; 3670). - ISBN: 3540287019. Proceedings of: EPEW 2005 and WS-FM 2005, Versailles, 1st-3rd September 2005 - see details
  • M. Pistore, P. Bertoli, P. Traverso, A. Marconi, "An Approach for the Automated Composition of BPEL Processes" in Proceedings of the First International Workshop on Service-Oriented Business Processes Integration (SOBPI'05)': IBM, 2005 -(IBM Research Report RC23820; RC23820). Proceedings of: SOBPI'05, Amsterdam, 12nd December 2005. - URL: http://domino.research.ibm.com/library/cyberdig.nsf/papers?SearchView&Query=sobpi - see details
  • M. Pistore, P. Traverso, P. Bertoli, "Automated Composition of Web Service by Planning in Asynchronous Domains" in Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling: Monterey, California, 2005: AAAI Press, 2005, Monterey (CA), 5th-10th June 2005 - see details
  • M. Pistore, A. Marconi, P. Bertoli, P. Traverso, "Automated Composition of Web Services by Planning at the Knowledge Level" in Int. Joint Conference on Artifical Intelligence, 2005, p. 1252-1259. Proceedings of: 19th International Joint Conferences on Artificial Intelligence (IJCAI 2005), Edinburgh, Jul 30-Aug 5 2005 - see details
  • M. Pistore, P. Traverso, P. Bertoli, A. Marconi, "Automated Synthesis of Composite BPEL4WS Web Services" in Proceedings of the 2005 IEEE International Conference on Web Services, Washington, DC: IEEE Computer Society , 2005, p. 293-301. - ISBN: 0769524095. Proceedings of: ICWS 2005, Orlando (FL), 11th-15th July 2005. - DOI: 10.1109/ICWS.2005.27 - see details
  • M. Pistore, P. Traverso, P. Bertoli, A. Marconi, "Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation" in The 14th International World Wide Web Conference: WWW 2005, May 10 (Tue) - 14 (Sat) 2005, Nippon Convention Center (Makuhari Messe), Chiba, Japan, Danvers, MA : Association for Computing Machinery (ACM), 2005, p. 1186-1187. - ISBN: 1595930523. Proceedings of: WWW 2005, Chiba, 10th-14th May 2005 - see details
  • M. Pistore, U. Montanari, "History-Dependent Automata: An Introduction" in Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures, Berlino: Springer, 2005, p. 1-28 -(Lecture Notes in Computer Science; 3465). Proceedings of: SFM-Moby 2005, Bertinoro (FO), 26th-30th April 2005 - see details
  • R. Kazhamiakin, P. Pandya, M. Pistore, "Modelling and Analysis of Time-related Properties in Web Service Compositions" in Engineering Service Compositions: First International Workshop, WESC05, Amsterdam, The Netherlands, December 2005, Proceedings: IBM Research Devision, 2005 -(IBM Research Report; RC23821). Proceedings of: WESC 2005, Amsterdam, 12th December 2005 - see details
  • M. Pistore, P. Roberti, P. Traverso, "Process-Level Composition of Executable Web Services: 'On-the-fly' Versus 'Once-for-all' Composition" in Proocedings of the Semantic Web: Research and Applications: Second European Semantic Web Conference, ESWC 2005, Germania: Springer, 2005, p. 62-77 -(Lecture Notes in Computer Science; 3532). - ISBN: 3540261249. Proceedings of: ESWC 2005, Heraklion, May 29-Jun 1 2005 - see details
  • M. Pistore, M. Roveri, P. Busetta, "Requirements-Driven Verification of Web Services" in 1st Int. Workshop on Web Services and Formal Methods (WS-FM 2004): Elsevier, 2005, p. 95-108 -(Electronic Notes in Theoretical Computer Science; 105). Proceedings of: WS-FM04, Pisa, 2004 - see details
  • F. Massacci, M. Pistore, A. Gotsman, "Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language" in Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), Amsterdam: Elsevier, 2005, p. 59-77 -(Electronic Notes in Theoretical Computer Science; 135.1). Proceedings of: ARSPA 2005, Lisbon, 16th July 2005. - DOI: 10.1016/j.entcs.2005.06.004 - see details
  • M. Pistore, P. Lucchese, M. Trainotti, P. Traverso, "Towards the Autonomic Composition of Business Processes" in Proceedings of the First International Workshop on Service-Oriented Business Processes Integration (SOBPI'05), 2005 -(IBM Research Report). Proceedings of: SOBPI'05, Amsterdam, 12th December 2005. - URL: http://domino.research.ibm.com/library/cyberdig.nsf/papers?SearchView&Query=sobpi - see details
  • R. Kazhamiakin, M. Pistore, M. Roveri, "A Framework for Integrating Business Processes and Business Requirements" in 8th International Enterprise Distributed Object Computing Conference: IEEE Computer Society, 2004. Proceedings of: EDOC, Monterey, CA, 2004 - see details
  • A. Perini, M. Pistore, M. Roveri, A. Susi, "Agent-Oriented Modeling by Interleaving Formal and Informal Specification" in Agent-Oriented Software Engineering IV: 4th international workshop AOSE 2003: Springer Verlag, 2004 -(LNCS; 2935). Proceedings of: AOSE, Melbourne, 15/7/2003 2003 - see details
  • P. Traverso, M. Pistore, "Automated Composition of Semantic Web Services into Executable Processes" in The semantic web - ISWC 2004 : third International Semantic Web Conference, Hiroshima, Japan, November 7 - 11, 2004: Springer Verlag, 2004 -(Lecture Notes in Computer Science ; 3298). Proceedings of: ISWC, Hiroshima, 2004 - see details
  • R. Kazhamiakin, M. Pistore, M. Roveri, "Formal Verification of Requirements using SPIN: A Case Study on Web Services" in 2nd Int. Conf on Software Engineering and Formal Methods: IEEE Computer Society, 2004. Proceedings of: SEFM, Beijing, China, 15-17 September 2004 - see details
  • N. Aliaksei, P. Anna, M. Pistore, "Graph Rewriting for Agent Oriented Visual Modeling" in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004): Elsevier, 2004, p. 85-96 -(Electronic Notes in Theoretical Computer Science; 109). Proceedings of: GT-VMT 2004, Barcelona, 27th-28th March 2004 - see details
  • M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, P. Traverso, "Planning and Monitoring Web Service Composition" in Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, Menlo Park, Calif.: AAAI press, 2004. - ISBN: 1-577-35200-9. Proceedings of: ICAPS’04 Workshop on Planning and Scheduling for Web and Grid Services, Whistler, British Columbia, 3rd-7th June 2004 - see details
  • M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, P. Traverso, "Planning and Monitoring Web Service Composition" in Artificial Intelligence: Methodology, Systems, and Applications11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings, 2004, p. 106-115. Proceedings of: Springer, Varna, 2nd-4th September 2004. - URL: http://www.springerlink.com/app/home/issue.asp?wasp=9b6ayvvtur4yx1lp8fvk&referrer=parent&backto=jour - see details
  • P. Bertoli, M. Pistore, "Planning with Extended Goals and Partial Observability" in Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, Canada: AAAI press, 2004, p. 270-278. - ISBN: 1577352009. Proceedings of: ICAPS2004, Whistler, British Columbia, Canada, 2004. - URL: http://icaps04.icaps-conference.org/ - see details
  • A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, P. Traverso, "Specifying and analyzing early requirements in Tropos" in REQUIREMENTS ENGINEERING, v. 9, n. 2 (2004), p. 132-150 - see details
  • P. Giorgini, J. Mylopoulos, M. Pistore, M. Kolp, "The Tropos methodology: an overview" in Methodologies and software engineering for agent systems, Dordrecht ; Boston ; New York, N.Y.: Kluwer academic, 2004 - see details
  • P. Bertoli, A. Cimatti, M. Pistore, P. Traverso, "A Framework for Planning with Extended Goals under Partial Observability" in Proceedings of the ICAPS-03 workshop on PDDL :Trento, Italy : June 10, 2003.: S.n., 2003, p. 215-225. Proceedings of: ICAPS 2003, Trento, Italy, 2003 - see details
  • G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, "A model-checking verification environment for mobile processes" in ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v. 12, n. 4 (2003), p. 440-473 - see details
  • A. Novikau, A. Perini, M. Pistore, "Graph Rewriting for Agent Oriented Visual Modeling" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, (2003) - see details
  • A. Fuxman, L. Liu, M. Pistore, M. Roveri, J. Mylopoulos, "Specifying and analyzing early requirements: some experimental results" in 11th IEEE International Requirements Engineering Conference: proceedings: 8-12 September, 2003, Monterey Bay, California, USA: IEEE Computer Society, 2003, p. 105-114. Proceedings of: RE 2003, Monterey Bay (CA), 8-12th September 2003 - see details
  • M. Pistore, M. Y. Vardi, "The Planning Spectrum - One, Two, Three, Infinity": IEEE Computer Society, 2003, p. 234-243. Proceedings of: LICS 2003, Ottawa, Canada, 2003 - see details
  • A. Cimatti, M. Pistore, M. Roveri, P. Traverso, "Weak, strong, and strong cyclic planning via symbolic model checking" in ARTIFICIAL INTELLIGENCE, v. 147, n. 1-2 (2003), p. 35-84 - see details
  • M. Aiello, M. Papazoglou, J. Yang, M. J. Carman, M. Pistore, L. Serafini, P. Traverso, "A request language for web services based on planning and constraint satisfaction" in VLDB-Technologies for E-Services, Wien: Springer, 2002, p. 76-85 -(Lecture Notes in Computer Science; 2910). Proceedings of: TES, Wien, 2002 - see details
  • A. Cimatti, M. Pistore, M. Roveri, R. Sebastiani, "Improving the Encoding of LTL Model Checking into SAT" in Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Berlin: Springer Verlag, 2002, p. 196-207 -(Lecture Notes in Computer Science; 2294). - ISBN: 3540436316. Proceedings of: VMCAI 2002, Venice, January 2002 - see details
  • A. Cimatti, E. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, A. Tacchella, "Integrating BDD-based and SAT-based Symbolic Model Checking" in Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Berlin: Springer Verlag, 2002, p. 49-56 -(LNAI; 2309). - ISBN: 3540433813. Proceedings of: Frontiers of Combining Systems, FROCOS'02, Santa Margherita, January 2002 - see details
  • G. Ferrari, U. Montanari, M. Pistore, "Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation": Springer Verlag, 2002, p. 129-158. Proceedings of: FoSSaCS 2002, Grenoble, France, 2002 - see details
  • A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, A. Tacchella, "NuSMV2: an open source tool for symbolic model checking" in Computer-Aided verification (CAV'02), Berlin/Heidelberg: Springer, 2002, p. 359-364 -(Lecture Notes in Computer Science; 2404). - ISBN: 3540439978. Proceedings of: 14th international conference on computer aided verification (CAV'02), Copenhagen, 27th-31st July 2002. - URL: http://eprints.biblio.unitn.it/archive/00000085/ - see details
  • M. Papazoglou, M. Aiello, M. Pistore, J. Yang, "Planning for requests against Web Services" in IEEE DATA ENGINEERING BULLETIN, v. 25, (2002), p. 41-46 - see details
  • U. Dal Lago, M. Pistore, P. Traverso, "Planning with a language for extended goals", Menlo Park (CA): AAAI Press, 2002, p. 447-454. Proceedings of: AAAI/IAAI 2002, Edmonton (Canada), 2002 - see details
  • F. Corradini, M. Pistore, "`Closed interval process algebra' versus `interval process algebra'" in ACTA INFORMATICA, v. 37, n. 7 (2001), p. 467-509 - see details
  • M. Pistore, D. Sangiorgi, "A partition refinement algorithm for the pi-calculus" in INFORMATION AND COMPUTATION, v. 164, n. 2 (2001), p. 264-321 - see details
  • F. Corradini, M. Pistore, "'Closed Interval Process Algebra' versus 'Interval Process Algebra'" in ACTA INFORMATICA, v. 37, (2001), p. 467-509 - see details
  • A. Fuxman, J. Mylopoulos, M. Pistore, P. Traverso, "Model checking early requirements specifications in tropos." in Proceedings of Fifth IEEE International Symposium on Requirements Engineering, USA: IEEE Computer Society, 2001, p. 174-181. - ISBN: 0-7695-1125-2. Proceedings of: RE'01, Toronto, Canada, 2001. - DOI: 10.1109/ISRE.2001.948557 - see details
  • A. Cimatti, E. Giunchiglia, M. Pistore, R. Sebastiani, M. Roveri, A. Tacchella, "NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker." in Proceeding CAV 2002, Berlin: Springer, 2001, p. 241-268 -(LNCS; 2404). Proceedings of: IJCAR2001 Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics, Siena, Italy, June 2001. - DOI: 10.1007/3-540-45657-0 - see details
  • F. Corradini, G. Ferrari, M. Pistore, "On the semantics of durational actions" in THEORETICAL COMPUTER SCIENCE, v. 269, n. 1-2 (2001), p. 47-82 - see details
  • M. Pistore, P. Traverso, "Planning as model checking for extended goals in non-deterministic Domains" in Int. Joint Conf. on Artificial Intelligence 2001: Morgan Kaufmann, 2001, p. 479-486, Seattle, Washington D.C., 2001 - see details
  • G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, G. Ristori, "Verifying mobile processes in the HAL environment" in Proc. CAV'98, 1998 - see details