Dr. Shawn E. Koppenhoefer

Administrative Director + Informatics Consultant/Expert
GFMER, Canadian & German nationality
Linked-In profile : www.linkedin.com/in/koppenhoefer
Personal home page: www.shawnkoppenhoefer.com

Past

2007-2009	Informatics Director + Software architect, GFMER
2005-2007	Administrative Director, Geneva INSTITUTE of Education Research and Technological Development (GIERTD) Projects : System Administrator + Consultant, Web database Developer (Java/PHP/SQL)(FrontPage/Dreamweaver), Networking configuration and system security, User-support, Video editing, Photography & in-house graphics design (Photoshop/Illustrator).
2003-2005	Director of Informatics Research, Geneva Foundation for Medical Education & Research (GFMER)
2001-2003	Senior Software Designer, Networkers Interactive/Preverenges/Switzerland
1999-2000	Senior Software Developer & System-Manager/Assistant , Charles Veillon/Busigny/Switzerland
1997-1999	Senior Researcher & Chargé de Cours, Laboratoire de Télécommunications at Lausanne, EPFL/Switzerland
1991-1997	Researcher/Assistant & System-Administrator, Laboratoire d'Informatique Technique at Lausanne, EPFL/Switzerland - during PhD thesis.
1990-1991	Software Developer, Faculty of Psychology/University of Waterloo/Waterloo/Ontario/Canada
1988-1989	Research & Developement, Visual-Edge (Engineering Division) Montreal/Canada
1986-1990	Undergraduate Student in the Faculty of Mathematics at the University of Waterloo/Waterloo/Ontario/Canada

PATENTS

1. X.Logean, F.Dietrich, S.Koppenhoefer, J.-P.Hubaux, S.Grisouard, P.-A.Etique, Monitoring and Testing of Middleware based Software Applications. US patent June 1999

PUBLICATIONS

1. F.Dietrich, X.Logean, S.Koppenhoefer, J.-P.Hubaux, Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic, Concurrency and Computation: Practice and Experience, May 2001
   - based on technical report No. SSC/1998/011 March 1998
2. C.Gbaguidi, J.P.Hubaux, S.Koppenhoefer, J.Y.Le Boudec. The Impact of the Internet on Telecommunication Architectures. In Computer Networks and ISDN Systems, Special Issue on Internet Telephony, February 1999, Vol. 31 No.3. <abstract><pdf>
   - based on technical report No. SSC/1998/001 January 1998
