Florian Pigorsch
Contact
Dipl.-Inf. Florian Pigorsch
Institut für Informatik
Lehrstuhl für Betriebssysteme
Georges-Koehler-Allee 51
D-79110 Freiburg
Room 51-02-032
Fon: +49-761-203-8196
Fax: +49-761-203-8142
Email: pigorsch@informatik.uni-freiburg.de
Research & Projects
- And-Inverter Graphs (AIG)
- Quantified Boolean Formulae (QBF) solving
- Symbolic CTL-Model Checking
- Transregional Collaborative Research Center 14: Automatic Verification and Analysis of Complex Systems (AVACS): Main AVACS site, GForge server
Publications
2007
-
Exact state set representation 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,
and Boris Wirtz
To appear in 5th International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japan, October 22-25, 2007.
Preliminary version published as AVACS Technical Report No. 21, atr021.bib
2006
-
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
Florian Pigorsch, Christoph Scholl, and Stefan Disch
In Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD 2006), pages 89-96, November 12-16 2006, San Jose, CA, USA. IEEE Computer Society Press.
psd2006b.pdf, psd2006b.bib, IEEE Xplore -
Automatic Verification of Hybrid Systems with Large Discrete State Space
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
In Susanne Graf and Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, LNCS 4218, pages 276-291, Beijing, China, October 23-26, 2006. Springer-Verlag.
ddhp+2006.pdf, ddhp+2006.bib, SpringerLink -
Advanced unbounded model checking by using AIGs, BDD sweeping and quantifier scheduling
Florian Pigorsch, Christoph Scholl, and Stefan Disch
9th ITG/GI/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", February 2006, Dresden, Germany
psd2006.pdf, psd2006.bib
2005
-
And-Inverter-Graphen und deren Anwendung in der Verifikation
Florian Pigorsch
Diplomarbeit, Albert-Ludwigs-Universität Freiburg, July 2005
Events
2008
- 11. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen": organizational support
2007
- 12th IEEE European Test Symposium, ETS07: organizational support
Teaching Support
Summer Term 2007
- Diploma Thesis Verbesserung von Simulationsmethoden auf AIGs, Martin Herrmann
Winter Term 2006/2007
-
Organisation and assistance for the lecture Technische Informatik
Links to the lecture's web page, exercise portal, electures page, forum.
Additional material
Summer Term 2006
- Assistance for the seminar Verifikation und Fehlerdiagnose
Various Interesting Things
- Some C++ Hacks
- dotviz - A Qt4 based DOT viewer
- GDM themes for ABS and IRA