The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Sebastiani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
    Computing Abstraction Hierarchies by Numerical Simulation. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:523-529 [Conf]
  2. Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani
    Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:948-953 [Conf]
  3. Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh
    A General Purpose Reasoner for Abstraction. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 1996, pp:323-335 [Conf]
  4. Enrico Giunchiglia, Roberto Sebastiani
    Applying the Davis-Putnam Procedure to Non-clausal Formulas. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:84-94 [Conf]
  5. Roberto Sebastiani, Adolfo Villafiorita
    SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:377-388 [Conf]
  6. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:231-245 [Conf]
  7. Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:195-210 [Conf]
  8. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
    The MathSAT 3 System. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:315-321 [Conf]
  9. 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]
  10. Fausto Giunchiglia, Roberto Sebastiani
    Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:583-597 [Conf]
  11. Peter F. Patel-Schneider, Roberto Sebastiani
    A New System and Methodology for Generating Random Modal Formulae. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:464-468 [Conf]
  12. Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
    Simple and Minimum-Cost Satisfiability for Goal Models. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2004, pp:20-35 [Conf]
  13. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
    Efficient Satisfiability Modulo Theories via Delayed Theory Combination. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:335-349 [Conf]
  14. 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]
  15. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    GSTE Is Partitioned Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:229-241 [Conf]
  16. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
    Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:350-363 [Conf]
  17. Roberto Sebastiani, Stefano Tonetta
    "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:126-140 [Conf]
  18. 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]
  19. Fausto Giunchiglia, Roberto Sebastiani
    An SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:49-59 [Conf]
  20. Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
    Reasoning with Goal Models. [Citation Graph (0, 0)][DBLP]
    ER, 2002, pp:167-181 [Conf]
  21. Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
    Formal Specification and Validation of a Vital Communication Protocol. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1584-1604 [Conf]
  22. Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani
    Bounded Model Checking for Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:243-259 [Conf]
  23. 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]
  24. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
    More Evaluation of Decision Procedures for Modal Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:626-635 [Conf]
  25. Fausto Giunchiglia, Roberto Sebastiani
    A SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:304-314 [Conf]
  26. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
    Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:527-541 [Conf]
  27. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani
    To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:557-571 [Conf]
  28. A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
    Formal Specification and Development of a Safety-Critical Train Management System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:410-419 [Conf]
  29. Roberto Sebastiani, Michele Vescovi
    Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:130-135 [Conf]
  30. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
    An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:317-333 [Conf]
  31. Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia
    Model Checking Syllabi and Student Carreers. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:128-142 [Conf]
  32. 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]
  33. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
    Calculating Criticalities. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:88, n:1-2, pp:39-67 [Journal]
  34. Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani
    Verifying Industrial Hybrid Systems with MathSAT. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:17-32 [Journal]
  35. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
    Encoding RTL Constructs for MathSAT: a Preliminary Report. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:3-14 [Journal]
  36. Fausto Giunchiglia, Roberto Sebastiani
    Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:162, n:1-2, pp:158-178 [Journal]
  37. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani
    Efficient theory combination via boolean search. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1493-1525 [Journal]
  38. Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani
    An Analysis of Empirical Testing for Modal Decision Procedures. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
  39. Peter F. Patel-Schneider, Roberto Sebastiani
    A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:18, n:, pp:351-389 [Journal]
  40. Roberto Sebastiani
    Applying GSAT to Non-Clausal Formulas (Research Note). [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1994, v:1, n:, pp:309-314 [Journal]
  41. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
    SAT vs. translation based decision procedures for modal logics: a comparative evaluation. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal]
  42. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
    MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:265-293 [Journal]
  43. Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
    Formal Reasoning Techniques for Goal Models. [Citation Graph (0, 0)][DBLP]
    J. Data Semantics, 2003, v:1, n:, pp:1-20 [Journal]
  44. Steve Linton, Roberto Sebastiani
    Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:34, n:4, pp:239- [Journal]
  45. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
    A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:547-560 [Conf]
  46. Roberto Sebastiani
    From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:28-46 [Conf]
  47. Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
    A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:334-339 [Conf]
  48. Alessandro Cimatti, Roberto Sebastiani
    Building Efficient Decision Procedures on Top of SAT Solvers. [Citation Graph (0, 0)][DBLP]
    SFM, 2006, pp:144-175 [Conf]
  49. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
    Property-Driven Partitioning for Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:389-404 [Conf]
  50. Byron Cook, Roberto Sebastiani
    Preface and Foreword. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:3-6 [Journal]
  51. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    GSTE is partitioned model checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:31, n:2, pp:177-196 [Journal]

  52. Interpolant Generation for UTVPI. [Citation Graph (, )][DBLP]


  53. Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. [Citation Graph (, )][DBLP]


  54. The MathSAT 4SMT Solver. [Citation Graph (, )][DBLP]


  55. Software model checking via large-block encoding. [Citation Graph (, )][DBLP]


  56. Efficient Interpolant Generation in Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]


  57. Satisfiability Modulo the Theory of Costs: Foundations and Applications. [Citation Graph (, )][DBLP]


  58. Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. [Citation Graph (, )][DBLP]


  59. Software Model Checking via Large-Block Encoding [Citation Graph (, )][DBLP]


  60. Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories [Citation Graph (, )][DBLP]


Search in 0.167secs, Finished in 0.170secs
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