3. F.Dietrich, X.Logean, S.Koppenhoefer, J.-P.Hubaux, Testing Temporal Logic Properties in Distributed Systems in: A.Petrenko, N.Yevtushenko (eds.) Testing of Communicating Systems, Proceedings of the 11th International Workshop on Testing of Communicating Systems (IWTCS98), Tomsk, Russia, Kluwer Academic Publishers, pp.247-262 <abstract><pdf>
4. X. Logean, F. Dietrich, S. Koppenhoefer Run-time monitoring of distributed applications in: Proceedings of Middleware`98, Lake District, England, September 1998 <abstract><pdf>
5. F. Dietrich, X. Logean, S. Koppenhoefer, J.-P. Hubaux , Middleware Support for Monitoring and Testing Multimedia Services, Lausanne 1997 <abstract> <pdf>
6. X.Logean, F.Dietrich, S.Koppenhoefer, J.-P.Hubaux, TINA Service Validation : The ErnestTINA project, Proceedings of the Telecommunications Information Networking Architecture Conference. Santiago, Chile, November 17-20, 1997 <abstract>
   
   
7. S.Koppenhoefer, A Formal Synchronous Model for Time-Critical Control Systems – PhD thesis, Swiss Federal Institute of Technology, Lausanne, Switzerland, Dec. 1996, pp1-150. <abstract>
   - french title: Un abstraction formelle pour systèmes de contrôle synchrones et critiques en temps
   
   
8. L.Ming, S.Koppenhoefer, Real-Time Performance Analysis in a simplified timed token protocol, Proceedings of the International Conference on Multimedia Technology, Hong Kong, Baptist University, China, Dec.11-14, 1996.
9. L.Ming, S.Koppenhoefer, Analyzing PROFIBUS using Stochastic Timed Petri Nets, ICARCV'96 "Fourth International Conference on Control, Automation, Robotics and Vision" (Dec3-6 1996) <abstract>
10. S.Koppenhoefer, L.Ruiz, Predicting Dispersion in Distributed Automatic Control Systems – Proceedings of INFONOR96, Antofagasta, Chile, Nov., 1996 <abstract>
11. S.Koppenhoefer, J.-D.Decotignie, “Formal Verification fo Distributed Real-Time Control : a periodic producer/consumer” Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems, Montreal, Canada, Oct.21-25, 1996, pp.230-238
12. S.Koppenhoefer, J.D.-Decotignie, Parameter-Analysis in Industrial Integrated Communication and Control Systems, Proceedings of the 1st IEEE International Conference on Industrial Engineering Applications and Practice, University of Houston, Houston, Texas, United States, Dec.4-7, 1996.<abstract>
13. S.Koppenhoefer, J.-Decotignie, D.Auslander, Fieldbus Based Integrated Communication and Control Systems, Proceedings of Computational Engineering in Systems Applications, CESA96 IMACS-IEEE/SMC Multiconference, Lille, France, July 9-12, 1996, pp1316-1321.<abstract>
14. T.Kouthon, S.Koppenhoefer, On Distribution of Grafcet Software, Proceedings of Computational Engineering in Systems Applications, CESA96 IMACS-IEEE/SMC Multiconference, Computational engineering in Systems Applications, Lille, France July 9-12, 1996
15. S.Koppenhoefer, J.-Decotignie, Formalizing the Adapted Synchronous Model, Proceedings of the 14th IASTED International Conference on Applied Informatics, Innsbruck, Austria, Feb.20-22, 1996, pp.303-307.<abstract><pdf>
16. K.Vijayananda, S.Koppenhoefer, A Timed-Automaton Model of Communication Protocols for Model-based Diagnosis, Proceedings of the 14th IASTED International Conference on Applied Informatics, Innsbruck, Feb.20-22, 1996, pp.220-223
17. P.Castori, S.Koppenhoefer, The Reader-Writer Problem revisited with MMS, Proceedings of the 14th IASTED International Conference on Applied Informatics, Innsbruck, Feb.20-22, 1996
18. S.Koppenhoefer, Dining Philosophers, Time, and LOTOS, Proceedings of the IASTED International Conference on Modelling and Simulation, Colombo, Sri Lanka, July 26-28, 1995, pp.83-87.<abstract><pdf>
19. S.Koppenhoefer, Algorithmic Synthesis of Control Compensators, Proceedings of the IEEE International Symposium on Industrial Electronics, Athens, Greece, July 10-14, 1995, pp.332-337 <abstract>
20. S.Koppenhoefer, Formal-Model Based Performance Evaluation in Distributed Systems, Proceedings of the 13th IASTED Conference on Applied Informatics, Innsbruck, Austria, January 10-14, 1995, pp.211-213.
    
    unpublished drafts :
    
21. S.Koppenhoefer, L.Buttyan, A Distributed Authorization Service for Mobile Users, 1998
22. S.Koppenhoefer, L.Buttyan, Incorporating Authentication-logics with Petri nets for Protocols Analysis, 1998
23. S.Koppenhoefer, L.Buttyan, The Muddy Authentication Protocol MCap, 1998
24. S.Koppenhoefer, L.Buttyan, Quantifying Trust and Belief for Friends of Friends, 1998
25. S:Koppenhoefer, Distributed Object Calculus, 1993.<abstract>

AWARDS

1988 Canadian Research Grant – Conseil de recherches en sciences naturelles en génie du Canada (CRSNG)

LANGUAGES

English - mother tongue (fluent spoken/written)
French - living in French-speaking Switzerland since 1991 (fluent oral)
Spanish - over 12 visits to Argentina (conversational oral)
German - limited (conversational)

Print this page

Edited by Aldo Campana,