SpecVer - Publikationen

2009

7 J. Gladigau, C. Haubelt, M. Streubühr, J. Teich, A. Schneider, J. Knäblein and M. Lindig. Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Seite 157-166, Berlin, Germany, March 2-4, 2009. ©1

2008

6 M. Streubühr, M. Jäntsch, C. Haubelt, J. Teich and A. Schneider. Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models. 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Freiburg, Germany, pp. 139-148, March 03-05, 2008. ©1

5 J. Gladigau, F. Blendinger, C. Haubelt and J. Teich. Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Freiburg, Germany, pp. 109-118, March 03-05, 2008. ©1

2006

4 G. Bunin, A. Schneider, C. Haubelt, J. Langer and U. Heinkel. Automatic Test Case Generation with Model Checker NuSMV. In Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen. Dresden, Germany, pp. 262 - 263, October 02-10, 2006. ©1

3 A. Schneider, G. Bunin, C. Haubelt and U. Heinkel. Automatic Test Generation with Model Checking Techniques. In Software Quality in Service-Oriented Architectures Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006). Berlin, Germany, pp. 307 - 318, September 27-29, 2006. ©1

2005

2 T. Dinkel, C. Haubelt, U. Heinkel, J. Knäblein, T. Schlichter, S. Schock and J. Teich. Comparison of Techniques for the Automatic Verification of ADeVA Specifications. In Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005). Dresden, Germany, April 13-14, 2005. ©1

1 T. Dinkel, C. Haubelt, U. Heinkel, T. Schlichter and J. Teich. Automatische Verification von ADeVA-Spezifikationen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. GI/ITG/GMM-Workshop 2005, Munich, Germany, April 06-07, 2005. ©1

Semester and Diploma Thesis

2008

3 M. Jäntsch. Modellierung und Simulation eines elektronischen Bremssystems im Personenkraftwagen. Projektarbeit, Lehrstuhl Hardware-Software-Co-Design, Universität Erlangen-Nürnberg, Juli, 2008. ©1

2005

2 S. Schock. Abbildung von ADeVA-Spezifikationen auf Esterel zur automatischen Verifikation. Studienarbeit, Lehrstuhl Hardware-Software-Co-Design, Universität Erlangen-Nürnberg, April 2005. ©1

1 T. Dinkel. Generierung von C-Modellen aus einer formalen Anforderungsspezifikation zur automatisierten Verifikation. Diplomarbeit, Lehrstuhl Hardware-Software-Co-Design, Universität Erlangen-Nürnberg, Februar 2005. ©1