Roberto Sebastiani

Cited by

	All	Since 2017
Citations	10496	3654
h-index	45	25
i10-index	80	52

720

360

180

540

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202234 35 75 54 67 70 159 203 279 325 356 454 508 505 559 545 540 592 622 677 694 708 665 657 657 273

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Patrick TrentinUniversity of TrentoVerified email at unitn.it
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerified email at cril.fr
Ahmed IrfanAmazon Web Services (AWS)Verified email at cs.stanford.edu
Peter van RossumVerified email at cs.ru.nl
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy

Verified email at unitn.it - Homepage

SMT SAT Formal Verification Automated Reasoning Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... International conference on computer aided verification, 359-364, 2002	2297	2002
Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009	1660*	2009
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	588	2013
Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani International Conference on Conceptual Modeling, 167-181, 2002	386	2002
Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007	323	2007
Goal-oriented requirements analysis and reasoning in the tropos methodology P Giorgini, J Mylopoulos, R Sebastiani Engineering Applications of Artificial Intelligence 18 (2), 159-171, 2005	284	2005
The MathSAT 4 SMT Solver R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani International Conference on Computer Aided Verification, 299-303, 2008	283	2008
Formal reasoning techniques for goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Journal on data semantics I, 1-20, 2003	240	2003
Simple and minimum-cost satisfiability for goal models R Sebastiani, P Giorgini, J Mylopoulos International Conference on Advanced Information Systems Engineering, 20-35, 2004	220	2004
A SAT based approach for solving formulas over boolean and linear mathematical propositions G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani International Conference on Automated Deduction, 195-210, 2002	217	2002
Software model checking via large-block encoding D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani 2009 Formal Methods in Computer-Aided Design, 25-32, 2009	188	2009
Building decision procedures for modal logics from propositional decision procedures—the case study of modal K F Giunchiglia, R Sebastiani International Conference on Automated Deduction, 583-597, 1996	172	1996
Bounded model checking for timed systems G Audemard, A Cimatti, A Kornilowicz, R Sebastiani International Conference on Formal Techniques for Networked and Distributed …, 2002	161	2002
Verifying industrial hybrid systems with MathSAT G Audemard, M Bozzano, A Cimatti, R Sebastiani Electronic Notes in Theoretical Computer Science 119 (2), 17-32, 2005	140	2005
OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin Journal of Automated Reasoning 64 (3), 423-460, 2020	129	2020
A SAT-based decision procedure for ACC F Giunchiglia, R Sebastiani Proc. KR'96, 304-314, 1996	112	1996
Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Rossum, ... International Conference on Computer Aided Verification, 335-349, 2005	108	2005
Efficient interpolant generation in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2008	106	2008
A Lazy and Layered SMT() Solver for Hard Industrial Verification Problems R Bruttomesso, A Cimatti, A Franzén, A Griggio, Z Hanna, A Nadel, A Palti, ... International Conference on Computer Aided Verification, 547-560, 2007	103	2007
Satisfiability modulo the theory of costs: Foundations and applications A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico International Conference on Tools and Algorithms for the Construction and …, 2010	101	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors