The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Roveri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:875-881 [Conf]
  2. Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Strong Planning in Non-Deterministic Domains Via Model Checking. [Citation Graph (0, 0)][DBLP]
    AIPS, 1998, pp:36-43 [Conf]
  3. Anna Perini, Marco Pistore, Marco Roveri, Angelo Susi
    Agent-Oriented Modeling by Interleaving Formal and Informal Specification. [Citation Graph (0, 0)][DBLP]
    AOSE, 2003, pp:36-52 [Conf]
  4. Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
    A New Method for Testing Decision Procedures in Modal Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:264-267 [Conf]
  5. Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
    NuSMV 2: An OpenSource Tool for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:359-364 [Conf]
  6. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
    NUSMV: A New Symbolic Model Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:495-499 [Conf]
  7. Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
    Formal analysis of hardware requirements. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:821-826 [Conf]
  8. Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
    A New Method for Testing Decision Procedures in Modal and Terminological Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:119-123 [Conf]
  9. Alessandro Cimatti, Marco Roveri
    Conformant Planning via Model Checking. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:21-34 [Conf]
  10. Raman Kazhamiakin, Marco Pistore, Marco Roveri
    A Framework for Integrating Business Processes and Business Requirements. [Citation Graph (0, 0)][DBLP]
    EDOC, 2004, pp:9-20 [Conf]
  11. Alessandro Cimatti, Marco Roveri, Daniel Sheridan
    Bounded Verification of Past LTL. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:245-259 [Conf]
  12. Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta
    From PSL to NBA: a Modular Symbolic Encoding. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:125-133 [Conf]
  13. Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
    Integrating BDD-Based and SAT-Based Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:49-56 [Conf]
  14. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri
    Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:467-472 [Conf]
  15. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:473-478 [Conf]
  16. Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
    Specifying and Analyzing Early Requirements: Some Experimental Results. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:105-0 [Conf]
  17. Raman Kazhamiakin, Marco Pistore, Marco Roveri
    Formal Verification of Requirements using SPIN: A Case Study on Web Services. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:406-415 [Conf]
  18. Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
    Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:313-327 [Conf]
  19. Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani
    Improving the Encoding of LTL Model Checking into SAT. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:196-207 [Conf]
  20. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
    Symbolic Implementation of Alternating Automata. [Citation Graph (0, 0)][DBLP]
    CIAA, 2006, pp:208-218 [Conf]
  21. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
    Strong planning under partial observability. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:4-5, pp:337-384 [Journal]
  22. Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
    Weak, strong, and strong cyclic planning via symbolic model checking. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:147, n:1-2, pp:35-84 [Journal]
  23. Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
    Conformant planning via symbolic model checking and heuristic search. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:159, n:1-2, pp:127-206 [Journal]
  24. Marco Pistore, Marco Roveri, Paolo Busetta
    Requirements-Driven Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:95-108 [Journal]
  25. Roderick Bloem, Marco Roveri, Fabio Somenzi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:1- [Journal]
  26. Alessandro Cimatti, Marco Roveri
    Conformant Planning via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2000, v:13, n:, pp:305-338 [Journal]
  27. Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
    Specifying and analyzing early requirements in Tropos. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2004, v:9, n:2, pp:132-150 [Journal]
  28. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
    NUSMV: A New Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:410-425 [Journal]
  29. Francesco Amigoni, Nicola Gatti, C. Pinciroli, Marco Roveri
    What planner for ambient intelligence applications? [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2005, v:35, n:1, pp:7-21 [Journal]
  30. Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
    RAT: A Tool for the Formal Analysis of Requirements. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:263-267 [Conf]
  31. Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
    Boolean Abstraction for Temporal Logic Satisfiability. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:532-546 [Conf]
  32. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
    Syntactic Optimizations for PSL Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:505-518 [Conf]

  33. Requirements Validation for Hybrid Systems. [Citation Graph (, )][DBLP]


  34. RATSY - A New Requirements Analysis Tool with Synthesis. [Citation Graph (, )][DBLP]


  35. A Model Checker for AADL. [Citation Graph (, )][DBLP]


  36. Tighter integration of BDDs and SMT for Predicate Abstraction. [Citation Graph (, )][DBLP]


  37. Structure-aware computation of predicate abstraction. [Citation Graph (, )][DBLP]


  38. Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. [Citation Graph (, )][DBLP]


  39. Formalization and validation of a subset of the European Train Control System. [Citation Graph (, )][DBLP]


  40. Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]


  41. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]


  42. Object Models with Temporal Constraints. [Citation Graph (, )][DBLP]


  43. Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]


  44. Diagnostic Information for Realizability. [Citation Graph (, )][DBLP]


  45. From Informal Requirements to Property-Driven Formal Validation. [Citation Graph (, )][DBLP]


  46. Formalization and Validation of Safety-Critical Requirements [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002