Michaela Huhn

Stefan Gerken

Carsten Rudolph

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks.

[BibT_eX]

[DOI]

Maksims Fiosins

Jörg P. Müller

Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2013

Towards Formal Safety Analysis in Feature-Oriented Product Line Development.

[BibT_eX]

[DOI]

Sara Bessling

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

2012

Integration domänenspezifischer Modellierung in der Diagnose von Automatisierungssystemen.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2012

GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen.

[BibT_eX]

[DOI]

Patrick Werner

Stefan Gerken

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012).

[BibT_eX]

[DOI]

Stefan Gerken

Carsten Rudolph

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line.

[BibT_eX]

Sara Blessing

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Enhancing Product Line Development by Safety Requirements and Verification.

[BibT_eX]

[DOI]

Sara Bessling

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Interfaces and models for the diagnosis of cyber-physical ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

2011

Diagnosis in Rail Automation: A Case Study on Megamodels in Practice.

[BibT_eX]

Jochen Grühser

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

JREP: Extending Repast Simphony for JADE Agent Behavior Components.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Formal Safety Analysis in Industrial Practice.

[BibT_eX]

[DOI]

Ilyas Daskaya

Stefan Milius

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

Symptom propagation and transformation analysis: A pragmatic model for system-level diagnosis of large automation systems.

[BibT_eX]

[DOI]

Jochen Grühser

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

A Generic FMU Interface for Modelica.

[BibT_eX]

[DOI]

Wuzhu Chen

Peter Fritzson

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010

Some Observations on SCADE Model Clones.

[BibT_eX]

[DOI]

Dirk Scharff

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Arguing for Software Quality in an IEC 62304 Compliant Development Process.

[BibT_eX]

[DOI]

Axel Zechner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Profiling of Modelica Real-Time Models.

[BibT_eX]

[DOI]

Christian Schulze

Martin Schüler

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

2009

Analysing Dependability Case Arguments Using Quality Models.

[BibT_eX]

[DOI]

Axel Zechner

Proceedings of the Computer Safety, 2009

Structural Analysis of Safety Case Arguments in a Model-based Development Environment.

[BibT_eX]

[DOI]

Axel Zechner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008

Modellqualität als Indikator für Softwarequalität: eine Taxonomie.

[BibT_eX]

[DOI]

Florian Fieber

Bernhard Rumpe

Inform. Spektrum, 2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.

[BibT_eX]

[DOI]

Christoph Knieke

Malte Lochau

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Modeling and Validation of Executable Requirements Using Live Activity Diagrams.

[BibT_eX]

[DOI]

Christoph Knieke

Malte Lochau

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

2007

Architecture Potential Analysis: A Closer Look inside Architecture Evaluation.

[BibT_eX]

[DOI]

Bastian Florentz

J. Softw., 2007

Modellierung und Analyse von Zeitanforderungen basierend auf der UML.

[BibT_eX]

[DOI]

Matthias Hagner

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.

[BibT_eX]

[DOI]

Doron A. Peled

Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.

[BibT_eX]

[DOI]

Doron A. Peled

Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Embedded Systems Architecture: Evaluation and Analysis.

[BibT_eX]

[DOI]

Bastian Florentz

Proceedings of the Quality of Software Architectures, 2006

Comparing Heuristics for Model Based Testsuite Generation.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Minimizing Test Execution Time During Test Generation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005

Optimising Test Execution Times in Test Suite Generation.

[BibT_eX]

[DOI]

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Vooduu: Verification of Object-Oriented Designs Using UPPAAL.

[BibT_eX]

[DOI]

Karsten Diethers

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Generation of Optimized Testsuites for UML Statecharts with Time.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2001

Local First Search - A New Paradigm for Partial Order Reductions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

1999

Formale Verifikation eingebetteter Systeme.

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 1999

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Model Checking Logics for Communicating Sequential Agents.

[BibT_eX]

[DOI]

Frank Wallner

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.

[BibT_eX]

Thomas Stauner

Klaus Schneider

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Verifying Imprecisely Working Arithmetic Circuits.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Validation of Object-Oriented Concurrent Designs by Model Checking.

[BibT_eX]

[DOI]

Klaus Schneider

George Logothetis

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Verification Based on Local States.

[BibT_eX]

[DOI]

Frank Wallner

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Comparing Model Checking and Term Rewriting for the Verification of an Embedded System.

[BibT_eX]

Klaus Schneider

Proceedings of the Distributed and Parallel Embedded Systems, 1998

Partial Order Reductions for Bisimulation Checking.

[BibT_eX]

[DOI]

Heike Wehrheim

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

An Algebraic Semantics for Message Sequence Chart Documents.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Kryptoregulierung.

[BibT_eX]

Wirtschaftsinf., 1997

On the hierarchical design of distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 1997

1996

ProFun - A Language for Executable Specifications.

[BibT_eX]

[DOI]

Thomas Gehrke

Proceedings of the Programming Languages: Implementations, 1996

Towards Automata for Branching Time and Partial Order.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '96, 1996

Action Refinement and Property Inheritance in Systems of Sequential Agents.

[BibT_eX]

[DOI]