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: Santen:Thomas
Facilitated 1 volumes:
EdContributed to:
2013
2009200120001996
1995
1995Wrote 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.