Marek Gawkowski

According to our database, Marek Gawkowski authored at least 5 papers between 2002 and 2008.

Collaborative distances:

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

2008

Formal framework for proof generating optimizers.

Marek Gawkowski

PhD thesis, 2008

2004

Towards Proof Generating Compilers.

Arnd Poetzsch-Heffter, Marek Gawkowski

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

2003

Bytecode Verification by Model Checking.

David A. Basin, Stefan Friedrich, Marek Gawkowski

J. Autom. Reason., 2003

2002

Verified Bytecode Model Checkers.

David A. Basin, Stefan Friedrich, Marek Gawkowski

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Bytecode Model Checking: An Experimental Analysis.

David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga

Proceedings of the Model Checking of Software, 2002