Anders Franzén

13 papers A* 2A 2B 4Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2012 — conf
Optimizing Monitoring Requirements in Self-adaptive Systems.
BMMDS/EMMSAD
Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini
2010 B conf
Applying SMT in symbolic execution of microcode.
FMCAD
Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev
2010 — —
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT.
Anders Franzén
2010 A conf
Satisfiability Modulo the Theory of Costs: Foundations and Applications.
TACAS
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico
2010 A conf
Tighter integration of BDDs and SMT for Predicate Abstraction.
DATE
Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
2009 J jnl
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis.
Ann. Math. Artif. Intell.
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
2008 A* conf
The MathSAT 4SMT Solver.
CAV
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
2007 A* conf
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
CAV
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
2007 B conf
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
FMCAD
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
2006 B conf
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.
LPAR
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
2006 B conf
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in
LPAR
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani
2005 — conf
Encoding RTL Constructs for MathSAT: a Preliminary Report.
PDPAR@CAV
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
2005 — conf
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs.
BMC@CAV
Anders Franzén