Please contact me at Grit.Denker@sri.com if you would like to obtain digital versions of publications

Publications 1998

  • From Rewrite Theories to Temporal Logic Theories

    To appear in Kirchner, H. and Kirchner, C., editors, Rewriting Logic and Its Applications, 2nd Int. Workshop, Pont-A-Mousson, France, September 1-4, Elsevier Science B.V., Electronic Notes in Theoretical Computer Science, 1998.

  • Schritt für Schritt zum Ziel - Entwurf von Informationssystemen durch Verfeinerung.

    To appear in Carolo-Wilhelmina-Mitteilungen, Sonderheft 25 Jahre Informatik in Braunschweig, 1998

  • Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen.

    In Nominierungsausschuß der GI, , editor, GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996, pages 9-28. Teubner, 1998.

  • Logics for Specifying Concurrent Information Systems

    H.D. Ehrich, C. Caleiro, A. Sernadas, G. Denker

    In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998.

  • Protocol Specification and Analysis in Maude

    G. Denker, J. Meseguer, C. Talcott Protocol Specification and Analysis in Maude

    In Heintze, N. and Wing, J., editors, Proceedings of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998.

Publications 1997

  • Information systems modelling with TROLL formal methods at work

    P. Hartel, G. Denker, M. Kowsari, M. Krone, H.D. Ehrich Information systems modelling with TROLL formal methods at work. Information Systems, 22(2-3), pages 79-99, 1997.

  • TROLL - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics.

    G. Denker, P.Hartel

    Informatik-Bericht 97-03, Technische Universität Braunschweig, 1997.

  • Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

    G. Denker, H.D. Ehrich

    In Bowman, H. and Derrick, J., editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21-23 July, Canterbury, Kent, UK, pages 89-104. Chapman & Hall, 1997.

  • A Linear Temporal Logic Approach to Objects with Transactions

    G. Denker, J. Ramos, C. Caleiro, A. Sernadas

    In M. Johnson, editor, Sixth Int. Conf. on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia, pages 170-184. Springer, 1997. LNCS 1349.

