Dr.-Ing. Stefan Gossens

Is a former member of the research staff at the Department of Computer Science 3 (Computer Architecture).

Publications

  • Gossens, Stefan; Belli, Fevzi; Beydeda, Sami; Dal Cin, Mario:
    View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.
    In: IEEE Computer Society (Ed.): Ninth IEEE International Symposium on High Assurance Systems Engineering
    (HASE 2005 Ninth IEEE International Symposium on High Assurance Systems Engineering, Heidelberg, Germany, 12-14 October 2005).
    2005, pp. 121-130.
  • Gossens, Stefan; Dal Cin, Mario:
    A View-based Control Flow Metric.
    In: n.b. (Ed.): Proceedings of IEEE International Computer Software and Applications Conference 2004 (COMPSAC 2004)
    (IEEE International Computer Software and Applications Conference 2004 (COMPSAC 2004), Hong Kong, China, September).
    2004, pp. -.
  • Wang F.; Gossens, Stefan; Haas W.; Heinkel U.:
    Generierung von Plänen für die funktionale Verifikation automatenbasierter Entwürfe.
    In: n.b. (Ed.): Proceedings of Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'04)
    (Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'04), Dresden, April).
    2004, pp. ..
  • Wang F.; Gossens, Stefan; Haas W.; Heinkel U.:
    Generierung von Testvorschlägen aus tabellarischen Spezifikationen.
    In: n.b. (Ed.): Proceedings of 16. ITG/GI/GMM Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen"
    (16. ITG/GI/GMM Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", Dresden, März).
    2004, pp. ..
  • Gossens, Stefan:
    Sichtgraphen: Ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen.
    Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2004
  • Gossens, Stefan; Dal Cin, Mario:
    Structural Analysis of Explicit Fault-Tolerant Programs.
    In: n.b. (Ed.): Proceedings of IEEE High-Assurance System Engineering Symposium 2004 (HASE 2004)
    (IEEE High-Assurance System Engineering Symposium 2004 (HASE 2004), Tampa, USA, March).
    2004, pp. ..
  • Heinkel U.; Mayer C.; Pleickhardt J.; Knäblein J.; Sahm H.; Webb C.; Haas W.; Gossens, Stefan:
    An Optimized Flow for Designing high-speed, large-scale CMOS ASIC SoCs.
    In: n.b. (Ed.): Proc. SAMOS III Workshop: Systems, Architectures, MOdeling, and Simulation
    (SAMOS III Workshop: Systems, Architectures, MOdeling, and Simulation, Samos, Greece, July 2003).
    2003, pp. ..
  • Haas, W.; Bürner, T.; Gossens, Stefan; Heinkel, U.:
    Formal Specification of a 40GBit/s Sonet/SDH ASIC with ADeVA.
    In: n.b. (Ed.): Proc. of Forum on specification and Design Languages 2003 (FDL'03)
    (Forum on specification and Design Languages 2003 (FDL'03), Frankfurt, September 2003).
    2003, pp. ..
  • Haas, W.; Gossens, Stefan; Heinkel, U.:
    Semantics of a Formal Specification Language for Advanced Design and Verification of ASICs (ADeVA).
    In: n.b. (Ed.): Proc. 11th E.I.S.-Workshop
    (11th E.I.S.-Workshop, Erlangen, April 2003).
    2003, pp. 51-56.
  • Heinkel U; Mayer C.; Pleickhardt J.; Knäblein J.; Sahm H.; Webb C.; Haas W.; Gossens, Stefan:
    Specification, Design and Verification of Systems-on-Chip in a Telecom Application.
    In: n.b. (Ed.): Proc. 11th E.I.S.-Workshop
    (11th E.I.S.-Workshop,, Erlangen, April 2003).
    2003, pp. 45-50.
  • Gossens, Stefan; Dal Cin, Mario:
    Strukturelle Analyse explizit fehlertoleranter Programme.
    In: n.b. (Ed.): Proc. 5th Workshop Software-Reengineering
    (5th Workshop Software-Reengineering, Bad Honnef, May 2003).
    2003, pp. ..
  • Haas, W.; Heinkel, U.; Gossens, Stefan:
    Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA).
    In: Jürgen Ruf (Ed.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Berichte aus der Informatik)
    (GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Tübingen, 25.-27. Februar 2002).
    Aachen: Shaker Verlag, 2002, pp. 96-105.
  • Gossens, Stefan:
    Enhancing System Validation with Behavioural Types.
    In: . (Ed.): Proceedings 7th IEEE/IEICE International Symposium on High Assurance Systems Engineering
    (7th IEEE/IEICE International Symposium on High Assurance Systems Engineering, Tokio, Japan, 23.-25. Oktober 2002).
    Los Alamitos: IEEE Computer Society, 2002, pp. 201-208.
  • Haas, W.; Heinkel, U.; Gossens, Stefan:
    Integration of Formal Specification into the Standard ASIC Design Flow.
    In: unbekannt (Ed.): Proc. 7th IEEE/IEICE International Symposium on High Assurance Systems Engineering
    (7th IEEE/IEICE International Symposium on High Assurance Systems Engineering, Tokio, Japan, 23.-25. Oktober 2002).
    Los Alamitos: IEEE Computer Society, 2002, pp. 189-194.
  • Gossens, Stefan:
    Verifikation durch Kontrollflussuntersuchung.
    In: Jürgen Ebert ; Bernt Kullbach; Franz Lehner (Ed.): 4. Workshop Software Reengineering, Fachbericht Informatik 9/2002 der Universität Koblenz-Landau
    (4. Workshop Software Reengineering, Bad Honnef, 29.-30. April 2002).
    Koblenz: Universität Koblenz, 2002, pp. xxx-yyy.