Bernhard Schätz

Publications

Export list as BibTeX file

• March 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker, Sebastian Voss and Bernhard Schätz Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB
• April 2016 Schedule synthesis for multi-period SW components Sebastian Voss, Johannes Eder and Bernhard Schätz In SAE 2016 World Congress and Exhibition, SAE International. Details DOI BIB
• 2016 FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry Zaur Molotnikov, Konstantin Schorp, Vincent Aravantinos and Bernhard Schätz Details URL BIB
• 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan, Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, Springer. Details DOI BIB
• April 2015 Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems Pragya Kirti Gupta, Klaus Becker, Markus Duchon and Bernhard Schätz In Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XI Model-Based Development of Embedded Systems, Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details URL BIB
• April 2015 Safety Case Driven Model-Based Systems Construction Sebastian Voss, Carmen Cârlan, Bernhard Schätz and Tim Kelly In Proceedings of the 2nd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2015), Details URL BIB
• March 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker and Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, Details URL BIB
• 2015 An Energy Management System for a Smart Office Environment Cristina Rottondi, Markus Duchon, Dagmar Koss, Giacomo Verticale and Bernhard Schätz Workshop on Middleware for a Smarter Use of Electric Energy, Details BIB
• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, Details URL BIB
• 2015 Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context Bernhard Schätz, Sergey Zverlov and Sebastian Voss In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, Details DOI BIB
• 2015 Textual model-based software/system architecture documentation using MPS Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat and Bernhard Schätz In Software Engineering & Management, volume 239, pages 232-237, Details URL BIB
• 2015 Using Knowledge Discovery for Autonomous Decision Making in Smart Grid Nodes Pragya Kirti Gupta, Ann Katrin Gibtner, Markus Duchon, Dagmar Koss and Bernhard Schätz In Details BIB
• May 2014 Deployment Calculation and Analysis for a Fail-Operational Automotive Platform Klaus Becker, Michael Armbruster, Bernhard Schätz and Christian Buckl In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Details URL BIB
• 2014 A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems Klaus Becker, Bernhard Schätz, Michael Armbruster and Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), Details DOI BIB
• 2014 A Pattern-based Approach towards Modular Safety Analysis and Argumentation Maged Khalil, Bernhard Schätz and Sebastian Voss In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, Details BIB
• 2014 Advancement of a Sensor Aided Smart Grid Node Architecture Markus Duchon, Pragya Kirti Gupta, Dagmar Koss, Denis Bytschkow and Bernhard Schätz In Details BIB
• April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss and Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), pages 100–109, Phoenix, AZ, USA, IEEE. Details DOI BIB
• April 2013 Seamless Model-based Development of Embedded Systems with AF3 Phoenix Sebastian Voss, Antoaneta Kondeva, Daniel Ratiu and Bernhard Schätz In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pages 212, Details DOI BIB
• 2013 On Behavioral Types for OSGi: From Theory to Implementation Jan Olaf Blech, Harald Rueß and Bernhard Schätz CoRR, abs/1306.6115():, 2013. Details URL BIB
• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss, Bernhard Schätz, Maged Khalil and Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), Springer. Details URL BIB
• February 2012 Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories Sebastian Voss and Bernhard Schätz In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, Details URL BIB
• 2012 Behavioral specification based runtime monitors for OSGi services Jan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, Details BIB
• 2012 Behavioral Specification Based Runtime Monitors for OSGi Services Jan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, Details URL DOI BIB
• 2012 Establishing a Smart Grid Node Architecture and Demonstrator in an Office Environment Using the SOA Approach Dagmar Koss, Denis Bytschkow, Pragya Kirti Gupta, Bernhard Schätz, Florian Sellmayr and Steffen Bauereiß ICSE :International Workshop on Software Engineering Challenges for the Smart Grid(SE4SG), Details BIB
• 2012 Implementing Modular Domain Specific Language and Analyses Daniel Ratiu, Markus Voelter, Zaur Molotnikov and Bernhard Schätz In MoDEVVA 2012 (MODELS Workshop), Details BIB
• 2012 Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu, Markus Voelter, Bernhard Schätz and Bernd Kolb In FormSERA 2012 (ICSE Workshop), Details BIB
• 2012 mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems Markus Voelter, Daniel Ratiu, Bernd Kolb and Bernhard Schätz In Gourab Sen Gupta, Donald Bailey, Serge Demidenko and Dale Carnegie, editor, Proceedings of Wavefront/SPLASH 2012, Details BIB
• 2012 Model-based software in-the-loop-test of autonomous systems Andreas Bayha, Franziska Grüneis and Bernhard Schätz In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, Society for Computer Simulation International. Details URL BIB
• February 2011 A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study Martin Feilkas, Florian Hölzl, Christian Pfaller, Sabine Rittmann, Bernhard Schätz, Wolfgang Schwitzer, Wassiou Sitou, Maria Spichkova and David Trachtenherz Details URL BIB
• 2011 FALTER in the Loop: Testing UAV Software in Virtual Environments Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis and Dagmar Koss In Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Details BIB
• 2011 Mehr Software (im) Wagen - Informations- und Kommunikationstechnologie als Motor der Elektromobilität der Zukunft Christian Buckl, Marcus Fehling, Cornel Klein and Bernhard Schätz In Eva Geisberger and Manfred Broy, editor, Konferenzband 2. Automobiltechnisches Kolloqium 2011, VDI Verlag. Details BIB
• 2011 Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität Manuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanek volume . ForTISS GmbH, , edition, 2011. Details BIB
• 2011 Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Zusammenfassung der Ergebnisse des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität Manuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanek volume . ForTISS GmbH, , edition, 2011. Details BIB
• 2011 Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments Florian Mutter, Stefanie Gareis, Bernhard Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis and Dagmar Koss In Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, IEEE. Details DOI BIB
• 2011 The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology Manuel Bernhard, Christian Buckl, Volkmar Döricht, Marcus Fehling, Ludger Fiege, Helmut von Grolman, Nicolas Ivandic, Christoph Janelle, Cornel Klein, Karl-Josef Kuhn, Christian Patzlaff, Bettina Riedl, Bernhard Schätz and Christian Stanek volume . ForTISS GmbH, , edition, 2011. Details BIB