Computing

• DO-178C Compliance of Verisoft Formal Methods (ERTS2, 2012), for an (independent) discussion of others related to the content of the paper (the DO-178 FM supplement is called DO-333 now) see also the HI-LITE archives
• From a DO-178B Certified Separation Kernel to Common Criteria Security Certification (SAE Aerotech Toulouse, 2011)
• Proving Memory Separation in a Microkernel by Code Level Verification (ISORC/AMICS, 2011)
• Ingredients of Operating System Correctness (Embedded World Conference, 2010)
• Formal verification of a microkernel used in dependable software systems (Safecomp, 2009)
• Better avionics software reliability by code verification (Embedded World Conference, 2009)
• Gcov on an embedded system (GREPS workshop Brasov 2007)
• butterprover (2007), really small propositional prover
• g4tweak (2006), tweak g4-compressed scans
• Some brief notices on dynamic slicing of provers (2006)
• Per Kommandozeile in die Stadtsparkasse (Munich Open Source Infotainment Day 2004, in German)
• Using LDAP from Java+Tomcat and Python+Zope (GUUG Bochum talk 2003, de, local copy).
• Computersicht: Datenverarbeitung der optischen Wahrnehmung (course paper, 2003, in German)
• XML and Java (course paper, 2001, in German)
• Following the ZShell product's invitation to the Zope API (2001)
• Content management transactions - applicability of a dynamic object model (ECOOP Cannes workshop 2000)
• c42pdf, (1999-) a fast TIFF to PDF converter
• COWBOY.TAP Cowboy text adventure for ZX Spectrum (1986, fraternal credits to Robert for finding and restoring this from an 1980s audio tape making a fine 2008 birthday surprise ...)