Seguir
Shawn Koppenhoefer; SysAdmin Mac/Linux/Windows
Shawn Koppenhoefer; SysAdmin Mac/Linux/Windows
EPFL
Dirección de correo verificada de shawnkoppenhoefer.com - Página principal
Título
Citado por
Citado por
Año
Monitoring and testing middleware based application software
X Logean, F Dietrich, JPA Hubaux, S Grisouard, PA Etique, ...
US Patent 6,611,955, 2003
1352003
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
952012
The impact of the Internet on telecommunication architectures
JP Hubaux, C Gbaguidi, S Koppenhoefer, JY Le Boudec
Computer Networks 31 (3), 257-273, 1999
491999
Run-time monitoring of distributed applications
X Logean, F Dietrich, H Karamyan, S Koppenhöfer
Middleware’98: IFIP International Conference on Distributed Systems …, 1998
221998
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
121998
Real-Time Communication in a Simplified Timed Token Protocol.
M Li III, S Koppenhoefer
Multimedia Technology and Applications, 420-433, 1996
31996
On distribution of Grafcet software
T Kouthon, JD Decotignie, S Koppenhoefer
Symposium on discrete events and manufacturing systems (Lille, July 9-12 …, 1996
31996
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
31996
Formal verification for distributed real-time control: periodic Producer/Consumer
S Koppenhoefer
Proceedings of ICECCS'96: 2nd IEEE International Conference on Engineering …, 1996
11996
Formalizing the Adapted Synchronous Model
S Koppenhoefer
APPLIED INFORMATICS-PROCEEDINGS-, 303-307, 1996
11996
The Reader-Writer Problem Revisited with MMS
P Castori, S Koppenhoefer
APPLIED INFORMATICS-PROCEEDINGS-, 1-5, 1996
11996
Dining Philosophers, Time, and LOTOS
S Koppenhoefer
Proceedings of the IASTED International Conference on Modeling and …, 1995
11995
Replicating MMS clients for fault tolerance
CP Fuhrman, S Messina, S Koppenhoefer
1995 Proceedings of the IEEE International Symposium on Industrial …, 1995
11995
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20