Articles with public access mandates - Claudia ErmelLearn more
Not available anywhere: 1
Rule-based modeling and static analysis of self-adaptive systems by graph transformation
A Bucchiarone, H Ehrig, C Ermel, P Pelliccione, O Runge
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the …, 2015
Mandates: European Commission
Available somewhere: 9
A fundamental approach to model versioning based on graph modifications: from theory to implementation
G Taentzer, C Ermel, P Langer, M Wimmer
Software & Systems Modeling 13 (1), 239-272, 2014
Mandates: Austrian Science Fund
Independence of net transformations and token firing in reconfigurable place/transition systems
H Ehrig, K Hoffmann, J Padberg, U Prange, C Ermel
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
Mandates: German Research Foundation
Low-and High-Level Petri Nets with Individual Tokens
T Modica, K Gabriel, H Ehrig, K Hoffmann, S Shareef, C Ermel, U Golas, ...
Technische Universität Berlin, 2010
Mandates: German Research Foundation
Formal relationship between Petri net and graph transformation systems based on functors between M-adhesive categories
M Maximova, H Ehrig, C Ermel
Electronic Communications of the EASST 40, 2011
Mandates: German Research Foundation
Maintaining consistency in layered architectures of mobile ad-hoc networks
J Padberg, K Hoffmann, H Ehrig, T Modica, E Biermann, C Ermel
Fundamental Approaches to Software Engineering: 10th International …, 2007
Mandates: German Research Foundation
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets
C Ermel, T Modica, E Biermann, H Ehrig, K Hoffmann
2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009
Mandates: German Research Foundation
Modeling communication spaces with higher-order petri nets
T Modica, C Ermel, H Ehrig, K Hoffmann, E Biermann
Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice 3, 2010
Mandates: German Research Foundation
Confluence in data reduction: Bridging graph transformation and kernelization
H Ehrig, C Ermel, F Hüffner, R Niedermeier, O Runge
Computability 2 (1), 31-49, 2013
Mandates: German Research Foundation
Formal Analysis and Verication of Self-Healing Systems: Long Version
H Ehrig
Deutsche Nationalbibliothek, 2020
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program