author-photo

Alexander Gruler

Technische Universität München

14

Papers

162

Citations

Citation Trend

Filter By

Papers (14) Sort By

Journal Conference Others

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

2021 arXiv: Cryptography and Security
Show All
- Source
- Cite
- Save
Citations (0)
Don't Know for Multi-valued Systems

2009 ATVA | Automated Technology for Verification and Analysis
Show All
- Source
- Cite
- Save
Citations (10)
Fundamental concepts for the structuring of functionality into modular parts

2009 FSEN | Fundamentals of Software Engineering
- Alexander Gruler
- Michael Meisinger
Show All
- Source
- Cite
- Save
Citations (0)
\emph{Don't know} for Multi-valued Systems

2009 ATVA | Automated Technology for Verification and Analysis
Show All
- Source
- Cite
- Save
Citations (0)
Calculating and Modeling Common Parts of Software Product Lines

2008 SPLC | Software Product Lines
Show All
- Source
- Cite
- Save
Citations (33)
Modeling and Model Checking Software Product Lines

2008 FMOODS | Formal Methods for Open Object-Based Distributed Systems
Show All
- Source
- Cite
- Save
Citations (49)
Calculating and Modeling Common Parts of Software Product Lines

2008
Show All
- Source
- Cite
- Save
Citations (0)
Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme

2008
Show All
- Source
- Cite
- Save
Citations (14)
On the correctness of upper layers of automotive systems

2008 Formal Aspects of Computing
Show All
- Source
- Cite
- Save
Citations (22)
Development and Configuration of Service-based Product Lines

2007 SPLC | Software Product Lines
Show All
- Source
- Cite
- Save
Citations (12)