| 2003 |
|---|
| 8 | EE | David A. Basin,
Stefan Friedrich,
Marek Gawkowski:
Bytecode Verification by Model Checking.
J. Autom. Reasoning 30(3-4): 399-444 (2003) |
| 2002 |
|---|
| 7 | EE | David A. Basin,
Stefan Friedrich,
Marek Gawkowski,
Joachim Posegga:
Bytecode Model Checking: An Experimental Analysis.
SPIN 2002: 42-59 |
| 6 | EE | David A. Basin,
Stefan Friedrich,
Marek Gawkowski:
Verified Bytecode Model Checkers.
TPHOLs 2002: 47-66 |
| 2000 |
|---|
| 5 | EE | David A. Basin,
Stefan Friedrich,
Sebastian Mödersheim:
B2M: A Semantic Based Tool for BLIF Hardware Descriptions.
FMCAD 2000: 91-107 |
| 1999 |
|---|
| 4 | EE | David A. Basin,
Stefan Friedrich,
Joachim Posegga,
Harald Vogt:
Java Bytecode Verification by Model Checking.
CAV 1999: 491-494 |
| 3 | EE | Abdelwaheb Ayari,
David A. Basin,
Stefan Friedrich:
Structural and Behavioral Modeling with Monadic Logics.
ISMVL 1999: 142-151 |
| 2 | | David A. Basin,
Stefan Friedrich:
Modeling a Hardware Synthesis Methodology in Isabelle.
Formal Methods in System Design 15(2): 99-122 (1999) |
| 1996 |
|---|
| 1 | | David A. Basin,
Stefan Friedrich:
Modeling a Hardware Synthesis Methodology in Isabelle.
TPHOLs 1996: 33-50 |
