Florian Pigorsch

Florian Pigorsch

Universität Freiburg - Freiburg / Germany
Others
AD Scientific Index ID: 1784090
Albert Ludwig University of Freiburg
person_outline Florian Pigorsch's MOST POPULAR ARTICLES
1-) Exploiting structure in an AIG based QBF solver.F Pigorsch, C SchollDATE 2 (1), 2.5, 2009562009
2-) Exact state set representations in the verification of linear hybrid systems with large discrete state spaceW Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ...International Symposium on Automated Technology for Verification and …, 2007542007
3-) Fully symbolic model checking for timed automataG Morbé, F Pigorsch, C SchollInternational Conference on Computer Aided Verification, 616-632, 2011472011
4-) An AIG-based QBF-solver using SAT for preprocessingF Pigorsch, C SchollProceedings of the 47th Design Automation Conference, 170-175, 2010472010
5-) Advanced unbounded model checking based on AIGs, BDD sweeping, and quantifier schedulingF Pigorsch, C Scholl, S Disch2006 Formal Methods in Computer Aided Design, 89-96, 2006452006