Seguir
Roberto Sebastiani
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Dirección de correo verificada de unitn.it - Página principal
Título
Citado por
Citado por
Año
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
25702002
Satisfiability Modulo Theories
C Barrett, R Sebastiani, S Seshia, C Tinelli
The Handbook of Satisfiability, 2009
2074*2009
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2013
7542013
Reasoning with goal models
P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani
Conceptual Modeling—ER 2002: 21st International Conference on Conceptual …, 2003
4122003
Lazy satisfiability modulo theories
R Sebastiani
Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007
3692007
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
3082005
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
3012008
Formal reasoning techniques for goal models
P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani
Journal on data semantics I, 1-20, 2003
2462003
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
2292002
Simple and minimum-cost satisfiability for goal models
R Sebastiani, P Giorgini, J Mylopoulos
Advanced Information Systems Engineering: 16th International Conference …, 2004
2272004
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
2012009
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
1761996
Bounded model checking for timed systems
G Audemard, A Cimatti, A Kornilowicz, R Sebastiani
International Conference on Formal Techniques for Networked and Distributed …, 2002
1682002
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
1432005
OptiMathSAT: A tool for optimization modulo theories
R Sebastiani, P Trentin
International conference on computer aided verification, 447-454, 2015
1272015
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
1162008
A SAT-based decision procedure for ACC
F Giunchiglia, R Sebastiani
Proc. KR'96, 304-314, 1996
1151996
Satisfiability modulo theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of satisfiability, 1267-1329, 2021
1132021
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
1122005
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
1092010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20