- Stephan Philippi. Formally based modeling and inheritance of behaviour in object-oriented systems. jss, 70(1-2):129-142, 2004. [doi]
- Stephan Philippi, Hermann Josef Hill. Communication support for systems engineering - process modelling and animation with APRIL. jss, 80(8):1305-1316, 2007. [doi]
- Stephan Philippi. Automatic code generation from high-level Petri-Nets for model driven systems engineering. jss, 79(10):1444-1455, 2006. [doi]
- Zoya Maslak, Douglas J. Steel, Robert J. McDermott. A Computer Animation Representing the Molecular Events of G Protein-Coupled Receptor Activation. visualization 1999: 401-404
- Joaquim Gabarró. Une Application des Notions de Centre et Index Rationell a Certains Langages Algébriques. ita, 16(4):317-330, 1982.
- Joaquim Gabarró. Some applications of the interchange lemma. eatcs, 25:19-21, 1985.
- René David, Antoine Fuentes, Bernard Courtois. Random Pattern Testing Versus Deterministic Testing of RAM s. TC, 38(5):637-650, 1989.
- R. W. Whitty. Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review). stvr, 7(2):130-132, 1997.
- R. W. Whitty. Editorial: Quantum Computing, Software Testing and the Millennium Bug. stvr, 8(4):173-174, 1998.
- R. W. Whitty. Editorial: What do we want to get out of testing?. stvr, 7(3):137-138, 1997.