Sabine Glesner

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Timed Path Conditions in MATLAB/Simulink.

[BibT_eX]

[DOI]

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

STATE - A SystemC to Timed Automata Transformation Engine.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Adaptive Knowledge Bases in Self-Adaptive System Design.

[BibT_eX]

[DOI]

Verena Klös

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Methods of Model Quality in the Automotive Area.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices.

[BibT_eX]

[DOI]

Franziska Bathelt-Tok

Oliver Blankenstein

Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014

Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System.

[BibT_eX]

[DOI]

Franziska Bathelt-Tok

Helena Gruhn

Oliver Blankenstein

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

2013

A HW/SW co-verification framework for SystemC.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Rigorous software engineering.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks

[BibT_eX]

[DOI]

Helena Gruhn

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Design and verification of a health-monitoring driver assistance system.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

Model Checking Memory-Related Properties of Hardware/Software Co-designs.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Towards Automated and Correct Composition of Timed Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

Towards the Automated Synthesis of Data Dependent Service Controllers.

[BibT_eX]

[DOI]

Franziska Bathelt-Tok

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Automatic validation of infinite real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations.

[BibT_eX]

[DOI]

Dirk Tetzlaff

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Optimized Transformation and Verification of SystemC Methods.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Automated Composition of Timed Services by Planning as Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Making MPI Intelligent.

[BibT_eX]

[DOI]

Dirk Tetzlaff

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

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Slicing MATLAB Simulink models.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Static prediction of recursion frequency using machine learning to enable hot spot optimizations.

[BibT_eX]

[DOI]

Dirk Tetzlaff

Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012

2011

Static run-time mode extraction by state partitioning in synchronous process networks.

[BibT_eX]

[DOI]

Michael Beyer

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Transforming SystemC Transaction Level Models into UPPAAL timed automata.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

MeMo - Methods of Model Quality.

[BibT_eX]

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

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model checking a SystemC/TLM design of the AMBA AHB protocol.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011

Static Analysis of Run-Time Modes in Synchronous Process Network.

[BibT_eX]

[DOI]

Michael Beyer

Proceedings of the Perspectives of Systems Informatics, 2011

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.

[BibT_eX]

[DOI]

Björn Bartels

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

An approach for machine-assisted verification of Timed CSP specifications.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2010

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.

[BibT_eX]

[DOI]

Björn Bartels

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Optimizing Aspect-Oriented Mechanisms for Embedded Applications.

[BibT_eX]

[DOI]

Christine Hundt

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Formal Modeling and Verification of Low-Level Software Programs.

[BibT_eX]

[DOI]

Björn Bartels

Proceedings of the 10th International Conference on Quality Software, 2010

Pairwise test set calculation using k-partite graphs.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Automated conformance evaluation of SystemC designs using timed automata.

[BibT_eX]

[DOI]

Proceedings of the 15th European Test Symposium, 2010

The VATES-Diamond as a Verifier's Best Friend.

[BibT_eX]

[DOI]

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

IFE has become CSRD.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2009

Verifying the Implementation of an Operating System Scheduler.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.

[BibT_eX]

[DOI]

Florian Friedemann

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Machine-Checkable Timed CSP.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Manifest: Strategische Bedeutung des Software Engineering für die Medizin.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2008

Optimizing Aspectual Execution Mechanisms for Embedded Applications.

[BibT_eX]

[DOI]

Christine Hundt

Proceedings of the First Workshop on Generative Technologies, 2008

Interprocedural Speculative Optimization of Memory Accesses to Global Variables.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2008, 2008

Model checking SystemC designs using timed automata.

[BibT_eX]

[DOI]

Joachim Fellmuth

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007

Editorial.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2007

Preface.

[BibT_eX]

[DOI]

Jens Knoop

Rolf Drechsler

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Strategische Bedeutung des Software Engineering für die Medizin.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2007, 2007

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

Finite Integer Computations: An Algebraic Foundation for Their Correctness.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

Coinductive Verification of Program Optimizations Using Similarity Relations.

[BibT_eX]

[DOI]

Johannes Leitner

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Only the Best Can Make It: Optimal Component Selection.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

2005

Verification of optimizing compilers

[BibT_eX]

[DOI]

, 2005

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

Formal Verification of Dead Code Elimination in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2005, 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2004

Natural semantics as a static program analysis framework.

[BibT_eX]

[DOI]

Wolf Zimmermann

ACM Trans. Program. Lang. Syst., 2004

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).

[BibT_eX]

[DOI]

Gerhard Goos

Wolf Zimmermann

it Inf. Technol., 2004

A Program Result Checker for the Lexical Analysis of the GNU C Compiler.

[BibT_eX]

[DOI]

Simone Forster

Matthias Jäger

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Coalgebraic Semantics for Component Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Systems with Trustworthy Components, 2004

An ASM Semantics for SSA Intermediate Representations.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Using Program Checking to Ensure the Correctness of Compiler Implementations.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2003

Classifying and Formally Verifying Integer Constant Folding.

[BibT_eX]

[DOI]

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Program Checking with Certificates: Separating Correctness-Critical Code.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

ASMs versus Natural Semantics: A Comparison with New Insights.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

2002

Verified Code Generation for Embedded Systems.

[BibT_eX]

[DOI]

Rubino Geiß

Boris Boesler

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

1999

Natürliche Semantik für imperative und objektorientierte Programmiersprachen.

[BibT_eX]

[DOI]

PhD thesis, 1999

Combining Inclusion Polymorphism and Parametric Polymorphism

[BibT_eX]

[DOI]

Karl Stroetmann

CoRR, 1999

Natural Semantics for Imperative and Object-Oriented Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Informatik '99, 1999

1998

Using many-sorted natural semantics to specify and generate semantic analysis.

[BibT_eX]

Wolf Zimmermann

Proceedings of the Systems Implementation 2000, 1998

1997

Many-Sorted Logic in a Learning Theorem Prover.

[BibT_eX]

[DOI]

Thomas Kolbe

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1995

Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases.

[BibT_eX]

[DOI]