direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Ehrig, H., Hoffmann, K., Padberg, J., Prange, U. and Ermel, C.

Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, 104–123. 2007

Link zur Publikation Download Bibtex Eintrag

A Formal Framework for Developing Adaptable Service-Based Applications

Lambers, L., Mariani, L., Ehrig, H. and Pezze, M.

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 392–406. 2008

Link zur Publikation Download Bibtex Eintrag

Iterative Model-driven Development of Adaptable Service-Based Applications

Lambers, L., Mariani, L., Pezze, M. and Ehrig, H.

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering ASE 07. ACM, 453–456. 2007

Link zur Publikation Download Bibtex Eintrag

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Language

Ehrig, H., Jimenez, R. M. and Orejas, F.

Proc.\ TAPSOFT '93, Paris. SPRINGER, 16–30. 1993

Download Bibtex Eintrag

Termination Criteria for DPO Transformations with Injective Matches

Levendovszky, T., Prange, U. and Ehrig, H.

Proceedings of Workshop on Graph Transformation and Concurrency (GT-VC 2006). Elsevier Science. 2006

Link zur Publikation Download Bibtex Eintrag



Diagram Characterization of Recursion

Ehrig, H., Kühnel, W. and Pfender, M.

Proc. 1st Intern. Symp. Category Theory Applied to Computation and Control, San Francisco. SPRINGER, 137–143. 1975

Download Bibtex Eintrag

Universal Theory of Automata

Ehrig, H., Kiermeier, K., Kreowski, H. and Kühnel, W.

||B. G. Teubner. 1974

Download Bibtex Eintrag



Computing with Algebraic Graph Transformations: Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears, 17–23. 1995

Download Bibtex Eintrag


Computing with Algebraic Graph Transformations: An Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. of Graph Grammar Workshop, Mallorca, Spain 1994

Download Bibtex Eintrag





Modeling Communication Spaces with Higher-Order Petri Nets

Modica, T., Ermel, C., Ehrig, H., Hoffmann, K. and Biermann, E.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. The International Institute for Advanced Studies in Systems Research and Cybernetics, 43-48. 2009

Download Bibtex Eintrag

Low- and High-Level Petri Nets with Individual Tokens

Modica, T., Gabriel, K., Ehrig, H., Hoffmann, K., Shareef, S., Ermel, C., Golas, U., Hermann, F. and Biermann, E.

2010

Link zur Publikation Download Bibtex Eintrag


Components for Algebra Transformation Systems

Orejas, F. and Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag

Integration and classification of data type and process specification techniques

Orejas, F. and Ehrig, H.

INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

Workshop on Program Specification, Aarhus. SPRINGER, 322-369. 1981

Download Bibtex Eintrag

Parameterized Data Types in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

Proc.\ ICALP'80. SPRINGER, 157–168. 1980

Download Bibtex Eintrag

Tight and Loose Semantics for Transformation Systems

Orejas, F., Ehrig, H. and Pino, E.

Recent Trends in Algebraic Development Techniques. SPRINGER, 287–290. 2001

Download Bibtex Eintrag

Refinement and Implementation

Ehrig, H. and Kreowski, H.-J.

Algebraic Foundations of Systems Specification. Springer Verlag, 201–242. 1999

Download Bibtex Eintrag

A Logic of Graph Constraints

Orejas, F., Ehrig, H. and Prange, U.

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 179–198. 2008

Link zur Publikation Download Bibtex Eintrag

Parallel Graph Grammars

Ehrig, H. and Kreowski, H.-J.

Automata, Languages, Development. Amsterdam: North Holland, 425–447. 1976

Download Bibtex Eintrag

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Orejas, F., Guerra, E., Lara, J. d. and Ehrig, H.

Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'09). Springer, 383-397. 2009

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe