Hans-Dieter Ehrich

General

Prof. em. Dr. Hans-Dieter Ehrich


Emeritus

Technische Universität Braunschweig
Institut für Informationssysteme
Mühlenpfordtstraße 23, 2.OG
D-38106 Braunschweig Deutschland


Phone: +49 (531) 391 3267
Email: HD.Ehrich@tu-bs.de
Room: 235

Detail

Research interests - information systems  modeling, design, specification, implementation and checking; definition and implementation of the modeling and design language TROLL; theoretical foundations: temporal logic, (multi-)object logic, distributed model checking; among others.
Application projects - bioinformatic databases and modeling; specification, design and checking of railway interlocking systems; integrated specification of a train control system; several others.

Courses - undergratuates: algorithms and data structures; graduates: database systems, information systems design, conceptual modeling of information systems, transaction processing, digital libraries, managing data in bioinformatics.

Professional CV- 1967-71 research and teaching assistent,  U Hannover; 1967-71 research and teaching assistent,  U Kiel; 1974-82 professor of theoretical computer science, U Dortmund; 1979-80 dean of the faculty; 1982-2007 professor of databases and information systems, TU Braunschweig; 1997-99 dean of the faculty; since 2007 emeritus.

Science Organization - 1998-2005 chairman of the advisory board (Beirat) of the Minerva Center "Verification of Reactive Systems" at the Weizmann Institute in Rehovot, Israel. Member of the editorial board of the "Journal of Logic in Computer Science", Oxford University Press. 1992-2000 member of the inspection and advisory board (Fachbeirat) of the Max-Planck-Institut für Informatik in Saarbrücken. 1997-2000 coordinator of the EU ESPRIT 4 Working Group 22704 ASPIRE. Organizer, Coorganizer, member of program committee, member of steering committee etc. of many conferences and workshops.

Memberships - IFIP Working Group 3.1 (Foundations of System Specification), since 1992; IFIP Working Group 2.6 (Databases), 1985-96; GI Fachausschuss 2.5 (Rechnergestützte Informations-systeme), 1987-98; ISO TC 96 SC 5 WG 3 (Conceptual Model), 1979-82; ACM, IEEE (until 2007), GI, EATCS (until 2000); Braunschweigische Wissenschaftliche Gesellschaft, since 1992.

Downloads:

 

  • here is a list of people who worked with me some time between 1982 and 2007. I am very grateful, we had a good time!
  • I supervised these PhD theses, and I coached these habilitations
  • here is my publication list in chronological order
  • here is my publication list grouped by categories
  • here is the list of publications of my group, including those which I did not coauthor (until 2005)

Below please find my online publication list in reverse chronological order; many of the papers are offered for download.

 

Publications
1990
1989
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract  Download: 1989AbstrObjTypes.pdf (393.35 KB)
Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Block of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract  Download: 1989BBBofIS.pdf (1.08 MB)
Lohmann, F., K. Neumann, and H. - D. Ehrich, "Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen", Proc GI/SI-Fachtagung ``Datenbanksysteme in Büro, Technik und Wissenschaft'': Springer, Berlin, 1989, pp. 43-57, 1989. Abstract  Download: 1989BTW.pdf (557.01 KB)
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Objects, Object Types, and Object Identification", Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989. Abstract  Download: 1989ObjOtypOid.pdf (313.66 KB)
1988
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Abstract Object Types for Databases", Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988. Abstract  Download: 1988AbstrObjTypes.pdf (549.79 KB)
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract  Download: 1988DBEntwUmg2.pdf (564.82 KB)
Ehrich, H. - D., F. Lohmann, K. Neumann, and I. Ramm, "A Database Language for Scientific Map Data", Construction and Display of Geosientific Maps Derived from Databases (Proc. Int. Coll. Dinkelsbühl 1986): Geologisches Jahrbuch A 104, pp. 139-152, 1988. Abstract  Download: 1988Geo.pdf (905.2 KB)
Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract  Download: 1988DBEntwUmg1.pdf (692.07 KB)
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
1987
Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc 13th Int Conf on Very Large Databases VLDB'87: VLDB Endowment Press, Saratoga (CA), pp. 107-116, 1987. Abstract  Download: 1987VLDB.pdf (679.95 KB)
Drawin, M., K. Neumann, and H. - D. Ehrich, "Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken", Proc Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987. Abstract  Download: 1987BTW.pdf (739.81 KB)
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract  Download: 1987ThreeLevelSpec.pdf (1.21 MB)
1986
Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "Abstracts of the 4th Workshop on Specification of Abstract Data Types", Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986. Abstract
Ehrich, H. - D., "Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics", Proc Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986. Abstract  Download: 1986KeyExtens.pdf (277.5 KB)
1985
Ehrich, H. - D., "Algebraic (?) specification of conceptual database schemata (extended abstract)", Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985. Abstract  Download: 1985AlgSpecDB.pdf (349.23 KB)
Ramm, I., and H. - D. Ehrich, "Einführung in das Projekt: Entwurf einer Benutzerschnittstelle für eine graphisch-alphanumerische Datenbank", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe I, no. Heft 95, pp. 115-124, 1985. Abstract  Download: 1985Geo.pdf (788.93 KB)
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
Ehrich, H. - D., "Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen", Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985. Abstract  Download: 1985Tutzing.pdf (877.62 KB)
1984
Ehrich, H. - D., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract
Ehrich, H. - D., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, Springer, 1984. Abstract
Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract  Download: 1984VLDB.pdf (462.55 KB)
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
1983
Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract  Download: 1983ExceptErrors.pdf (198.63 KB)
Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract  Download: 1983TCS-ADE.pdf (951.11 KB)
Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract