Publications

[BBC+XX] Bardohl, B., Bardohl, R., Castro, P., Copstein,B., Ehrig, H., Korff, M., Martini, A., Nunes, D., Ribeiro, L., Schlebbe, H.
GRAPHIT: Graphical Support and Integration of Formal and Semi-Formal Methods for Software Specification and Development
GRAPHIT II (1999-2003)

ABSTRACT
Allgemeine Informationen der GMD (Information offered by GMD)

In Proceedings:

[ETB05] De Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.
Attributed Graph Transformation with Node Type Inheritance: Long Version.
Technical Report 2005-03, ISSN 1436-9915, Technical University, Berlin, 2005.

 
[RDB05] Ribeiro,L., Dotti, F.L. and Bardohl,R.
A Formal Framework for the Development of Concurrent Object-Based Systems.
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday.
In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (eds.), Lecture Notes in Computer Science (LNCS) 3393, Springer, 2005, pages 385--401.

 
[ETB05] Ermel,C., Taentzer,G. and Bardohl,R.
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday.
In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (eds.), Lecture Notes in Computer Science (LNCS) 3393, Springer, 2005, pages 64--83.

[ETB04] Ermel,C., Taentzer,G. and Bardohl,R.
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.
Technical Report 2004-21, ISSN 1436-9915, Technical University, Berlin, 2004.

 
[EB04] Ermel,C. and Bardohl,R.
Scenario Animation for Visual Behavior Models: A Generic Approach
Journal on Software and Systems Modeling, Volume 3, Number 2.
Springer 2004, pages 164-177.

 
[BELT04] Bardohl,R., Ehrig,H., de Lara,J., and Taentzer,G.
Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation
Proc. Fundamental Aspects of Software Engineering, 7th Intl. Conference, FASE 2004, Michel Wermelinger and Tiziana Margaria (eds). Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - April 2, 2004. In Lecture Notes in Computer Science (LNCS) 2984, Springer, 2004, pages 214-228.

[BELRTW03] Bardohl,R., Ehrig,H., de Lara,J., Runge,O., Taentzer,G., and Weinhold,I.
Node Type Inheritance Concepts for Typed Graph Transformation
Technical Report 2003-19, ISSN 1436-9915, Technical University, Berlin, 2003.
ABSTRACT , Article (Postscript)

 
[EBH03] Ermel,C., Bardohl,R. and Ehrig,H.
Generation of Animation Views for Petri Nets in GenGED
in Weber,H., Ehrig,H. and Reisig,W. (eds): 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, September 14-15, 2001. Selected Papers. Lecture Notes in Computer Science (LNCS) 2472, Springer, 2003, pages 83-108.
ABSTRACT

 
[BE03] Bardohl,R. and Ermel,C.
Scenario Animation for Visual Behavior Models: A Generic Approach Applied to Petri Nets
Proc. 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03) Sept. 2003, Eichstätt-Ingolstadt, Germany.
ABSTRACT , Article (Postscript)

 
[BEW03] Bardohl,R., Ermel,C., and Weinhold,I.
GenGED - A visual definition tool for visual modeling environments
Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'03), pages 407-414, Sept./Oct., 2003, Charlottesville/Virgina, USA.
Also in Lecture Notes in Computer Science (LNCS) 3062, Springer, 2004, pages 413-419.
J. L. Pfaltz, M. Nagl, B. Böhlen (Eds.).
ABSTRACT , Article (Postscript)

