Problem-Oriented Applications of Automated Theorem Proving. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; Stephen Schmitt (DISCO, 1996)

A Multi-level Approach to Program Synthesis. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; F. Kurucz; Jens Otten; Stephen Schmitt; G. Stolpmann (LOPSTR, 1997)

Der Einsatz von Jini für die Realisierung durchgängiger Steuerungskonzepte in verteilten eingebetteten Systemen. - Stephen Schmitt; Wolfgang Rosenstiel (Java-Informations-Tage, 1999)

Java in eingebetteten Systemen (Java in Embedded Systems). - Stephen Schmitt; Wolfgang Rosenstiel (Informationstechnik Tech. Inform., 2001)

Verification of a Microcontroller IP Core for System-on-a-Chip Designs Using Low-Cost Prototyping Environments. - Stephen Schmitt; Wolfgang Rosenstiel (DATE, 2004)

Rapid Prototyping of a Microcontroller IP Core under Resource Limitations. - Stephen Schmitt; Wolfgang Rosenstiel (MBMV, 2004)

Integrierte Simulation und Emulation eingebetteter Hardware/Software-Systeme. - Stephen Schmitt (2005)

SySifoS: SystemC simulator for sensor and communication systems. - Jürgen Sommer; Simon Lüders; Suguna Subramanian; Stephen Schmitt; Wolfgang Rosenstiel (Mobility Conference, 2009)

Exploiting "approximate communication" for mobile media applications. - Sayandeep Sen; Stephen Schmitt; Mason Donahue; Suman Banerjee 001 (HotMobile, 2009)

Design and implementation of an "approximate" communication system for wireless media applications. - Sayandeep Sen; Syed Gilani; Shreesha Srinath; Stephen Schmitt; Suman Banerjee 001 (SIGCOMM, 2010)

System-Level Power-Accuracy Trade-Off in Bluetooth Low Energy Networks. - Jürgen Sommer; Simon Lüders; Stephen Schmitt; Wolfgang Rosenstiel (UIC, 2011)