Eckhart Koerner @ RUN
ULg Research Unit in Networking RUN
Eckhart Koerner RUN 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
Doctoral 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: 54.162.139.105... RUN | Montefiore | ULg
© 2000-2015.