Skip to content

Bernhard Schtz

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

36

Venues

16

Active years

1996–2016

Best venue rank

A*

Where they publish

Papers

36 indexed papers, newest first.

YearVenueTitleAuthors
2016ICSEConstraint-based graceful degradation in smart grids.Pragya Kirti Gupta, Bernhard Schtz
2016SAFECOMPOn Using Results of Code-Level Bounded Model Checking in Assurance Cases.Carmen Crlan, Daniel Ratiu, Bernhard Schtz
2015DACAutomating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context.Bernhard Schtz, Sebastian Voss, Sergey Zverlov
2015MODELSAutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hlzl, Bernhard Schtz
2015REHandling non-functional requirements in Model-Driven Development: An ongoing industrial survey.David Ameller, Xavier Franch, Cristina Gmez, Joo Arajo, Richard Berntsson-Svensson, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Maya Daneva, Daniel Mndez Fernndez, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Hugo Bruneliere, Loli Burgueo, Miguel Goulo, Bernhard Schtz, Sabine Teufl
2014MODELSOpen Source: Innovation Platforms for MBSE?Bernhard Schtz
2014SEFMA Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.Klaus Becker, Bernhard Schtz, Michael Armbruster, Christian Buckl
2012ICSEEstablishing a smart grid node architecture and demonstrator in an office environment using the SOA approach.Dagmar Ko, Denis Bytschkow, Pragya Kirti Gupta, Bernhard Schtz, Florian Sellmayr, Steffen Bauerei
2012ICSELanguage engineering as an enabler for incrementally defined formal analyses.Daniel Ratiu, Bernhard Schtz, Markus Vlter, Bernd Kolb
2012ISoLABehavioral Specification Based Runtime Monitors for OSGi Services.Jan Olaf Blech, Ylis Falcone, Harald Rue, Bernhard Schtz
2012MODELSSummary of the 6th International Workshop on Models and Evolution (ME 2012).Dalila Tamzalit, Bernhard Schtz, Jonathan Sprinkle, Alfonso Pierantonio
2012OOPSLAmbeddr: an extensible C-based programming language and IDE for embedded systems.Markus Voelter, Daniel Ratiu, Bernhard Schtz, Bernd Kolb
2011COMPSACFrom Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages.Bernhard Schtz
2011MODELSSemantic Clone Detection for Model-Based Development of Embedded Systems.Bakr Al-Batran, Bernhard Schtz, Benjamin Hummel
2011MODELSSummary of the Second International Workshop on Models and Evolution.Dirk Deridder, Alfonso Pierantonio, Bernhard Schtz, Jonathan Sprinkle, Dalila Tamzalit
2010ICSECan clone detection support quality assessments of requirements specifications?Elmar Jrgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schtz, Stefan Wagner, Christoph Domann, Jonathan Streit
2010ISoLACertification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain.Bernhard Schtz
2010ISSREA Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models.Stefan Wagner, Bernhard Schtz, Stefan Puchner, Peter Kock
2010MODELSThe 3Marko Boskovic, Daniela Cancila, Claus Pahl, Bernhard Schtz
2010MODELSModels and Evolution - ME2010.Dirk Deridder, Alfonso Pierantonio, Bernhard Schtz, Dalila Tamzalit
2010MODELSThe Doctoral Symposium at MODELS 2010.Bernhard Schtz, Brian Elvester
2009MODELSThe 2Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schtz
2009MODELS"Models and Evolution": Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM).Dalila Tamzalit, Dirk Deridder, Bernhard Schtz
2008ICSEClone detection in automotive model-based development.Florian Deissenboeck, Benjamin Hummel, Elmar Jrgens, Bernhard Schtz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert
2008MODELSThe First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schtz
2008SLEFormalization and Rule-Based Transformation of EMF Ecore-Based Models.Bernhard Schtz
2007ICSE4th International ICSE Workshop on Software Engineering for Automotive Systems.Alexander Pretschner, Christian Salzmann, Bernhard Schtz, Thomas Stauner
2005DATEAutoMoDe - Model-Based Development of Automotive Software.Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer, Jan Romberg, Bernhard Schtz
2005GIModel-Based Requirements Engineering with AutoRAID.Bernhard Schtz, Andreas Fleischmann, Eva Geisberger, Markus Pister
2004GIIntegrierte Entwicklung von Automotive-Software mit AutoFOCUS.Andreas Bauer, Jan Romberg, Bernhard Schtz
2004ICFEMModel-Based Development: Combining Engineering Approaches and Formal Techniques.Bernhard Schtz
2003ICFEMService-Based Systems Engineering: Consistent Combination of Services.Bernhard Schtz, Christian Salzmann
2000TACASConsistent Integration of Formal Methods.Peter Braun, Heiko Ltzbeyer, Bernhard Schtz, Oscar Slotosch
1999FMIntegrating Formal Description Techniques.Bernhard Schtz, Franz Huber
1997FMConsistent Graphical Specification of Distributed Systems.Franz Huber, Bernhard Schtz, Geralf Einert
1996FMGraphical Development of Consistent System Specifications.Bernhard Schtz, Heinrich Humann, Manfred Broy