Roberto Sebastiani

Cited by

	All	Since 2018
Citations	11353	3767
h-index	47	25
i10-index	81	49

740

370

185

555

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202340 37 68 57 64 70 164 203 298 321 357 465 502 490 565 547 551 603 634 669 683 721 666 644 671 623 440

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiFondazione 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 unitn.it
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
John MylopoulosUniversity of OttawaVerified email at cs.toronto.edu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Patrick TrentinUniversity of TrentoVerified email at unitn.it
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Ahmed IrfanSRI InternationalVerified email at cs.stanford.edu
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerified email at cril.fr
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.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, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	2438	2002
Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009	1961*	2009
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	685	2013
Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Conceptual Modeling—ER 2002: 21st International Conference on Conceptual …, 2003	399	2003
Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007	350	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	295	2005
The MathSAT 4 SMT Solver: Tool Paper R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	290	2008
Formal reasoning techniques for goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Journal on data semantics I, 1-20, 2003	242	2003
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	228	2002
Simple and minimum-cost satisfiability for goal models R Sebastiani, P Giorgini, J Mylopoulos Advanced Information Systems Engineering: 16th International Conference …, 2004	224	2004
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	191	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	177	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	169	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	145	2005
Efficient interpolant generation in satisfiability modulo theories A Cimatti, A Griggio, R Sebastiani Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008	116	2008
OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin International conference on computer aided verification, 447-454, 2015	114	2015
A SAT-based decision procedure for ALC F Giunchiglia, R Sebastiani KR 96, 304-314, 1996	114	1996
Efficient satisfiability modulo theories via delayed theory combination M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	108	2005
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	104	2010
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	104	2007

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