| 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 | 2594 | 2002 |
| 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 | 567 | 2003 |
| Automated composition of semantic web services into executable processes P Traverso, M Pistore International Semantic Web Conference, 380-394, 2004 | 520 | 2004 |
| 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 | 373 | 2006 |
| 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 | 353 | 2004 |
| Planning and monitoring web service composition M Pistore, F Barbon, P Bertoli, D Shaparau, P Traverso International Conference on Artificial Intelligence: Methodology, Systems …, 2004 | 314 | 2004 |
| Automated composition of web services by planning at the knowledge level M Pistore, A Marconi, P Bertoli, P Traverso IJCAI 19, 1252-1259, 2005 | 297 | 2005 |
| Model checking early requirements specifications in Tropos A Fuxman, M Pistore, J Mylopoulos, P Traverso Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001 | 268 | 2001 |
| 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 | 244 | 2005 |
| Automated Composition of Web Services by Planning in Asynchronous Domains. M Pistore, P Traverso, P Bertoli Icaps 5, 2-11, 2005 | 231 | 2005 |
| 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 | 225 | 2005 |
| 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 | 208 | 2015 |
| 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 | 208 | 2001 |
| Planning with a Language for Extended Goals. U Dal Lago, M Pistore, P Traverso AAAI/IAAI, 447-454, 2002 | 202 | 2002 |
| Planning as model checking for extended goals in non-deterministic domains M Pistore, P Traverso IJCAI 1, 479-486, 2001 | 200 | 2001 |
| Automated composition of web services via planning in asynchronous domains P Bertoli, M Pistore, P Traverso Artificial Intelligence 174 (3-4), 316-361, 2010 | 185 | 2010 |
| The tropos methodology: An overview P Giorgini, M Kolp, J Mylopoulos, M Pistore Methodologies and software engineering for agent systems: the agent-oriented …, 2004 | 159 | 2004 |
| 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 | 130 | 2008 |
| 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 | 115 | 2006 |
| A framework for integrating business processes and business requirements R Kazhamiakin, M Pistore, M Roveri Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004 | 114 | 2004 |
