Suivre
Roberto Sebastiani
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Adresse e-mail validée de unitn.it - Page d'accueil
Titre
Citée par
Citée par
Année
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
25952002
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
7712013
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
3722007
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20