Alexander Gruler

Don't Know for Multi-valued Systems

Alarico Campetelli, Martin Leucker, Daniel Thoma, 2009, ATVA.

On the correctness of upper layers of automotive systems

Manfred Broy, Wolfgang J. Paul, Maria Spichkova, 2008, Formal Aspects of Computing.

Exception Handling with Resumption: Design and Implementation in Java

Christian Heinlein, Alexander Gruler, 2005, PLC.

\emph{Don't know} for Multi-valued Systems

Anders P. Ravn, Alarico Campetelli, Zhiming Liu, 2009, ATVA 2009.

Modeling and Model Checking Software Product Lines

Martin Leucker, Alexander Gruler, Kathrin D. Scheidemann, 2008, FMOODS.

Fundamental Concepts for the Structuring of Functionality into Modular Parts

Michael Meisinger, Alexander Gruler, 2009, FSEN.

Development and Configuration of Service-based Product Lines

Alexander Gruler, Alexander Harhurin, Judith Hartmann, 2007 .

Development and Configuration of Service-based Product Lines

Alexander Gruler, Alexander Harhurin, Judith Hartmann, 2007, 11th International Software Product Line Conference (SPLC 2007).

Towards Modularized Verification of Distributed Time-Triggered Systems

Maria Spichkova, Leonid Kof, Jewgenij Botaschanjan, 2006, FM.

Modeling the Functionality of Multi-Functional Software Systems

Alexander Gruler, Alexander Harhurin, Judith Hartmann, 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

Calculating and Modeling Common Parts of Software Product Lines

Martin Leucker, Alexander Gruler, Kathrin D. Scheidemann, 2008, 2008 12th International Software Product Line Conference.

Chunked-Cache: On-Demand and Scalable Cache Isolation for Security Architectures pdf

Ahmad-Reza Sadeghi, Ghada Dessouky, Emmanuel Stapf, 2021, NDSS.

Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme

Manfred Broy, Alexander Gruler, Johannes Grünbauer, 2008 .