Home › Staff › Hans-Dieter Ehrich

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: 231

Detail

wwwalt.ifis.cs.tu-bs.de/html_e/home/ehrich/

Publications
2010
Pavlovič O., Ehrich H -D., "Model Checking PLC Software Written in Function Block Diagram", ICST 2010, Paris, IEEE, 2010. Abstract TaggedBibTexxml
2008
Hon Y M., Tecker J-T., Ehrich H -D., "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract TaggedBibTexxml
2007
Ehrich H -D., Eckstein S., Mathiak B., Kupfer A., Täubner C., "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract TaggedBibTexxml
2006
Ehrich H -D., Eckstein S., Mathiak B., Kupfer A., Täubner C., "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract TaggedBibTexxml
2005
Ehrich H -D., Schewe K -D., Tse T H., (eds), "Special Issue QSIC 2004", Journal of Systems and Software: Elsevier B.V., 2005. Abstract TaggedBibTexxml
2004
Ehrich H -D., "Bioinformatik - Modellbildung als Herausforderung für die Informatik", Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber), Braunschweig, Technische Universität, pp. 37-50, 2004. Abstract TaggedBibTexxml
Ryan M D., Meyer J -J C., Ehrich H -D., (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract TaggedBibTexxml
Ehrich H -D., Schewe K -D., (eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract TaggedBibTexxml
Lin H., Ehrich H -D., Tse T H., (eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract TaggedBibTexxml
2003
Ehrich H -D., Kollmann M., Pinger R., "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract TaggedBibTexxml
Lin H., Ehrich H -D., (eds), "Proceedings QSIC 2003", QSIC 2003, Dallas, IEEE CS Press, 2003. Abstract TaggedBibTexxml
2002
Ehrich H -D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract TaggedBibTexxml
Ehrich H -D., Kollmann M., Pinger R., "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract TaggedBibTexxml
2001
Pinger R., Ehrich H -D., "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. 2029, pp. 32-44, 2001. Abstract TaggedBibTexxml
Ehrich H -D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J1 Cramer Verlag, pp. 69-72, 2001. Abstract TaggedBibTexxml
2000
Loeckx J., Ehrich H -D., Wolf M., "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract TaggedBibTexxml
Ehrich H -D., Pinger R., "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Convetions (ICSC), Canada, pp. 242-248, 2000. Abstract TaggedBibTexxml
Ehrich H -D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (S, pp. 46-47, 2000. Abstract TaggedBibTexxml
Ehrich H -D., Caleiro C., "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract TaggedBibTexxml
1999
Ehrich H -D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (S, pp. 16-19, 1999. Abstract TaggedBibTexxml
Ehrich H -D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract TaggedBibTexxml
1998
Ehrich H -D., Caleiro C., Sernadas A., Denker G., "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract TaggedBibTexxml
Grau A., Küster Filipe J., Kowsari M., Eckstein S., Pinger R., Ehrich H -D., "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc1 of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore: Springer, LNCS 1507, pp. 277-290, November, 1998. Abstract TaggedBibTexxml
1997
Grau A., Kowsari M., Ehrich H -D., A CASE-Tool Environment for Developing and Validating Conceptual Models, , 1997. Abstract TaggedBibTexxml
Hartel P., Denker G., Kowsari M., Krone M., Ehrich H -D., "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract TaggedBibTexxml
Denker G., Ehrich H -D., "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract TaggedBibTexxml
1996
Kowsari M., Hartel P., Denker G., Ehrich H -D., A Case Study in Information System Design, The CATC System, , 1996. Abstract TaggedBibTexxml
Ehrich H -D., Neumann K., Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract TaggedBibTexxml
Krone M., Kowsari M., Hartel P., Denker G., Ehrich H -D., "Developing an Information System Using TROLL: an Application Field Study", Proc1 8th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract TaggedBibTexxml
Ehrich H -D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract TaggedBibTexxml
Loeckx J., Ehrich H -D., Wolf M., Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract TaggedBibTexxml
Ehrich H -D., Hartel P., "Temporal Specification of Information Systems", Logic and Software Engineering, Proc1 Int1 Workshop in Honor of C.S. Tang,Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract TaggedBibTexxml
1995
Denker G., Ehrich H -D., "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract TaggedBibTexxml
Denker G., Ehrich H -D., "An Event-Based Semantics for Transactions", Proc1 Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract TaggedBibTexxml
Conrad S., Denker G., Gogolla M., Herzig R., Vlachantonis N., Ehrich H -D., "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract TaggedBibTexxml