Marco Pistore - RankMe

156 papers A* 18A 27B 15C 1Misc 6Journal 21Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Evaluating Impacts of Traffic Regulations in Complex Mobility Systems Using Scenario-Based Simulations. CoRR Arianna Burzacchi, Marco Pistore
2024	J	`jnl`	Towards Civic Digital Twins: Co-Design the Citizen-Centric Future of Bologna. CoRR Massimiliano Luca, Bruno Lepri, Riccardo Gallotti, Stefania Paolazzi, Mauro Bigi, Marco Pistore
2022	J	`jnl`	Semantic modeling and analysis of complex data-aware processes and their executions. Expert Syst. Appl. Piergiorgio Bertoli, Francesco Corcoglioniti, Chiara Di Francescomarino, Mauro Dragoni, Chiara Ghidini, Marco Pistore
2021	—	`conf`	AI@EDGE: A Secure and Reusable Artificial Intelligence Platform for Edge Computing. EuCNC/6G Summit Roberto Riggio, Estefanía Coronado, Neiva Linder, Jovanka Adzic, Gianpiero Mastinu, Leonardo Goratti, Miguel Rosa, Hans D. Schotten, Marco Pistore
2021	J	`jnl`	Automatic generation and recommendation of personalized challenges for gamification. User Model. User Adapt. Interact. Reza Khoshkangini, Giuseppe Valetto, Annapaola Marconi, Marco Pistore
2020	J	`jnl`	CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility. IEEE Pervasive Comput. Elisabetta Farella, Gianluca Schiavo, Michela Ferron, Davide Giovanelli, Chiara Leonardi, Annapaola Marconi, Paolo Massa, Amy L. Murphy, Michele Nori, Marco Pistore
2019	—	`conf`	Combining Human and Machine Intelligence to Foster Wider Adoption of e-Services. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Koldo Zabaleta, Ana Belen Lago, Diego López-de-Ipiña, Giuseppe Di Modica, Raúl Santos de la Cámara, Marco Pistore
2018	B	`conf`	Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface. AVI Annapaola Marconi, Gianluca Schiavo, Massimo Zancanaro, Giuseppe Valetto, Marco Pistore
2017	J	`jnl`	A context-aware framework for dynamic composition of process fragments in the internet of services. J. Internet Serv. Appl. Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik
2016	—	`conf`	A gamification framework for the long-term engagement of smart citizens. ISC2 Raman Kazhamiakin, Annapaola Marconi, Alberto Martinelli, Marco Pistore, Giuseppe Valetto
2016	A	`conf`	Incremental Composition for Adaptive By-Design Service Based Systems. ICWS Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso
2015	—	`conf`	An Open Platform for Children's Independent Mobility. SMARTGREENS/VEHITS (Selected Papers) Matteo Gerosa, Annapaola Marconi, Marco Pistore, Paolo Traverso
2015	A	`conf`	Design for Adaptation of Distributed Service-Based Systems. ICSOC Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso
2015	—	`conf`	Distributed Service Co-evolution Based on Domain Objects. ICSOC Workshops Martina De Sanctis, Kurt Geihs, Antonio Bucchiarone, Giuseppe Valetto, Annapaola Marconi, Marco Pistore
2015	—	`conf`	Using gamification to incentivize sustainable urban mobility. ISC2 Raman Kazhamiakin, Annapaola Marconi, Mirko Perillo, Marco Pistore, Giuseppe Valetto, Luca Piras, Francesco Avesani, Nicola Perri
2014	—	`conf`	Collective Adaptation in Process-Based Systems. SASO Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik, Giuseppe Valetto
2014	—	`conf`	Domain Objects for Dynamic and Incremental Service Composition. ESOCC Antonio Bucchiarone, Martina De Sanctis, Marco Pistore
2014	J	`jnl`	Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. CoRR Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
2014	—	`conf`	Modeling and Monitoring Processes exploiting Semantic Reasoning. ISWC (Posters & Demos) Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino, Chiara Ghidini, Michele Nori, Marco Pistore, Roberto Tiella, Francesco Corcoglioniti
2014	—	`conf`	Semantic-Based Process Analysis. ISWC (2) Chiara Di Francescomarino, Francesco Corcoglioniti, Mauro Dragoni, Piergiorgio Bertoli, Roberto Tiella, Chiara Ghidini, Michele Nori, Marco Pistore
2013	Misc	`conf`	A conceptual framework for collective adaptive systems. SAC Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore
2013	—	`conf`	CAptLang: a language for context-aware and adaptable business processes. VaMoS Antonio Bucchiarone, Claudio Antares Mezzina, Marco Pistore
2013	—	`conf`	Corrective Evolution of Adaptable Process Models. BMMDS/EMMSAD Luciano Baresi, Annapaola Marconi, Marco Pistore, Adina Sirbu
2013	A	`conf`	Data-Flow Requirements for Dynamic Service Composition. ICWS Raman Kazhamiakin, Annapaola Marconi, Marco Pistore, Heorhi Raik
2013	A	`conf`	Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. ICWS Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin
2013	A	`conf`	Modeling and Monitoring Business Process Execution. ICSOC Piergiorgio Bertoli, Mauro Dragoni, Chiara Ghidini, Emanuele Martufi, Michele Nori, Marco Pistore, Chiara Di Francescomarino
2013	A	`conf`	On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. ICSOC Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik
2012	—	`conf`	A Constraint-Driven Business Object Model for Service-Based Business Processes. ITNG Farhana H. Zulkernine, Piergiorgio Bertoli, Marco Pistore, Andreas Friesen, Jens Lemcke, Bernhard Thimmel, Otfried von Geisau
2012	—	`conf`	A car logistics scenario for context-aware adaptive service-based systems. PESOS@ICSE Antonio Bucchiarone, Nawaz Khurshid, Annapaola Marconi, Marco Pistore, Heorhi Raik
2012	B	`conf`	ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems. SERVICES Heorhi Raik, Antonio Bucchiarone, Nawaz Khurshid, Annapaola Marconi, Marco Pistore
2012	—	`conf`	Adaptivity in dynamic service-based systems. S-Cube@ICSE Antonio Bucchiarone, Raman Kazhamiakin, Annapaola Marconi, Marco Pistore
2012	A	`conf`	Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes. ICWS Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik
2012	—	`conf`	PRadapt: A framework for dynamic monitoring of adaptable service-based systems. PESOS@ICSE Ricardo Contreras, Andrea Zisman, Annapaola Marconi, Marco Pistore
2012	—	`conf`	SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. BIS (Workshops) Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore
2012	B	`conf`	SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. WISE Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore
2011	—	`conf`	A Context-Aware Framework for Business Processes Evolution. EDOCW Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu
2011	—	`conf`	Adaptation of service-based business processes by context-aware replanning. SOCA Antonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin
2011	—	`conf`	CAptEvo: Context-Aware Adaptation and Evolution of Business Processes. ICSOC Workshops Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik
2011	A	`conf`	CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. ICWS Asli Zengin, Raman Kazhamiakin, Marco Pistore
2011	—	`conf`	CLAM: Managing cross-layer adaptation in service-based systems. SOCA Asli Zengin, Annapaola Marconi, Luciano Baresi, Marco Pistore
2011	—	`conf`	CLAM: cross-layer adaptation manager for service-based applications. QASBA Asli Zengin, Annapaola Marconi, Marco Pistore
2011	A	`conf`	Dynamic Composition of Pervasive Process Fragments. ICWS Adina Sirbu, Annapaola Marconi, Marco Pistore, Hanna Eberle, Frank Leymann, Tobias Unger
2011	—	`conf`	SLAs Empowering Services in the Future Internet. Future Internet Assembly Joe Butler, Juan Lambea, Michael Nolan, Wolfgang Theilmann, Francesco Torelli, Ramin Yahyapour, Annamaria Chiasera, Marco Pistore
2011	J	`jnl`	The Planning Spectrum - One, Two, Three, Infinity CoRR Marco Pistore, Moshe Y. Vardi
2010	—	`conf`	2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). ICSE (2) Grace A. Lewis, Andreas Metzger, Marco Pistore, Dennis B. Smith, Andrea Zisman
2010	J	`jnl`	Automated composition of Web services via planning in asynchronous domains. Artif. Intell. Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
2010	Misc	`conf`	Exploiting assumption-based verification for the adaptation of service-based applications. SAC Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl
2010	—	`ed.`	Future Internet - FIS 2009, Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 FIS Tanja Zseby, Reijo Savola, Marco Pistore
2010	—	`conf`	Message Filtering Based On Mobile User Context. CIAO@EKAW Hermann Stern, Armin Ulbrich, Viktoria Pammer, Marco Pistore, Piergiorgio Bertoli, Stefanie N. Lindstaedt
2010	—	`conf`	Modelling and Automated Composition of User-Centric Services. OTM Conferences (1) Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik
2010	—	`ed.`	Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2010, Cape Town, South Africa, May 1-2, 2010 PESOS Grace A. Lewis, Andreas Metzger, Marco Pistore, Dennis B. Smith, Andrea Zisman
2010	J	`jnl`	Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010). ACM SIGSOFT Softw. Eng. Notes Grace A. Lewis, Dennis B. Smith, Andreas Metzger, Andrea Zisman, Marco Pistore
2010	Misc	`conf`	Use-Based Discovery of Pervasive Services. AIMSA Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner
2009	—	`conf`	A Formalisation of Adaptable Pervasive Flows. WS-FM Antonio Bucchiarone, Alberto Lluch-Lafuente, Annapaola Marconi, Marco Pistore
2009	—	`conf`	Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. ICSOC/ServiceWave Workshops Raman Kazhamiakin, Branimir Wetzstein, Dimka Karastoyanova, Marco Pistore, Frank Leymann
2009	A*	`conf`	Continuous Orchestration of Web Services via Planning. ICAPS Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner
2009	A	`conf`	Control Flow Requirements for Automated Service Composition. ICWS Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner
2009	—	`conf`	Cross-Layer Adaptation and Monitoring of Service-Based Applications. ICSOC/ServiceWave Workshops Raman Kazhamiakin, Marco Pistore, Asli Zengin
2009	—	`conf`	Design for Adaptation of Service-Based Applications: Main Issues and Requirements. ICSOC/ServiceWave Workshops Antonio Bucchiarone, Cinzia Cappiello, Elisabetta Di Nitto, Raman Kazhamiakin, Valentina Mazza, Marco Pistore
2009	A	`conf`	Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti
2009	—	`conf`	Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. ICSOC/ServiceWave Annapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, Tobias Unger
2009	—	`conf`	From Software Services to a Future Internet of Services. Future Internet Assembly Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner
2009	J	`jnl`	Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
2009	—	`conf`	S-Cube: Addressing Multidisciplinary Research Challenges for the Internet of Services. Future Internet Assembly Elisabetta Di Nitto, Dimka Karastoyanova, Andreas Metzger, Michael Parkin, Marco Pistore, Klaus Pohl, Fabrizio Silvestri, Willem-Jan van den Heuvel
2009	—	`conf`	Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi
2009	—	`conf`	Synthesis and Composition of Web Services. SFM Annapaola Marconi, Marco Pistore
2009	J	`jnl`	Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
2008	—	`conf`	A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. ServiceWave Julia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore
2008	—	`conf`	An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore
2008	Misc	`ed.`	Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings AIMSA Danail Dochev, Marco Pistore, Paolo Traverso
2008	J	`jnl`	Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. Annapaola Marconi, Marco Pistore, Paolo Traverso
2008	—	`ch.`	Automated Planning. Handbook of Knowledge Representation Alessandro Cimatti, Marco Pistore, Paolo Traverso
2008	A*	`conf`	Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI Dmitry Shaparau, Marco Pistore, Paolo Traverso
2008	—	`conf`	Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner
2008	—	`conf`	History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto
2008	—	`conf`	Semantic Annotation for Web Service Processes. SEBD Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2008	—	`conf`	Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore
2008	—	`conf`	Towards Correctness Assurance in Adaptive Service-Based Applications. ServiceWave Raman Kazhamiakin, Andreas Metzger, Marco Pistore
2008	—	`conf`	YourWay!: a Platform for Composing and Executing Services Driven by User Resources. FIS (Posters & Demos) Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner
2007	—	`conf`	07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007	—	`conf`	Agree or Change! Making Services Evolve. ICSM Paolo Traverso, Marco Pistore
2007	—	`ch.`	Assumption-Based Composition and Monitoring of Web Services. Test and Analysis of Web Services Marco Pistore, Paolo Traverso
2007	A	`conf`	AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso
2007	—	`ed.`	Autonomous and Adaptive Web Services, 04.02. - 09.02.2007 Autonomous and Adaptive Web Services Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007	—	`conf`	Design and Analysis of the Composed Telecom Services. ICSOC Workshops Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
2007	A	`conf`	Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
2007	A	`conf`	Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore
2007	J	`jnl`	The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. Marco Pistore, Moshe Y. Vardi
2007	A*	`conf`	Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. AAAI Jörg Hoffmann, Piergiorgio Bertoli, Marco Pistore
2007	—	`conf`	Web Service Discovery at Process-level Based on Semantic Annotation. SEBD Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2006	B	`conf`	A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC Marco Pistore, Luca Spalazzi, Paolo Traverso
2006	—	`conf`	A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD Marco Pistore, Luca Spalazzi, Paolo Traverso
2006	C	`conf`	Analysis of Realizability Conditions for Web Service Choreographies. FORTE Raman Kazhamiakin, Marco Pistore
2006	A*	`conf`	Analysis of communication models in web service compositions. WWW Raman Kazhamiakin, Marco Pistore, Luca Santuari
2006	A*	`conf`	Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
2006	—	`conf`	Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. WS-FM Raman Kazhamiakin, Marco Pistore
2006	A*	`conf`	Contingent Planning with Goal Preferences. AAAI Dmitry Shaparau, Marco Pistore, Paolo Traverso
2006	A	`conf`	Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC Annapaola Marconi, Marco Pistore, Paolo Traverso
2006	A	`conf`	Representation, Verification, and Computation of Timed Properties in Web. ICWS Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
2006	A	`conf`	Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
2006	A*	`conf`	Run-Time Monitoring of the Execution of Plans for Web Service Composition. ICAPS Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
2006	B	`conf`	Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM Annapaola Marconi, Marco Pistore, Paolo Traverso
2006	A	`conf`	Static Verification of Control and Data inWeb Service Compositions. ICWS Raman Kazhamiakin, Marco Pistore
2006	A	`conf`	Stong Cyclic Planning Under Partial Observability. ECAI Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore
2006	B	`conf`	Timed Modelling and Analysis in Web Service Compositions. ARES Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
2006	A*	`conf`	Towards Strong Cyclic Planning under Partial Observability. ICAPS Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore
2005	A*	`conf`	A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
2005	—	`conf`	A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM Raman Kazhamiakin, Marco Pistore
2005	A	`conf`	ASTRO: Supporting Composition and Execution of Web Services. ICSOC Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
2005	A*	`conf`	Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso
2005	A*	`conf`	Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS Marco Pistore, Paolo Traverso, Piergiorgio Bertoli
2005	A	`conf`	Automated Synthesis of Composite BPEL4WS Web Services. ICWS Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
2005	—	`conf`	Automated synthesis of executable web service compositions from BPEL4WS processes. WWW (Special interest tracks and posters) Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
2005	—	`conf`	History-Dependent Automata: An Introduction. SFM Ugo Montanari, Marco Pistore
2005	B	`conf`	Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. ESWC Marco Pistore, Pierluigi Roberti, Paolo Traverso
2005	J	`jnl`	Structured coalgebras and minimal HD-automata for the Theor. Comput. Sci. Ugo Montanari, Marco Pistore
2005	—	`conf`	Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. ARSPA@ICALP Alexey Gotsman, Fabio Massacci, Marco Pistore
2004	B	`conf`	A Framework for Integrating Business Processes and Business Requirements. EDOC Raman Kazhamiakin, Marco Pistore, Marco Roveri
2004	Misc	`conf`	Automated Composition of Semantic Web Services into Executable Processes. ISWC Paolo Traverso, Marco Pistore
2004	B	`conf`	Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM Raman Kazhamiakin, Marco Pistore, Marco Roveri
2004	—	`conf`	Graph Rewriting for Agent Oriented Visual Modeling. GT-VMT@ETAPS Aliaksei Novikau, Anna Perini, Marco Pistore
2004	Misc	`conf`	Planning and Monitoring Web Service Composition. AIMSA Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso
2004	A*	`conf`	Planning with Extended Goals and Partial Observability. ICAPS Piergiorgio Bertoli, Marco Pistore
2004	—	`conf`	Requirements-Driven Verification of Web Services. WSFM Marco Pistore, Marco Roveri, Paolo Busetta
2003	A*	`conf`	A Framework for Planning with Extended Goals under Partial Observability. ICAPS Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso
2003	J	`jnl`	A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
2003	—	`conf`	Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi
2003	A	`conf`	Specifying and Analyzing Early Requirements: Some Experimental Results. RE Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
2003	A*	`conf`	The Planning Spectrum - One, Two, Three, Infinity. LICS Marco Pistore, Moshe Y. Vardi
2003	J	`jnl`	Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
2002	—	`conf`	A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso
2002	B	`conf`	Improving the Encoding of LTL Model Checking into SAT. VMCAI Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
2002	—	`conf`	Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002	B	`conf`	Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore
2002	A*	`conf`	NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002	J	`jnl`	Planning for Requests against Web Services. IEEE Data Eng. Bull. Mike P. Papazoglou, Marco Aiello, Marco Pistore, Jian Yang
2002	—	`conf`	Planning with a Language for Extended Goals. AAAI/IAAI Ugo Dal Lago, Marco Pistore, Paolo Traverso
2001	J	`jnl`	'Closed Interval Process Algebra' versus 'Interval Process Algebra'. Acta Informatica Flavio Corradini, Marco Pistore
2001	J	`jnl`	A Partition Refinement Algorithm for the -Calculus. Inf. Comput. Marco Pistore, Davide Sangiorgi
2001	A	`conf`	Model Checking Early Requirements Specifications in Tropos. RE Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso
2001	J	`jnl`	On the semantics of durational actions. Theor. Comput. Sci. Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore
2001	A*	`conf`	Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI Marco Pistore, Paolo Traverso
2000	B	`conf`	pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS Ugo Montanari, Marco Pistore
1999	A	`conf`	Finite State Verification for the Asynchronous pi-Calculus. TACAS Ugo Montanari, Marco Pistore
1998	—	`conf`	Final semantics for the pi-calculus. PROCOMET Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
1998	A*	`conf`	Verifying Mobile Processes in the HAL Environment. CAV Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997	A	`conf`	An Automated Based Verification Environment for Mobile Processes. TACAS Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997	—	`conf`	An Introduction to History Dependent Automata. HOOTS Ugo Montanari, Marco Pistore
1997	—	`conf`	Eager, busy-waiting and lazy actions in timed computation? EXPRESS Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore
1997	A	`conf`	Minimal Transition Systems for History-Preserving Bisimulation. STACS Ugo Montanari, Marco Pistore
1996	A*	`conf`	A Partition Refinement Algorithm for the CAV Marco Pistore, Davide Sangiorgi
1996	A	`conf`	Efficient Minimization up to Location Equivalence. ESOP Ugo Montanari, Marco Pistore, Daniel Yankelevich
1996	—	`conf`	History dependent verification for partial order systems. Partial Order Methods in Verification Ugo Montanari, Marco Pistore
1996	B	`conf`	Specification and Verification of Timed Lazy Systems. MFCS Flavio Corradini, Marco Pistore
1995	B	`conf`	Checking Bisimilarity for Finitary pi-Calculus. CONCUR Ugo Montanari, Marco Pistore
1995	B	`conf`	Concurrent semantics for the pi-calculus. MFPS Ugo Montanari, Marco Pistore