Testing against visual contracts: model-based coverage. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 279-293 (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
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).
3
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).
4
Formal analysis and verification of self-healing systems (English)
FASE, 139-153 (2010).
5
Self-repairing systems modeling and verification using AGG (English)
WICSA/ECSA, 181-190 (2009).
6
Analysing refactoring dependencies using graph transformation. (English)
Softw. Syst. Model. 6, No. 3, 269-285 (2007).
7
Transformation dependency analysis - a comparison of two approaches (English)
LMO, 167-184 (2006).
8
Detecting structural refactoring conflicts using critical pair analysis. (English)
Electron. Notes Theor. Comput. Sci. 127, No. 3, 113-128 (2005).
9
Start
Contact
Print
General Help
