Monitoring and testing middleware based application software X Logean, F Dietrich, JPA Hubaux, S Grisouard, PA Etique, ... US Patent 6,611,955, 2003 | 135 | 2003 |
Effectiveness of a clinically integrated e-learning course in evidence-based medicine for reproductive health training: a randomized trial R Kulier, AM Gülmezoglu, J Zamora, MN Plana, G Carroli, JG Cecatti, ... Jama 308 (21), 2218-2225, 2012 | 96 | 2012 |
The impact of the Internet on telecommunication architectures JP Hubaux, C Gbaguidi, S Koppenhoefer, JY Le Boudec Computer Networks 31 (3), 257-273, 1999 | 49 | 1999 |
Run-time monitoring of distributed applications X Logean, F Dietrich, H Karamyan, S Koppenhöfer Middleware’98: IFIP International Conference on Distributed Systems …, 1998 | 22 | 1998 |
Testing temporal logic properties in distributed systems F Dietrich, X Logean, S Koppenhoefer, JP Hubaux Testing of Communicating Systems: Proceedings of the IFIP TC6 11th …, 1998 | 12 | 1998 |
Real-Time Communication in a Simplified Timed Token Protocol. M Li III, S Koppenhoefer Multimedia Technology and Applications, 420-433, 1996 | 3 | 1996 |
On distribution of Grafcet software T Kouthon, JD Decotignie, S Koppenhoefer Symposium on discrete events and manufacturing systems (Lille, July 9-12 …, 1996 | 3 | 1996 |
Fieldbus based integrated communication and control systems S Koppenhoefer, JD Decotignie, D Auslander Symposium on control, optimization and supervision (Lille, July 9-12, 1996 …, 1996 | 3 | 1996 |
Formal verification for distributed real-time control: periodic Producer/Consumer S Koppenhoefer Proceedings of ICECCS'96: 2nd IEEE International Conference on Engineering …, 1996 | 1 | 1996 |
Formalizing the Adapted Synchronous Model S Koppenhoefer APPLIED INFORMATICS-PROCEEDINGS-, 303-307, 1996 | 1 | 1996 |
The Reader-Writer Problem Revisited with MMS P Castori, S Koppenhoefer APPLIED INFORMATICS-PROCEEDINGS-, 1-5, 1996 | 1 | 1996 |
Dining Philosophers, Time, and LOTOS S Koppenhoefer Proceedings of the IASTED International Conference on Modeling and …, 1995 | 1 | 1995 |
Replicating MMS clients for fault tolerance CP Fuhrman, S Messina, S Koppenhoefer 1995 Proceedings of the IEEE International Symposium on Industrial …, 1995 | 1 | 1995 |
A Timed-Automaton Model of Communication Protocols for Model-based Diagnosis K Vijayananda, S Koppenhoefer APPLIED INFORMATICS-PROCEEDINGS-, 220-223, 1996 | | 1996 |
A formal synchronous model for distributed time-critical control-systems S Koppenhoefer EPFL, 1996 | | 1996 |
Formal-Model Based Performance Evaluation in Distributed Systems S Koppenhoefer, T Vamparys APPLIED INFORMATICS-PROCEEDINGS-, 211-213, 1995 | | 1995 |
SML K Ayama, MR Darra, C Farquharson, Y Hayashi, M Hirsch, ... | | |
LMOM EJR Bomal, JC Brauer, CN Broggi, N Candau, LA Chassat, ACC Claveau, ... | | |
Climate warming and greenhouse gas increase-new results S Koppenhoefer | | |
Mediterranean landscape 6,000 years ago S Koppenhoefer | | |