publications:
- title: "Specifying and analyzing early requirements in Tropos"
  author:
  - name: "Ariel Fuxman"
    link: "https://researchr.org/alias/ariel-fuxman"
  - name: "Lin Liu"
    link: "https://researchr.org/alias/lin-liu"
  - name: "John Mylopoulos"
    link: "https://researchr.org/alias/john-mylopoulos"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/s00766-004-0191-7"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-004-0191-7"
  researchr: "https://researchr.org/publication/FuxmanLMRT04"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "9"
  number: "2"
  pages: "132-150"
  kind: "article"
  key: "FuxmanLMRT04"
- title: "Weak, strong, and strong cyclic planning via symbolic model checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0004-3702(02)00374-0"
  links:
    doi: "http://dx.doi.org/10.1016/S0004-3702(02)00374-0"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiPRT03"
  cites: 0
  citedby: 0
  journal: "Artificial Intelligence"
  volume: "147"
  number: "1-2"
  pages: "35-84"
  kind: "article"
  key: "CimattiPRT03"
- title: "Symbolic Implementation of Alternating Automata"
  author:
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Ingo Pill"
    link: "https://researchr.org/alias/ingo-pill"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Simone Semprini"
    link: "https://researchr.org/alias/simone-semprini"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11812128_20"
  links:
    doi: "http://dx.doi.org/10.1007/11812128_20"
  researchr: "https://researchr.org/publication/BloemCPRS06"
  cites: 0
  citedby: 0
  pages: "208-218"
  booktitle: "Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings"
  editor:
  - name: "Oscar H. Ibarra"
    link: "https://researchr.org/alias/oscar-h.-ibarra"
  - name: "Hsu-Chun Yen"
    link: "https://researchr.org/alias/hsu-chun-yen"
  volume: "4094"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37213-X"
  kind: "inproceedings"
  key: "BloemCPRS06"
- title: "Strong Planning in Non-Deterministic Domains Via Model Checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  year: "1998"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiRT98%3A0"
  cites: 0
  citedby: 0
  pages: "36-43"
  booktitle: "AIPS"
  kind: "inproceedings"
  key: "CimattiRT98:0"
- title: "Requirements-Driven Verification of Web Services"
  author:
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Busetta"
    link: "https://researchr.org/alias/paolo-busetta"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.05.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.05.005"
  tags:
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/PistoreRB04"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "105"
  pages: "95-108"
  kind: "article"
  key: "PistoreRB04"
- title: "Conformant planning via symbolic model checking and heuristic search"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Piergiorgio Bertoli"
    link: "https://researchr.org/alias/piergiorgio-bertoli"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.artint.2004.05.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.artint.2004.05.003"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/CimattiRB04"
  cites: 0
  citedby: 0
  journal: "Artificial Intelligence"
  volume: "159"
  number: "1-2"
  pages: "127-206"
  kind: "article"
  key: "CimattiRB04"
- title: "NUSMV: A New Symbolic Model Checker"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/10009/bibs/0002004/00020410.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/10009/bibs/0002004/00020410.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiCGR00"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "2"
  number: "4"
  pages: "410-425"
  kind: "article"
  key: "CimattiCGR00"
- title: "Improving the Encoding of LTL Model Checking into SAT"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Roberto Sebastiani"
    link: "https://researchr.org/alias/roberto-sebastiani"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2294/22940196.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2294/22940196.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiPRS02"
  cites: 0
  citedby: 0
  pages: "196-207"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers"
  editor:
  - name: "Agostino Cortesi"
    link: "https://researchr.org/alias/agostino-cortesi"
  volume: "2294"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43631-6"
  kind: "inproceedings"
  key: "CimattiPRS02"
- title: "Conformant Planning via Symbolic Model Checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "2000"
  doi: "http://www.cs.washington.edu/research/jair/abstracts/cimatti00a.html"
  links:
    doi: "http://www.cs.washington.edu/research/jair/abstracts/cimatti00a.html"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiR00"
  cites: 0
  citedby: 0
  journal: "J. Artif. Intell. Res. (JAIR)"
  volume: "13"
  pages: "305-338"
  kind: "article"
  key: "CimattiR00"
- title: "Boolean Abstraction for Temporal Logic Satisfiability"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Viktor Schuppan"
    link: "https://researchr.org/alias/viktor-schuppan"
  - name: "Stefano Tonetta"
    link: "https://researchr.org/alias/stefano-tonetta"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_53"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_53"
  tags:
  - "logic"
  - "abstraction"
  researchr: "https://researchr.org/publication/CimattiRST07"
  cites: 0
  citedby: 0
  pages: "532-546"
  booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings"
  editor:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4590"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73367-6"
  kind: "inproceedings"
  key: "CimattiRST07"
- title: "Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking"
  author:
  - name: "Piergiorgio Bertoli"
    link: "https://researchr.org/alias/piergiorgio-bertoli"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  year: "2001"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BertoliCRT01"
  cites: 0
  citedby: 0
  pages: "473-478"
  booktitle: "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001"
  editor:
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  publisher: "Morgan Kaufmann"
  isbn: "1-55860-777-3"
  kind: "inproceedings"
  key: "BertoliCRT01"
- title: "Object Models with Temporal Constraints"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Angelo Susi"
    link: "https://researchr.org/alias/angelo-susi"
  - name: "Stefano Tonetta"
    link: "https://researchr.org/alias/stefano-tonetta"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SEFM.2008.23"
  links:
    doi: "http://dx.doi.org/10.1109/SEFM.2008.23"
  tags:
  - "meta-model"
  - "constraints"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CimattiRST08%3A0"
  cites: 0
  citedby: 0
  pages: "249-258"
  booktitle: "Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008"
  editor:
  - name: "Antonio Cerone"
    link: "https://researchr.org/alias/antonio-cerone"
  - name: "Stefan Gruner"
    link: "https://researchr.org/alias/stefan-gruner"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3437-4"
  kind: "inproceedings"
  key: "CimattiRST08:0"
- title: "A New Method for Testing Decision Procedures in Modal Logics"
  author:
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Roberto Sebastiani"
    link: "https://researchr.org/alias/roberto-sebastiani"
  year: "1997"
  tags:
  - "modal logic"
  - "testing"
  - "logic"
  researchr: "https://researchr.org/publication/GiunchigliaRS97"
  cites: 0
  citedby: 0
  pages: "264-267"
  booktitle: "Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings"
  editor:
  - name: "William McCune"
    link: "https://researchr.org/alias/william-mccune"
  volume: "1249"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63104-6"
  kind: "inproceedings"
  key: "GiunchigliaRS97"
- title: "A New Method for Testing Decision Procedures in Modal and Terminological Logics"
  author:
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Roberto Sebastiani"
    link: "https://researchr.org/alias/roberto-sebastiani"
  year: "1996"
  tags:
  - "modal logic"
  - "testing"
  - "logic"
  researchr: "https://researchr.org/publication/GiunchigliaRS96"
  cites: 0
  citedby: 0
  pages: "119-123"
  booktitle: "Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA"
  editor:
  - name: "Lin Padgham"
    link: "https://researchr.org/alias/lin-padgham"
  - name: "Enrico Franconi"
    link: "https://researchr.org/alias/enrico-franconi"
  - name: "Manfred Gehrke"
    link: "https://researchr.org/alias/manfred-gehrke"
  - name: "Deborah L. McGuinness"
    link: "https://researchr.org/alias/deborah-l.-mcguinness"
  - name: "Peter F. Patel-Schneider"
    link: "https://researchr.org/alias/peter-f.-patel-schneider"
  volume: "WS-96-05"
  series: "AAAI Technical Report"
  publisher: "AAAI Press"
  isbn: "1-57735-014-6"
  kind: "inproceedings"
  key: "GiunchigliaRS96"
- title: "Symbolic Compilation of PSL"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Stefano Tonetta"
    link: "https://researchr.org/alias/stefano-tonetta"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/TCAD.2008.2003303"
  links:
    doi: "http://dx.doi.org/10.1109/TCAD.2008.2003303"
  researchr: "https://researchr.org/publication/CimattiRT08"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. on CAD of Integrated Circuits and Systems"
  volume: "27"
  number: "10"
  pages: "1737-1750"
  kind: "article"
  key: "CimattiRT08"
- title: "From PSL to NBA: a Modular Symbolic Encoding"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Simone Semprini"
    link: "https://researchr.org/alias/simone-semprini"
  - name: "Stefano Tonetta"
    link: "https://researchr.org/alias/stefano-tonetta"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.19"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.19"
  researchr: "https://researchr.org/publication/CimattiRST06"
  cites: 0
  citedby: 0
  pages: "125-133"
  booktitle: "Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2707-8"
  kind: "inproceedings"
  key: "CimattiRST06"
- title: "Symbolic Implementation of Alternating Automata"
  author:
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Ingo Pill"
    link: "https://researchr.org/alias/ingo-pill"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "2007"
  doi: "http://dx.doi.org/10.1142/S0129054107004942"
  links:
    doi: "http://dx.doi.org/10.1142/S0129054107004942"
  researchr: "https://researchr.org/publication/BloemCPR07"
  cites: 0
  citedby: 0
  journal: "Int. J. Found. Comput. Sci."
  volume: "18"
  number: "4"
  pages: "727-743"
  kind: "article"
  key: "BloemCPR07"
- title: "Integrating BDD-Based and SAT-Based Symbolic Model Checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Enrico Giunchiglia"
    link: "https://researchr.org/alias/enrico-giunchiglia"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Roberto Sebastiani"
    link: "https://researchr.org/alias/roberto-sebastiani"
  - name: "Armando Tacchella"
    link: "https://researchr.org/alias/armando-tacchella"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2309/23090049.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2309/23090049.htm"
  tags:
  - "rule-based"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiGPRST02"
  cites: 0
  citedby: 0
  pages: "49-56"
  booktitle: "Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings"
  editor:
  - name: "Alessandro Armando"
    link: "https://researchr.org/alias/alessandro-armando"
  volume: "2309"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43381-3"
  kind: "inproceedings"
  key: "CimattiGPRST02"
- title: "Bounded Verification of Past LTL"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Daniel Sheridan"
    link: "https://researchr.org/alias/daniel-sheridan"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=245"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=245"
  researchr: "https://researchr.org/publication/CimattiRS04"
  cites: 0
  citedby: 0
  pages: "245-259"
  booktitle: "Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings"
  editor:
  - name: "Alan J. Hu"
    link: "https://researchr.org/alias/alan-j.-hu"
  - name: "Andrew K. Martin"
    link: "https://researchr.org/alias/andrew-k.-martin"
  volume: "3312"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23738-0"
  kind: "inproceedings"
  key: "CimattiRS04"
- title: "Preface"
  author:
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Fabio Somenzi"
    link: "https://researchr.org/alias/fabio-somenzi"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.12.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.12.025"
  researchr: "https://researchr.org/publication/BloemRS07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "174"
  number: "4"
  pages: "1"
  kind: "article"
  key: "BloemRS07"
- title: "Conformant Planning via Model Checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "1999"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiR99"
  cites: 0
  citedby: 0
  pages: "21-34"
  booktitle: "Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September  8-10, 1999, Proceedings"
  editor:
  - name: "Susanne Biundo"
    link: "https://researchr.org/alias/susanne-biundo"
  - name: "Maria Fox"
    link: "https://researchr.org/alias/maria-fox"
  volume: "1809"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67866-2"
  kind: "inproceedings"
  key: "CimattiR99"
- title: "NuSMV 2: An OpenSource Tool for Symbolic Model Checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Enrico Giunchiglia"
    link: "https://researchr.org/alias/enrico-giunchiglia"
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Roberto Sebastiani"
    link: "https://researchr.org/alias/roberto-sebastiani"
  - name: "Armando Tacchella"
    link: "https://researchr.org/alias/armando-tacchella"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2404/24040359.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2404/24040359.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiCGGPRST02"
  cites: 0
  citedby: 0
  pages: "359-364"
  booktitle: "Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings"
  editor:
  - name: "Ed Brinksma"
    link: "https://researchr.org/alias/ed-brinksma"
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  volume: "2404"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43997-8"
  kind: "inproceedings"
  key: "CimattiCGGPRST02"
- title: "Specifying and Analyzing Early Requirements: Some Experimental Results"
  author:
  - name: "Ariel Fuxman"
    link: "https://researchr.org/alias/ariel-fuxman"
  - name: "Lin Liu"
    link: "https://researchr.org/alias/lin-liu"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "John Mylopoulos"
    link: "https://researchr.org/alias/john-mylopoulos"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800105abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800105abs.htm"
  researchr: "https://researchr.org/publication/FuxmanLPRM03"
  cites: 0
  citedby: 0
  pages: "105"
  booktitle: "11th  IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1980-6"
  kind: "inproceedings"
  key: "FuxmanLPRM03"
- title: "Computing Predicate Abstractions by Integrating BDDs and SMT Solvers"
  author:
  - name: "Roberto Cavada"
    link: "https://researchr.org/alias/roberto-cavada"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Anders Franzén"
    link: "https://researchr.org/alias/anders-franz%C3%A9n"
  - name: "Krishnamani Kalyanasundaram"
    link: "https://researchr.org/alias/krishnamani-kalyanasundaram"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "R. K. Shyamasundar"
    link: "https://researchr.org/alias/r.-k.-shyamasundar"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.18"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.18"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/CavadaCFKRS07"
  cites: 0
  citedby: 0
  pages: "69-76"
  booktitle: "Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CavadaCFKRS07"
- title: "Formal Verification of Requirements using SPIN: A Case Study on Web Services"
  author:
  - name: "Raman Kazhamiakin"
    link: "https://researchr.org/alias/raman-kazhamiakin"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.19"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.19"
  tags:
  - "case study"
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/KazhamiakinPR04"
  cites: 0
  citedby: 0
  pages: "406-415"
  booktitle: "2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2222-X"
  kind: "inproceedings"
  key: "KazhamiakinPR04"
- title: "RAT: A Tool for the Formal Analysis of Requirements"
  author:
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Roberto Cavada"
    link: "https://researchr.org/alias/roberto-cavada"
  - name: "Ingo Pill"
    link: "https://researchr.org/alias/ingo-pill"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Andrei Tchaltsev"
    link: "https://researchr.org/alias/andrei-tchaltsev"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_30"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BloemCPRT07"
  cites: 0
  citedby: 0
  pages: "263-267"
  booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings"
  editor:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4590"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73367-6"
  kind: "inproceedings"
  key: "BloemCPRT07"
- title: "A Framework for Integrating Business Processes and Business Requirements"
  author:
  - name: "Raman Kazhamiakin"
    link: "https://researchr.org/alias/raman-kazhamiakin"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140009abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140009abs.htm"
  researchr: "https://researchr.org/publication/KazhamiakinPR04%3A0"
  cites: 0
  citedby: 0
  pages: "9-20"
  booktitle: "8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2214-9"
  kind: "inproceedings"
  key: "KazhamiakinPR04:0"
- title: "Requirements Validation for Hybrid Systems"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Stefano Tonetta"
    link: "https://researchr.org/alias/stefano-tonetta"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_17"
  researchr: "https://researchr.org/publication/CimattiRT09"
  cites: 0
  citedby: 0
  pages: "188-203"
  booktitle: "Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings"
  editor:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "5643"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02657-7"
  kind: "inproceedings"
  key: "CimattiRT09"
- title: "NUSMV: A New Symbolic Model Verifier"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1633/16330495.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1633/16330495.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiCGR99"
  cites: 0
  citedby: 0
  pages: "495-499"
  booktitle: "Computer Aided Verification, 11th International Conference, CAV  99, Trento, Italy, July 6-10, 1999, Proceedings"
  editor:
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  volume: "1633"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66202-2"
  kind: "inproceedings"
  key: "CimattiCGR99"
- title: "Syntactic Optimizations for PSL Verification"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Stefano Tonetta"
    link: "https://researchr.org/alias/stefano-tonetta"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_39"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71209-1_39"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/CimattiRT07"
  cites: 0
  citedby: 0
  pages: "505-518"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi"
  editor:
  - name: "Orna Grumberg"
    link: "https://researchr.org/alias/orna-grumberg"
  - name: "Michael Huth"
    link: "https://researchr.org/alias/michael-huth"
  volume: "4424"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71208-4"
  kind: "inproceedings"
  key: "CimattiRT07"
- title: "Agent-Oriented Modeling by Interleaving Formal and Informal Specification"
  author:
  - name: "Anna Perini"
    link: "https://researchr.org/alias/anna-perini"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Angelo Susi"
    link: "https://researchr.org/alias/angelo-susi"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2935&spage=36"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2935&spage=36"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/PeriniPRS03"
  cites: 0
  citedby: 0
  pages: "36-52"
  booktitle: "Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers"
  editor:
  - name: "Paolo Giorgini"
    link: "https://researchr.org/alias/paolo-giorgini"
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  - name: "James Odell"
    link: "https://researchr.org/alias/james-odell"
  volume: "2935"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20826-7"
  kind: "inproceedings"
  key: "PeriniPRS03"
- title: "Formal analysis of hardware requirements"
  author:
  - name: "Ingo Pill"
    link: "https://researchr.org/alias/ingo-pill"
  - name: "Simone Semprini"
    link: "https://researchr.org/alias/simone-semprini"
  - name: "Roberto Cavada"
    link: "https://researchr.org/alias/roberto-cavada"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Roderick Bloem"
    link: "https://researchr.org/alias/roderick-bloem"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1146909.1147119"
  links:
    doi: "http://doi.acm.org/10.1145/1146909.1147119"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/PillSCRBC06"
  cites: 0
  citedby: 0
  pages: "821-826"
  booktitle: "Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006"
  editor:
  - name: "Ellen Sentovich"
    link: "https://researchr.org/alias/ellen-sentovich"
  publisher: "ACM"
  isbn: "1-59593-381-6"
  kind: "inproceedings"
  key: "PillSCRBC06"
- title: "Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Piergiorgio Bertoli"
    link: "https://researchr.org/alias/piergiorgio-bertoli"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310313.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310313.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CimattiRB01"
  cites: 0
  citedby: 0
  pages: "313-327"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Wang Yi"
    link: "https://researchr.org/alias/wang-yi"
  volume: "2031"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41865-2"
  kind: "inproceedings"
  key: "CimattiRB01"
- title: "Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning"
  author:
  - name: "Piergiorgio Bertoli"
    link: "https://researchr.org/alias/piergiorgio-bertoli"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  year: "2001"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/BertoliCR01"
  cites: 0
  citedby: 0
  pages: "467-472"
  booktitle: "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001"
  editor:
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  publisher: "Morgan Kaufmann"
  isbn: "1-55860-777-3"
  kind: "inproceedings"
  key: "BertoliCR01"
- title: "Strong planning under partial observability"
  author:
  - name: "Piergiorgio Bertoli"
    link: "https://researchr.org/alias/piergiorgio-bertoli"
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.artint.2006.01.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.artint.2006.01.004"
  researchr: "https://researchr.org/publication/BertoliCRT06"
  cites: 0
  citedby: 0
  journal: "Artificial Intelligence"
  volume: "170"
  number: "4-5"
  pages: "337-384"
  kind: "article"
  key: "BertoliCRT06"
- title: "Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Paolo Traverso"
    link: "https://researchr.org/alias/paolo-traverso"
  year: "1998"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/CimattiRT98"
  cites: 0
  citedby: 0
  pages: "875-881"
  booktitle: "AAAI/IAAI"
  kind: "inproceedings"
  key: "CimattiRT98"
- title: "Diagnostic Information for Realizability"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Viktor Schuppan"
    link: "https://researchr.org/alias/viktor-schuppan"
  - name: "Andrei Tchaltsev"
    link: "https://researchr.org/alias/andrei-tchaltsev"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_9"
  tags:
  - "diagnostics"
  researchr: "https://researchr.org/publication/CimattiRST08"
  cites: 0
  citedby: 0
  pages: "52-67"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings"
  editor:
  - name: "Francesco Logozzo"
    link: "https://researchr.org/alias/francesco-logozzo"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "4905"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78162-2"
  kind: "inproceedings"
  key: "CimattiRST08"