direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

O

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

Reasoning with Graph Constraints

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

Formal Aspects of Computing, 385–422. 2009

Link zur Publikation 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

Semantical Constructions for Categories of Behavioral Specifications

Orejas, F., Nivela, P. and Ehrig, H.

Computer Science - with Aspects from Topology. SPRINGER, 220–243. 1989

Download Bibtex Eintrag

Institutions for Logic Programming

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

TCS 173, 485–511. 1997

Download Bibtex Eintrag

Algebraic Methods in the Compositional Analysis of Logic Programs

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

Proc. MFCS'94. SPRINGER. 1994

Download Bibtex Eintrag

P

Parametrized Net Classes: A Uniform Approach to Petri Net Classes

Padberg, J. and Ehrig, H.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 173–229. 2001

Link zur Publikation Download Bibtex Eintrag

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198–225. 2006

Link zur Publikation Download Bibtex Eintrag

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198-225. 2005

Link zur Publikation Download Bibtex Eintrag


Towards Component Verification in the Generic Component Framework

Padberg, J., Ehrig, H. and Orejas, F.

Proc. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 07), Satellite Event of the European Joint Conferences on Theory and Practice of Software (ETAPS). Elsevier Science, 37 – 53. 2009

Link zur Publikation Download Bibtex Eintrag

Algebraic High-Level Net Transformation Systems

Padberg, J., Ehrig, H. and Ribeiro, L.

Mathematical Structures in Computer Science, 217–256. 1995

Download Bibtex Eintrag

Algebraic High-Level Net Transformation Systems

Padberg, J., Ehrig, H. and Ribeiro, L.

1993

Download Bibtex Eintrag

Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Padberg, J., Ehrig, H. and Rozenberg, G.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 230–249. 2001

Download Bibtex Eintrag

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

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

Fundamental Approaches to Software Engineering. Springer, 383–397. 2007

Link zur Publikation Download Bibtex Eintrag

Cooperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Ehrig, H., Schnieder, E. and Heckel, R.

Journal of Integrated Design and Process Technology, 3-21. 2001

Download Bibtex Eintrag

Interoperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Heckel, R. and Ehrig, H.

Proc. Integrated Design and Process Technology, 17–24. 1998

Download Bibtex Eintrag


New Concepts for High-Level Petri Nets in the Application Domain of Train Control

Padberg, J., Schiller, P. and Ehrig, H.

Proc.\ Vol.\ 2, 9th Symposium on Transportation Systems, 153–160. 2000

Download Bibtex Eintrag

Algebraic Specification Grammars

Parisi-Presicce, F. and Ehrig, H.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER. 1991

Download Bibtex Eintrag

Graph Rewriting with Unification and Composition

Parisi-Presicce, F., Ehrig, H. and Montanari, U.

3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 496–514. 1987

Download Bibtex Eintrag

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

Prange, U. and Ehrig, H.

Algebraic Informatics. Proceedings of CAI 2007. SPRINGER, 122–146. 2007

Link zur Publikation Download Bibtex Eintrag

Graph Transformation in Adhesive HLR Categories

Prange, U. and Ehrig, H.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation Download Bibtex Eintrag

Graph Transformation in Adhesive HLR Categories

Prange, U. and Ehrig, H.

Proceedings of InterSymp 2005. IIAS. 2005

Link zur Publikation Download Bibtex Eintrag

Transformations in Reconfigurable Place/Transition Systems

Prange, U., Ehrig, H., Hoffman, K. and Padberg, J.

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. SPRINGER, 96–113. 2008

Link zur Publikation Download Bibtex Eintrag

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories

Prange, U., Ehrig, H. and Lambers, L.

Applied Categorical Structures. SPRINGER, 365–388. 2008

Link zur Publikation Download Bibtex Eintrag

R

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

Rangel, G., König, B. and Ehrig, H.

Proc. Foundations of Software Science and Computational Structures (FOSSACS'08). SPRINGER, 413-427. 2008

Link zur Publikation Download Bibtex Eintrag

Bisimulation Verification for the DPO Approach with Borrowed Contexts

Rangel, G., König, B. and Ehrig, H.

Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07). Electronic Communications of the EASST. 2007

Link zur Publikation Download Bibtex Eintrag

Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts

Rangel, G., Lambers, L., König, B., Ehrig, H. and Baldan, P.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER. 2008

Link zur Publikation Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe