Pistore, Marco
Pistore, Marco
'Closed Interval Process Algebra' versus 'Interval Process Algebra'
2001-01-01 Corradini, F.; Pistore, Marco
`Closed interval process algebra' versus `interval process algebra'
2001-01-01 F., Corradini; Pistore, Marco
A Car Logistics Scenario for Context-Aware Adaptive Service-based Systems
2012-01-01 Bucchiarone, A.; Khurshid, N.; Marconi, A.; Pistore, M.; Raik, H.
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, R.; Pistore, M.; Roveri, M.
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 P., Bertoli; A., Cimatti; Pistore, Marco; P., Traverso
A Hierarchical Task-Network Planner based on Symbolic Model Checking
2005-01-01 U., Kuter; D., Nau; Pistore, Marco; P., Traverso
A model checking verification environment for mobile processes
In corso di stampa Ferrari, G.; Gnesi, S.; Montanari, U.; Pistore, Marco
A model-checking verification environment for mobile processes
2003-01-01 G., Ferrari; S., Gnesi; U., Montanari; Pistore, Marco
A Parametric Communication Model for the Verification of BPEL4WS Compositions
2005-01-01 Kazhamiakin, Raman; Pistore, Marco
A partition refinement algorithm for the pi-calculus
2001-01-01 Pistore, Marco; D., Sangiorgi
A request language for web services based on planning and constraint satisfaction
2002-01-01 Aiello, Marco; M., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; L., Serafini; P., Traverso
Adaptivity in Dynamic Service-based Systems
2012-01-01 Bucchiarone, A.; Kazhamiakin, R.; Marconi, A.; Pistore, M.
ASTRO-CAptEvo: Dynamic Context-aware Adaptation for Service-based Systems
2012-01-01 Raik, H.; Bucchiarone, A.; Khurshid, N.; Marconi, A.; Pistore, M.
Automated Synthesis of Composite BPEL4WS Web Services
2005-01-01 Pistore, Marco; P., Traverso; P., Bertoli; Marconi, Annapaola
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes Poster presentation
2005-01-01 Pistore, Marco; P., Traverso; P., Bertoli; Marconi, Annapaola
CAptLang: a language for context-aware and adaptable business processes
2013-01-01 Bucchiarone, A.; Antares Mezzina, C.; Pistore, M.
CLIMB: A Pervasive Gameful Platform Promoting Child Independent Mobility
2020-01-01 Farella, E.; Schiavo, G.; Ferron, M.; Giovanelli, D.; Leonardi, C.; Marconi, A.; Massa, P.; Murphy, A. L.; Nori, M.; Pistore, M.
Design for Adaptation of Service-Based Applications: Main Issues and Requirements
2009-01-01 Bucchiarone, A.; Cappiello, C.; Di Nitto, E.; Kazhamiakin, R.; Mazza, V.; Pistore, M.
Dynamic Adaptation of Fragment-based and Context-aware Business Processes
2012-01-01 Bucchiarone, A.; Marconi, A.; Pistore, M.; Raik, H.
Graph Rewriting for Agent Oriented Visual Modeling
2003-01-01 Novikau, Aliaksei; A., Perini; Pistore, Marco