The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Silvio Ranise: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Armando, Erica Melis, Silvio Ranise
    Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:28-38 [Conf]
  2. Silvio Ranise
    Combining Generic and Domain Specific Reasoning by Using Contexts. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:305-318 [Conf]
  3. Alessandro Armando, Silvio Ranise
    From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:42-54 [Conf]
  4. David Déharbe, Abdessamad Imine, Silvio Ranise
    Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:271-275 [Conf]
  5. Alessandro Armando, Luca Compagna, Silvio Ranise
    Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:30-45 [Conf]
  6. Alessandro Armando, Luca Compagna, Silvio Ranise
    System Description: RDL : Rewrite and Decision Procedure Laboratory. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:663-669 [Conf]
  7. Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:513-527 [Conf]
  8. 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]
  9. Alessandro Armando, Felice Peccia, Silvio Ranise
    The Phase Transition of the Linear Inequalities Problem. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:422-432 [Conf]
  10. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
    Uniform Derivation of Decision Procedures by Superposition. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:513-527 [Conf]
  11. Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
    Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:48-64 [Conf]
  12. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
    On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:65-80 [Conf]
  13. Alessandro Armando, Silvio Ranise
    Termination of Constraint Contextual Rewriting. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:47-61 [Conf]
  14. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:372-386 [Conf]
  15. David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
    Decision Procedures for the Formal Analysis of Software. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:366-370 [Conf]
  16. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    On Superposition-Based Satisfiability Procedures and Their Combination. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:594-608 [Conf]
  17. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:177-189 [Conf]
  18. Pascal Fontaine, Silvio Ranise, Calogero G. Zarba
    Combining Lists with Non-stably Infinite Theories. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:51-66 [Conf]
  19. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Automatic Combinability of Rewriting-Based Satisfiability Procedures. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:542-556 [Conf]
  20. David Déharbe, Silvio Ranise
    Light-Weight Theorem Proving for Debugging and Verifying Units of Code. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:220-228 [Conf]
  21. Silvio Ranise, Calogero G. Zarba
    A Theory of Singly-Linked Lists and its Extensible Decision Procedure. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:206-215 [Conf]
  22. Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
    Proving and Debugging Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:189-208 [Journal]
  23. Silvio Ranise, David Déharbe
    Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  24. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
    A rewriting approach to satisfiability procedures. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:183, n:2, pp:140-164 [Journal]
  25. 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]
  26. Jean-Francois Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise
    Scalable Automated Proving and Debugging of Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
    J. Braz. Comp. Soc., 2004, v:9, n:2, pp:17-36 [Journal]
  27. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
    The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:305-332 [Journal]
  28. Alessandro Armando, Silvio Ranise
    Constraint contextual rewriting. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:193-216 [Journal]
  29. Alessandro Armando, Silvio Ranise
    A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:124-140 [Journal]
  30. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:362-378 [Conf]
  31. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Combining Proof-Producing Decision Procedures. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:237-251 [Conf]
  32. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Noetherianity and Combination Problems. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:206-220 [Conf]
  33. Silvio Ranise, Christelle Scharff
    Building Extended Canonizers by Graph-Based Deduction. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:440-454 [Conf]
  34. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Decision procedures for extensions of the theory of arrays. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:231-254 [Journal]
  35. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
    New results on rewrite-based satisfiability procedures [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  36. David Déharbe, Silvio Ranise, Jorgiano Vidal
    Distributing the Workload in a Lazy Theorem-Prover. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:21-37 [Journal]

  37. Towards SMT Model Checking of Array-Based Systems. [Citation Graph (, )][DBLP]


  38. MCMT: A Model Checker Modulo Theories. [Citation Graph (, )][DBLP]


  39. From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. [Citation Graph (, )][DBLP]


  40. Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. [Citation Graph (, )][DBLP]


  41. Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. [Citation Graph (, )][DBLP]


  42. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  43. Preface. [Citation Graph (, )][DBLP]


  44. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) [Citation Graph (, )][DBLP]


  45. Light-Weight SMT-based Model Checking. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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