|
Search the dblp DataBase
Moritz Hammer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Moritz Hammer, Alexander Knapp, Stephan Merz
Truly On-the-Fly LTL Model Checking. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:191-205 [Conf]
- Moritz Hammer, Michael Weber
"To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:51-66 [Conf]
Skalierbare Performanzanalyse durch Prolongation. [Citation Graph (, )][DBLP]
Automatable & scalable late cycle performance analysis. [Citation Graph (, )][DBLP]
A Middleware Architecture for Human-Centred Pervasive Adaptive Applications. [Citation Graph (, )][DBLP]
A Component-Based Approach for Realizing User-Centric Adaptive Systems. [Citation Graph (, )][DBLP]
Truly On-The-Fly LTL Model Checking [Citation Graph (, )][DBLP]
Correct Execution of Reconfiguration for Stateful Components. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|