Stefan Friedrich

11 papers A* 1B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2004 J jnl
Lazy Lists II.
Arch. Formal Proofs
Stefan Friedrich
2004 J jnl
Topology.
Arch. Formal Proofs
Stefan Friedrich
2003 J jnl
Bytecode Verification by Model Checking.
J. Autom. Reason.
David A. Basin, Stefan Friedrich, Marek Gawkowski
2002 — conf
Bytecode Model Checking: An Experimental Analysis.
SPIN
David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
2002 — conf
Verified Bytecode Model Checkers.
TPHOLs
David A. Basin, Stefan Friedrich, Marek Gawkowski
2000 B conf
B2M: A Semantic Based Tool for BLIF Hardware Descriptions.
FMCAD
David A. Basin, Stefan Friedrich, Sebastian Mödersheim
1999 A* conf
Java Bytecode Verification by Model Checking.
CAV
David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
1999 J jnl
Modeling a Hardware Synthesis Methodology in Isabelle.
Formal Methods Syst. Des.
David A. Basin, Stefan Friedrich
1999 — conf
Structural and Behavioral Modeling with Monadic Logics.
ISMVL
Abdelwaheb Ayari, David A. Basin, Stefan Friedrich
1998 — conf
Combining WS1S and HOL.
FroCoS
David A. Basin, Stefan Friedrich
1996 — conf
Modeling a Hardware Synthesis Methodology in Isabelle.
TPHOLs
David A. Basin, Stefan Friedrich