Roberto Sebastiani

Cited by

	All	Since 2017
Citations	10659	3806
h-index	45	25
i10-index	80	53

720

360

180

540

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202234 35 75 54 67 70 161 201 279 325 356 459 508 498 558 546 543 598 621 676 693 710 667 657 655 423

Public access

View all

10 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 IrfanSRI InternationalVerified email at cs.stanford.edu
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerified email at eprover.org
Peter van RossumVerified email at cs.ru.nl
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu

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	2312	2002
Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009	1730*	2009
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	603	2013
Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani International Conference on Conceptual Modeling, 167-181, 2002	390	2002
Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007	329	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	285	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	241	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	218	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	189	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	173	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	165	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	137	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

Cited by

Co-authors