Bernhard Schätz
Bernhard Schätz
Head of Department, fortiss GmbH; Lecturerer, Technische Universität München
Verified email at
Cited by
Cited by
Clone detection in automotive model-based development
F Deissenboeck, B Hummel, E Jürgens, B Schätz, S Wagner, JF Girard, ...
2008 ACM/IEEE 30th International Conference on Software Engineering, 603-612, 2008
Model-based development of embedded systems
B Schätz, A Pretschner, F Huber, J Philipps
International Conference on Object-Oriented Information Systems, 298-311, 2002
K. AUTOFOCUS-A Tool for Distributed System Specification
FS Huber, B Schmidt, A Spies
Proceedings FTRTFT 96, 476-470, 0
What is the Benefit of a Model-Based Design of Embedded Software Systems in the Car Industry?
M Broy, S Kirstan, H Krcmar, B Schätz
Emerging Technologies for the Evolution and Maintenance of Software Models …, 2011
Consistent graphical specification of distributed systems
F Huber, B Schätz, G Einert
International Symposium of Formal Methods Europe, 122-141, 1997
Model clone detection in practice
F Deissenboeck, B Hummel, E Juergens, M Pfaehler, B Schaetz
Proceedings of the 4th International Workshop on Software Clones, 57-64, 2010
mbeddr: an extensible C-based programming language and IDE for embedded systems
M Voelter, D Ratiu, B Schaetz, B Kolb
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
Can clone detection support quality assessments of requirements specifications?
E Juergens, F Deissenboeck, M Feilkas, B Hummel, B Schaetz, S Wagner, ...
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Tool Supported Specification and Simulation of Distributed Systems.
F Huber, S Molterer, A Rausch, B Schätz, M Sihling, O Slotosch
pdse, 155-, 1998
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.
V Aravantinos, S Voss, S Teufl, F Hölzl, B Schätz
ACES-MB&WUCOR@ MoDELS 1508, 19-26, 2015
AutoMoDe-Notions, Methods, and Tools for Model-Based Development of Automotive Software
A Braun, M Broy, J Romberg, B Schätz, P Braun, U Freund, N Mata, ...
SAE World Congress, 2005
AutoFocus–Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
M Broy, F Huber, B Schätz
Informatik Forschung und Entwicklung 14 (3), 121-134, 1999
Graph and model transformation tools for model migration
LM Rose, M Herrmannsdoerfer, S Mazanek, P Van Gorp, S Buchwald, ...
Software & Systems Modeling 13 (1), 323-359, 2014
mbeddr: Instantiating a language workbench in the embedded software domain
M Voelter, D Ratiu, B Kolb, B Schaetz
Automated Software Engineering 20 (3), 339-390, 2013
Formalization and rule-based transformation of EMF Ecore-based models
B Schätz
International Conference on Software Language Engineering, 227-244, 2008
Semantic clone detection for model-based development of embedded systems
B Al-Batran, B Schätz, B Hummel
Model Driven Engineering Languages and Systems, 258-272, 2011
Consistent integration of formal methods
P Braun, H Lötzbeyer, B Schätz, O Slotosch
International Conference on Tools and Algorithms for the Construction and …, 2000
Design-space exploration through constraint-based model-transformation
B Schätz, F Hölzl, T Lundkvist
2010 17th IEEE International conference and workshops on engineering of …, 2010
Deployment and scheduling synthesis for mixed-critical shared-memory applications
S Voss, B Schätz
2013 20th IEEE International Conference and Workshops on Engineering of …, 2013
Integrating formal description techniques
B Schätz, F Huber
International Symposium on Formal Methods, 1206-1225, 1999
The system can't perform the operation now. Try again later.
Articles 1–20