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
25942002
Satisfiability Modulo Theories
C Barrett, R Sebastiani, S Seshia, C Tinelli
The Handbook of Satisfiability, 2009
2133*2009
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2013
7722013
Reasoning with goal models
P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani
Conceptual Modeling—ER 2002: 21st International Conference on Conceptual …, 2003
4162003
Lazy satisfiability modulo theories
R Sebastiani
Journal on Satisfiability, Boolean Modeling and Computation 3 (3-4), 141-224, 2007
3712007
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
3102005
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
2492003
Simple and minimum-cost satisfiability for goal models
R Sebastiani, P Giorgini, J Mylopoulos
Advanced Information Systems Engineering: 16th International Conference …, 2004
2312004
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
2312002
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
2052009
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
1771996
Bounded model checking for timed systems
G Audemard, A Cimatti, A Kornilowicz, R Sebastiani
International Conference on Formal Techniques for Networked and Distributed …, 2002
1692002
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
1292015
Satisfiability modulo theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of satisfiability, 1267-1329, 2021
1192021
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
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
1112010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20