Anders Franzén

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Venues

BMMDS/EMMSAD

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini
Optimizing Monitoring Requirements in Self-adaptive Systems. BMMDS/EMMSAD (2012)
Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev
Applying SMT in symbolic execution of microcode. FMCAD (2010)
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
Tighter integration of BDDs and SMT for Predicate Abstraction. DATE (2010)
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico
Satisfiability Modulo the Theory of Costs: Foundations and Applications. TACAS (2010)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
The MathSAT 4SMT Solver. CAV (2008)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV (2007)
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. FMCAD (2007)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. LPAR (2006)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani
). LPAR (2006)
Anders Franzén
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
Encoding RTL Constructs for MathSAT: a Preliminary Report. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)

Anders Franzén.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anders Franzén