The SCEAS System
Navigation Menu

Search the dblp DataBase


Stefan Gossens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefan Gossens, Mario Dal Cin
    A View-Based Control Flow Metric. [Citation Graph (0, 0)][DBLP]
    COMPSAC Workshops, 2004, pp:26-27 [Conf]
  2. Stefan Gossens
    Enhancing System Validation with Behavioural Types. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:201-210 [Conf]
  3. Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin
    View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:121-130 [Conf]
  4. Stefan Gossens, Mario Dal Cin
    Structural Analysis of Explicit Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:89-96 [Conf]
  5. Werner Haas, Stefan Gossens, Ulrich Heinkel
    Integration of Formal Specification into the Standard ASIC Design Flow. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:189-194 [Conf]
  6. Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens
    An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. [Citation Graph (0, 0)][DBLP]
    SAMOS, 2004, pp:98-107 [Conf]

  7. Formal Specification of a 40GBit/s Sonet/SDH ASIC. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002