|
Search the dblp DataBase
Christian Rinderknecht:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. [Citation Graph (0, 0)][DBLP] FORTE, 1999, pp:41-56 [Conf]
- Ana R. Cavalli, Bruno Defude, Christian Rinderknecht, Fatiha Zaïdi
A Service-Component Testing Method and a Suitable CORBA Architecture. [Citation Graph (0, 0)][DBLP] ISCC, 2001, pp:655-660 [Conf]
- Christian Rinderknecht
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. [Citation Graph (0, 0)][DBLP] SAM, 2004, pp:154-170 [Conf]
- Christian Rinderknecht
An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints. [Citation Graph (0, 0)][DBLP] Comput. J., 2003, v:46, n:4, pp:401-420 [Journal]
Unparsed patterns: easy user-extensibility of program manipulation tools. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|