[BEP02b] Bardohl,R., Ermel,C., and Padberg,J.
Transforming Specification Architectures by GenGED
in First Int. Conference on Graph Transformation (ICGT'02), Barcelona, Spain, Oct. 2002, Lecture Notes in Computer Science (LNCS) 2505, Springer, 2002, pages 30-44.
EASST Award Best Software Science Paper.
ABSTRACT

 
[EB02] Ermel,C. and Bardohl, R.
Scenario Views for Visual Behavior Models in GenGED
in Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'02), Satellite Event of First Int. Conference on Graph Transformation (ICGT'02), Barcelona, Spain, Oct. 2002, pages 71-83
and in Electronic Notes in Theoretical Computer Science (ENTCS) Vol.72, No.3, Elsevier, February, 2003.
ABSTRACT , Article (Postscript)

 
[BEW02b] Bardohl,R., Ermel,C., and Weinhold,I.
Graph Transformation-Based Analysis Techniques for Efficient Visual Language Validation
in Proc. Workshop on Graph-Based Tools (GraBaTs'02), Satellite Event of First Int. Conference on Graph Transformation (ICGT'02), Barcelona, Spain, Oct. 2002, pages 120-130
and in Electronic Notes in Theoretical Computer Science (ENTCS) Vol.72, No.2, Elsevier, November, 2002.
ABSTRACT , Article (Postscript)

 
[BEW02a] Bardohl,R., Ermel,C., and Weinhold,I.
Specification and Analysis Techniques for Visual Languages with GenGED
Technical Report 2002-13, ISSN 1436-9915, Technical University, Berlin, 2002.
ABSTRACT , Article (Postscript)

 
[BEP02a] Bardohl,R., Ermel,C., and Padberg,J.
Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED
in Proc. Sixth World Conference on Integrated Design and Process Technology (IDPT'02), Pasadena, California, June 2002.
ABSTRACT , Article (Postscript)

 
[BEEQW02] Bardohl,R., Ehrig,K., Ermel,C., Qemali,A. and Weinhold,I.
Specifying Visual Languages with GenGED
in Proc. APPLIGRAPH Workshop on Applied Graph Transformation (AGT'02), Satellite Event of ETAPS 2002, Grenoble, France, April 12-13, 2002, pages 71-82.
ABSTRACT , Article (Postscript)

 
[Bar02] Bardohl,R.
GenGEd - A Visual Environment for Visual Languages
Int. Journal Science of Computer Programming (Special Issue of GraTra'00), Elsevier, Vol.44, No.2, 2002, pages 181-203.
ABSTRACT

[BEE01] Bardohl,R., Ermel,C. and Ehrig,H.
Generic Description of Syntax, Behavior and Animation of Visual Models
 Technical Report 2001/19, ISSN 1436-9915, Technical University, Berlin, 2001.
ABSTRACT , Article (Postscript)

 
[BGS01a] Bardohl,R., Große-Rhode,M. and Simeoni,M.
Interactive Rule-based Specification with an Application to Visual Language Definition
in Lecture Notes in Computer Science (LNCS) 2267, Springer, 2001, pages 1-20.
M. Cerioli, G. Reggio (Eds.): Recent Trends in Algebraic Development Techniques
15th International Workshop on Algebraic Development Techniques (WADT 2001), Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers.
ABSTRACT , Article (Postscript)

 
[EBE01a] Ermel,C. and Bardohl,R. and Ehrig,H.
Specification and Implementation of Animation Views for Petri Nets
 in Proc. 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, September 14-15, 2001, pages 75-92.
ABSTRACT , Article (Postscript)

 
[BE01a] Bardohl,R. and Ermel,C.
Visual Specification and Parsing of a Statechart Variant using GenGEd
in Statechart Modeling Contest, special event of IEEE Symposium on Visual Languages and Formal Methods (VLFM'01), Part of Human-Centric Computing (HCC'01), Stresa, Italy, September 5-7, 2001.
Extended Abstract (Postscript)

 
[BR01] Bardohl,R. and Ribeiro,L.
Towards a Compositional Approach to define Graphical Animation of Software Applications
 in IEEE Proc. Symposium on Visual Languages and Formal Methods (VLFM'01), Part of Human-Centric Computing (HCC'01), Stresa, Italy, September 5-7, 2001, pages 38-39.
ABSTRACT , Poster (Postscript)

 
[BST01] Bardohl,R., Schultzke,T. and Taentzer,G.
Visual Language Parsing in GenGEd
in Proc. 2nd International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'01), Satellite Workshop of ICALP'01, July 2001, Elsevier Science, pages 291-296
and in Electronic Notes in Theoretical Computer Science (ENTCS) Vol.50, No.3, Elsevier, 2001
ABSTRACT , Article (Postscript)

 
[BGS01] Bardohl,R., Große-Rhode,M. and Simeoni,M.
Interactive Rule-based Specification with an Application to Visual Language Definition
in Proc. Int. Workshop on Algebraic Development Techniques (WADT'01), Satellite Workshop of ETAPS'01, Genova, Italy, April 2001.
Extended Abstract (Postscript)

 
[EBP01] Ermel,C. Bardohl,R. and Padberg,J.
Visual Design of Software Architecture and Evolution based on Graph Transformation
in Proc. Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'01), Satellite Workshop of ETAPS'01, Genova, Italy, April 2001
and in Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 44, No. 4, Elsevier, 2001.
ABSTRACT , Article (Postscript)

[Bar00] Bardohl,R.
GenGED - Visual Definition of Visual Languages based on Algebraic Graph Transformation
PhD Thesis, published by Kovac Verlag, Hamburg, 2000
ABSTRACT

 
[Bar00b] Bardohl,R.
Generic Description, Behavior and Animation of Visual Modeling Languages
Dagstuhl Seminar 00411 Semi-Formal and Formal Specification Techniques for Software Systems, October 9th-13th, 2000
ABSTRACT , Talk (Postscript)

 
[BER00b] Bardohl,R., Ermel,C. and Ribeiro,L.
A Modular Approach to Animation of Simulation Models
in Proc. 14th Brazilian Symposium on Software Engineering (SBES'00), Joao Pessoa, Brazil, October 2000, pages 498-520.
ABSTRACT , Article (Postscript)

 
[PEB00] Padberg,J., Ermel,C. and Bardohl,R.
Rule-Based and Visual Model Evolution using GenGEd
in Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'00), Satellite Workshop of ICALP'2000, Carleton Scientific, Geneva, Switzerland, July 2000, pages 467-475.
ABSTRACT , Article (Postscript)

 
[BEE00] Bardohl,R., Ermel,C. and Ehrig,H.
Generic Description, Behavior and Animation of Visual Modeling Languages
in Proc. 5th Conference on Integrated Design and Process Technology (IDPT'00), Dallas (Texas), USA, June 2000.
ABSTRACT , Article (Postscript) , Article (pdf)

 
[NB00] Niemann,M. and Bardohl,R.
Tool-based Specification of Visual Languages and Graphic Editors
in Lecture Notes in Computer Science (LNCS) 1785, Springer, 2000, pages 456-470.
S. Graf, M. Schwartzbach (Eds.): Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 20000 Berlin, Germany, March/April 2000. Proceedings.

 
[BNS00], see also [BNS99] Bardohl,R., Niemann,M. and Schwarze,M.
GenGEd: A Development Environment for Visual Languages
in Lecture Notes in Computer Science (LNCS) 1779: Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'99), Springer 2000, pages 233-240.
ABSTRACT , Article (Postscript)

 
[BER00] Bardohl,R., Ermel,C. and Ribeiro,L.
Towards Visual Specification and Animation of Petri Net Based Models
in Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems (GRATRA'00), Satellite Event of ETAPS'00, Berlin, Germany, March 25-27, 2000, pages 22-31.
ABSTRACT , Article (Postscript)

 
[Bar00] Bardohl,R.
Visual Specification of Diagrammatic Modeling Techniques
Dagstuhl Seminar 00081 Specification of Distributed Information Systems, February 20th-25th, 2000
ABSTRACT , Talk (Postscript)

[BTMS99] Bardohl,R., Taentzer,G., Minas,M. and Schürr,A.
Application of Graph Transformation to Visual Languages
in Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, Volume 2, World Scientific, Singapure, 1999, pages 105-181.
ABSTRACT , Article (Postscript)

 
[Bar99b] Bardohl,R.
GenGED - Visual Definition of Visual Languages based on Algebraic Graph Transformation
PhD Thesis, submitted and accepted, November 1999.
ABSTRACT , Thesis (Postscript)

 
[BNS99], see also [BNS00] Bardohl,R., Niemann,M. and Schwarze,M.
GenGEd: A Development Environment for Visual Languages
in Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'99), Kerkrade, The Netherlands, September 1-3, 1999, RWTH Aachen.
ABSTRACT , Article (Postscript)

 
[Bar99a] Bardohl,R.
GenGED - A Generator for VL-Editors based on Algebraic Graph Transformation and Graphical Constraint Solving
(Talk) Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'99), Joint GETGRATS and APPLIGRAPH Subarea Meeting on Tools, August 31th, 1999, Kerkrade, The Netherlands, RWTH Aachen.
ABSTRACT , Talk (Postscript)

 
[BE99], see also [BE98] Bardohl,R. and Ehrig,H.
Conceptual Model of the Generic Graphical Editor GenGEd for the Visual Definition of Visual Languages
in Lecture Notes in Computer Science (LNCS) 1764: Theory and Application of Graph Transformation (TAGT'98), Springer 1999, pages 252-266.
ABSTRACT , Article (Postscript)

[BE98], see also [BE99] Bardohl,R. and Ehrig,H.
Conceptual Model of the Generic Graphical Editor GenGEd for the Visual Definition of Visual Languages
in Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT'98), Oct.1998, Paderborn, Germany, University of Paderborn, Technical Report tr-ri-98-21, 1998, pages 32-98.
ABSTRACT , Article (Postscript)

 
[BR98] Bardohl,R. and Ribeiro Korff,L.
Specifying a Graph Grammar Editor for Reactive Systems
in Proc. I. Workshop Brasileiro de Metodos Formais - 2.chamada de trabalhos (WMF'98), Oct.1998, Porto Alegra, Brazil.
ABSTRACT , Article (Postscript)

 
[Bar98b] Bardohl,R.
GenGEd - A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars
in Proc. IEEE Symposium on Visual Languages (VL'98), Sept.1998, Halifax, Canada, pages 48-55.
ABSTRACT , Article (Postscript)

 
[Bar98a] Bardohl,R.
GenGEd - ein Werkzeug zur graphischen Definition visueller Sprachen
Invited Talk, University of Essen, May 27th, 1998.
ABSTRACT , Talk (Postscript)

 
[BK98] Bardohl,R. and Koch,M.
GenGEd, ein Werkzeug zur grafischen Definition visueller Sprachen
Talk: Arbeitskreis GROOM der GI FG 2.1.9 TU München, 9. February 1998, (GROOM=GRundlagen ObjektOrientierter Modellierung)
ABSTRACT , Talk (Postscript)

[BT97] Bardohl,R. and Taentzer,G.
Defining Visual Languages using Algebraic Specification Techniques and Graph Grammars
in Proc. IEEE Workshop on Theory of Visual Languages, Sept.1997, Capri, Italy, pages 27-42.
ABSTRACT , Article (Postscript)

 
[Bar97] Bardohl,R.
Application of Graph Transformation to Visual Languages
Technical Report tr97-10, Technical University, Berlin, 1997.
ABSTRACT , Technical Report (Postscript)

[EBC+96] Ehrig,H., Bardohl,R., Cornelius,F., Geisler R., Grosse-Rhode,M. and Padberg,J.
A New Integration Paradigm for Formal Specification of Safe Software Systems
in Proc. 10th Japan Germany Forum on Information Technology, 1996. ABSTRACT

 
[Bar96] Bardohl,R.
Werkzeugunterstützung zur Visualisierung algebraischer Strukturen
Invited Talk, University of Bremen, June 20th, 1996.
Talk (Postscript)

 
[Bar96] Bardohl,R.
Graphical Support for Prototyping of Algebraic Specifications
Technical Report tr96-11, Technical University, Berlin, 1996.
ABSTRACT , Technical Report (Postscript)

 
[BRMM96] Bardohl,R., Ribeiro,L., Martins,J. and Martini,A.
A Survey on Semi-Formal Approaches to Software Development
Working paper, Technical University, 1996.
Paper (Postscript)

[Bar95] Bardohl,R.
Visualization of an Algebraic Specification of Shipping Software
Working paper, Technical University, 1995.
ABSTRACT , Article (Postscript)

[BC94] Bardohl,R. and Claßen,I.
Graphical Support for Prototyping of Algebraic Specifications
24. GI-Jahrestagung "Innovationen bei Rechen- und Kommunikationssystemen; Eine Herausforderung für die Informatik", Springer, 1994, pages 19-27.
ABSTRACT , Article (Postscript)

 
[EB94] Ehrig,H. and Bardohl,R.
Specification Techniques using Dynamic Abstract Data Types and Application to Shipping Software
in Proc. International Workshop on Advanced Software Technology, Shangai, 1994, pages 70-85.
ABSTRACT , Article (Postscript)

 
[BB94] Bardohl,R. and Bardohl,B.
Allgemeines über Speditionen
Working paper, 1994.
Article (Postscript)

[Bar93] Bardohl,R.
Betriebs-Ablauf-System für Transportabwicklung
Working paper, 1993.

Last Modification: by rosi@cs.tu-berlin.de