Follow
Marco Pistore
Marco Pistore
Director, Digital Society Center, Fondazione Bruno Kessler, Italy
Verified email at fbk.eu
Title
Cited by
Cited by
Year
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
26122002
Weak, strong, and strong cyclic planning via symbolic model checking
A Cimatti, M Pistore, M Roveri, P Traverso
Artificial Intelligence 147 (1-2), 35-84, 2003
5792003
Automated composition of semantic web services into executable processes
P Traverso, M Pistore
International Semantic Web Conference, 380-394, 2004
5212004
Run-time monitoring of instances and classes of web service compositions
F Barbon, P Traverso, M Pistore, M Trainotti
2006 IEEE International Conference on Web Services (ICWS'06), 63-71, 2006
3732006
Specifying and analyzing early requirements in Tropos
A Fuxman, L Liu, J Mylopoulos, M Pistore, M Roveri, P Traverso
Requirements Engineering 9, 132-150, 2004
3562004
Planning and monitoring web service composition
M Pistore, F Barbon, P Bertoli, D Shaparau, P Traverso
International Conference on Artificial Intelligence: Methodology, Systems …, 2004
3132004
Automated composition of web services by planning at the knowledge level
M Pistore, A Marconi, P Bertoli, P Traverso
IJCAI 19, 1252-1259, 2005
2992005
Model checking early requirements specifications in Tropos
A Fuxman, M Pistore, J Mylopoulos, P Traverso
Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001
2692001
Automated synthesis of composite bpel4ws web services
M Pistore, P Traverso, P Bertoli, A Marconi
IEEE International Conference on Web Services (ICWS'05), 293-301, 2005
2442005
Automated Composition of Web Services by Planning in Asynchronous Domains.
M Pistore, P Traverso, P Bertoli
Icaps 5, 2-11, 2005
2312005
Nusmv 2.4 user manual
R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ...
CMU and ITC-irst 11, 22-45, 2005
2282005
Using gamification to incentivize sustainable urban mobility
R Kazhamiakin, A Marconi, M Perillo, M Pistore, G Valetto, L Piras, ...
2015 IEEE first international smart cities conference (ISC2), 1-6, 2015
2102015
MBP: a model based planner
P Bertoli, A Cimatti, M Pistore, M Roveri, P Traverso
Proc. of the IJCAI’01 Workshop on Planning under Uncertainty and Incomplete …, 2001
2082001
Planning with a Language for Extended Goals.
U Dal Lago, M Pistore, P Traverso
AAAI/IAAI, 447-454, 2002
2022002
Planning as model checking for extended goals in non-deterministic domains
M Pistore, P Traverso
IJCAI 1, 479-486, 2001
2002001
Automated composition of web services via planning in asynchronous domains
P Bertoli, M Pistore, P Traverso
Artificial Intelligence 174 (3-4), 316-361, 2010
1862010
The tropos methodology: An overview
P Giorgini, M Kolp, J Mylopoulos, M Pistore
Methodologies and software engineering for agent systems: the agent-oriented …, 2004
1602004
A framework for proactive self-adaptation of service-based applications based on online testing
J Hielscher, R Kazhamiakin, A Metzger, M Pistore
European Conference on a Service-Based Internet, 122-133, 2008
1292008
Analysis of communication models in web service compositions
R Kazhamiakin, M Pistore, L Santuari
Proceedings of the 15th international conference on World Wide Web, 267-276, 2006
1152006
A framework for integrating business processes and business requirements
R Kazhamiakin, M Pistore, M Roveri
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
1142004
The system can't perform the operation now. Try again later.
Articles 1–20