Conference & Journal Articles VERIFIX

Title	Authors Published	Abstract	Docu- ment	Ref
2000
Verifying Compilers and ASMs	G.Goos W.Zimmermann
	Proceedings of ASM'2000 Workshop: Abstract State Machines, Theory and Applications, LNCS, Springer
Practical Construction of Correct Compiler Implementations by Runtime Result Verification	T.Gaul W.Zimmermann W.Goerigk
	Proceedings of SCI'2000: International Conference on Information Systems Analysis and Synthesis
1999
Verification of Compilers	G.Goos W.Zimmermann
	In: Correct System Design, LNCS, Springer
Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends	T.Gaul A.Heberle W.Zimmermann W.Goerigk
	Proceedings of RTRV'99: Workshop on Runtime Result Verification
Advanced Generator Techniques for Embedded Compilers	T.Gaul G.Schumacher
	Proceedings of the EMMSEC'99 Conference Stockholm, Sweden
On Trojan Horses in Compiler Implementations	W.Goerigk
	Proc. des Workshops Sicherheit und Zuverlässigkeit softwarebasierter Systeme
Construction of Verified Compiler Front-Ends with Program-Checking	A.Heberle T.Gaul W.Goerigk G.Goos W.Zimmermann
	Proceedings of PSI'99: Andrei Ershov Third International Conference on Perspectives Of System Informatics
Formal Verification of a Compiler Back-end Generic Checker Program	A.Dold V.Vialard
	Proceedings of PSI'99: Andrei Ershov Third International Conference on Perspectives Of System Informatics
1998
Mechanized Verification of Compiler Back-Ends	A.Dold T.Gaul W.Zimmermann
	Proceedings of the International Workshop on Software Tools for Technology Transfer STTT '98
Praktikable Konstruktion korrekter Übersetzer	W.Goerigk T.Gaul W.Zimmermann A.Heberle U.Hoffmann
	Softwaretechnik-Trends: Beiträge der GI-Fachtagung Softwaretechnik 98
Correct Programs without Proof? On Checker-Based Program Verification	W.Goerigk T.Gaul W.Zimmermann
	Proceedings of the ATOOLS'98 Workshop on ``Tool Support for System Specification, Development, and Verification'', Malente
On Light-Weight Verification and Heavy-Weight Testing	F.v.Henke S.Owre S.Pfab H.Ruess
	Proceedings of the ATOOLS'98 Workshop on ``Tool Support for System Specification, Development, and Verification'', Malente
Towards Rigorous Compiler Implementation Verification (Short Version).	W.Goerigk
	In R. Berghammer and F. Simon (eds.) Workshop on Programming Languages and Fundamentals of Programming, Avendorf, September 1998.
Correct Implementation of Compiler Programs.	U.Hoffmann
	In R. Berghammer and F. Simon (eds.) Workshop on Programming Languages and Fundamentals of Programming, Avendorf, September 1998.
Compiler Implementation Verification through Rigorous Syntactical Code Inspection.	U.Hoffmann
	Ph.D. Thesis, Technical Faculty, CAU Kiel, 1998.
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct	W.Goerigk U.Hoffmann
	FM-TRENDS'98
Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis	S.Glesner W.Zimmermann
	FM-TRENDS'98
ASM-Based Mechanized Verification of Compiler Backends	A.Dold T.Gaul V.Vialard W.Zimmermnan
	Proceedings of the 5th International Workshop on Abstract State Machines
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations	A.Heberle W.Löwe
	Proceedings of the 5th International Workshop on Abstract State Machines
Safe Reuse of Source to Intermediate Language Compilations	A.Heberle W.Löwe M.Trapp
	Proceedings of the 9th International Symposium on Software Reliability Engineering, Fast Abstracts and Industrial Tracks
Compiler Techniques for Fast Migration of Embedded Applications	T.Gaul G.Schumacher
	Proceedings of the EMMSEC'98 Conference, Bordeaux, France
Software Development in PVS using Generic Development Steps	A.Dold
	Proc. of a Dagstuhl Seminar on Generic Programming (April 98)
Towards Rigorous Compiler Implementation Verification.	W.Goerigk F.Simon
	Proceedings VIM Spring and Winter Workshops, Springer LNCS, Ravello, Italy, 1998. To Appear.
1997
Formal Verification of Transformations for Peephole Optimizations	A.Dold F.v.Henke H.Pfeifer H.Ruess
	(FME97) Formal Methods: Their Industrial Application and Strengthened Foundations, 1997
On the Construction of Correct Compiler Back-Ends: An ASM Approach	T.Gaul W.Zimmermann
	Journal of Universal Computer Science, 1997
An Architecture for Verified Compiler Construction	T.Gaul G.Goos A.Heberle W.Goerigk W.Zimmermann
	Joint Modular Languages Conference 1997 Poster Session
Zur Konstruktion verifizierter Übersetzer	T.Gaul G.Goos A.Heberle W.Zimmermann
	GI Arbeitstagung Programmiersprachen 1997
Generierung von kompletten Compiler-Frontends	A.Heberle W.Löwe
	GI Arbeitstagung Programmiersprachen 1997
Korrekte Implementierung von Übersetzungsspezifikationen in hoher Programmiersprache	U.Hoffmann
	GI Arbeitstagung Programmiersprachen 1997
The ProCoS Approach to Correct Systems.	H.Langmaack
	Real Time Systems (13), 1997.
Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Übersetzerkorrektheit.	H.Langmaack
	Informationstechnik und Technische Informatik it-ti 97(3):41-47, 1997.
Theoretische Informatik ist Grundlage für das sichere Beherrschen realistischer Software und Systeme.	H.Langmaack
	In 25 Jahre Informatik Hamburg. Informatik: Stand, Trend, Visionen. Bericht FBI-HH-B-195/97, Hamburg, 1997.
Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification.	H.Langmaack
	Foundations of Computer Science: Potential-Theory-Cognition, Springer LNCS 1337, 1997.
Modular Compiler Verification. A Refinement-Algebraic Approach Advocating Stepwise Abstraction.	M.Müller-Olm
	LNCS 1283, Springer Verlag, 1997.
1996
Compiler Correctness and Implementation Verification: The Verifix Approach	W.Goerigk A.Dold T.Gaul G.Goos A.Heberle F.Henke U.Hoffmann H.Langmaack H.Pfeifer H.Ruess W.Zimmermann
	Poster Session CC'96
Über die korrekte Implementierung von Compilern	U.Hoffmann
	Proceedings of Workshop Alternative Konzepte für Sprachen und Rechner, Bad Honnef, 1996.