 | 2008 |
|---|
| 7 |       | Scott Lintelman,
Richard Robinson,
Mingyan Li,
Krishna Sampigethaya:
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.
FM 2008: 406-410 |
| 6 | | Mingyan Li,
Casey K. Fung,
Krishna Sampigethaya,
Richard Robinson,
Radha Poovendran,
Rainer Falk,
Florian Kohlmayer,
Andreas Koepf:
Public key based authentication for secure integration of sensor data and RFID.
HeterSanet 2008: 61-66 |
| 5 | | Monika Maidl,
David von Oheimb,
Peter Hartmann,
Richard Robinson:
Formal Security Analysis of Electronic Software Distribution Systems.
SAFECOMP 2008: 415-428 |
| 2007 |
|---|
| 4 | | Richard Robinson,
Mingyan Li,
Scott Lintelman,
Krishna Sampigethaya,
Radha Poovendran,
David von Oheimb,
Jens-Uwe Bußer,
Jorge Cuéllar:
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.
SAFECOMP 2007: 28-39 |
| 2002 |
|---|
| 3 | | Guijun Wang,
Richard Robinson:
An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA.
EDOC 2002: 249-257 |
| 2001 |
|---|
| 2 |  | F. Keating,
Richard Robinson:
Distributed Intelligent Systems: A Mathematical Model - Round Two Salvatrice.
ISCA Conference on Intelligent Systems 2001: 13-16 |
| 1995 |
|---|
| 1 | | Richard Robinson,
Devin Cook,
Steven L. Tanimoto:
Programming Agents with Visual Rules.
VL 1995: 13-20 |
