Search the dblp DataBase
Silvio Ranise :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Silvio Ranise Combining Generic and Domain Specific Reasoning by Using Contexts. [Citation Graph (0, 0)][DBLP ] AISC, 2002, pp:305-318 [Conf ] 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 ] David Déharbe , Abdessamad Imine , Silvio Ranise Abstraction-Driven Verification of Array Programs. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:271-275 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Alessandro Armando , Silvio Ranise Termination of Constraint Contextual Rewriting. [Citation Graph (0, 0)][DBLP ] FroCos, 2000, pp:47-61 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Silvio Ranise , Christophe Ringeissen , Duc-Khanh Tran Combining Proof-Producing Decision Procedures. [Citation Graph (0, 0)][DBLP ] FroCos, 2007, pp:237-251 [Conf ] Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli Noetherianity and Combination Problems. [Citation Graph (0, 0)][DBLP ] FroCos, 2007, pp:206-220 [Conf ] Silvio Ranise , Christelle Scharff Building Extended Canonizers by Graph-Based Deduction. [Citation Graph (0, 0)][DBLP ] ICTAC, 2007, pp:440-454 [Conf ] 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 ] 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 ] 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 ] Towards SMT Model Checking of Array-Based Systems. [Citation Graph (, )][DBLP ] MCMT: A Model Checker Modulo Theories. [Citation Graph (, )][DBLP ] From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. [Citation Graph (, )][DBLP ] Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. [Citation Graph (, )][DBLP ] Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. [Citation Graph (, )][DBLP ] Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) [Citation Graph (, )][DBLP ] Light-Weight SMT-based Model Checking. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs