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

Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives.

A. Both, W. Zimmermann, und R. Franke. Electron. Notes Theor. Comput. Sci., (2010)

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.

Univ. -Prof. Dr. -Ing. André Zimmermann University of Stuttgart

Influences on the Fabrication of Diffractive Optical Elements by Injection Compression MoldingM. Roeder, P. Schilling, D. Hera, T. Günther, und A. Zimmermann. Journal of manufacturing and materials processing, 2 (1): 5 (2018)

Influences on the Fabrication of Diffractive Optical Elements by Injection Compression MoldingM. Roeder, P. Schilling, D. Hera, T. Günther, und A. Zimmermann. Journal of manufacturing and materials processing, 2 (1): 5 (2018)Effect of flow lines on the metallization of laser structured polymer partsA. Fischer, D. Drummer, t. Kuhn, J. Franke, H. Müller, und A. Zimmermann. SPE ANTEC 2017, 2, Seite 943-949. Red Hook, Curran Associates, Inc., (2020)Inkjet-Printed Metal Lines and Sensors on 2D and 3D Plastic SubstratesB. Polzinger, J. Keck, W. Eberhardt, und A. Zimmermann. Handbook of industrial inkjet printing : A Full System Approach, 2, Kapitel 36, Wiley-VCH, Weinheim, (2018)

Dr. Dominik Zimmermann University of Stuttgart

Thomas Wolfram University of Stuttgart

Martin Wolf University of Stuttgart

Markus Zimmermann University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A Step Towards a More Practical Protocol Conformance Checking Algorithm.A. Both, und W. Zimmermann. EUROMICRO-SEAA, Seite 458-465. IEEE Computer Society, (2009)Scheduling Iterative Programs onto LogP-Machine.W. Löwe, und W. Zimmermann. Euro-Par, Volume 1685 von Lecture Notes in Computer Science, Seite 332-339. Springer, (1999)On the Role of Non-functional Properties in Compiler Verification.J. Knoop, und W. Zimmermann. ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 491-495. Springer, (2010)Eine Methode zur Konstruktion robuster Klassenhierarchien.A. Frick, R. Neumann, und W. Zimmermann. Inform., Forsch. Entwickl., 12 (4): 186-195 (1997)ASM-based Mechanized Verification of Compiler Back-Ends.A. Dold, T. Gaul, V. Vialard, und W. Zimmermann. Workshop on Abstract State Machines, Seite 50-67. (1998)Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives.A. Both, W. Zimmermann, und R. Franke. Electron. Notes Theor. Comput. Sci., (2010)Robuste Komponentensysteme durch Protokollprüfung.A. Both, und W. Zimmermann. GI-Jahrestagung, Volume P-192 von LNI, Seite 314. GI, (2011)Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen.C. Berg, und W. Zimmermann. Software Engineering (Workshops), Volume 1129 von CEUR Workshop Proceedings, Seite 111-128. CEUR-WS.org, (2014)Reasoning about Complexity of Object-Oriented Programs.H. Schmidt, und W. Zimmermann. PROCOMET, Volume A-56 von IFIP Transactions, Seite 553-572. North-Holland, (1994)Natural semantics as a static program analysis framework.S. Glesner, und W. Zimmermann. ACM Trans. Program. Lang. Syst., 26 (3): 510-577 (2004)