Alexander Gruler

According to our database, Alexander Gruler authored at least 14 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Privacy preserving leak detection in peer-to-peer communication.

Julian Heeger, Simon Bugert, Waldemar Berchtold, Alexander Gruler, Martin Steinebach

Proceedings of the Media Watermarking, 2023

2022

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

Ghada Dessouky, Emmanuel Stapf, Pouya Mahmoody, Alexander Gruler, Ahmad-Reza Sadeghi

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2020

Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.

Lars Baumgärtner, Alexandra Dmitrienko, Bernd Freisleben, Alexander Gruler, Jonas Höchst, Joshua Kühlberg, Mira Mezini, Markus Miettinen, Anel Muhamedagic, Thien Duc Nguyen, Alvar Penning, Dermot Frederik Pustelnik, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl

CoRR, 2020

Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.

Lars Baumgärtner, Alexandra Dmitrienko, Bernd Freisleben, Alexander Gruler, Jonas Höchst, Joshua Kühlberg, Mira Mezini, Richard Mitev, Markus Miettinen, Anel Muhamedagic, Thien Duc Nguyen, Alvar Penning, Dermot Frederik Pustelnik, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl

Proceedings of the 19th IEEE International Conference on Trust, 2020

2010

A formal approach to software product families.

Alexander M. Gruler

PhD thesis, 2010

2009

Fundamental Concepts for the Structuring of Functionality into Modular Parts.

Alexander Gruler, Michael Meisinger

Proceedings of the Fundamentals of Software Engineering, 2009

<i>Don't Know</i> for Multi-valued Systems.

Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

On the correctness of upper layers of automotive systems.

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova

Formal Aspects Comput., 2008

Calculating and Modeling Common Parts of Software Product Lines.

Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann

Proceedings of the Software Product Lines, 12th International Conference, 2008

Modeling and Model Checking Software Product Lines.

Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Development and Configuration of Service-based Product Lines.

Alexander Gruler, Alexander Harhurin, Judith Hartmann

Proceedings of the Software Product Lines, 11th International Conference, 2007

Modeling the Functionality of Multi-Functional Software Systems.

Alexander Gruler, Alexander Harhurin, Judith Hartmann

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Towards Modularized Verification of Distributed Time-Triggered Systems.

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz

Proceedings of the FM 2006: Formal Methods, 2006

2005

Exception Handling with Resumption: Design and Implementation in Java.

Alexander Gruler, Christian Heinlein

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005