The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Thomas Stauner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
    04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. [Citation Graph (0, 0)][DBLP]
    SYNCHRON, 2004, pp:- [Conf]
  2. Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner
    04491 Executive Summary - Synchronous Programming - SYNCHRON'04. [Citation Graph (0, 0)][DBLP]
    SYNCHRON, 2004, pp:- [Conf]
  3. Thomas Stauner
    Hybrid Systems' Properties - Classification and Relation to Computer Science. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:79-93 [Conf]
  4. Thomas Stauner
    Specification of (parts of) a Lip-Sync Protocol Using HyCharts. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:213-222 [Conf]
  5. Thomas Stauner, Klaus Schneider, Michaela Huhn
    Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:223-232 [Conf]
  6. Radu Grosu, Thomas Stauner, Manfred Broy
    A Modular Visual Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:75-91 [Conf]
  7. Amen Hamdan, Jens Heidrich, Thomas Stauner, Axel Wickenkamp
    Erfahrungen mit der Messung der Wartbarkeit von Steuergeräte-Software. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2005, pp:171-175 [Conf]
  8. Thomas Stauner
    Discrete-Time Refinement of Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:407-420 [Conf]
  9. Thomas Stauner, Olaf Müller, Max Fuchs
    Using HYTECH to Verify an Automative Control System. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:139-153 [Conf]
  10. Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, Thomas Stauner
    One evaluation of model-based testing and its automation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:392-401 [Conf]
  11. Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner
    3rd international workshop on software engineering for automotive systems - SEAS 2006. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1034- [Conf]
  12. Chris Salzmann, Thomas Stauner, Alexander Pretschner
    ICSE Workshop: Software Engineering for Automotive Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:779- [Conf]
  13. Chris Salzmann, Thomas Stauner, Alexander Pretschner
    2nd international workshop on software engineering for automotive systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:695- [Conf]
  14. Radu Grosu, Ingolf Krüger, Thomas Stauner
    Hybrid Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:104-0 [Conf]
  15. Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
    Prototype-Based Tests for Hybrid Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:78-0 [Conf]
  16. Thomas Stauner, Alexander Pretschner, Istran Péter
    Approaching a Discrete-Continuous UML: Tool Support and Formalization. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:242-257 [Conf]
  17. Michael Baldamus, Thomas Stauner
    Modifying Esterel Concepts to Model Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
  18. Thomas Stauner, Christoph Grimm
    Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
  19. Radu Grosu, Thomas Stauner
    Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:1, pp:5-38 [Journal]
  20. Thomas Stauner
    Properties of Hybrid Systems-A Computer Science Perspective. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:3, pp:223-259 [Journal]
  21. Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner
    4th International ICSE Workshop on Software Engineering for Automotive Systems. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:146- [Conf]

  22. Software Engineering for Automotive Systems: A Roadmap. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.302secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002