1. Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri and Paolo Traverso (2004) Specifying and analyzing early requirements in Tropos. Requir. Eng., 9(2):132-150. (url) (BibTeX)
  2. Marco Pistore, Marco Roveri and Paolo Busetta (2004) Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci., 105:95-108. (url) (BibTeX)
  3. Alessandro Cimatti, Marco Roveri and Piergiorgio Bertoli (2004) Conformant planning via symbolic model checking and heuristic search. Artif. Intell., 159(1-2):127-206. (url) (BibTeX)
  4. Raman Kazhamiakin, Marco Pistore and Marco Roveri (2004) Formal Verification of Requirements using SPIN: A Case Study on Web Services. In SEFM., pages 406-415. (url) (BibTeX)
  5. Alessandro Cimatti, Marco Roveri and Daniel Sheridan (2004) Bounded Verification of Past LTL. In FMCAD., pages 245-259. (url) (BibTeX)
  6. Raman Kazhamiakin, Marco Pistore and Marco Roveri (2004) A Framework for Integrating Business Processes and Business Requirements. In EDOC., pages 9-20. (url) (BibTeX)