Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation.

P. Peranandam, R. Weiss, J. Ruf, und T. Kropf. MBMV, Seite 260-269. Shaker, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

apl. Prof. Dr. Jürgen Pleiss University of Stuttgart

Univ. -Prof. Dr. Jürgen Pafel University of Stuttgart

Dr. rer. nat. Jürgen Steinwandel University of Stuttgart

Hon. -Prof. Dr. Jürgen Hammer University of Stuttgart

Hon. -Prof. Dr. Jürgen Blum University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Optimized Temporal Logic Compilation.A. Krebs, und J. Ruf. J. UCS, 9 (2): 120-137 (2003)The simulation semantics of systemC.J. Ruf, D. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiel, und W. Müller. DATE, Seite 64-70. IEEE Computer Society, (2001)Coverage Driven Verification applied to Embedded Software.D. Lettnin, M. Winterholer, A. Braun, J. Gerlach, J. Ruf, T. Kropf, und W. Rosenstiel. ISVLSI, Seite 159-164. IEEE Computer Society, (2007)A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems.T. Kropf, J. Ruf, K. Schneider, und M. Wild. MBMV, Seite 11-20. HNI-Verlagsschriften, (1998)Structured English for Model Checking Specification.S. Flake, W. Müller, und J. Ruf. MBMV, Seite 99-108. VDE, (2000)Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, und B. Schlich. MBMV, Seite 161-170. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Formal Data Analysis of Timed Finite State Systems.J. Ruf, und T. Kropf. ECRTS, Seite 257-. IEEE Computer Society, (2002)A Visual Approach to Validating System Level Designs.J. Ruf, T. Kropf, und J. Klose. ISSS, Seite 186-191. ACM / IEEE Computer Society, (2002)Efficient and Customizable Integration of Temporal Properties.R. Weiss, J. Ruf, T. Kropf, und W. Rosenstiel. FDL, Seite 385-397. ECSI, (2005)Towards assertion-based verification of heterogeneous system designs.S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel, A. Viehl, A. Jesser, und L. Hedrich. DATE, Seite 1171-1176. IEEE, (2010)