71
Publications
3.8K
Citations
34
H-Index
1995
Active since
Marco Pistore is an author at University of Trento specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringSoftware DesignSoftware EngineeringFormal MethodsFormal VerificationSystem SoftwareSoftware AnalysisProgram Analysis
Publications per year
1995–2021
71
71
Weak, strong, and strong cyclic planning via symbolic model checking
Alessandro Cimatti, Marco Pistore, Marco Roveri et al. · Artificial Intelligence · 2003 · 354 citations · Full text
Run-Time Monitoring of Instances and Classes of Web Service Compositions
Fabio Barbon, Paolo Traverso, Marco Pistore et al. · 2006 · 246 citations
Web Service Specification, Engineering, Service Monitoring +18
Specifying and analyzing early requirements in Tropos
Ariel Fuxman, Lin Liu, John Mylopoulos et al. · Requirements Engineering · 2004 · 242 citations
Automated composition of web services by planning at the knowledge level
Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli et al. · 2005 · 198 citations
Model checking early requirements specifications in Tropos
Ariel Fuxman, Marco Pistore, John Mylopoulos et al. · 2002 · 174 citations
Rows per page
1–5 of 71