Alexander Gruler

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 5

Top Topics

Top Venues

Media Watermarking, Security, and Forensics

Publications

Julian Heeger, Simon Bugert, Waldemar Berchtold, Alexander Gruler, Martin Steinebach
Privacy preserving leak detection in peer-to-peer communication. Media Watermarking, Security, and Forensics (2023)
Ghada Dessouky, Emmanuel Stapf, Pouya Mahmoody, Alexander Gruler, Ahmad-Reza Sadeghi
Chunked-Cache: On-Demand and Scalable Cache Isolation for Security Architectures. NDSS (2022)
Ghada Dessouky, Alexander Gruler, Pouya Mahmoody, Ahmad-Reza Sadeghi, Emmanuel Stapf
Chunked-Cache: On-Demand and Scalable Cache Isolation for Security Architectures. CoRR (2021)
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
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. TrustCom (2020)
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
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. CoRR (2020)
Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
for Multi-valued Systems. ATVA (2009)
Alexander Gruler, Michael Meisinger
Fundamental Concepts for the Structuring of Functionality into Modular Parts. FSEN (2009)
Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann
Modeling and Model Checking Software Product Lines. FMOODS (2008)
Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann
Calculating and Modeling Common Parts of Software Product Lines. SPLC (2008)
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
On the correctness of upper layers of automotive systems. Formal Aspects Comput. 20 (6) (2008)
Alexander Gruler, Alexander Harhurin, Judith Hartmann
Development and Configuration of Service-based Product Lines. SPLC (2007)
Alexander Gruler, Alexander Harhurin, Judith Hartmann
Modeling the Functionality of Multi-Functional Software Systems. ECBS (2007)
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems. FM (2006)
Alexander Gruler, Christian Heinlein
Exception Handling with Resumption: Design and Implementation in Java. PLC (2005)