Florian Corzilius

According to our database, Florian Corzilius authored at least 13 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Integrating virtual substitution into strategic SMT solving.

Florian Corzilius

PhD thesis, 2016

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies.

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Parameter Synthesis for Probabilistic Systems.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.

Gereon Kremer, Florian Corzilius, Erika Ábrahám

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.

Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Accelerating Parametric Probabilistic Verification.

Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers.

Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.

Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker

Proceedings of the Automated Deduction - CADE-24, 2013

2012

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).

Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

On collaboratively conveying computer science to pupils.

Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder

Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

Virtual Substitution for SMT-Solving.

Florian Corzilius, Erika Ábrahám

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

2010

A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.

Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010