Florian Corzilius

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 3

Top Venues

SAT

SETTA

CoRR

CAV (1)

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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

Florian Corzilius.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florian Corzilius