The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard Schätz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
    Traffic Lights - An AutoFocus Case Study. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:282-0 [Conf]
  2. Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
    AutoMoDe - Model-Based Development of Automotive Software. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:171-177 [Conf]
  3. Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner
    Checking and Transforming Models with AutoFOCUS. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:307-314 [Conf]
  4. Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner
    Consistency in Model-Based Development. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:287-296 [Conf]
  5. Leonid Kof, Bernhard Schätz
    Combining Aspects of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:344-349 [Conf]
  6. Bernhard Schätz, Katharina Spies
    10 Years Focus - Lessons learned. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:111-120 [Conf]
  7. Franz Huber, Bernhard Schätz
    Rapid Prototyping with AutoFocus. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:343-352 [Conf]
  8. Franz Huber, Bernhard Schätz
    Specification Modules for Methodical System Development. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:75-86 [Conf]
  9. Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
    Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:103-112 [Conf]
  10. Franz Huber, Bernhard Schätz, Geralf Einert
    Consistent Graphical Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:122-141 [Conf]
  11. Bernhard Schätz, Franz Huber
    Integrating Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1206-1225 [Conf]
  12. Bernhard Schätz, Heinrich Hußmann, Manfred Broy
    Graphical Development of Consistent System Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:248-267 [Conf]
  13. Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
    AutoFocus: A Tool for Distributed Systems Specification. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:467-470 [Conf]
  14. Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
    Integrierte Entwicklung von Automotive-Software mit AutoFOCUS. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2004, pp:13-17 [Conf]
  15. Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
    Model-Based Requirements Engineering with AutoRAID. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2005, pp:511-515 [Conf]
  16. Bernhard Schätz
    Model-Based Development: Combining Engineering Approaches and Formal Techniques. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:1-2 [Conf]
  17. Bernhard Schätz, Chris Salzmann
    Service-Based Systems Engineering: Consistent Combination of Services. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:86-104 [Conf]
  18. Bernhard Schätz
    UML-RT - Die Lösung für eingebettete Software? [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:263-265 [Conf]
  19. Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
    CASE Support and Model-Based Development. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:283-284 [Conf]
  20. Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
    Model-Based Development of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OOIS Workshops, 2002, pp:298-312 [Conf]
  21. Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
    Tool Supported Specification and Simulation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PDSE, 1998, pp:155-0 [Conf]
  22. Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
    Consistent Integration of Formal Methods. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:48-62 [Conf]
  23. Bernhard Schätz
    Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem. [Citation Graph (0, 0)][DBLP]
    Transputer-Anwender-Treffen, 1990, pp:88-94 [Conf]
  24. Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
    Integrierte Entwicklung von Automotive-Software mit AutoFocus. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2005, v:19, n:4, pp:194-205 [Journal]
  25. Manfred Broy, Franz Huber, Bernhard Schätz
    AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1999, v:14, n:3, pp:121-134 [Journal]
  26. 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]
  27. Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, Andreas Bauer 0002, Jan Romberg, Bernhard Schätz
    AutoMoDe - Model-Based Development of Automotive Software [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  28. Bernhard Schätz
    Combining Product Lines and Model-Based Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:171-186 [Journal]
  29. Eva Geisberger, Bernhard Schätz
    Modellbasierte Anforderungsanalyse mit AutoRAID. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2007, v:21, n:3-4, pp:231-242 [Journal]

  30. A Model-Based Approach To Requirements Analysis. [Citation Graph (, )][DBLP]


  31. 07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. [Citation Graph (, )][DBLP]


  32. 07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. [Citation Graph (, )][DBLP]


  33. Service-Oriented Modeling of CoCoME with Focus and AutoFocus. [Citation Graph (, )][DBLP]


  34. Structured Formalization of Service-Oriented Specifications. [Citation Graph (, )][DBLP]


  35. Design-Space Exploration through Constraint-Based Model-Transformation. [Citation Graph (, )][DBLP]


  36. Clone detection in automotive model-based development. [Citation Graph (, )][DBLP]


  37. Can clone detection support quality assessments of requirements specifications? [Citation Graph (, )][DBLP]


  38. Vorwort zum Industriesymposium der Modellierung 2008. [Citation Graph (, )][DBLP]


  39. The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008). [Citation Graph (, )][DBLP]


  40. "Models and Evolution": Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM). [Citation Graph (, )][DBLP]


  41. The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). [Citation Graph (, )][DBLP]


  42. Model-Based Engineering of Embedded Control Software. [Citation Graph (, )][DBLP]


  43. Formalization and Rule-Based Transformation of EMF Ecore-Based Models. [Citation Graph (, )][DBLP]


  44. Test Case Integration: From Components to Systems. [Citation Graph (, )][DBLP]


  45. From Constraints to Design Space Exploration. [Citation Graph (, )][DBLP]


  46. Clone Detection in Automotive Model-Based Development. [Citation Graph (, )][DBLP]


  47. Modular Functional Descriptions. [Citation Graph (, )][DBLP]


  48. Model-Based Safety-Cases for Software-Intensive Systems. [Citation Graph (, )][DBLP]


  49. Integrating Component Tests to System Tests. [Citation Graph (, )][DBLP]


  50. Preface. [Citation Graph (, )][DBLP]


Search in 0.177secs, Finished in 0.180secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002