Stefan Friedrich

According to our database, Stefan Friedrich authored at least 10 papers between 1998 and 2004.

Collaborative distances:

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

2004

Topology.

Stefan Friedrich

Arch. Formal Proofs, 2004

Lazy Lists II.

Stefan Friedrich

Arch. Formal Proofs, 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

2000

B2M: A Semantic Based Tool for BLIF Hardware Descriptions.

David A. Basin, Stefan Friedrich, Sebastian Mödersheim

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Modeling a Hardware Synthesis Methodology in Isabelle.

David A. Basin, Stefan Friedrich

Formal Methods Syst. Des., 1999

Structural and Behavioral Modeling with Monadic Logics.

Abdelwaheb Ayari, David A. Basin, Stefan Friedrich

Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

Java Bytecode Verification by Model Checking.

David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Combining WS1S and HOL.

David A. Basin, Stefan Friedrich

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998