Roberto Sebastiani
Roberto Sebastiani
Associate Professor in Computer Science, DISI, University of Trento, Italy
Verified email at unitn.it - Homepage
TitleCited byYear
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
International Conference on Computer Aided Verification, 359-364, 2002
18842002
Satisfiability modulo theories
C Barrett, C Tinelli
Handbook of Model Checking, 305-343, 2018
9602018
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2013
3692013
Reasoning with goal models
P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani
International Conference on Conceptual Modeling, 167-181, 2002
3232002
Lazy satisfiability modulo theories
R Sebastiani
Journal on Satisfiability, Boolean Modeling and Computation 3, 141-224, 2007
2652007
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
2282005
The MathSAT 4 SMT Solver
R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani
International Conference on Computer Aided Verification, 299-303, 2008
2252008
Formal reasoning techniques for goal models
P Giorgini, J Mylopoulos, E Nicchiarelli, R Sebastiani
Journal on Data Semantics I, 1-20, 2003
2172003
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
2062002
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
203*1996
Simple and minimum-cost satisfiability for goal models
R Sebastiani, P Giorgini, J Mylopoulos
International Conference on Advanced Information Systems Engineering, 20-35, 2004
1912004
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
1422009
Bounded model checking for timed systems
G Audemard, A Cimatti, A Kornilowicz, R Sebastiani
International Conference on Formal Techniques for Networked and Distributed …, 2002
1422002
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
1262005
A SAT-based decision procedure for ALC
F Giunchiglia, R Sebastiani
KR 96, 304-314, 1996
1041996
Efficient satisfiability modulo theories via delayed theory combination
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, S Ranise, P Van Rossum, ...
International Conference on Computer Aided Verification, 335-349, 2005
972005
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
Journal of Automated Reasoning 35 (1-3), 265-293, 2005
922005
“more deterministic” vs.“smaller” Büchi automata for efficient LTL model checking
R Sebastiani, S Tonetta
Advanced Research Working Conference on Correct Hardware Design and …, 2003
882003
Efficient interpolant generation in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2008
872008
An incremental and layered procedure for the satisfiability of linear arithmetic logic
M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ...
International Conference on Tools and Algorithms for the Construction and …, 2005
852005
The system can't perform the operation now. Try again later.
Articles 1–20