Roberto Sebastiani

	2009
62		Silvio Ghilardi, Roberto Sebastiani: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings Springer 2009
61		Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Interpolant Generation for UTVPI. CADE 2009: 167-182
60		Roberto Sebastiani, Michele Vescovi: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. CADE 2009: 84-99
59		Roberto Sebastiani, Armando Tacchella: SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2009: 781-824
58		Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli: Satisfiability Modulo Theories. Handbook of Satisfiability 2009: 825-885
57		Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding CoRR abs/0904.4709: (2009)
56		Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories CoRR abs/0906.4492: (2009)
	2008
55		Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: The MathSAT 4SMT Solver. CAV 2008: 299-303
54		Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412
	2007
53		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. CAV 2007: 547-560
52		Roberto Sebastiani: From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. FroCos 2007: 28-46
51		Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. SAT 2007: 334-339
50		Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404
49		Byron Cook, Roberto Sebastiani: Preface and Foreword. Electr. Notes Theor. Comput. Sci. 174(8): 3-6 (2007)
48		Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)
47		Byron Cook, Roberto Sebastiani: Preface. JSAT 3(1-2): (2007)
46		Roberto Sebastiani: Lazy Satisability Modulo Theories. JSAT 3(3-4): 141-224 (2007)
	2006
45		Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. LPAR 2006: 527-541
44		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). LPAR 2006: 557-571
43		Roberto Sebastiani, Michele Vescovi: Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC. SAT 2006: 130-135
42		Alessandro Cimatti, Roberto Sebastiani: Building Efficient Decision Procedures on Top of SAT Solvers. SFM 2006: 144-175
41		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. Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006)
40		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
39		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
38		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
37		Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363
36		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. TACAS 2005: 317-333
35		Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani: Verifying Industrial Hybrid Systems with MathSAT. Electr. Notes Theor. Comput. Sci. 119(2): 17-32 (2005)
34		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. J. Autom. Reasoning 35(1-3): 265-293 (2005)
	2004
33		Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
32		Roberto Sebastiani, Paolo Giorgini, John Mylopoulos: Simple and Minimum-Cost Satisfiability for Goal Models. CAiSE 2004: 20-35
	2003
31		Roberto Sebastiani, Stefano Tonetta: "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. CHARME 2003: 126-140
30		Peter F. Patel-Schneider, Roberto Sebastiani: A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. J. Artif. Intell. Res. (JAIR) 18: 351-389 (2003)
29		Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani: Formal Reasoning Techniques for Goal Models. J. Data Semantics 1: 1-20 (2003)
	2002
28		Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. AISC 2002: 231-245
27		Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. CADE 2002: 195-210
26		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. CAV 2002: 359-364
25		Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani: Reasoning with Goal Models. ER 2002: 167-181
24		Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002: 243-259
23		Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002: 49-56
22		Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
21		Steve Linton, Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34(4): 239 (2002)
	2001
20		Peter F. Patel-Schneider, Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468
19		Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia: Model Checking Syllabi and Student Carreers. TACAS 2001: 128-142
	2000
18		Fausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Inf. Comput. 162(1-2): 158-178 (2000)
17		Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: SAT vs. translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics 10(2): (2000)
16		Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8(3): (2000)
	1999
15		Enrico Giunchiglia, Roberto Sebastiani: Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999: 84-94
14		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. SAFECOMP 1999: 410-419
13		Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999: 1584-1604
	1998
12		Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani: Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI 1998: 948-953
11		Roberto Sebastiani, Adolfo Villafiorita: SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998: 377-388
10		Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635
	1997
9		Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267
	1996
8		Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529
7		Fausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. CADE 1996: 583-597
6		Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335
5		Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123
4		Fausto Giunchiglia, Roberto Sebastiani: An SAT-based Decision Procedure for ALC. Description Logics 1996: 49-59
3		Fausto Giunchiglia, Roberto Sebastiani: A SAT-based Decision Procedure for ALC. KR 1996: 304-314
2		Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)
	1994
1		Roberto Sebastiani: Applying GSAT to Non-Clausal Formulas (Research Note). J. Artif. Intell. Res. (JAIR) 1: 309-314 (1994)

Coauthor Index

1	Gilles Audemard	[24] [27] [28] [35]
2	Clark W. Barrett (Clark Barrett)	[58]
3	Piergiorgio Bertoli	[27] [28]
4	Dirk Beyer	[57]
5	Marco Bozzano	[34] [35] [36] [38] [39] [40] [41]
6	Roberto Bruttomesso	[34] [36] [38] [39] [40] [41] [44] [45] [53] [55]
7	Alan Bundy	[2] [8]
8	A. Chiappini	[14]
9	Alessandro Cimatti	[13] [14] [22] [23] [24] [26] [27] [28] [34] [35] [36] [38] [39] [40] [41] [42] [44] [45] [51] [53] [54] [55] [56] [57] [61]
10	Edmund M. Clarke	[26]
11	Byron Cook	[47] [49]
12	Anders Franzén	[41] [44] [45] [53] [55]
13	Silvio Ghilardi	[62]
14	Paolo Giorgini	[25] [29] [32]
15	Enrico Giunchiglia	[10] [12] [15] [17] [23] [26]
16	Fausto Giunchiglia	[2] [3] [4] [5] [6] [7] [8] [9] [10] [17] [18] [19] [26]
17	Alberto Griggio	[44] [45] [51] [53] [54] [55] [56] [57] [61]
18	Ziyad Hanna	[41] [53]
19	Ian Horrocks	[16]
20	Tommi A. Junttila	[34] [36] [38] [39] [40]
21	M. Erkan Keremoglu	[57]
22	Zurab Khasidashvili	[41]
23	Artur Kornilowicz	[24] [27] [28]
24	Steve Linton	[21]
25	Alessandro Massarotto	[12]
26	John Mylopoulos	[25] [29] [32]
27	Alexander Nadel	[53]
28	Eleonora Nicchiarelli	[25] [29]
29	Amit Palti	[41] [53]
30	Peter F. Patel-Schneider	[16] [20] [30]
31	P. L. Pieraccini	[13]
32	Marco Pistore	[22] [23] [26]
33	Carmen Porzia	[14]
34	Silvio Ranise	[38] [40]
35	Peter van Rossum	[34] [36] [38] [39] [40]
36	G. Rotondo	[14]
37	Marco Roveri	[5] [9] [22] [23] [26]
38	Alessandro Santuari	[44]
39	Stephan Schulz	[34] [36] [39]
40	Sanjit A. Seshia	[58]
41	Eli Singerman	[33] [48]
42	Armando Tacchella	[10] [17] [23] [26] [59]
43	Cesare Tinelli	[58]
44	Alessandro Tomasi	[19]
45	Stefano Tonetta	[31] [33] [37] [48] [50]
46	Paolo Traverso	[13] [14]
47	Moshe Y. Vardi	[33] [37] [48] [50]
48	Michele Vescovi	[43] [60]
49	Adolfo Villafiorita	[6] [11] [13] [14]
50	Toby Walsh	[2] [6] [8]

Colors in the list of coauthors