BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
2 × USA
Collaborated with:
R.Ernst J.Staschulat M.Jersak K.Richter A.Schulze K.Tindell H.Kopetz D.Ziegenbein J.Braam Z.Jiang
Talks about:
softwar (4) automot (3) analysi (3) formal (2) process (1) perform (1) develop (1) context (1) sensit (1) method (1)

Person: Fabian Wolf

DBLP DBLP: Wolf:Fabian

Contributed to:

DATE 20052005
DATE 20032003
DAC 20022002
LCTES/OM 20012001

Wrote 5 papers:

DATE-2005-StaschulatESW #analysis #performance
Context Sensitive Performance Analysis of Automotive Applications (JS, RE, AS, FW), pp. 165–170.
DATE-2003-JersakREBJW #formal method #integration
Formal Methods for Integration of Automotive Software (MJ, KR, RE, JCB, ZYJ, FW), pp. 20045–20050.
DATE-2003-TindellKWE #development
Safe Automotive Software Development (KT, HK, FW, RE), pp. 10616–10623.
DAC-2002-WolfSE #analysis #formal method
Associative caches in formal software timing analysis (FW, JS, RE), pp. 622–627.
LCTES-OM-2001-ZiegenbeinWRJE #analysis #process
Interval-Based Analysis of Software Processes (DZ, FW, KR, MJ, RE), pp. 94–101.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.