Florian Corzilius

14 papers A 3B 2Misc 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2016 B conf
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.
CASC
Gereon Kremer, Florian Corzilius, Erika Ábrahám
2016 — —
Integrating virtual substitution into strategic SMT solving.
Florian Corzilius
2016 — conf
Parameter Synthesis for Probabilistic Systems.
MBMV
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016 Misc conf
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.
SETTA
Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro
2015 — conf
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
CAV (1)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015 A conf
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.
SAT
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám
2014 — conf
Accelerating Parametric Probabilistic Verification.
QEST
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 A conf
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.
CADE
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
2013 J jnl
Accelerating Parametric Probabilistic Verification.
CoRR
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 — conf
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.
CAI
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
2012 A conf
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).
SAT
Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám
2011 — conf
On collaboratively conveying computer science to pupils.
Koli Calling
Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder
2011 B conf
Virtual Substitution for SMT-Solving.
FCT
Florian Corzilius, Erika Ábrahám
2010 — conf
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.
Verification over discrete-continuous boundaries
Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm