Roberto Sebastiani

Citeret af

	Alle	Siden 2020
Henvisninger	13025	3622
h-index	51	23
i10-indeks	88	50

780

390

195

585

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 36 71 58 65 67 168 212 283 327 350 478 525 497 591 590 595 651 676 705 719 770 707 673 758 665 695 731 98

Offentlig adgang

Se alle

17 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Alessandro CimattiFondazione Bruno KesslerVerificeret mail på fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerVerificeret mail på fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerificeret mail på unitn.it
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerificeret mail på unitn.it
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerificeret mail på unige.it
Enrico GiunchigliaDIBRIS - Università di GenovaVerificeret mail på unige.it
Roberto BruttomessoExpert Researcher and Software EngineerVerificeret mail på atrenta.com
John MylopoulosUniversity of OttawaVerificeret mail på cs.toronto.edu
Paolo GiorginiProfessor of Computer Science, University of TrentoVerificeret mail på unitn.it
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerificeret mail på fbk.eu
Marco BozzanoFondazione Bruno KesslerVerificeret mail på fbk.eu
Clark BarrettStanford UniversityVerificeret mail på cs.stanford.edu
Patrick TrentinUniversity of TrentoVerificeret mail på unitn.it
Cesare TinelliProfessor of Computer Science, The University of IowaVerificeret mail på uiowa.edu
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerificeret mail på cril.fr
Ahmed IrfanSRI InternationalVerificeret mail på cs.stanford.edu
Andrea PasseriniAssociate Professor, University of TrentoVerificeret mail på disi.unitn.it
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerificeret mail på eprover.org
Artur KorniłowiczUniwersytet w BiałymstokuVerificeret mail på math.uwb.edu.pl
Peter van RossumVerificeret mail på cs.ru.nl

Følg

Roberto Sebastiani

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

Verificeret mail på unitn.it - Startside

SMT SAT Formal Verification Automated Reasoning Artificial Intelligence


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	2628	2002
Satisfiability Modulo Theories C Barrett, R Sebastiani, S Seshia, C Tinelli The Handbook of Satisfiability, 2009	2222*	2009
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	797	2013
19 Goal Modeling and Reasoning in Tropos P Giorgini, J Mylopoulos, R Sebastiani	521	2011
Reasoning with goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Conceptual Modeling—ER 2002: 21st International Conference on Conceptual …, 2003	417	2003
Lazy satisfiability modulo theories R Sebastiani Journal on Satisfiability, Boolean Modelling and Computation 3 (3-4), 141-224, 2007	371	2007
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	306	2008
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	306	2005
Formal reasoning techniques for goal models P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani Journal on data semantics I, 1-20, 2003	248	2003
Simple and minimum-cost satisfiability for goal models R Sebastiani, P Giorgini, J Mylopoulos Advanced Information Systems Engineering: 16th International Conference …, 2004	232	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	232	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	206	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	179	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	166	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	144	2005
OptiMathSAT: A tool for optimization modulo theories R Sebastiani, P Trentin International conference on computer aided verification, 447-454, 2015	133	2015
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	115	2010
A SAT-based decision procedure for ACC F Giunchiglia, R Sebastiani Proc. KR'96, 304-314, 1996	114	1996
Satisfiability modulo theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of satisfiability, 1267-1329, 2021	113	2021
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	113	2008

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere