Result 1 to 20 of 84 total
Concurrent model synchronization with conflict resolution based on triple graph grammars. (English)
de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). Lecture Notes in Computer Science 7212, 178-193 (2012).
1
Confluence in data reduction: Bridging graph transformation and kernelization. (English)
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 193-202 (2012).
2
A formal resolution strategy for operation-based conflicts in model versioning using graph modifications. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 202-216 (2011).
3
Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 156-170 (2011).
4
A visual interpreter semantics for statecharts based on amalgamated graph transformation (English)
ECEASST 39 (2011).
5
A formal resolution strategy for operation-based conflicts in model versioning using graph modifications (English)
FASE, 202-216 (2011).
6
Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior (English)
FASE, 156-170 (2011).
7
Parallel independence of amalgamated graph transformations applied to model transformation. (English)
Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 121-140 (2010).
8
Conflict detection for model versioning based on graph modifications. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 ‒ October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 171-186 (2010).
9
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 245-261 (2010).
10
Consistent integration of models based on views of meta models. (English)
Formal Asp. Comput. 22, No. 3-4, 327-344 (2010).
11
Formal analysis and verification of self-healing systems. (English)
Rosenblum, David S. (ed.) et al., Fundamental approaches to software engineering. 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12028-2/pbk). Lecture Notes in Computer Science 6013, 139-153 (2010).
12
Visual modeling of controlled EMF model transformation using HENSHIN (English)
ECEASST 32 (2010).
14
Formal relationship between Petri net and graph transformation systems based on functors between M-adhesive categories (English)
ECEASST 40 (2010).
15
International colloquium on graph and model transformation (GraMoT) 2010: preface (English)
ECEASST 30 (2010).
16
Lifting parallel graph transformation concepts to model transformation based on the eclipse modeling framework (English)
ECEASST 26 (2010).
17
Rons revisited: general approach to model reconfigurable object nets based on algebraic high-level nets (English)
ECEASST 40 (2010).
18
Graph modelling and transformation: theory meets practice (English)
ECEASST 30 (2010).
19
Conflict detection for model versioning based on graph modifications (English)
ICGT, 171-186 (2010).
20
Result 1 to 20 of 84 total
Start
Contact
Print
General Help
