Bernhard Schätz
Bernhard Schätz
Head of Department, fortiss GmbH; Lecturerer, Technische Universität München
Bestätigte E-Mail-Adresse bei fortiss.org
Titel
Zitiert von
Zitiert von
Jahr
Coffee: Volume 1: Chemistry
RJ Clarke
Springer Science & Business Media, 2012
2422012
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
1932008
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
1452002
K. AUTOFOCUS-A Tool for Distributed System Specification
FS Huber, B Schmidt, A Spies
Proceedings FTRTFT 96, 476-470, 0
141*
Consistent graphical specification of distributed systems
F Huber, B Schätz, G Einert
International Symposium of Formal Methods Europe, 122-141, 1997
1171997
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
1112011
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
1062010
Tool Supported Specification and Simulation of Distributed Systems.
F Huber, S Molterer, A Rausch, B Schätz, M Sihling, O Slotosch
pdse, 155-, 1998
841998
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
802010
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
792012
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
68*2005
AutoFocus– Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
M Broy, F Huber, B Schätz
Informatik Forschung und Entwicklung 14 (3), 121-134, 1999
631999
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
612015
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
562013
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
562000
Formalization and rule-based transformation of EMF Ecore-based models
B Schätz
International Conference on Software Language Engineering, 227-244, 2008
512008
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
492011
Integrating formal description techniques
B Schätz, F Huber
International Symposium on Formal Methods, 1206-1225, 1999
48*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
462014
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
452013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20