Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:
L.Morris ∅ C.Sebeke C.Jung K.Harbich S.Fuchs P.Göhner
Talks about:
microelectron (1) structur (1) challeng (1) reliabl (1) program (1) correct (1) automot (1) termin (1) system (1) reason (1)
Person: J. Schwarz
DBLP: Schwarz:J=
Contributed to:
Wrote 3 papers:
- DATE-2006-SebekeJHFSG #challenge #reliability
- Test and reliability challenges in automotive microelectronics (CS, CJ, KH, SF, JS, PG), p. 547.
- LISP-1980-MorrisS
- Computing Cyclic List Structures (LM, JS), pp. 144–153.
- ICALP-1976-Schwarz #proving #reasoning #source code #termination
- Event Based Reasoning — A System for Proving Correct Termination of Programs (JS), pp. 131–146.