BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
2 × Germany
3 × Italy
Collaborated with:
G.Schellhorn J.Quante W.Reif V.Schulte-Coerne M.Balser K.Stenzel C.Tischer B.Boss A.Müller R.Acharya K.Schmid
Talks about:
softwar (2) reengin (2) develop (2) automot (2) formal (2) architectur (1) challeng (1) product (1) system (1) specif (1)

Person: Andreas Thums

DBLP DBLP: Thums:Andreas

Contributed to:

ICSM 20122012
SPLC 20122012
CSMR 20092009
FME 20032003
IJCAR 20012001
FASE 20002000

Wrote 6 papers:

ICSM-2012-ThumsQ #embedded #re-engineering
Reengineering embedded automotive software (AT, JQ), pp. 493–502.
SPLC-2012-TischerBMTAS #architecture #product line
Developing long-term stable product line architectures (CT, BB, AM, AT, RA, KS), pp. 86–95.
CSMR-2009-Schulte-CoerneTQ #challenge #re-engineering
Challenges in Reengineering Automotive Software (VSC, AT, JQ), pp. 315–316.
FME-2003-ThumsS #model checking
Model Checking FTA (AT, GS), pp. 739–757.
IJCAR-2001-ReifST #detection #specification
Flaw Detection in Formal Specifications (WR, GS, AT), pp. 642–657.
FASE-2000-BalserRSST #development
Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.

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.