| 2005 | EUC | Near Optimal and Energy-Efficient Scheduling for Hard Real-Time Embedded Systems. | Amjad Mohsen, Richard Hofmann |
| 2004 | RSP | Characterizing Power Consumption and Delay of Functional/Library Components for Hardware/Software Co-Design of Embedded Systems. | Amjad Mohsen, Richard Hofmann |
| 2002 | DATE | A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems. | Ralf Mnzenberger, Matthias Drfel, Frank Slomka, Richard Hofmann |
| 2000 | PDP | Specification-driven monitoring of TCP/IP. | Richard Hofmann, Frank Lemmen |
| 1999 | PDPTA | Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping of Parallel and Heterogeneous Real-Time Communication Systems. | Frank Slomka, Matthias Drfel, Simone Spitz, Richard Hofmann |
| 1999 | RSP | Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping. | Oliver Bringmann, Wolfgang Rosenstiel, Annette Muth, Georg Frber, Frank Slomka, Richard Hofmann |
| 1999 | RSP | A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications. | Matthias Drfel, Frank Slomka, Richard Hofmann |
| 1998 | PDP | Theory and tool for estimating global time in parallel and distributed systems. | Richard Hofmann, Ursula Hilgers |
| 1998 | RSP | A Prototyping System for High Performance Communication Systems. | Matthias Drfel, Richard Hofmann |
| 1995 | PDP | Monitoring and modelling of a distributed ISDN test system. | Klaudia Dussa-Zieger, Markus Ettl, Richard Hofmann, O. Preissler |
| 1992 | ISCA | Monitoring Program Behaviour on SUPRENUM. | Markus Siegle, Richard Hofmann |