Marco Pistore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
70
Venues
28
Active years
1995–2019
Best venue rank
A*
Where they publish
- AICWS15 papers
- AICSOC12 papers
- A*ICSE4 papers
- A*AAAI4 papers
- A*CAV3 papers
- MulticonferenceSAC2 papers
- BEDOC2 papers
- NationalAIMSA2 papers
- A*WWW2 papers
- BSEFM2 papers
- A*IJCAI2 papers
- ARE2 papers
- BMFCS2 papers
- ATACAS2 papers
- CUIC1 paper
- BAVI1 paper
- ACaiSE1 paper
- BWISE1 paper
- BSERVICES1 paper
- BEKAW1 paper
- AECAI1 paper
- CFORTE1 paper
- A*LICS1 paper
- BFOSSACS1 paper
- BVMCAI1 paper
- ASTACS1 paper
- AESOP1 paper
- BCONCUR1 paper
Papers
70 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | UIC | Combining Human and Machine Intelligence to Foster Wider Adoption of e-Services. | Koldo Zabaleta, Ana Belen Lago, Diego Lpez-de-Ipia, Giuseppe Di Modica, Ral Santos de La Cmara, Marco Pistore |
| 2018 | AVI | Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface. | Annapaola Marconi, Gianluca Schiavo, Massimo Zancanaro, Giuseppe Valetto, Marco Pistore |
| 2016 | ICWS | Incremental Composition for Adaptive By-Design Service Based Systems. | Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2015 | ICSOC | Design for Adaptation of Distributed Service-Based Systems. | Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2015 | ICSOC | Distributed Service Co-evolution Based on Domain Objects. | Martina De Sanctis, Kurt Geihs, Antonio Bucchiarone, Giuseppe Valetto, Annapaola Marconi, Marco Pistore |
| 2013 | CaiSE | Corrective Evolution of Adaptable Process Models. | Luciano Baresi, Annapaola Marconi, Marco Pistore, Adina Sirbu |
| 2013 | ICSOC | Modeling and Monitoring Business Process Execution. | Piergiorgio Bertoli, Mauro Dragoni, Chiara Ghidini, Emanuele Martufi, Michele Nori, Marco Pistore, Chiara Di Francescomarino |
| 2013 | ICSOC | On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. | Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik |
| 2013 | ICWS | Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin |
| 2013 | ICWS | Data-Flow Requirements for Dynamic Service Composition. | Raman Kazhamiakin, Annapaola Marconi, Marco Pistore, Heorhi Raik |
| 2013 | SAC | A conceptual framework for collective adaptive systems. | Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore |
| 2012 | ICSE | Adaptivity in dynamic service-based systems. | Antonio Bucchiarone, Raman Kazhamiakin, Annapaola Marconi, Marco Pistore |
| 2012 | ICSE | A car logistics scenario for context-aware adaptive service-based systems. | Antonio Bucchiarone, Nawaz Khurshid, Annapaola Marconi, Marco Pistore, Heorhi Raik |
| 2012 | ICSE | PRadapt: A framework for dynamic monitoring of adaptable service-based systems. | Ricardo Contreras, Andrea Zisman, Annapaola Marconi, Marco Pistore |
| 2012 | ICWS | Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes. | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik |
| 2012 | WISE | SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. | Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore |
| 2012 | SERVICES | ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems. | Heorhi Raik, Antonio Bucchiarone, Nawaz Khurshid, Annapaola Marconi, Marco Pistore |
| 2011 | EDOC | A Context-Aware Framework for Business Processes Evolution. | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Adina Sirbu |
| 2011 | ICSOC | CAptEvo: Context-Aware Adaptation and Evolution of Business Processes. | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Heorhi Raik |
| 2011 | ICWS | Dynamic Composition of Pervasive Process Fragments. | Adina Sirbu, Annapaola Marconi, Marco Pistore, Hanna Eberle, Frank Leymann, Tobias Unger |
| 2011 | ICWS | CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. | Asli Zengin, Raman Kazhamiakin, Marco Pistore |
| 2010 | AIMSA | Use-Based Discovery of Pervasive Services. | Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner |
| 2010 | EKAW | Message Filtering Based On Mobile User Context. | Hermann Stern, Armin Ulbrich, Viktoria Pammer, Marco Pistore, Piergiorgio Bertoli, Stefanie N. Lindstaedt |
| 2010 | ICSE | 2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). | Grace A. Lewis, Andreas Metzger, Marco Pistore, Dennis B. Smith, Andrea Zisman |
| 2010 | SAC | Exploiting assumption-based verification for the adaptation of service-based applications. | Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl |
| 2009 | ICSOC | Design for Adaptation of Service-Based Applications: Main Issues and Requirements. | Antonio Bucchiarone, Cinzia Cappiello, Elisabetta Di Nitto, Raman Kazhamiakin, Valentina Mazza, Marco Pistore |
| 2009 | ICSOC | Cross-Layer Adaptation and Monitoring of Service-Based Applications. | Raman Kazhamiakin, Marco Pistore, Asli Zengin |
| 2009 | ICSOC | Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. | Raman Kazhamiakin, Branimir Wetzstein, Dimka Karastoyanova, Marco Pistore, Frank Leymann |
| 2009 | ICSOC | Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. | Annapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, Tobias Unger |
| 2009 | ICWS | Dynamo + Astro: An Integrated Approach for BPEL Monitoring. | Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti |
| 2009 | ICWS | Control Flow Requirements for Automated Service Composition. | Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner |
| 2008 | AAAI | Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. | Dmitry Shaparau, Marco Pistore, Paolo Traverso |
| 2007 | AAAI | Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty. | Jrg Hoffmann, Piergiorgio Bertoli, Marco Pistore |
| 2007 | ICSOC | Design and Analysis of the Composed Telecom Services. | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
| 2007 | ICWS | Design and Verification ofWeb Services Compositions in the Telecommunication Domain. | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz |
| 2007 | ICWS | Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. | Piergiorgio Bertoli, Jrg Hoffmann, Freddy Lcu, Marco Pistore |
| 2007 | ICWS | AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. | Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso |
| 2006 | AAAI | Contingent Planning with Goal Preferences. | Dmitry Shaparau, Marco Pistore, Paolo Traverso |
| 2006 | ECAI | Stong Cyclic Planning Under Partial Observability. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore |
| 2006 | FORTE | Analysis of Realizability Conditions for Web Service Choreographies. | Raman Kazhamiakin, Marco Pistore |
| 2006 | ICSOC | Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. | Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2006 | ICWS | Run-Time Monitoring of Instances and Classes of Web Service Compositions. | Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti |
| 2006 | ICWS | Static Verification of Control and Data inWeb Service Compositions. | Raman Kazhamiakin, Marco Pistore |
| 2006 | ICWS | Representation, Verification, and Computation of Timed Properties in Web. | Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore |
| 2006 | WWW | Analysis of communication models in web service compositions. | Raman Kazhamiakin, Marco Pistore, Luca Santuari |
| 2006 | SEFM | Specifying Data-Flow Requirements for the Automated Composition of Web Services. | Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2005 | IJCAI | Automated Composition of Web Services by Planning at the Knowledge Level. | Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | ICSOC | ASTRO: Supporting Composition and Execution of Web Services. | Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | ICWS | Automated Synthesis of Composite BPEL4WS Web Services. | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
| 2005 | WWW | Automated synthesis of executable web service compositions from BPEL4WS processes. | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
| 2004 | AIMSA | Planning and Monitoring Web Service Composition. | Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso |
| 2004 | EDOC | A Framework for Integrating Business Processes and Business Requirements. | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
| 2004 | SEFM | Formal Verification of Requirements using SPIN: A Case Study on Web Services. | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
| 2003 | LICS | The Planning Spectrum - One, Two, Three, Infinity. | Marco Pistore, Moshe Y. Vardi |
| 2003 | RE | Specifying and Analyzing Early Requirements: Some Experimental Results. | Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos |
| 2002 | AAAI | Planning with a Language for Extended Goals. | Ugo Dal Lago, Marco Pistore, Paolo Traverso |
| 2002 | CAV | NuSMV 2: An OpenSource Tool for Symbolic Model Checking. | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
| 2002 | FOSSACS | Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. | Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore |
| 2002 | VMCAI | Improving the Encoding of LTL Model Checking into SAT. | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
| 2001 | IJCAI | Planning as Model Checking for Extended Goals in Non-deterministic Domains. | Marco Pistore, Paolo Traverso |
| 2001 | RE | Model Checking Early Requirements Specifications in Tropos. | Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso |
| 2000 | MFCS | pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. | Ugo Montanari, Marco Pistore |
| 1999 | TACAS | Finite State Verification for the Asynchronous pi-Calculus. | Ugo Montanari, Marco Pistore |
| 1998 | CAV | Verifying Mobile Processes in the HAL Environment. | Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1997 | STACS | Minimal Transition Systems for History-Preserving Bisimulation. | Ugo Montanari, Marco Pistore |
| 1997 | TACAS | An Automated Based Verification Environment for Mobile Processes. | Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1996 | CAV | A Partition Refinement Algorithm for the | Marco Pistore, Davide Sangiorgi |
| 1996 | ESOP | Efficient Minimization up to Location Equivalence. | Ugo Montanari, Marco Pistore, Daniel Yankelevich |
| 1996 | MFCS | Specification and Verification of Timed Lazy Systems. | Flavio Corradini, Marco Pistore |
| 1995 | CONCUR | Checking Bisimilarity for Finitary pi-Calculus. | Ugo Montanari, Marco Pistore |