Publications


For accessing postscript version papers please see my home page.

  1. G. Denker, J.R. Hobbs, D. Martin, S. Narayana, and W. Waldinger. Accessing Information and Services on the DAML-Enabled Web. In The Second International Workshop on the Semantic Web - SemWeb'2001, Workshop at WWW10, Hongkong, May 1, 2001.
  2. G. Denker, J. Millen. The CAPSL Integrated Protocol Environment. SRI International Technical Report, SRI-CSL-2000-02, October 2000.
  3. G. Denker, J. Millen, and Y. Miyake. Cross-Domain Access Control via PKI. SRI Internal Report, September 2000.
  4. G. Denker, D. Basin. Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. In Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September 18-20, 2000. In Volume 36 of Electronic Notes in Theoretical Computer Science, pp 235-256, Elsevier Science B.V.
  5. G. Denker, J. Meseguer, and C. Talcott. Rewriting Semantics of Meta-Objects and Composable Distributed Services. In Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September 18-20, 2000. In Volume 36 of Electronic Notes in Theoretical Computer Science, pp 407-427, Elsevier Science B.V.
  6. G. Denker, J. Millen, and Y. Miyake. PKI and Revocation Survey. SRI International Technical Report, SRI-CSL-2000-01, August 2000.
  7. Denker, G. Design of a CIL Connector to Maude. In 2000 Workshop on Formal Methods and Computer Security, July 20, 2000, Chicago, USA (post-CAV Workshop).
  8. G. Denker, J. Millen, J. Küster Filipe, and A. Grau. Optimizing Protocol Rewrite Rules of CIL Specifications. In 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England.
  9. G. Denker, J. Meseguer, and C. Talcott. Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience. In DARPA Information and Survivability Conference and Exposition (DISCEX'00), Hilton Head, South Carolina, January 25-27, 2000, pp. 251-265, IEEE Computer Society Press.
  10. G. Denker, J. Millen. CAPSL Integrated Protocol Environment. In DARPA Information and Survivability Conference and Exposition (DISCEX'00), Hilton Head, South Carolina, January 25-27, 2000, pp. 207-221, IEEE Computer Society Press.
  11. G. Denker, J. Meseguer, and C. Talcott. Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience. Internal Report, SRI International Computer Science Laboratory, 1999.
  12. G. Denker and J. Millen. CAPSL Integrated Protocol Environment. Internal Report, SRI International Computer Science Laboratory, 1999.
  13. G. Denker, J.J. Garcia-Luna-Aceves, J. Meseguer, P. Oelveczky, J. Raju, B. Smith, and C. Talcott. Specification and Analysis of a Reliable Broadcasting Protocol in Maude. In B. Hajek, R.S. Sreenivas, editors. Proc. 37th Allerton Conference on Communication, Control and Computation, Allerton Park, September 22-24, 1999 .
  14. G. Denker and J. Millen. CAPSL Intermediate Language. In N. Heintze and E. Clarke, editors, Workshop on Formal Methods and Security Protocols, (FLoC Workshop), July, Trento, Italy, 1999.
  15. G. Denker and J. Millen. CAPSL and CIL Language Design: A Common Authentication Protocol Specification Language and Its Intermediate Language. Technical CSL Report, SRI-CSL-99-02. SRI International Computer Science Laboratory, 1999.
  16. G. Denker, J.J. Garcia-Luna-Aceves, J. Meseguer, P. Oelveczky, J. Raju, B. Smith, and C. Talcott. Specifying a Reliable Broadcasting Protocol in Maude. Internal Report, SRI International Computer Science Laboratory, 1999.
  17. G. Denker, J. Meseguer, and C. Talcott. Rewriting Semantics of Meta-Objects and Composable Distributed Services. Internal Report, Computer Science Laboratory, SRI International, Menlo Park, CA, 1999.
  18. G. Denker. From Rewrite Theories to Temporal Logic Theories. In C. Kirchner, H. Kirchner, editors, 2nd Int. Workshop on Rewriting Logic and Its Applications (WRLA'98), Pont-A-Mousson, France, September 1-4, 1998. Elsevier Science B.V., Volume 15 of Electronic Notes in Theoretical Computer Science, 1998.
  19. G. Denker, J. Meseguer, and C. Talcott. Protocol Specification and Analysis in Maude. In N. Heintze and J. Wing, editors, Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998.
  20. G. Denker. Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen. In GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996, Nominierungsausschuss der GI (Hrsg.), pages 9--28, Teubner Verlag, 1998.
  21. G. Denker. Schritt für Schritt zum Ziel - Entwurf von Informationssystemen durch Verfeinerung. to appear in: Carolo-Wilhelmina-Mitteilungen, Sonderheft ``25 Jahre Informatik in Braunschweig'', 1998.
  22. Ehrich, H.-D. and Caleiro, C. and Sernadas, A. and Denker, G. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems. Kluwer Academic Pub., pages 167--198, 1998.
  23. G. Denker, J. Ramos, C. Caleiro, and A. Sernadas. A Linear Temporal Logic Approach to Objects with Transactions. In M. Johnson, editor, Sixth Int. Conf. on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Macquarie University, Sydney, Australia, pages 170-184. Springer, 1997. LNCS 1349.
  24. G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, 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.
  25. G. Denker and P. Hartel. TROLL - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics. Informatik-Bericht 97-03, Technische Universität Braunschweig, 1997.
  26. P. Hartel, G. Denker, M. Kowsari, M. Krone, and H.-D. Ehrich. Information systems modelling with TROLL formal methods at work. Information Systems, 22(2-3):79-99, 1997.
  27. M. Huhn, H. Wehrheim, and G. Denker. Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach. In U. Herzog and 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.
  28. G. Denker and K. Schwarz. Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht. In Beiträge der GI-Fachtagung Softwaretechnik'96(ST96), Koblenz, 12. - 13. September 1996, pages 97-104. Universität Koblenz-Landau, Fachbereich Informatik, 1996.
  29. G. Denker. Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, volume 6 of Reihe DISDBIS. infix-Verlag, Sankt Augustin, 1996.
  30. G. Denker. 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.
  31. G. Denker and J. Küster Filipe. Towards a Model for Asynchronously Communicating Object. 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.
  32. M. Kowsari, P. Hartel, G. Denker, and H.-D. Ehrich. A Case Study in Information System Design, The CATC System. FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996.
  33. M. Krone, M. Kowsari, P. Hartel, G. Denker, and H.-D. Ehrich. Developing an Information System Using TROLL: an Application Field Study. In P. Constantopoulos, J. Mylopoulos, and Y. Vassiliou, editors, Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96), pages 136-159. Springer, Berlin, LNCS 1080, 1996.
  34. G. Denker. Reification - Changing Viewpoint but Preserving Truth. In M. Haveraan, O. Owe, and 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, 1996. LNCS 1130.
  35. G. Denker. 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, pages 203-218. Springer, Berlin, LNCS 906, 1995.
  36. G. Denker and H.-D. Ehrich. An Event-Based Semantics for Transactions. In G. Bernot and M. Aiguier, editors, Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995, pages 57-72, Bd des Coquibus, F-91025 Evry Cedex, France, 1995. Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique.
  37. M. Huhn, H. Wehrheim, and G. Denker. Action Refinement - An Application of Process Theory on Object-Oriented Specification. Technical Report 40/95, Universität Hildesheim, Institut für Informatik, Postfach 101363, D-31113 Hildesheim, November 1995.
  38. M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and Ehrich H.-D. TROLL light -- The Language and its Development Environment. 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.
  39. M. Gogolla, S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis. A Development Environment for an Object Specification Language. IEEE Transactions on Knowledge and Data Engineering, 7(3):505-508, June 1995.
  40. S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H.-D. Ehrich. Entwicklung zuverlässiger Informationssysteme. EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, 2:25-33, 1995.
  41. G. Denker and H.-D. Ehrich. Action Reification In Object Oriented Specification. 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.
  42. M. Gogolla, N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H.-D. Ehrich. The KORSO Approach to the Development of Reliable Information Systems. Technical Report 94-06, Technische Universität Braunschweig, 1994.
  43. N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. 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.
  44. M. Gogolla, R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis. Integrating the ER Approach in an OO Environment. 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.
  45. H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-Oriented Design of Information Systems: Theoretical Foundations. 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.
  46. H.-D. Ehrich, R. Jungclaus, and G. Denker. Object Roles and Phases. 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.
  47. H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing Systems as Object Communities. 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.
  48. G. Denker and M. Gogolla. Translating TROLL light Concepts to Maude. 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.
  49. S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H.-D. Ehrich. Zur Entwicklung zuverlässiger Informationssysteme in KorSo. In H. Reichel, editor, Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93), pages 464-469. Springer, Informatik aktuell, 1993.
  50. G. Denker. Towards Semantic Foundation of Basic TROLL light Constructs. In U.W. Lipeck and R. Manthey, editors, 4. GI Workshop Grundlagen von Datenbanken, pages 22-26. ECRC, München, Technical Report ECRC-92-13, 1992.


Grit Denker