Florian Pigorsch

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Quantified Boolean Formulae

Real Valued Time Series

Finite State Automaton

Top Venues

Sci. Comput. Program.

Publications

Christoph Scholl, Florian Pigorsch
The QBF Solver AIGSolve. QBF@SAT (2016)
Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus
Simple interpolants for linear arithmetic. DATE (2014)
Florian Pigorsch, Christoph Scholl
Lemma localization: a practical method for downsizing SMT-interpolants. DATE (2013)
Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
Enhanced Integration of QBF Solving Techniques. MBMV (2012)
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Sci. Comput. Program. 77 (10-11) (2012)
Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
Integration of orthogonal QBF solving techniques. DATE (2011)
Georges Morbé, Florian Pigorsch, Christoph Scholl
Fully Symbolic Model Checking for Timed Automata. CAV (2011)
Florian Pigorsch, Christoph Scholl
An AIG-Based QBF-solver using SAT for preprocessing. DAC (2010)
Florian Pigorsch, Christoph Scholl
Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. MBMV (2009)
Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. TACAS (2009)
Florian Pigorsch, Christoph Scholl
Exploiting structure in an AIG based QBF solver. DATE (2009)
Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA (2007)
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA (2006)
Florian Pigorsch, Christoph Scholl, Stefan Disch
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. FMCAD (2006)
Florian Pigorsch, Christoph Scholl, Stefan Disch
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. MBMV (2006)