Publications 1996

  • Reification - Changing Viewpoint but Preserving Truth

    In M. Haveraan, O, Owe, O, O.J. Dahl, editors, Recent Trends in Data Types Specification, Proc. 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers, pages 182-199. Springer, LNCS 1130, 1996.

    • Developing an Information System Using TROLL: an Application Field Study

    M. Krone, M. Kowsari, P. Hartel, G. Denker, H.D. Ehrich

    In Constantopoulos, P., Mylopoulos, J., and Vassiliou, Y., editors, Proc. 8th Int. Conf. on Advanced Information Systems Engineering;(CAiSE'96), pages 136-159. Springer, Berlin, LNCS 1080, 1996.

  • A Case Study in Information System Design, The CATC System

    M. Kowsari, P. Hartel, G. Denker, H.D. Ehrich

    FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996.

  • Towards a Model for Asynchronously Communicating Objects.

    G. Denker, J. Küster Filipe,

    In H.M. Haav and B. Thalheim editors, Proc. 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, pages 182-193. Institute of Cybernetics, 1996.

  • Semantic Refinement of Concurrent Object Systems Based on Serializability

    In B. Freitag, C. B. Jones, C. Lengauer, and H.J. Schek, editors, `Object-Orientation with Parallelism and Persistence', pages 105-126. Kluwer Academic Publ., 1996.

  • Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen

    volume 6 of Reihe DISDBIS. infix-Verlag, Sankt Augustin, 1996.

  • Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht

    G. Denker, K. Schwarz

    In Beiträge der GI-Fachtagung Softwaretechnik'96 (ST96), Koblenz, 12.- 13. September 1996, pages 97-104. Universität Koblenz-Landau, Fachbereich Informatik, 1996.

    • Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach

    M. Huhn, H. Wehrheim, G. Denker

    In U. Herzog, H. Hermanns, editors,GI/ITG-Fachgespräch: `Formale Beschreibungstechniken für verteilte Systeme', 20/21. Juni 1996, Universität Erlangen, Germany, number 29/9 in Arbeitsbericht des IMMD, pages 77-88, 1996.


Publications 1995

  • Entwicklung zuverlässiger Informationssysteme

    S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, H.D. Ehrich.

    EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, Heft 2 (1995), pages 25--33, 1995.

  • A Development Environment for an Object Specification Language

    M. Gogolla, S. Conrad, G. Denker, R Herzig, N.Vlachantonis

    IEEE Transactions on Knowledge and Data Engineering, 7(3):505--508, June 1995.

  • TROLL light - The Language and its Development Environment

    M. Gogolla, S. Conrad, G.Denker, R. Herzig, N. Vlachantonis, H.D. Ehrich

    In M. Broy and S. Jähnichen editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 205-220. Springer, 1995. LNCS 1009.

  • An Event-Based Semantics for Transactions

    G. Denker, H.D. Ehrich

    In G. Bernot and M. Aiguier, editors, Proc. Intern. Workshop on Information Systems -- Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995, Bd des Coquibus, F-91025 Evry cedex, France, 1995. Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique.

  • Action Reification In Object Oriented Specification

    G. Denker, H.D. Ehrich.

    In R. J. Wieringa and R. B. Feenstra, editors, Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop, pages 103--118. World Scientific, 1995.

  • Transactions in Object-Oriented Specifications

    In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers. Springer, Berlin, LNCS 906, 1995.

  • Action Refinement - An Application of Process

    M. Huhn, H. Wehrheim, G. Denker

    Theory on Object-Oriented Specification. Hildesheimer Informatik-Berichte 40/95, Universität Hildesheim, Institut für Informatik, Postfach 101363, D-31113 Hildesheim, November 1995.

Publications 1994

  • The KORSO Approach to the Development of Reliable Information Systems

    M. Gogolla, N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, H.D. Ehrich

    Technical Report 94-06, Technische Universität Braunschweig, 1994.

  • Integrating the ER Approach in an OO Environment

    M. Gogolla, R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis.

    In R. Elmasri, V. Kouramajian, and B. Thalheim, editors, Proc. 12th Int. Conf. on the Entity-Relationship Approach (ER'93) , pages 376--389. Springer, Berlin, LNCS 823, 1994

  • Object-Oriented Design of Information Systems: Theoretical Foundations

    H.D. Ehrich, R. Jungclaus, G. Denker, A. Sernadas.

    In J. Paredaens and L. Tenenbaum, editors, Advances in Database Systems, Implementations and Applications, pages 201--218. Springer Verlag, Wien, CISM Courses and Lectures no. 347, 1994.

Publications 1993

  • Zur Entwicklung zuverlässiger Informationssysteme

    S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, H.D. Ehrich.

    in KorSo. In H. Reichel, editor, Informatik --- Wirtschaft --- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93), pages 464--469. Springer, Informatik aktuell, 1993.

  • Translating TROLL light Concepts to Maude

    G. Denker M. Gogolla.

    In H. Ehrig and F. Orejas, editors, Proc. 9th Workshop on Abstract Data Types -- 4th Compass Workshop (ADT'92), pages 173--187. Springer, Berlin, LNCS 785, 1993.

  • Constructing Systems as Object Communities

    H.D. Ehrich, G. Denker, A. Sernadas

    In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. Theory and Practice of Software Development (TAPSOFT'93), pages 453--467. Springer, Berlin, LNCS 668, 1993.

  • Object Roles and Phases

    H.D. Ehrich, R. Jungclaus, G. Denker.

    In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern. Workshop on Information Systems -- Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No. 01/93, pages 114--121, 1993.

  • Towards Reliable Information Systems: The KORSO Approach

    N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, H.D. Ehrich.

    In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. 5th Int. Conf. on Advanced Information Systems Engineering (CAiSE'93), pages 463--482. Springer, Berlin, LNCS 685, 1993.