Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Paranoia, Wahn und der Dritte Weltkrieg. (September 2017)An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol., , , , and . HICSS, IEEE Computer Society, (1999)A Framework for Performance Analysis of Parallel Discrete Event Simulators., , , and . WSC, page 429-436. ACM, (1997)Experiences in verifying parallel simulation algorithms., , , , , and . FMSP, page 16-23. ACM, (1998)Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules., and . BMAS, page 103-108. IEEE Computer Society, (2000)High level synthesis of a Front End filter and DSP engine for analog to digital conversion - a case study., , , , , and . VTS, page 252. IEEE Computer Society, (2010)A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation., , , , and . IEEE Trans. Software Eng., 28 (1): 58-78 (2002)Optimistic Synchronization of Mixed-Mode Simulators., and . IPPS/SPDP, page 694-699. IEEE Computer Society, (1998)Parallel Synchronization of Continuous Time Discrete Event Simulators., , and . ICPP, page 227-233. IEEE Computer Society, (1997)SEAMS: Simulation Environment for VHDL-AMS., , , , , and . WSC, page 539-546. WSC, (1998)