40 Jahre Informatik in München - Fakultät für Informatik - TUM

SCHULZ, MARTIN: Shared Memory Programming on NUMA-based Clusters
using a General and Open Hybrid Hardware/Software Approach.
Bode – Hellwagner (Klagenfurt) 6.7.2001
MALIK, ANDREAS: Model-based Test Generation for Repair and its Application
to Vehicle Diagnosis. Struss – Neumann (Hamburg) 10.7.2001
SACHENBACHER, MARTIN: Automated Qualitative Abstraction and its
Application to Automotive Systems.
Struss – Gottlob (TU Wien) 10.7.2001
KAPS, ANDREAS: CSCW in der Bioinformatik — ein objektorientiertes
Groupwaresystem zur Unterstützung in der Gen- und Genomanalyse.
Schlichter – Mewes (GSF, Neuherberg) 11.7.2001
MÜLLER, ROBERT: Fingerprint Verification with Microprocessor Security
Tokens. Proebster – Bornemann (MA) 12.7.2001
DEIFEL,BERNHARD: Requirements Engineering komplexer Standardsoftware.
Broy – Schlichter 30.7.2001
MEHL, MIRIAM: Ein interdisziplinärer Ansatz zur dreidimensionalen numerischen
Simulation von Biofilmsystemen auf der Mikroskala.
Zenger – Bungartz 7.8.2001
BAUMANN, ANDREA: Robot Motion Planning in Timevarying Environments.
Siegert – Brauer 30.10.2001
RAUSCH, ANDREAS: Componentware: Methodik des evolutionären Architekturentwurfs.
Broy – Denert 12.11.2001
STAUNER, THOMAS: Systematic Development of Hybrid Systems.
Broy – Färber (EI) 13.11.2001
SIHLING, MARC: Methodische Entwicklung und rollenbasierte Integration
von Komponentenframework. Broy – Pree (Konstanz) 16.11.2001
VILBIG,ALEXANDER: Komponentenbasiertes Rapid Prototyping am Beispiel
der Biomolekularen Sequenzanalyse.
Broy – Staudenbauer (WZW) 30.11.2001
WEISS, CHRISTIAN: Data Locality Optimization for Multigrid Methods
on Structured Grids. Bode – Rüde – Jessen 20.12.2001
LIEBL, WOLFGANG: Optimale Kommunikation mobiler Systeme in heterogenen
Funknetzen. Baumgarten – Jessen 21.12.2001
WENZEL, MARKUS: Isabelle/Isar —aversatile environment for humanreadable
formal proof documents.
Nipkow – Schwichtenberg (LMU) 1.2.2002
VOLL, ULRICH: Threshold Phenomena in Branching Trees and Sparse
Random Graphs. Steger – Goerdt (Chemnitz) 4.2.2002
424