Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Friedrich 0001

> Home > Persons

Person information

affiliation: Albert Ludwigs University of Freiburg, Department of Computer Science, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2004
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Friedrich04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Friedrich04
Stefan Friedrich:
Lazy Lists II. Arch. Formal Proofs 2004 (2004)
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Friedrich04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Friedrich04a
Stefan Friedrich:
Topology. Arch. Formal Proofs 2004 (2004)
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BasinFG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BasinFG03
David A. Basin, Stefan Friedrich, Marek Gawkowski:
Bytecode Verification by Model Checking. J. Autom. Reason. 30(3-4): 399-444 (2003)
1999
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BasinF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BasinF99
David A. Basin, Stefan Friedrich:
Modeling a Hardware Synthesis Methodology in Isabelle. Formal Methods Syst. Des. 15(2): 99-122 (1999)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2002
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BasinFGP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BasinFGP02
David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga:
Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BasinFG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BasinFG02
David A. Basin, Stefan Friedrich, Marek Gawkowski:
Verified Bytecode Model Checkers. TPHOLs 2002: 47-66
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/BasinFM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BasinFM00
David A. Basin, Stefan Friedrich, Sebastian Mödersheim:
B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD 2000: 91-107
1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BasinFPV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BasinFPV99
David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt:
Java Bytecode Verification by Model Checking. CAV 1999: 491-494
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AyariBF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AyariBF99
Abdelwaheb Ayari, David A. Basin, Stefan Friedrich:
Structural and Behavioral Modeling with Monadic Logics. ISMVL 1999: 142-151
1998
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/frocos/BasinF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BasinF98
David A. Basin, Stefan Friedrich:
Combining WS1S and HOL. FroCoS 1998: 39-56
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BasinF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BasinF96
David A. Basin, Stefan Friedrich:
Modeling a Hardware Synthesis Methodology in Isabelle. TPHOLs 1996: 33-50

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.