Roberto Sebastiani

Goal-oriented requirements analysis and reasoning in the Tropos methodology

Paolo Giorgini, John Mylopoulos, Roberto Sebastiani · Engineering Applications of Artificial Intelligence · 2005 · 224 citations

Engineering, Systems Engineering, Knowledge Representation +13

Lazy Satisfiability Modulo Theories

Roberto Sebastiani · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 221 citations · Full text

Computing, Computer Science, Formal Methods +12

Software model checking via large-block encoding

Dirk Beyer, Alessandro Cimatti, Alberto Griggio et al. · 2009 · 147 citations · Full text

Computing, Computer Engineering, Computer Science +16

Verifying Industrial Hybrid Systems with MathSAT

Gilles Audemard, Marco Bozzano, Alessandro Cimatti et al. · Electronic Notes in Theoretical Computer Science · 2005 · 106 citations · Full text

Computing, Computer Science, Industrial Engineering +17

Software Model Checking via Large-Block Encoding

Dirk Beyer, Alessandro Cimatti, Alberto Griggio et al. · ArXiv.org · 2009 · 88 citations · Full text

Computing, Computer Engineering, Computer Science +16