Marco Pistore

According to our database1, Marco Pistore
  • authored at least 141 papers between 1995 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A context-aware framework for dynamic composition of process fragments in the internet of services.
J. Internet Services and Applications, 2017

2016
A gamification framework for the long-term engagement of smart citizens.
Proceedings of the IEEE International Smart Cities Conference, 2016

Incremental Composition for Adaptive By-Design Service Based Systems.
Proceedings of the IEEE International Conference on Web Services, 2016

2015
Using gamification to incentivize sustainable urban mobility.
Proceedings of the IEEE First International Smart Cities Conference, 2015

Distributed Service Co-evolution Based on Domain Objects.
Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

Design for Adaptation of Distributed Service-Based Systems.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

2014
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
CoRR, 2014

Semantic-Based Process Analysis.
Proceedings of the Semantic Web - ISWC 2014, 2014

Modeling and Monitoring Processes exploiting Semantic Reasoning.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Collective Adaptation in Process-Based Systems.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Domain Objects for Dynamic and Incremental Service Composition.
Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014

2013
CAptLang: a language for context-aware and adaptable business processes.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

A conceptual framework for collective adaptive systems.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Data-Flow Requirements for Dynamic Service Composition.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Modeling and Monitoring Business Process Execution.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Corrective Evolution of Adaptable Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

2012
SMART: Supporting the Design and Execution of User-Centric Service-Based Applications.
Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems.
Proceedings of the Eighth IEEE World Congress on Services, 2012

A Constraint-Driven Business Object Model for Service-Based Business Processes.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

PRadapt: A framework for dynamic monitoring of adaptable service-based systems.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

A car logistics scenario for context-aware adaptive service-based systems.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Adaptivity in dynamic service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments.
Proceedings of the Business Information Systems Workshops, 2012

2011
The Planning Spectrum - One, Two, Three, Infinity
CoRR, 2011

CLAM: Managing cross-layer adaptation in service-based systems.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Adaptation of service-based business processes by context-aware replanning.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications.
Proceedings of the IEEE International Conference on Web Services, 2011

Dynamic Composition of Pervasive Process Fragments.
Proceedings of the IEEE International Conference on Web Services, 2011

CAptEvo: Context-Aware Adaptation and Evolution of Business Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

SLAs Empowering Services in the Future Internet.
Proceedings of the Future Internet, 2011

A Context-Aware Framework for Business Processes Evolution.
Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

CLAM: cross-layer adaptation manager for service-based applications.
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, 2011

2010
Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010).
ACM SIGSOFT Software Engineering Notes, 2010

Automated composition of Web services via planning in asynchronous domains.
Artif. Intell., 2010

Exploiting assumption-based verification for the adaptation of service-based applications.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Modelling and Automated Composition of User-Centric Services.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Use-Based Discovery of Pervasive Services.
Proceedings of the Artificial Intelligence: Methodology, 2010

2009
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.
J. Artif. Intell. Res., 2009

Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell., 2009

A Formalisation of Adaptable Pervasive Flows.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Synthesis and Composition of Web Services.
Proceedings of the Formal Methods for Web Services, 2009

Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Control Flow Requirements for Automated Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2009

Dynamo + Astro: An Integrated Approach for BPEL Monitoring.
Proceedings of the IEEE International Conference on Web Services, 2009

Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Adaptation of Service-Based Applications Based on Process Quality Factor Analysis.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Cross-Layer Adaptation and Monitoring of Service-Based Applications.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Design for Adaptation of Service-Based Applications: Main Issues and Requirements.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

From Software Services to a Future Internet of Services.
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

S-Cube: Addressing Multidisciplinary Research Challenges for the Internet of Services.
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

Continuous Orchestration of Web Services via Planning.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Automated Planning.
Proceedings of the Handbook of Knowledge Representation, 2008

Automated Composition of Web Services: the ASTRO Approach.
IEEE Data Eng. Bull., 2008

Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Towards Correctness Assurance in Adaptive Service-Based Applications.
Proceedings of the Towards a Service-Based Internet, 2008

A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing.
Proceedings of the Towards a Service-Based Internet, 2008

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.
Proceedings of the Towards a Service-Based Internet, 2008

Semantic Annotation for Web Service Processes.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Having Services "YourWay!": Towards User-Centric Composition of Mobile Services.
Proceedings of the Future Internet - FIS 2008, First Future Internet Symposium, 2008

History Dependent Automata for Service Compatibility.
Proceedings of the Concurrency, 2008

Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
The Planning Spectrum - One, Two, Three, Infinity.
J. Artif. Intell. Res., 2007

Assumption-Based Composition and Monitoring of Web Services.
Proceedings of the Test and Analysis of Web Services, 2007

Web Service Discovery at Process-level Based on Semantic Annotation.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Design and Analysis of the Composed Telecom Services.
Proceedings of the Service-Oriented Computing, 2007

Agree or Change! Making Services Evolve.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Proceedings of the Autonomous and Adaptive Web Services, 04.02. - 09.02.2007, 2007

Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Analysis of communication models in web service compositions.
Proceedings of the 15th international conference on World Wide Web, 2006

Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Specifying Data-Flow Requirements for the Automated Composition of Web Services.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Representation, Verification, and Computation of Timed Properties in Web.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Static Verification of Control and Data inWeb Service Compositions.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Run-Time Monitoring of Instances and Classes of Web Service Compositions.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals.
Proceedings of the Service-Oriented Computing, 2006

Analysis of Realizability Conditions for Web Service Choreographies.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
Proceedings of the Semantic Web: Research and Applications, 2006

Stong Cyclic Planning Under Partial Observability.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Automated Web Service Composition by On-the-Fly Belief Space Search.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Towards Strong Cyclic Planning under Partial Observability.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Run-Time Monitoring of the Execution of Plans for Web Service Composition.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Contingent Planning with Goal Preferences.
Proceedings of the Proceedings, 2006

Timed Modelling and Analysis in Web Service Compositions.
Proceedings of the The First International Conference on Availability, 2006

2005
Structured coalgebras and minimal HD-automata for the pi-calculus.
Theor. Comput. Sci., 2005

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.
Electr. Notes Theor. Comput. Sci., 2005

Automated synthesis of executable web service compositions from BPEL4WS processes.
Proceedings of the 14th international conference on World Wide Web, 2005

History-Dependent Automata: An Introduction.
Proceedings of the Formal Methods for Mobile Computing, 2005

Automated Composition of Web Services by Planning at the Knowledge Level.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Automated Synthesis of Composite BPEL4WS Web Services.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

ASTRO: Supporting Composition and Execution of Web Services.
Proceedings of the Service-Oriented Computing, 2005

Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.
Proceedings of the Semantic Web: Research and Applications, 2005

A Parametric Communication Model for the Verification of BPEL4WS Compositions.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Automated Composition of Web Services by Planning in Asynchronous Domains.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

A Hierarchical Task-Network Planner based on Symbolic Model Checking.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

2004
Requirements-Driven Verification of Web Services.
Electr. Notes Theor. Comput. Sci., 2004

Graph Rewriting for Agent Oriented Visual Modeling.
Electr. Notes Theor. Comput. Sci., 2004

Automated Composition of Semantic Web Services into Executable Processes.
Proceedings of the Semantic Web, 2004

Formal Verification of Requirements using SPIN: A Case Study on Web Services.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Framework for Integrating Business Processes and Business Requirements.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Planning with Extended Goals and Partial Observability.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

Planning and Monitoring Web Service Composition.
Proceedings of the Artificial Intelligence: Methodology, 2004

2003
A model-checking verification environment for mobile processes.
ACM Trans. Softw. Eng. Methodol., 2003

Weak, strong, and strong cyclic planning via symbolic model checking.
Artif. Intell., 2003

Specifying and Analyzing Early Requirements: Some Experimental Results.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

The Planning Spectrum - One, Two, Three, Infinity.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Agent-Oriented Modeling by Interleaving Formal and Informal Specification.
Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

A Framework for Planning with Extended Goals under Partial Observability.
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002
Planning for Requests against Web Services.
IEEE Data Eng. Bull., 2002

Improving the Encoding of LTL Model Checking into SAT.
Proceedings of the Verification, 2002

A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
Proceedings of the Technologies for E-Services, Third International Workshop, 2002

Integrating BDD-Based and SAT-Based Symbolic Model Checking.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Planning with a Language for Extended Goals.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
On the semantics of durational actions.
Theor. Comput. Sci., 2001

A Partition Refinement Algorithm for the -Calculus.
Inf. Comput., 2001

'Closed Interval Process Algebra' versus 'Interval Process Algebra'.
Acta Inf., 2001

Model Checking Early Requirements Specifications in Tropos.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Planning as Model Checking for Extended Goals in Non-deterministic Domains.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

1999
Finite State Verification for the Asynchronous pi-Calculus.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998
Final semantics for the pi-calculus.
Proceedings of the Programming Concepts and Methods, 1998

Verifying Mobile Processes in the HAL Environment.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
An Introduction to History Dependent Automata.
Electr. Notes Theor. Comput. Sci., 1997

Eager, busy-waiting and lazy actions in timed computation?
Electr. Notes Theor. Comput. Sci., 1997

An Automated Based Verification Environment for Mobile Processes.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Minimal Transition Systems for History-Preserving Bisimulation.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

1996
Specification and Verification of Timed Lazy Systems.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Efficient Minimization up to Location Equivalence.
Proceedings of the Programming Languages and Systems, 1996

History dependent verification for partial order systems.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

A Partition Refinement Algorithm for the pi-Calculus (Extended Abstract).
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Concurrent semantics for the pi-calculus.
Electr. Notes Theor. Comput. Sci., 1995

Checking Bisimilarity for Finitary pi-Calculus.
Proceedings of the CONCUR '95: Concurrency Theory, 1995


  Loading...