Florian Pigorsch

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