Florian Pigorsch

According to our database, Florian Pigorsch authored at least 15 papers between 2006 and 2016.

Collaborative distances:

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

2016

The QBF Solver AIGSolve.

Christoph Scholl, Florian Pigorsch

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

2014

Simple interpolants for linear arithmetic.

Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Lemma localization: a practical method for downsizing SMT-interpolants.

Florian Pigorsch, Christoph Scholl

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2012

Enhanced Integration of QBF Solving Techniques.

Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011

Integration of orthogonal QBF solving techniques.

Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker

Proceedings of the Design, Automation and Test in Europe, 2011

Fully Symbolic Model Checking for Timed Automata.

Georges Morbé, Florian Pigorsch, Christoph Scholl

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

An AIG-Based QBF-solver using SAT for preprocessing.

Florian Pigorsch, Christoph Scholl

Proceedings of the 47th Design Automation Conference, 2010

2009

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.

Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Using Implications for Optimizing State Set Representations of Linear Hybrid Systems.

Florian Pigorsch, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Exploiting structure in an AIG based QBF solver.

Florian Pigorsch, Christoph Scholl

Proceedings of the Design, Automation and Test in Europe, 2009

2007

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling.

Florian Pigorsch, Christoph Scholl, Stefan Disch

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling.

Florian Pigorsch, Christoph Scholl, Stefan Disch

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Automatic Verification of Hybrid Systems with Large Discrete State Space.

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Proceedings of the Automated Technology for Verification and Analysis, 2006