Stefan Gossens: Publications & Talks
Articles
Gossens S., Belli, F., Beydeda S., Dal Cin M.: "View Graphs for Analysis and
Testing of Programs" in: Proc. 9th IEEE High-Assurance System Engineering
Symposium 2005 (HASE 2005),
Heidelberg, Oktober 2005.
Gossens S., Dal Cin M.:
"A View-based Control Flow Metric",
fast abstract accepted at
IEEE International Computer Software and Applications Conference 2004 (COMPSAC 2004),
Hong Kong, China, September 2004.
Wang F., Gossens S., Haas W., Heinkel U.:
"Generierung von Plänen für die funktionale Verifikation automatenbasierter Entwürfe",
Workshop Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS 2004),
Dresden, April 2004.
Gossens S., Dal Cin M.:
"Structural Analysis of Explicit Fault-Tolerant Programs",
IEEE High-Assurance System Engineering Symposium 2004 (HASE 2004),
Tampa, USA, March 2004.
Haas W., Bürner T., Gossens S., Heinkel U.:
"Formal Specification of a 40GBit/s Sonet/SDH ASIC with ADeVA",
Forum on specification and Design Languages 2003 (FDL'03), Frankfurt, September 2003.
Heinkel U., Mayer C., Pleickhardt J., Knäblein J., Sahm H., Webb C., Haas W., Gossens S.:
"An Optimized Flow for Designing high-speed, large-scale CMOS ASIC SoCs",
SAMOS III Workshop: Systems, Architectures, MOdeling, and Simulation,
Samos, Greece, July 2003.
Gossens S., Dal Cin M.: "Strukturelle Analyse explizit fehlertoleranter Programme",
5th Workshop Software-Reengineering, Bad Honnef, Germany, Softwaretechnik-Trends, Vol. 23, No. 2, May 2003.
Haas W., Gossens S., Heinkel U.:
"Semantics of a Formal Specification Language for Advanced Design and Verification of ASICs (ADeVA)",
in: Proc. 11th E.I.S.-Workshop, Erlangen, Germany, April 2003.
Heinkel U., Mayer C., Pleickhardt J., Knäblein J., Sahm H., Webb C., Haas W., Gossens S.:
"Specification, Design and Verification of Systems-on-Chip in a Telecom Application",
in: Proc. 11th E.I.S.-Workshop, Erlangen, Germany, April 2003.
Gossens, S.:
"Enhancing Validation with Behavioural Types", in: Proc. High-Assurance System Engineering Symposium HASE 2002, p. 201-208, IEEE,
Tokyo, Japan, October 2002.
Haas, W; Gossens, S.; Heinkel, U.:
"Integration of Formal Specification into the Standard ASIC Design Flow", in: Proc. High-Assurance System
Engineering Symposium HASE 2002, p. 189-194, IEEE, Tokyo, Japan, October 2002.
Haas, W; Gossens, S.; Heinkel, U.:
"Behavioural specification for advanced design and verification of ASICs (ADeVA)",
GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von
Schaltungen und Systemen", Tübingen, Germany, February 2002.
Gossens, S.:
"Enhancing System Validation with Behavioural Types", in:
Proc. 4th Workshop Software-Reengineering (Tech. Report of the Universität Koblenz-Landau, Institut für Informatik),
Bad Honnef, Germany, April 2002.
Major Talks
Strukturelle Analyse explizit fehlertoleranter Programme, 5th Workshop Software-Reengineering, Bad Honnef, May 2003.
Abstracting Control Flows, Diskussionskreis Fehlertoleranz, EPFL Lausanne, March 2003.
Abstraktion von Kontrollflüssen, University of Paderborn, January 2003.
Kontrollflussabstraktion, Colloquium of the Department of Computer Science 11 (Software Engineering), Erlangen, December 2002.
Enhancing Validation with Behavioural Types, 7th IEEE Symposium on High-Assurance System Engineering, Tokyo University, October 2002.
Integration of Formal Specification into the Standard ASIC Design Flow, 7th IEEE Symposium on High-Assurance System Engineering, Tokyo University, October 2002.
Verhaltenstypen, Diskussionskreis Fehlertoleranz, FhG-IIS, Dresden, October 2002.
Verhaltenstypen, Seminar of the
Graduiertenkolleg Interdisziplinärer Entwurf verlässlicher Multitechnologie-Systeme, June 2002.
Verifikation mit Verhaltenstypen, Lucent Technologies / Siemens CVE, June 2002.
Verifikation mit Verhaltenstypen, internal talk, April 2002.
AUTOCS - Automated Testing of Control Structures, Lucent Technologies, December 2001.
Rechnergestütztes Validieren von ASIC-Entwürfen, Seminar of
the
Graduiertenkolleg Interdisziplinärer Entwurf verlässlicher Multitechnologie-Systeme, May 2001.
Outlook: A Formal Language for specifying ASIC Verification Strategies, Special Event Formal Specification, Lucent Technologies, April 2001.
Ein neuer Ansatz zum ASIC-Entwurf in der Telekommunikation, Diskussionskreis Fehlertoleranz, Medizinische Universität Lübeck, March 2001.
Ideen zu einem integrierten Analysetool, Diskussionskreis Fehlertoleranz, Universität Paderborn, March 2000.
