Research Unit in Networking
	Eckhart Koerner RUN

Name Eckhart Koerner Former position at RUN Researcher Current affiliation Fachhochschule Mannheim (Germany) Current personal page http://www.swt.fh-mannheim.de/fhe_0.html E-mail Biographical Notes Eckhart Koerner joined RUN in November 1993 and left in September 1997. Current diploma(s) : Ing. 1992 FH Mannheim (Germany), Master 1993 U. Wales (UK), Dr. 1997 ULg Publications at RUN Model-Based Verification of a Security Protocol for the Conditional Access to Services G. Leduc, O. Bonaventure, E. Koerner, L. Léonard and C. Pecheur Keywords : Equicrypt, LOTOS, model checking, security protocols Read the abstract Download the PostScript document Formal Methods in System Design, vol. 14, nb. 2, March 1999, pp. 171-191 Patterns for constructing CSCW applications in TINA E. Koerner Keywords : CSCW, Design Patterns, Multimedia, ODP, TINA Computer Communications, vol. 21, nb. 15, Oct. 1998, pp. 1361-1372 Methods and Elements for the Construction of Collaboration Services in TINA E. Koerner PhD thesis, University of Liège Collection des Publications de la Faculté des Sciences Appliquées de l'Université de Liège, nr. 179, 1998, 244 pp. Representing User Roles in a TINA Service Session E. Koerner Keywords : CSCW, policy, roles, service session graph, TINA Read the abstract Download the PostScript document or the compressed PostScript (gzip) document Proc. of the Second Francophone Colloquium on Network and Service Management (GRES'97), 22-25 Sep. 1997, Rennes, France Patterns for Constructing CSCW Applications in TINA E. Koerner Keywords : ATM, CMIP, network management, proxy, SNMP Read the abstract Proc. of the European Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'97), 10-12 Sep. 1997, Darmstadt, Germany, R. Steinmetz, L. Wolf (eds.), Interactive Distributed Multimedia Systems and Telecommunication Services, LNCS, 1309, pp. 320-329, Springer Design Of A Proxy For Managing CMIP Agents Via SNMP E. Koerner Keywords : ATM, CMIP, network management, proxy, SNMP Read the abstract Computer Communications, vol. 20, nb. 5, Jul. 1997, pp. 349-360 Applying LOTOS to the Design of TINA Applications E. Koerner and L. Strick Keywords : LOTOS, ODP viewpoints, TINA, verification, viewpoint compliance Read the abstract Proc. of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'97), Jul. 1997, Canterbury, UK, H. Bowman, J. Derrick (eds.), IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, pp. 455-466, Chapman and Hall Group Management for a Multimedia Collaboration Service E. Koerner Keywords : group communication and collaboration, multimedia, ODP, TINA, use cases Read the abstract Download the PostScript document or the compressed PostScript (gzip) document Proc. of EUNICE96 Summer School on Telecommunication Services, Sep. 1996 Specification and verification of a TTP protocol for the conditional access to services G. Leduc, O. Bonaventure, E. Koerner, L. Léonard, C. Pecheur and D. Zanetti Keywords : formal verification, LOTOS, model-checking, security protocol Read the abstract Download the PostScript document or the compressed PostScript (gzip) document Proc. of the 12th J. Cartier Workshop on Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems, Oct. 1996, Montreal, Canada Design Of A Proxy For Managing CMIP Agents Via SNMP E. Koerner Keywords : ATM, CMIP, network management, proxy, SNMP Read the abstract Computer Communications, vol. 20, nb. 5, Jul. 1997, pp. 349-360

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc - Webmaster: - C. Soldani -

Still running IPv4 at: 3.145.38.117...

RUN | Montefiore | ULg © 2000-2024.