Silvio Ranise

	2009
43		Silvio Ghilardi, Silvio Ranise: Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. TABLEAUX 2009: 173-188
42		Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): (2009)
41		Michele Barletta, Silvio Ranise, Luca Viganò: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) CoRR abs/0906.4570: (2009)
40		David Déharbe, Silvio Ranise: Satisfiability solving for software verification. STTT 11(3): 255-260 (2009)
	2008
39		Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Towards SMT Model Checking of Array-Based Systems. IJCAR 2008: 67-82
	2007
38		Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. CADE 2007: 362-378
37		Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli: From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. Deduction and Decision Procedures 2007
36		Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Noetherianity and Combination Problems. FroCos 2007: 206-220
35		Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Combining Proof-Producing Decision Procedures. FroCos 2007: 237-251
34		Silvio Ranise, Christelle Scharff: Building Extended Canonizers by Graph-Based Deduction. ICTAC 2007: 440-454
33		Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Decision procedures for extensions of the theory of arrays. Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007)
32		David Déharbe, Silvio Ranise, Jorgiano Vidal: Distributing the Workload in a Lazy Theorem-Prover. Electr. Notes Theor. Comput. Sci. 184: 21-37 (2007)
	2006
31		David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
30		Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. IJCAR 2006: 513-527
29		Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli: Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. JELIA 2006: 177-189
28		Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556
27		Silvio Ranise, Calogero G. Zarba: A Theory of Singly-Linked Lists and its Extensible Decision Procedure. SEFM 2006: 206-215
26		Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures CoRR abs/cs/0604054: (2006)
25		Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6): 71-81 (2006)
24		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006)
	2005
23		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349
22		Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba: Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCos 2005: 48-64
21		Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCos 2005: 65-80
20		Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608
19		Alessandro Armando, Luca Compagna, Silvio Ranise: Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning 2005: 30-45
	2004
18		David Déharbe, Abdessamad Imine, Silvio Ranise: Abstraction-Driven Verification of Array Programs. AISC 2004: 271-275
17		Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC 2004: 372-386
16		Pascal Fontaine, Silvio Ranise, Calogero G. Zarba: Combining Lists with Non-stably Infinite Theories. LPAR 2004: 51-66
15		Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise: Proving and Debugging Set-Based Specifications. Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004)
14		Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise: Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comp. Soc. 9(2): 17-36 (2004)
	2003
13		David Déharbe, Silvio Ranise: Light-Weight Theorem Proving for Debugging and Verifying Units of Code. SEFM 2003: 220-228
12		Silvio Ranise, David Déharbe: Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
11		Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: A rewriting approach to satisfiability procedures. Inf. Comput. 183(2): 140-164 (2003)
10		Alessandro Armando, Silvio Ranise: Constraint contextual rewriting. J. Symb. Comput. 36(1-2): 193-216 (2003)
	2002
9		Silvio Ranise: Combining Generic and Domain Specific Reasoning by Using Contexts. AISC 2002: 305-318
	2001
8		Alessandro Armando, Felice Peccia, Silvio Ranise: The Phase Transition of the Linear Inequalities Problem. CP 2001: 422-432
7		Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: Uniform Derivation of Decision Procedures by Superposition. CSL 2001: 513-527
6		Alessandro Armando, Luca Compagna, Silvio Ranise: System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR 2001: 663-669
5		Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)
4		Alessandro Armando, Silvio Ranise: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. J. UCS 7(2): 124-140 (2001)
	2000
3		Alessandro Armando, Silvio Ranise: Termination of Constraint Contextual Rewriting. FroCos 2000: 47-61
	1998
2		Alessandro Armando, Erica Melis, Silvio Ranise: Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38
1		Alessandro Armando, Silvio Ranise: From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. AISC 1998: 42-54

Coauthor Index

1	Alessandro Armando	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [19] [21] [26] [42]
2	Thomas Ball	[25]
3	Michele Barletta	[41]
4	Bernhard Beckert	[25]
5	Maria Paola Bonacina	[21] [26] [30] [42]
6	Marco Bozzano	[23] [24]
7	Roberto Bruttomesso	[23] [24]
8	Alessandro Cimatti	[23] [24]
9	Alessandro Coglio	[5]
10	Luca Compagna	[6] [19]
11	Jean-François Couchot	[14] [15]
12	Frédéric Dadeau	[15]
13	David Déharbe	[12] [13] [14] [15] [18] [31] [32] [40]
14	Pascal Fontaine	[16] [31]
15	Silvio Ghilardi	[29] [30] [33] [36] [37] [38] [39] [43]
16	Alain Giorgetti	[14] [15]
17	Fausto Giunchiglia	[5]
18	Cordell Green	[25]
19	Reiner Hähnle	[25]
20	C. A. R. Hoare (Tony Hoare)	[25]
21	Abdessamad Imine	[18]
22	Tommi A. Junttila	[23] [24]
23	Hélène Kirchner	[20] [28]
24	Erica Melis	[2]
25	Enrica Nicolini	[29] [30] [33] [36] [37] [38] [39]
26	Felice Peccia	[8]
27	Sriram K. Rajamani	[25]
28	Christophe Ringeissen	[17] [20] [22] [28] [31] [35]
29	Peter van Rossum	[23] [24]
30	Michaël Rusinowitch	[7] [11]
31	Christelle Scharff	[34]
32	Stephan Schulz	[21] [26] [42]
33	Roberto Sebastiani	[23] [24]
34	Douglas R. Smith	[25]
35	Cesare Tinelli	[25]
36	Duc-Khanh Tran	[17] [20] [28] [35]
37	Jorgiano Vidal	[32]
38	Luca Viganò	[41]
39	Calogero G. Zarba	[16] [22] [27]
40	Daniele Zucchelli	[29] [30] [33] [36] [37] [38] [39]

Colors in the list of coauthors