![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Marco Pistore
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j17]Piergiorgio Bertoli, Francesco Corcoglioniti, Chiara Di Francescomarino, Mauro Dragoni
, Chiara Ghidini, Marco Pistore:
Semantic modeling and analysis of complex data-aware processes and their executions. Expert Syst. Appl. 198: 116702 (2022) - 2021
- [j16]Reza Khoshkangini
, Giuseppe Valetto, Annapaola Marconi
, Marco Pistore
:
Automatic generation and recommendation of personalized challenges for gamification. User Model. User Adapt. Interact. 31(1): 1-34 (2021) - [c128]Roberto Riggio, Estefanía Coronado
, Neiva Linder, Jovanka Adzic, Gianpiero Mastinu, Leonardo Goratti, Miguel Rosa, Hans D. Schotten, Marco Pistore
:
AI@EDGE: A Secure and Reusable Artificial Intelligence Platform for Edge Computing. EuCNC/6G Summit 2021: 610-615 - 2020
- [j15]Elisabetta Farella, Gianluca Schiavo
, Michela Ferron, Davide Giovanelli, Chiara Leonardi, Annapaola Marconi
, Paolo Massa
, Amy L. Murphy
, Michele Nori, Marco Pistore
:
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility. IEEE Pervasive Comput. 19(1): 32-42 (2020)
2010 – 2019
- 2019
- [c127]Koldo Zabaleta, Ana Belen Lago
, Diego López-de-Ipiña
, Giuseppe Di Modica
, Raúl Santos de La Cámara, Marco Pistore
:
Combining Human and Machine Intelligence to Foster Wider Adoption of e-Services. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 1854-1859 - 2018
- [c126]Annapaola Marconi
, Gianluca Schiavo
, Massimo Zancanaro
, Giuseppe Valetto, Marco Pistore
:
Exploring the world through small green steps: improving sustainable school transportation with a game-based learning interface. AVI 2018: 24:1-24:9 - 2017
- [j14]Antonio Bucchiarone
, Annapaola Marconi
, Marco Pistore
, Heorhi Raik:
A context-aware framework for dynamic composition of process fragments in the internet of services. J. Internet Serv. Appl. 8(1): 6:1-6:23 (2017) - 2016
- [c125]Antonio Bucchiarone
, Martina De Sanctis, Annapaola Marconi
, Marco Pistore
, Paolo Traverso:
Incremental Composition for Adaptive By-Design Service Based Systems. ICWS 2016: 236-243 - [c124]Raman Kazhamiakin
, Annapaola Marconi, Alberto Martinelli, Marco Pistore, Giuseppe Valetto:
A gamification framework for the long-term engagement of smart citizens. ISC2 2016: 1-7 - 2015
- [c123]Martina De Sanctis, Kurt Geihs
, Antonio Bucchiarone
, Giuseppe Valetto, Annapaola Marconi
, Marco Pistore
:
Distributed Service Co-evolution Based on Domain Objects. ICSOC Workshops 2015: 48-63 - [c122]Antonio Bucchiarone
, Martina De Sanctis, Annapaola Marconi
, Marco Pistore
, Paolo Traverso
:
Design for Adaptation of Distributed Service-Based Systems. ICSOC 2015: 383-393 - [c121]Raman Kazhamiakin, Annapaola Marconi
, Mirko Perillo, Marco Pistore
, Giuseppe Valetto, Luca Piras
, Francesco Avesani, Nicola Perri:
Using gamification to incentivize sustainable urban mobility. ISC2 2015: 1-6 - [c120]Matteo Gerosa
, Annapaola Marconi
, Marco Pistore
, Paolo Traverso
:
An Open Platform for Children's Independent Mobility. SMARTGREENS/VEHITS (Selected Papers) 2015: 50-71 - 2014
- [c119]Antonio Bucchiarone
, Martina De Sanctis, Marco Pistore
:
Domain Objects for Dynamic and Incremental Service Composition. ESOCC 2014: 62-80 - [c118]Antonio Bucchiarone
, Claudio Antares Mezzina
, Marco Pistore
, Heorhi Raik, Giuseppe Valetto
:
Collective Adaptation in Process-Based Systems. SASO 2014: 151-156 - [c117]Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino, Chiara Ghidini, Michele Nori, Marco Pistore, Roberto Tiella, Francesco Corcoglioniti:
Modeling and Monitoring Processes exploiting Semantic Reasoning. ISWC (Posters & Demos) 2014: 121-124 - [c116]Chiara Di Francescomarino, Francesco Corcoglioniti, Mauro Dragoni, Piergiorgio Bertoli, Roberto Tiella, Chiara Ghidini, Michele Nori, Marco Pistore
:
Semantic-Based Process Analysis. ISWC (2) 2014: 228-243 - [i3]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. CoRR abs/1401.3470 (2014) - 2013
- [c115]Luciano Baresi
, Annapaola Marconi
, Marco Pistore
, Adina Sirbu:
Corrective Evolution of Adaptable Process Models. BMMDS/EMMSAD 2013: 214-229 - [c114]Antonio Bucchiarone
, Annapaola Marconi
, Claudio Antares Mezzina
, Marco Pistore
, Heorhi Raik:
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. ICSOC 2013: 146-161 - [c113]Piergiorgio Bertoli, Mauro Dragoni
, Chiara Ghidini
, Emanuele Martufi, Michele Nori, Marco Pistore
, Chiara Di Francescomarino:
Modeling and Monitoring Business Process Execution. ICSOC 2013: 683-687 - [c112]Raman Kazhamiakin, Annapaola Marconi
, Marco Pistore
, Heorhi Raik:
Data-Flow Requirements for Dynamic Service Composition. ICWS 2013: 243-250 - [c111]Antonio Bucchiarone
, Annapaola Marconi
, Marco Pistore
, Paolo Traverso
, Piergiorgio Bertoli, Raman Kazhamiakin:
Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. ICWS 2013: 571-578 - [c110]Antonio Bucchiarone
, Annapaola Marconi
, Claudio Antares Mezzina, Marco Pistore
:
A conceptual framework for collective adaptive systems. SAC 2013: 1935-1936 - [c109]Antonio Bucchiarone
, Claudio Antares Mezzina
, Marco Pistore
:
CAptLang: a language for context-aware and adaptable business processes. VaMoS 2013: 12:1-12:5 - 2012
- [c108]Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore
:
SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. BIS (Workshops) 2012: 243-254 - [c107]Antonio Bucchiarone
, Raman Kazhamiakin, Annapaola Marconi
, Marco Pistore
:
Adaptivity in dynamic service-based systems. S-Cube@ICSE 2012: 36-37 - [c106]Ricardo Contreras, Andrea Zisman, Annapaola Marconi
, Marco Pistore
:
PRadapt: A framework for dynamic monitoring of adaptable service-based systems. PESOS@ICSE 2012: 50-56 - [c105]Antonio Bucchiarone
, Nawaz Khurshid, Annapaola Marconi
, Marco Pistore
, Heorhi Raik:
A car logistics scenario for context-aware adaptive service-based systems. PESOS@ICSE 2012: 65-66 - [c104]Antonio Bucchiarone
, Annapaola Marconi
, Marco Pistore
, Heorhi Raik:
Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes. ICWS 2012: 33-41 - [c103]Farhana H. Zulkernine, Piergiorgio Bertoli, Marco Pistore
, Andreas Friesen, Jens Lemcke, Bernhard Thimmel, Otfried von Geisau:
A Constraint-Driven Business Object Model for Service-Based Business Processes. ITNG 2012: 182-188 - [c102]Heorhi Raik, Antonio Bucchiarone
, Nawaz Khurshid, Annapaola Marconi
, Marco Pistore
:
ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems. SERVICES 2012: 385-392 - [c101]Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore
:
SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. WISE 2012: 796-799 - 2011
- [c100]Asli Zengin, Annapaola Marconi, Marco Pistore:
CLAM: cross-layer adaptation manager for service-based applications. QASBA 2011: 21-27 - [c99]Antonio Bucchiarone
, Annapaola Marconi
, Marco Pistore
, Adina Sirbu:
A Context-Aware Framework for Business Processes Evolution. EDOCW 2011: 146-154 - [c98]Joe Butler, Juan Lambea, Michael Nolan, Wolfgang Theilmann, Francesco Torelli, Ramin Yahyapour
, Annamaria Chiasera, Marco Pistore
:
SLAs Empowering Services in the Future Internet. Future Internet Assembly 2011: 327-338 - [c97]Antonio Bucchiarone
, Annapaola Marconi
, Marco Pistore
, Heorhi Raik:
CAptEvo: Context-Aware Adaptation and Evolution of Business Processes. ICSOC Workshops 2011: 252-254 - [c96]Adina Sirbu, Annapaola Marconi
, Marco Pistore
, Hanna Eberle, Frank Leymann
, Tobias Unger:
Dynamic Composition of Pervasive Process Fragments. ICWS 2011: 73-80 - [c95]Asli Zengin, Raman Kazhamiakin
, Marco Pistore
:
CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. ICWS 2011: 698-699 - [c94]Antonio Bucchiarone
, Marco Pistore
, Heorhi Raik, Raman Kazhamiakin
:
Adaptation of service-based business processes by context-aware replanning. SOCA 2011: 1-8 - [c93]Asli Zengin, Annapaola Marconi
, Luciano Baresi
, Marco Pistore
:
CLAM: Managing cross-layer adaptation in service-based systems. SOCA 2011: 1-8 - [i2]Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. CoRR abs/1109.6346 (2011) - 2010
- [j13]Piergiorgio Bertoli, Marco Pistore
, Paolo Traverso
:
Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3-4): 316-361 (2010) - [j12]Grace A. Lewis, Dennis B. Smith, Andreas Metzger, Andrea Zisman, Marco Pistore:
Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010). ACM SIGSOFT Softw. Eng. Notes 35(5): 30-33 (2010) - [c92]Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore
, Matthias Wagner:
Use-Based Discovery of Pervasive Services. AIMSA 2010: 11-20 - [c91]Hermann Stern, Armin Ulbrich, Viktoria Pammer, Marco Pistore, Piergiorgio Bertoli, Stefanie N. Lindstaedt:
Message Filtering Based On Mobile User Context. CIAO@EKAW 2010 - [c90]Grace A. Lewis
, Andreas Metzger, Marco Pistore
, Dennis B. Smith, Andrea Zisman:
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). ICSE (2) 2010: 429-430 - [c89]Raman Kazhamiakin, Massimo Paolucci, Marco Pistore
, Heorhi Raik:
Modelling and Automated Composition of User-Centric Services. OTM Conferences (1) 2010: 291-308 - [c88]Andreas Gehlert, Antonio Bucchiarone
, Raman Kazhamiakin, Andreas Metzger, Marco Pistore
, Klaus Pohl:
Exploiting assumption-based verification for the adaptation of service-based applications. SAC 2010: 2430-2437 - [e4]Tanja Zseby, Reijo Savola, Marco Pistore:
Future Internet - FIS 2009, Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009. Lecture Notes in Computer Science 6152, Springer 2010, ISBN 978-3-642-14955-9 [contents] - [e3]Grace A. Lewis, Andreas Metzger, Marco Pistore, Dennis B. Smith, Andrea Zisman:
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2010, Cape Town, South Africa, May 1-2, 2010. ACM 2010, ISBN 978-1-60558-963-3 [contents]
2000 – 2009
- 2009
- [j11]Ugur 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) - [j10]Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
:
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. 35: 49-117 (2009) - [c87]Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner:
Continuous Orchestration of Web Services via Planning. ICAPS 2009 - [c86]Marco Pistore
, Paolo Traverso
, Massimo Paolucci, Matthias Wagner:
From Software Services to a Future Internet of Services. Future Internet Assembly 2009: 183-192 - [c85]Elisabetta Di Nitto
, Dimka Karastoyanova
, Andreas Metzger, Michael Parkin, Marco Pistore
, Klaus Pohl, Fabrizio Silvestri
, Willem-Jan van den Heuvel:
S-Cube: Addressing Multidisciplinary Research Challenges for the Internet of Services. Future Internet Assembly 2009: 263-272 - [c84]Raman Kazhamiakin, Marco Pistore
, Asli Zengin:
Cross-Layer Adaptation and Monitoring of Service-Based Applications. ICSOC/ServiceWave Workshops 2009: 325-334 - [c83]Raman Kazhamiakin, Branimir Wetzstein, Dimka Karastoyanova
, Marco Pistore
, Frank Leymann
:
Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. ICSOC/ServiceWave Workshops 2009: 395-404 - [c82]Annapaola Marconi
, Marco Pistore
, Adina Sirbu, Hanna Eberle, Frank Leymann
, Tobias Unger:
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation. ICSOC/ServiceWave 2009: 445-454 - [c81]Antonio Bucchiarone
, Cinzia Cappiello
, Elisabetta Di Nitto
, Raman Kazhamiakin, Valentina Mazza, Marco Pistore
:
Design for Adaptation of Service-Based Applications: Main Issues and Requirements. ICSOC/ServiceWave Workshops 2009: 467-476 - [c80]Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore
, Heorhi Raik, Matthias Wagner:
Control Flow Requirements for Automated Service Composition. ICWS 2009: 17-24 - [c79]Luciano Baresi
, Sam Guinea, Marco Pistore
, Michele Trainotti:
Dynamo + Astro: An Integrated Approach for BPEL Monitoring. ICWS 2009: 230-237 - [c78]Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi:
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD 2009: 177-184 - [c77]Annapaola Marconi
, Marco Pistore
:
Synthesis and Composition of Web Services. SFM 2009: 89-157 - [c76]Antonio Bucchiarone
, Alberto Lluch-Lafuente
, Annapaola Marconi
, Marco Pistore
:
A Formalisation of Adaptable Pervasive Flows. WS-FM 2009: 61-75 - 2008
- [j9]Annapaola Marconi, Marco Pistore, Paolo Traverso:
Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3): 23-26 (2008) - [c75]Dmitry Shaparau, Marco Pistore, Paolo Traverso:
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI 2008: 983-990 - [c74]Vincenzo Ciancia
, Gian-Luigi Ferrari
, Marco Pistore
, Emilio Tuosto:
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models 2008: 625-641 - [c73]Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner:
YourWay!: a Platform for Composing and Executing Services Driven by User Resources. FIS (Posters & Demos) 2008 - [c72]Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore
, Matthias Wagner:
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS 2008: 94-106 - [c71]Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Semantic Annotation for Web Service Processes. SEBD 2008: 69-80 - [c70]Luciano Baresi
, Sam Guinea, Raman Kazhamiakin
, Marco Pistore
:
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12 - [c69]Raman Kazhamiakin
, Andreas Metzger, Marco Pistore
:
Towards Correctness Assurance in Adaptive Service-Based Applications. ServiceWave 2008: 25-37 - [c68]Julia 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 - [c67]Ivan 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 - [e2]Danail Dochev, Marco Pistore, Paolo Traverso:
Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Lecture Notes in Computer Science 5253, Springer 2008, ISBN 978-3-540-85775-4 [contents] - [r1]Alessandro Cimatti
, Marco Pistore
, Paolo Traverso
:
Automated Planning. Handbook of Knowledge Representation 2008: 841-867 - 2007
- [j8]Marco Pistore
, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. J. Artif. Intell. Res. 30: 101-132 (2007) - [c66]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 - [c65]Paolo Traverso
, Marco Pistore
:
Agree or Change! Making Services Evolve. ICSM 2007: 2-3 - [c64]Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore
, Ermes Thuegaz:
Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294 - [c63]Annapaola Marconi
, Marco Pistore
, Piero Poccianti, Paolo Traverso
:
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS 2007: 767-774 - [c62]Piergiorgio Bertoli, Jörg Hoffmann, Freddy Lécué, Marco Pistore
:
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code. ICWS 2007: 815-822 - [c61]Piergiorgio 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 - [c60]Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232 - [p1]Marco Pistore
, Paolo Traverso
:
Assumption-Based Composition and Monitoring of Web Services. Test and Analysis of Web Services 2007: 307-335 - [e1]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i1]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007 - 2006
- [c59]Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
:
Timed Modelling and Analysis in Web Service Compositions. ARES 2006: 840-846 - [c58]Dmitry Shaparau, Marco Pistore, Paolo Traverso:
Contingent Planning with Goal Preferences. AAAI 2006: 927-935 - [c57]Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti:
Run-Time Monitoring of the Execution of Plans for Web Service Composition. ICAPS 2006: 346-349 - [c56]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore:
Towards Strong Cyclic Planning under Partial Observability. ICAPS 2006: 354-357 - [c55]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso:
Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS 2006: 358-361 - [c54]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore:
Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584 - [c53]Marco Pistore
, Luca Spalazzi
, Paolo Traverso
:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634 - [c52]Raman Kazhamiakin, Marco Pistore
:
Analysis of Realizability Conditions for Web Service Choreographies. FORTE 2006: 61-76 - [c51]Annapaola Marconi
, Marco Pistore
, Paolo Traverso
:
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC 2006: 459-464 - [c50]Fabio Barbon, Paolo Traverso
, Marco Pistore
, Michele Trainotti:
Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS 2006: 63-71 - [c49]Raman Kazhamiakin, Marco Pistore
:
Static Verification of Control and Data inWeb Service Compositions. ICWS 2006: 83-90 - [c48]Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore
:
Representation, Verification, and Computation of Timed Properties in Web. ICWS 2006: 497-504 - [c47]Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216 - [c46]Annapaola Marconi
, Marco Pistore
, Paolo Traverso
:
Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM 2006: 147-156 - [c45]Raman Kazhamiakin, Marco Pistore
:
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. WS-FM 2006: 227-241 - [c44]Raman Kazhamiakin, Marco Pistore
, Luca Santuari:
Analysis of communication models in web service compositions. WWW 2006: 267-276 - 2005
- [j7]Ugo Montanari, Marco Pistore
:
Structured coalgebras and minimal HD-automata for the pi-calculus. Theor. Comput. Sci. 340(3): 539-576 (2005) - [c43]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli:
Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005: 2-11 - [c42]Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso:
A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS 2005: 300-309 - [c41]Raman Kazhamiakin, Marco Pistore
:
A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM 2005: 318-332 - [c40]Marco Pistore
, Pierluigi Roberti, Paolo Traverso:
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. ESWC 2005: 62-77 - [c39]Michele 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 - [c38]Marco Pistore
, Paolo Traverso
, Piergiorgio Bertoli, Annapaola Marconi
:
Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301 - [c37]Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso:
Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259 - [c36]Ugo Montanari, Marco Pistore
:
History-Dependent Automata: An Introduction. SFM 2005: 1-28 - [c35]Marco 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 - [c34]Alexey Gotsman, Fabio Massacci
, Marco Pistore
:
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. ARSPA@ICALP 2005: 59-77 - 2004
- [c33]Marco Pistore
, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso:
Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115 - [c32]Piergiorgio Bertoli, Marco Pistore:
Planning with Extended Goals and Partial Observability. ICAPS 2004: 270-278 - [c31]Raman Kazhamiakin, Marco Pistore, Marco Roveri:
A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20 - [c30]Raman Kazhamiakin, Marco Pistore, Marco Roveri:
Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415 - [c29]Paolo Traverso, Marco Pistore
:
Automated Composition of Semantic Web Services into Executable Processes. ISWC 2004: 380-394 - [c28]Aliaksei Novikau, Anna Perini, Marco Pistore
:
Graph Rewriting for Agent Oriented Visual Modeling. GT-VMT@ETAPS 2004: 85-96 - [c27]Marco Pistore, Marco Roveri, Paolo Busetta:
Requirements-Driven Verification of Web Services. WSFM 2004: 95-108 - 2003
- [j6]Alessandro 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) - [j5]Gian-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) - [c26]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso:
A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225 - [c25]Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi:
Agent-Oriented Modeling by Interleaving Formal and Informal Specification. AOSE 2003: 36-52 - [c24]Marco Pistore, Moshe Y. Vardi:
The Planning Spectrum - One, Two, Three, Infinity. LICS 2003: 234-243 - [c23]Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos:
Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003: 105- - 2002
- [j4]Mike P. Papazoglou, Marco Aiello, Marco Pistore, Jian Yang:
Planning for Requests against Web Services. IEEE Data Eng. Bull. 25(4): 41-46 (2002) - [c22]Ugo Dal Lago, Marco Pistore, Paolo Traverso:
Planning with a Language for Extended Goals. AAAI/IAAI 2002: 447-454 - [c21]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. CAV 2002: 359-364 - [c20]Gian-Luigi Ferrari
, Ugo Montanari, Marco Pistore
:
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS 2002: 129-158 - [c19]Alessandro Cimatti
, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
:
Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56 - [c18]Marco 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 - [c17]Alessandro Cimatti
, Marco Pistore, Marco Roveri, Roberto Sebastiani:
Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207 - 2001
- [j3]Flavio Corradini, Marco Pistore
:
'Closed Interval Process Algebra' versus 'Interval Process Algebra'. Acta Informatica 37(7): 467-509 (2001) - [j2]Marco Pistore
, Davide Sangiorgi:
A Partition Refinement Algorithm for the -Calculus. Inf. Comput. 164(2): 264-321 (2001) - [j1]Flavio Corradini, Gian-Luigi Ferrari
, Marco Pistore
:
On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001) - [c16]Marco Pistore, Paolo Traverso:
Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI 2001: 479-486 - [c15]Ariel Fuxman, John Mylopoulos, Marco Pistore
, Paolo Traverso:
Model Checking Early Requirements Specifications in Tropos. RE 2001: 174-181 - 2000
- [c14]Ugo Montanari, Marco Pistore
:
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. MFCS 2000: 569-578
1990 – 1999
- 1999
- [c13]Ugo Montanari, Marco Pistore
:
Finite State Verification for the Asynchronous pi-Calculus. TACAS 1999: 255-269 - 1998
- [c12]Gian-Luigi Ferrari
, Stefania Gnesi, Ugo Montanari, Marco Pistore
, Gioia Ristori:
Verifying Mobile Processes in the HAL Environment. CAV 1998: 511-515 - [c11]Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore:
Final semantics for the pi-calculus. PROCOMET 1998: 225-243 - 1997
- [c10]Ugo Montanari, Marco Pistore
:
Minimal Transition Systems for History-Preserving Bisimulation. STACS 1997: 413-425 - [c9]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 - [c8]Flavio Corradini, Gian-Luigi Ferrari
, Marco Pistore
:
Eager, busy-waiting and lazy actions in timed computation? EXPRESS 1997: 96-114 - [c7]Ugo Montanari, Marco Pistore
:
An Introduction to History Dependent Automata. HOOTS 1997: 170-188 - 1996
- [c6]Marco Pistore
, Davide Sangiorgi:
A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract). CAV 1996: 38-49 - [c5]Ugo Montanari, Marco Pistore:
History dependent verification for partial order systems. Partial Order Methods in Verification 1996: 259-272 - [c4]Ugo Montanari, Marco Pistore
, Daniel Yankelevich:
Efficient Minimization up to Location Equivalence. ESOP 1996: 265-279 - [c3]Flavio Corradini, Marco Pistore
:
Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290 - 1995
- [c2]Ugo Montanari, Marco Pistore
:
Checking Bisimilarity for Finitary pi-Calculus. CONCUR 1995: 42-56 - [c1]Ugo Montanari, Marco Pistore
:
Concurrent semantics for the pi-calculus. MFPS 1995: 411-429
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint