1. Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri and Roberto Sebastiani (2016) Verilog2SMV: A tool for word-level verification. In 2016 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016., pages 1156-1159. (url) (BibTeX)
  2. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2016) Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies. In Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA.}., pages 3116-3122. (url) (BibTeX)
  3. Alberto Griggio and Marco Roveri (2016) Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 35(6):1026-1039. (url) (BibTeX)
  4. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2015) HRELTL: A temporal logic for hybrid systems. Inf. Comput., 245:54-71. (url) (BibTeX)
  5. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2015) An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty. Artif. Intell., 224:1-27. (url) (BibTeX)
  6. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2015) Solving strong controllability of temporal problems with uncertainty using SMT. Constraints, 20(1):1-29. (url) (BibTeX)
  7. Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri and Stefano Tonetta (2015) Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program., 98:464-483. (url) (BibTeX)
  8. Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab and Qiang Wang (2015) Formal Verification of Infinite-State BIP Models. In Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings., pages 326-343. (url) (BibTeX)
  9. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2015) Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. In Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA.}., pages 3254-3260. (url) (BibTeX)
  10. Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato and Marco Roveri (2014) Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. In 21st International Symposium on Temporal Representation and Reasoning, {TIME} 2014, Verona, Italy, September 8-10, 2014. (Amedeo Cesta and Carlo Combi and Fran{\c{c}}ois Laroussinie, Eds.) {IEEE} Computer Society, pages 27-36. (url) (BibTeX)
  11. Marco Bozzano, Alessandro Cimatti, Joost{-}Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma and Marco Roveri (2014) Spacecraft early design validation using formal methods. Rel. Eng. {\&} Sys. Safety, 132:20-35. (url) (BibTeX)
  12. Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri and Stefano Tonetta (2014) The nuXmv Symbolic Model Checker. In Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings. (Armin Biere and Roderick Bloem, Eds.) Springer, pages 334-342. (url) (BibTeX)
  13. Alberto Griggio and Marco Roveri (2014) Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking. In International Workshop on Design and Implementation of Formal Tools and Systems. Oct. (BibTeX)
  14. Robin Steel, Alexander Hoffmann, Marc Niezette, Alessandro Cimatti, Marco Roveri, Konstantinos Kapellos, Alessandro Donati and Nicola Policella (2014) Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure. In 13th International Conference on Space Operations 2014.. (url) (BibTeX)
  15. Alessandro Cimatti, Luke Hunsberger, Andrea Micheli and Marco Roveri (2014) Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. In Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.. (Carla E. Brodley and Peter Stone, Eds.) {AAAI} Press, pages 2242-2249. (url) (BibTeX)
  16. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2013) Timelines with Temporal Uncertainty. In Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}. (Marie desJardins and Michael L. Littman, Eds.) {AAAI} Press. (url) (BibTeX)
  17. Mar{\'{\i}}a Alpuente, Christophe Joubert, Stefan Kowalewski and Marco Roveri (2013) Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program., 78(7):775-777. (url) (BibTeX)
  18. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2013) Software Model Checking SystemC. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 32(5):774-787. (url) (BibTeX)
  19. Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero and Andrei Tchaltsev (2012) Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. In CAV., pages 378-393. (url) (BibTeX)
  20. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2012) Software Model Checking with Explicit Scheduler and Symbolic Threads. Logical Methods in Computer Science, 8(2). (url) (BibTeX)
  21. Maria Alpuente, Christophe Joubert, Stefan Kowalewski and Marco Roveri (2012) Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Science of Computer Programming. (url) (BibTeX)
  22. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2012) Validation of requirements for hybrid systems: A formal approach. {ACM} Trans. Softw. Eng. Methodol., 21(4):22. (url) (BibTeX)
  23. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2012) Solving Temporal Problems Using SMT: Weak Controllability. In Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.. (J{\"{o}}rg Hoffmann and Bart Selman, Eds.) {AAAI} Press. (url) (BibTeX)
  24. Alessandro Cimatti, Andrea Micheli and Marco Roveri (2012) Solving Temporal Problems Using SMT: Strong Controllability. In Principles and Practice of Constraint Programming - 18th International Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October 8-12, 2012. Proceedings. (Michela Milano, Eds.) Springer, pages 248-264. (url) (BibTeX)
  25. Robin Steel, Alexander Hoffman, Mark Niézette, Alessandro Cimatti, Marco Roveri, Konstantinos Kapellos, Alessandro Donati and Nicola Policella (2012) Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground. In SpaceOps 2012 Conference.. (BibTeX)
  26. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2012) Verification of parametric system designs. In Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge, UK, October 22-25, 2012. (Gianpiero Cabodi and Satnam Singh, Eds.) {IEEE}, pages 122-130. (url) (BibTeX)
  27. Daniele Campana, Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2011) An Analytic Evaluation of SystemC Encodings in Promela. In SPIN., pages 90-107. (url) (BibTeX)
  28. Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya and Marco Roveri (2011) Kratos - A Software Model Checker for SystemC. In CAV., pages 310-316. (url) (BibTeX)
  29. Alessandro Cimatti, Iman Narasamdya and Marco Roveri (2011) Boosting Lazy Abstraction for SystemC with Partial Order Reduction. In TACAS., pages 341-356. (url) (BibTeX)
  30. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2011) Validation of Requirements for Hybrid Systems: a Formal Approach. ACM Trans. Softw. Eng. Methodol.. (BibTeX)
  31. Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri and Stefano Tonetta (2011) Symbolic Model Checking and Safety Assessment of Altarica models. ECEASST, 46. (url) (BibTeX)
  32. Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev (2011) A Comprehensive Approach to On-Board Autonomy Verification and Validation. In IJCAI., pages 2398-2403. (url) (BibTeX)
  33. Robin Steel, Alexander Hoffman, Alessandro Cimatti, Marco Roveri, Konstantinos Kapellos and Alessandro Donati and Nicola Policella (2011) Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead. In International Workshop on Planning and Scheduling for Space, IWPSS 2011.. (BibTeX)
  34. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll and Marco Roveri (2011) Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J., 54(5):754-775. (url) (BibTeX)
  35. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2011) Formalizing requirements with object models and temporal constraints. Software and System Modeling, 10(2):147-160. (url) (BibTeX)
  36. Alessandro Cimatti, Anders Franz{\'e}n, Alberto Griggio, Krishnamani Kalyanasundaram and Marco Roveri (2010) Tighter integration of BDDs and SMT for Predicate Abstraction. In DATE., pages 1707-1712. (url) (BibTeX)
  37. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2010) Formalization and Validation of Safety-Critical Requirements. Electronic Proceedings in Theoretical Computer Science (EPTCS), 20:68-75. (url) (BibTeX)
  38. Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta and Berardino Vittorini (2010) Formalization and validation of a subset of the European Train Control System. In ICSE (2)., pages 109-118. (url) (BibTeX)
  39. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri and Ralf Wimmer (2010) A Model Checker for AADL. In CAV., pages 562-565. (url) (BibTeX)
  40. Giuseppe Di~Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia and Marco Roveri (2010) Semi-formal functional verification by EFSM traversing via NuSMV. In High Level Design Validation and Test Workshop (HLDVT 2010).. IEEE International, pages 58-65. (BibTeX)
  41. Alessandro Cimatti, Sergio Mover, Marco Roveri and Stefano Tonetta (2010) From Sequential Extended Regular Expressions to NFA with Symbolic Labels. In 15th International Conference on Implementation and Application of Automata (CIAA 2010). aug. (BibTeX)
  42. Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert K{\"o}nighofer, Marco Roveri, Viktor Schuppan and Richard Seeber (2010) RATSY - A New Requirements Analysis Tool with Synthesis. In CAV., pages 425-429. (url) (BibTeX)
  43. Alessandro Cimatti, Sergio Mover, Marco Roveri and Stefano Tonetta (2010) From Sequential Extended Regular Expressions to NFA with Symbolic Labels. In CIAA., pages 87-94. (url) (BibTeX)
  44. Alessandro Cimatti, Andrea Micheli, Iman Narasamdya and Marco Roveri (2010) Verifying SystemC: A software model checking approach. In FMCAD., pages 51-59. (url) (BibTeX)
  45. Alessandro Cimatti, Andrea Micheli, Iman Narasamndya and Marco Roveri (2010) Verifying SystemC: a Software Model Checking Approach. In FMCAD 2010. (N. Sharigina and R. Bloem, Eds.) Pages 51-60. (BibTeX)
  46. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll (2009) Codesign of dependable systems: A component-based modeling language. In MEMOCODE., pages 121-130. (url) (BibTeX)
  47. Marco Bozzano, Alessandro Cimatti, Marco Roveri and Andrei Tchaltsev (2009) A comprehensive approach to on-board autonomy verification and validation. In ICAPS 2009 Workshop on Verification and Validation of Planning and Scheduling Systems (VV\&PS 2009). Thessaloniki, Greece, sep. (BibTeX)
  48. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll (2009) Codesign of dependable systems: a component-based modeling language. In MEMOCODE'09: Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign. Piscataway, NJ, USA. IEEE Press, pages 121-130. (BibTeX)
  49. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll and Marco Roveri (2009) The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In SAFECOMP., pages 173-186. (url) (BibTeX)
  50. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen and Thomas Noll (2009) Verification and performance evaluation of aadl models. In ESEC/SIGSOFT FSE., pages 285-286. (url) (BibTeX)
  51. Cimatti, Alessandro, Roveri, Marco, Susi, Angelo and Tonetta, Stefano (2009) Formalizing requirements with object models and temporal constraints. Software and Systems Modeling. (url) (BibTeX)
  52. Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila and Marco Roveri (2009) Structure-aware computation of predicate abstraction. In FMCAD., pages 9-16. (url) (BibTeX)
  53. Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi and Stefano Tonetta (2009) Supporting Requirements Validation: The EuRailCheck Tool. In ASE., pages 665-667. (url) (BibTeX)
  54. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2009) Requirements Validation for Hybrid Systems. In CAV., pages 188-203. (url) (BibTeX)
  55. Marco Bozzano, Alessandro Cimatti, Andrea Guiotto, Andrea Martelli, Marco Roveri, Andrei Tchaltsev and Yuri Yushtein (2008) On-Board Autonomy via Symbolic Model Based Reasoning. In 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA'2008). ESA/ESTEC, Noordwijk, The Netherlands, nov. (BibTeX)
  56. Alessandro Cimatti, Andrea Guiotto and Marco Roveri (2008) On Board Model Checking for Space Applications. In ESA Workshop on Avionics Data, Control and Software Systems (ADCSS). ESA/ESTEC, Noordwijk, The Netherlands, oct. (BibTeX)
  57. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2008) Symbolic Compilation of PSL. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(10):1737-1750. (url) (BibTeX)
  58. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2008) From Informal Requirements to Property-Driven Formal Validation. In FMICS., pages 166-181. (url) (BibTeX)
  59. Alessandro Cimatti, Marco Roveri, Viktor Schuppan and Andrei Tchaltsev (2008) Diagnostic Information for Realizability. In VMCAI., pages 52-67. (url) (BibTeX)
  60. Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2008) Object Models with Temporal Constraints. In SEFM., pages 249-258. (url) (BibTeX)
  61. Roderick Bloem, Alessandro Cimatti, Ingo Pill and Marco Roveri (2007) Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci., 18(4):727-743. (url) (BibTeX)
  62. Roderick Bloem, Marco Roveri and Fabio Somenzi (2007) Preface. Electr. Notes Theor. Comput. Sci., 174(4):1. (url) (BibTeX)
  63. Roberto Cavada, Alessandro Cimatti, Anders Franz{\'e}n, Krishnamani Kalyanasundaram, Marco Roveri and R. K. Shyamasundar (2007) Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. In FMCAD., pages 69-76. (url) (BibTeX)
  64. Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2007) Syntactic Optimizations for PSL Verification. In TACAS., pages 505-518. (url) (BibTeX)
  65. Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri and Andrei Tchaltsev (2007) RAT: A Tool for the Formal Analysis of Requirements. In CAV., pages 263-267. (url) (BibTeX)
  66. Alessandro Cimatti, Marco Roveri, Viktor Schuppan and Stefano Tonetta (2007) Boolean Abstraction for Temporal Logic Satisfiability. In CAV., pages 532-546. (url) (BibTeX)
  67. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri and Paolo Traverso (2006) Strong planning under partial observability. Artif. Intell., 170(4-5):337-384. (url) (BibTeX)
  68. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini and Andrei Tchaltsev (2006) RAT: A tool for formal analysis of requirements. In Demo Session of the \emph{$17^{th}$ European Conference on Artificial Intelligence} (ECAI) 2006. Riva Del Garda, Italy, aug. (BibTeX)
  69. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri and Simone Semprini (2006) Symbolic Implementation of Alternating Automata. In CIAA., pages 208-218. (url) (BibTeX)
  70. Alessandro Cimatti, Marco Roveri, Simone Semprini and Stefano Tonetta (2006) From PSL to NBA: a Modular Symbolic Encoding. In FMCAD., pages 125-133. (url) (BibTeX)
  71. Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem and Alessandro Cimatti (2006) Formal analysis of hardware requirements. In DAC., pages 821-826. (url) (BibTeX)
  72. Marco Pistore, Marco Roveri and Paolo Busetta (2004) Requirements-Driven Verification of Web Services. Electr. Notes Theor. Comput. Sci., 105:95-108. (url) (BibTeX)
  73. 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)
  74. 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)
  75. 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)
  76. Raman Kazhamiakin, Marco Pistore and Marco Roveri (2004) A Framework for Integrating Business Processes and Business Requirements. In EDOC., pages 9-20. (url) (BibTeX)
  77. Alessandro Cimatti, Marco Roveri and Daniel Sheridan (2004) Bounded Verification of Past LTL. In FMCAD., pages 245-259. (url) (BibTeX)
  78. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso. (2003) MBP: A Model Based Planner. In Notes of ICAPS'03: system demo session. Trento, Italy, jun. (BibTeX)
  79. Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso (2003) Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell., 147(1-2):35-84. (url) (BibTeX)
  80. Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri and John Mylopoulos (2003) Specifying and Analyzing Early Requirements: Some Experimental Results. In RE., pages 105-. (url) (BibTeX)
  81. Anna Perini, Marco Pistore, Marco Roveri and Angelo Susi (2003) Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In AOSE., pages 36-52. (url) (BibTeX)
  82. Marco Roveri (2002) Planning in Non Deterministic Domains via Symbolic Model Checking. AI*IA Notizie. (BibTeX)
  83. Marco Roveri (2002) Planning in Non-Deterministic Domains via Symbolic Model Checking. PhD thesis, Department if Computer Science, University of Milano. (BibTeX)
  84. Alessandro Cimatti, Marco Pistore, Marco Roveri and Roberto Sebastiani (2002) Improving the Encoding of LTL Model Checking into SAT. In VMCAI., pages 196-207. (url) (BibTeX)
  85. Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella (2002) NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In CAV., pages 359-364. (url) (BibTeX)
  86. Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella (2002) Integrating BDD-Based and SAT-Based Symbolic Model Checking. In FroCos., pages 49-56. (url) (BibTeX)
  87. Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso (2001) MBP: a Model Based Planner. In \emph{IJCAI-2001} workshop on \emph{Planning under Uncertainty and Incomplete Information}. Seattle, USA, aug. (BibTeX)
  88. Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella (2001) NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking. In \emph{IJCAR} workshop \emph{Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics}. Siena, Italy, jun. (BibTeX)
  89. Alessandro Cimatti, Marco Roveri and Piergiorgio Bertoli (2001) Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. In TACAS., pages 313-327. (url) (BibTeX)
  90. Piergiorgio Bertoli, Alessandro Cimatti and Marco Roveri (2001) Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space. In European Conference on Planning (ECP'2001). Toledo, Spain, sep. (BibTeX)
  91. Piergiorgio Bertoli, Alessandro Cimatti and Marco Roveri (2001) Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. In IJCAI., pages 467-472. (BibTeX)
  92. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri and Paolo Traverso (2001) Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In IJCAI., pages 473-478. (BibTeX)
  93. Alessandro Cimatti and Marco Roveri (2000) Forward Conformant Planning via Symbolic Model Checking. In {AIPS Workshop on Model-Theoretic Approaches to Planning}., pages 40-47. (BibTeX)
  94. Marco Roveri (2000) Abstraction in Model Checking for Bug Hunting. In {\emph{MOdelling and Verification of Parallel Processes} (MOVEP'2K) Computer Science and Automated Systems Summer School}. Nantes, France, jun. (BibTeX)
  95. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia and Marco Roveri (2000) NuSMV: A New Symbolic Model Checker. STTT, 2(4):410-425. (url) (BibTeX)
  96. Alessandro Cimatti and Marco Roveri (2000) Conformant Planning via Symbolic Model Checking. J. Artif. Intell. Res. (JAIR), 13:305-338. (url) (BibTeX)
  97. Alessandro Cimatti and Marco Roveri (1999) Conformant Planning via Model Checking. In ECP., pages 21-34. (BibTeX)
  98. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia and Marco Roveri (1999) NuSMV: A New Symbolic Model Verifier. In CAV., pages 495-499. (url) (BibTeX)
  99. Alessandro Cimatti, Fausto Giunchiglia and Marco Roveri (1998) Abstraction in Planning via Model Checking. In {Symposium on Abstraction, Reformulation, and Approximation (SARA-98)}. Pacific Grove, California USA, may. (BibTeX)
  100. Alessandro Cimatti, Fausto Giunchiglia and Marco Roveri (1998) Abstraction in Planning via Model Checking. In {FIREworks'98: Proceedings of the \emph{1st FIREworks Workshop}}. Magdeburg, Germany, may. (Gunter Saake and Can Turker, Eds.). (BibTeX)
  101. Alessandro Cimatti, Marco Roveri and Paolo Traverso (1998) Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. In AAAI/IAAI., pages 875-881. (BibTeX)
  102. Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia and Marco Roveri (1998) \textscNuSmv: a reimplementation of \textscsmv. In {FIREworks'98: Proceedings of the \emph{1st FIREworks Workshop}}. Magdeburg, Germany, may. (Gunter Saake and Can Turker, Eds.). (BibTeX)
  103. Alessandro Cimatti, Marco Roveri and Paolo Traverso (1998) Strong Planning in Non-Deterministic Domains Via Model Checking. In AIPS., pages 36-43. (BibTeX)
  104. Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia and Marco Roveri (1998) \textscNuSmv: a reimplementation of \textscsmv. In {International Workshop on Software Tools for Technology Transfer (STTT-98)}. Aalborg, Denmark, pages 25-31. (BibTeX)
  105. Marco Roveri (1997) Meccanizzazione di Astrazione: Problematiche ed Applicazioni (Mechanizing Abstraction: Problems and Applications). Master's thesis, Department of Communication, Computer and System Science, University of Genova, Italy. (BibTeX)
  106. Fausto Giunchiglia, Marco Roveri and Roberto Sebastiani (1997) A New Method for Testing Decision Procedures in Modal Logics. In CADE., pages 264-267. (url) (BibTeX)
  107. Marco Roveri and Adolfo Villafiorita (1996) Using abstraction to prove theorems in boolean algebra. In Working Notes of {AISB96} Workshop and Tutorial Programme on Automated Reasoning: Bridging the Gap between Theory and Practice. Brighton, UK, apr. AISB, pages 40-41. (BibTeX)
  108. Fabio Massacci, Silvio Ranise, Marco Roveri and Emmanuel Zarpas (1996) AISB96: Report on the 3rd workshop on automated reasoning. AISB Quarterly. (BibTeX)
  109. Fausto Giunchiglia, Marco Roveri and Roberto Sebastiani (1996) A New Method for Testing Decision Procedures in Modal and Terminological Logics. In Description Logics., pages 119-123. (BibTeX)