| 2008 |
|---|
| 5 | EE | Nic Volanschi,
Christian Rinderknecht:
Unparsed patterns: easy user-extensibility of program manipulation tools.
PEPM 2008: 111-121 |
| 2004 |
|---|
| 4 | EE | Christian Rinderknecht:
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.
SAM 2004: 154-170 |
| 2003 |
|---|
| 3 | EE | Christian Rinderknecht:
An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints.
Comput. J. 46(4): 401-420 (2003) |
| 2001 |
|---|
| 2 | EE | Ana R. Cavalli,
Bruno Defude,
Christian Rinderknecht,
Fatiha Zaïdi:
A Service-Component Testing Method and a Suitable CORBA Architecture.
ISCC 2001: 655-660 |
| 1999 |
|---|
| 1 | | Ana R. Cavalli,
David Lee,
Christian Rinderknecht,
Fatiha Zaïdi:
Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
FORTE 1999: 41-56 |
