Roberto Sebastiani

2009
56	EE	Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding CoRR abs/0904.4709: (2009)
2008
55	EE	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: The MathSAT 4SMT Solver. CAV 2008: 299-303
54	EE	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412
2007
53	EE	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	EE	Roberto Sebastiani: From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. FroCos 2007: 28-46
51	EE	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	EE	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Property-Driven Partitioning for Abstraction Refinement. TACAS 2007: 389-404
49	EE	Byron Cook, Roberto Sebastiani: Preface and Foreword. Electr. Notes Theor. Comput. Sci. 174(8): 3-6 (2007)
48	EE	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	EE	Byron Cook, Roberto Sebastiani: Preface. JSAT 3(1-2): (2007)
46	EE	Roberto Sebastiani: Lazy Satisability Modulo Theories. JSAT 3(3-4): 141-224 (2007)
2006
45	EE	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	EE	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	EE	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	EE	Alessandro Cimatti, Roberto Sebastiani: Building Efficient Decision Procedures on Top of SAT Solvers. SFM 2006: 144-175
41	EE	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	EE	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	EE	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	EE	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	EE	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi: Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking. CAV 2005: 350-363
36	EE	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	EE	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	EE	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	EE	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
32	EE	Roberto Sebastiani, Paolo Giorgini, John Mylopoulos: Simple and Minimum-Cost Satisfiability for Goal Models. CAiSE 2004: 20-35
2003
31	EE	Roberto Sebastiani, Stefano Tonetta: "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking. CHARME 2003: 126-140
30	EE	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	EE	Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani: Formal Reasoning Techniques for Goal Models. J. Data Semantics 1: 1-20 (2003)
2002
28	EE	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	EE	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	EE	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	EE	Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani: Reasoning with Goal Models. ER 2002: 167-181
24	EE	Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani: Bounded Model Checking for Timed Systems. FORTE 2002: 243-259
23	EE	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	EE	Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani: Improving the Encoding of LTL Model Checking into SAT. VMCAI 2002: 196-207
21	EE	Steve Linton, Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34(4): 239 (2002)
2001
20	EE	Peter F. Patel-Schneider, Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468
19	EE	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	EE	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	EE	Enrico Giunchiglia, Roberto Sebastiani: Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999: 84-94
14	EE	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	EE	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	EE	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	EE	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	Piergiorgio Bertoli	[27] [28]
3	Dirk Beyer	[56]
4	Marco Bozzano	[34] [35] [36] [38] [39] [40] [41]
5	Roberto Bruttomesso	[34] [36] [38] [39] [40] [41] [44] [45] [53] [55]
6	Alan Bundy	[2] [8]
7	A. Chiappini	[14]
8	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]
9	Edmund M. Clarke	[26]
10	Byron Cook	[47] [49]
11	Anders Franzén	[41] [44] [45] [53] [55]
12	Paolo Giorgini	[25] [29] [32]
13	Enrico Giunchiglia	[10] [12] [15] [17] [23] [26]
14	Fausto Giunchiglia	[2] [3] [4] [5] [6] [7] [8] [9] [10] [17] [18] [19] [26]
15	Alberto Griggio	[44] [45] [51] [53] [54] [55] [56]
16	Ziyad Hanna	[41] [53]
17	Ian Horrocks	[16]
18	Tommi A. Junttila	[34] [36] [38] [39] [40]
19	M. Erkan Keremoglu	[56]
20	Zurab Khasidashvili	[41]
21	Artur Kornilowicz	[24] [27] [28]
22	Steve Linton	[21]
23	Alessandro Massarotto	[12]
24	John Mylopoulos	[25] [29] [32]
25	Alexander Nadel	[53]
26	Eleonora Nicchiarelli	[25] [29]
27	Amit Palti	[41] [53]
28	Peter F. Patel-Schneider	[16] [20] [30]
29	P. L. Pieraccini	[13]
30	Marco Pistore	[22] [23] [26]
31	Carmen Porzia	[14]
32	Silvio Ranise	[38] [40]
33	Peter van Rossum	[34] [36] [38] [39] [40]
34	G. Rotondo	[14]
35	Marco Roveri	[5] [9] [22] [23] [26]
36	Alessandro Santuari	[44]
37	Stephan Schulz	[34] [36] [39]
38	Eli Singerman	[33] [48]
39	Armando Tacchella	[10] [17] [23] [26]
40	Alessandro Tomasi	[19]
41	Stefano Tonetta	[31] [33] [37] [48] [50]
42	Paolo Traverso	[13] [14]
43	Moshe Y. Vardi	[33] [37] [48] [50]
44	Michele Vescovi	[43]
45	Adolfo Villafiorita	[6] [11] [13] [14]
46	Toby Walsh	[2] [6] [8]

Colors in the list of coauthors