Florian Corzilius

RWTH Aachen University — Germany

Computer Science · Physical Sciences

9h-index365citations16works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(10), Logic, programming, and type systems(6), Polynomial and algebraic computation(4), Advanced Software Engineering Methodologies(3), Software Testing and Debugging Techniques(3)

Publications16 total

moves-rwth/carl-storm: 14.34
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Integration der virtuellen Substitution in strategisches SMT Solving
RWTH Publications (RWTH Aachen)·2016· 1 citedOpen Access
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Lecture notes in computer science·2016· 16 cited
Parameter synthesis for probabilistic systems
FreiDok plus (Universitätsbibliothek Freiburg)·2016· 3 citedOpen Access
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Lecture notes in computer science·2016· 33 cited
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
Lecture notes in computer science·2015· 116 cited
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
Lecture notes in computer science·2015· 69 cited
Accelerating Parametric Probabilistic Verification
Lecture notes in computer science·2014· 55 cited
Accelerating Parametric Probabilistic Verification
arXiv (Cornell University)·2013Open Access
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
Lecture notes in computer science·2013· 14 cited
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
Lecture notes in computer science·2013· 12 cited
Interval Constraint Propagation in SMT Compliant Decision Procedures
2013· 2 cited
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox
Lecture notes in computer science·2012· 26 cited
On collaboratively conveying computer science to pupils
2011
Virtual Substitution for SMT-Solving
Lecture notes in computer science·2011· 13 cited
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2010· 5 citedOpen Access

Frequent Co-authors

Erika Ábrahám(14), Ulrich Loup(6), Sebastian Junges(5), Nils Jansen(5), Matthias Volk(4), Joost-Pieter Katoen(4), Gereon Kremer(4), Bernd Becker(3), Christian Dehnert(2), Harold Bruintjes(2), Stefan Schupp(2), Ralf Wimmer(2), Einar Broch Johnsen(1), Jacopo Mauro(1), Karsten Scheibler(1), Thomas Sturm(1), Peter Rossmanith(1), Matthias Volk(1), Tobias Winkler(1), Stefan Schupp(1)