Anders Franzn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2006–2012
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CaiSE | Optimizing Monitoring Requirements in Self-adaptive Systems. | Raian Ali, Alberto Griggio, Anders Franzn, Fabiano Dalpiaz, Paolo Giorgini |
| 2010 | DATE | Tighter integration of BDDs and SMT for Predicate Abstraction. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri |
| 2010 | FMCAD | Applying SMT in symbolic execution of microcode. | Anders Franzn, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev |
| 2010 | TACAS | Satisfiability Modulo the Theory of Costs: Foundations and Applications. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani, Cristian Stenico |
| 2008 | CAV | The MathSAT 4SMT Solver. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani |
| 2007 | CAV | A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani |
| 2007 | FMCAD | Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. | Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
| 2006 | LPAR | Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Roberto Sebastiani |
| 2006 | LPAR | To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani |