Search the dblp DataBase

Publications of Author

1. Stephen Schmitt, Wolfgang Rosenstiel
   Verification of a Microcontroller IP Core for System-on-a-Chip Designs Using Low-Cost Prototyping Environments. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:96-101 [Conf]
   
2. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
   Problem-Oriented Applications of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:1-21 [Conf]
   
3. Stephen Schmitt, Wolfgang Rosenstiel
   Der Einsatz von Jini für die Realisierung durchgängiger Steuerungskonzepte in verteilten eingebetteten Systemen. [Citation Graph (0, 0)][DBLP]
   Java-Informations-Tage, 1999, pp:223-232 [Conf]
   
4. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
   A Multi-level Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:1-27 [Conf]
   
5. 
   Design and implementation of an "approximate" communication system for wireless media applications. [Citation Graph (, )][DBLP]
   
   
6. 
   Exploiting "approximate communication" for mobile media applications. [Citation Graph (, )][DBLP]
   
   
7. 
   SySifoS: SystemC simulator for sensor and communication systems. [Citation Graph (, )][DBLP]