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 × France
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Germany
Collaborated with:
D.Leinenbach S.Helke E.Meyer S.Dick Kolyang B.Wolff M.Heisel D.Zimmermann J.Katoen T.Noll H.Wu D.Seifert
Talks about:
behavior (2) conform (2) system (2) base (2) architectur (1) hypervisor (1) transform (1) microsoft (1) implement (1) algorithm (1)

Person: Thomas Santen

DBLP DBLP: Santen:Thomas

Facilitated 1 volumes:

IFM 2000Ed

Contributed to:

DATE 20132013
FM 20092009
FME 20012001
IFM 20002000
FME 19961996
ESEC 19951995
KBSE 19951995

Wrote 7 papers:

DATE-2013-KatoenNWSS #energy #modelling #optimisation
Model-based energy optimization of automotive control systems (JPK, TN, HW, TS, DS), pp. 761–766.
FM-2009-LeinenbachS #verification
Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.
FME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.
IFM-2000-MeyerS #approach #behaviour #consistency #uml #using #verification
Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.
FME-1996-KolyangSW #implementation
Correct and User-Friendly Implementations of Transformation Systems (K, TS, BW), pp. 629–648.
ESEC-1995-HeiselSZ #architecture #development #formal method #tool support
Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.
KBSE-1995-DickS #algorithm
Searching for a Global Algorithm (SD, TS), pp. 52–59.

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.