University of Leicester

computer science

HOME

MAP

CONTACT

STAFF — Reiko Heckel, Dr. Ing. (TU Berlin, 1998)

Professor in Software Engineering
G11 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3406
F: +44 (0)116 252 3915
E: firstname at mcs le ac uk

Teaching

CO1007: Study Skills and Professionalism

This module is intended to provdide basic techniques and skills of studying an undergraduate degree programme as well as an introduction into the responsibilities and requirements of IT professionals. It is taught in the 1st term of all of our BSc programmes.

See Module CO1007 for more information.

CO2015: Software Engineering Project

This group project, taken in the 2nd term of year 2, allows students to apply what they have learned on a realistic example.

See Module CO2015 for more information.

CO7214: Service-Oriented Architectures

This module is offered in the 2nd semester of our MSc courses. It covers the principles of SOA, their implementation by Web service technology, and the model-driven development of services.

See Module CO7214 for more information.

Research

Interests

  • Graph transformation theory
    • modularity and refinement
    • categorical and (co-)algebraic models
    • logics and verification
    • stochastic modelling and analysis
  • Their application to
    • semantics of visual modelling languages
    • model-transformation and model-driven development
    • biological systems
  • Model-driven software evolution and re-engineering
  • Software architectures for service-oriented and P2P systems

Projects

Recent Publications

Proceedings Edited

  • L. Baresi and R. Heckel, editors. Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, volume 3922 of LNCS. Springer-Verlag, 2006.
    [ bib | .html ]
  • R. Heckel, editor. Proceedings of the School of the SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), volume 148 of Electronic Notes in TCS. Elsevier, 2006.
    [ bib | http | Abstract ]
  • R. Heckel and T. Mens, editors. Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004), volume 127 of Electronic Notes in TCS, 2005.
    [ bib | http ]

In Journals and Books

  • R. Heckel and A. Cherchago. Structural and behavioral compatibility of graphical service specifications. Journal of Logic and Algebraic Programming, 2006. To appear.
    [ bib | .pdf | Abstract ]
  • R. Heckel, G. Lajios, and S. Menge. Stochastic graph transformation systems. Fundamenta Informaticae, 2006. To appear.
    [ bib | .pdf ]
  • R. Heckel and M. Lohmann. Model-driven development of reactive information systems. International Journal on Software Tools for Technology Transfer, 2006. To appear.
    [ bib | .pdf | Abstract ]
  • L. Baresi, R. Heckel, S. Thöne, and D. Varró. Style-based modelling and refinement of service-oriented architectures. Software and Systems Modelling (SoSym), 2006. To appear.
    [ bib | .pdf | Abstract ]
  • J.H. Hausmann, R. Heckel, and M. Lohmann. Model-based development of web service descriptions: Enabling a precise matching concept. International Journal of Web Services Research, 2(2):67-84, 2005.
    [ bib | .pdf | Abstract ]
  • G. Engels, A. Förster, R. Heckel, and S. Thöne. Process modeling using UML. In M. Dumas, W. van der Aalst, and A. ter Hofstede, editors, Process-Aware Information Systems, pages 85-117, New York, 2005. Wiley Publishing.
    [ bib | .pdf ]
  • P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional semantics for open petri nets based on deterministic processes. Mathematical Structures in Computer Science, 15(1):1-35, 2005.
    [ bib | .pdf | Abstract ]

At Conferences and Workshops

  • R. Heckel. Graph transformation in a nutshell. In Proceedings of the School on Foundations of Visual Modelling Techniques (FoVMT 2004) of the SegraVis Research Training Network, volume 148 of Electronic Notes in TCS, pages 187-198. Elsevier, 2006.
    [ bib | .pdf | Abstract ]
  • R. Heckel. Stochastic analysis of graph transformation systems: A case study in P2P networks. In H. Dan Van and M. Wirsing, editors, Proc. Intl. Colloquium on Theoretical Aspects of Computing (ICTAC'05), Hanoi, Vietnam, volume 3722 of LNCS. Springer-Verlag, October 2005. Invited paper.
    [ bib | .pdf | Abstract ]
  • R. Heckel, G. Lajios, and S. Menge. Modulare Analyse Stochastischer Graphtransformationssysteme. In P. Liggesmeyer, K. Pohl, and M. Goedicke, editors, Proc. Software Engineering 2005, volume 64 of Lecture Notes in Informatics, pages 141-152. GI, March 2005.
    [ bib | .pdf | Abstract ]
  • R. Heckel and L. Mariani. Automatic conformance testing of web services. In Proc. Fundamental Approaches to Software Engineering (FASE 05), pages 34-48 of LNCS, 2005.
    [ bib | .pdf | Abstract ]
  • G. Engels, R. Heckel, and A. Cherchago. Flexible interconnection of graph transformation modules - a systematic approach. In H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, and G. Taentzer, editors, Formal Methods in Software and System Modeling, pages 38-63 of LNCS. Springer-Verlag, 2005.
    [ bib | .pdf | Abstract ]
  • P. Guo, G. Engels, and R. Heckel. Architectural style - based modeling and simulation of complex software systems. In 12th Asia-Pacific Software Engineering Conference (APSEC'05), pages 367-374, Los Alamitos, CA, USA, 2005. IEEE Computer Society.
    [ bib | http | Abstract ]
  • R. Heckel and M. Lohmann. Towards contract-based testing of web services. In Mauro Pezzé, editor, Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), volume 116 Electr. Notes Theor. Comput. Sci., pages 145-156, 2005.
    [ bib | .pdf | Abstract ]
  • R. Heckel and S. Thöne. Behavioral refinement of graph transformation-based models. In Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004), volume 127 of Electr. Notes Theor. Comput. Sci., pages 101-111, 2005.
    [ bib | .pdf | Abstract ]

Scientific Events

Organised or Chaired

  • SeTra 2006: 3rd Workshop on Software Evolution through Transformations: Embracing the Change, 21-22 September 2006, Natal, Brazil.
  • The Advanced School on Visual Modelling Techniques, 8 - 11 September 2006 at the University of Leicester, UK.
  • GT-VC 2006: 2nd Workshop on Graph Transformation for Verification and Concurrency, 31 August 2006, Bonn, Germany.
  • FASE 2006: 9th International Conference on Fundamental Approaches to Software Engineering (FASE), 27 - 29 March 2006, part of ETAPS 2006, Vienna (Austria)
  • SegraVis School on Foundations of Visual Modeling Techniques, May 3 – 7 2004, Dagstuhl, Germany
  • GT-VMT 2004, the International Workshop on Graph Transformation and Visual Modeling Techniques, 27 - 28 March 2004, a satellite of ETAPS 2004, Barcelona, Spain.
  • Dagstuhl Seminar 04101: Model-Driven Language Engineering, 29 February - 5 March 2004, Dagstuhl, Germany.

PC Member

  • MT 2007:Track on Model Transformation at the 22nd Annual ACM Symposium on Applied Computing 11 – 15 March 2007, Seoul, Korea.
  • MPM 2006: Workshop on Multi-Paradigm Modeling: Concepts and Tools, at the 9th International Conference on Model-Driven Engineering Languages and Systems (formerly the UML series of conferences) 1 - 6 October 2006, Genoa, Italy.
  • GT-VMT 2007: 6th International Workshop on Graph Transformation and Visual Modeling Techniques, 31 March - 1 April 2007, satellite event of ETAPS 2007 in Braga, Portugal.
  • SBES 2006: Brazilian Symposium on Software Engineering, 2 - 6 October 2006, Florianópolis, SC - Brasil
  • 4th International Fujaba Days, Bayreuth, Germany, 28 - 30 September 2006.
  • VODCA 2006: 2nd International workshop on Views On Designing Complex Architectures, 16 - 17 September 2006, Bertinoro, Italy.
  • ICGT 2006: International Conference on Graph Transformation, 17-22 September 2006, Natal, Brazil
  • SMBF 2006: Brazilian Symposium on Formal Methods, 17 - 22 September 2006, Natal, Brazil
  • GraMoT 2006: International Workshop on Graph and Model Transformation, 8 September 2006, satellite event of VL/HCC'06 in Brighton, UK.
  • WS-FM 20063rd International Workshop on Web Services and Formal Methods, 8 - 9 September 2006, Vienna, Austria
  • ECMDA 2006: European Conference on Model Driven Architecture - Foundations and Applications, 10 - 13 July 2006, Bilbao, Spain.
  • ABMB 2006: 2nd Intl. Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 10 July 2006, Bilbao, Spain, sattellite of ECMDA 2006.
  • ACE 2006: Workshop on Architecture-Centric Evolution, 3-7 July 2006, hosted at the 20th European Conference on Object-Oriented Programming, ECOOP, Nantes, France.
  • FMOODS 2006: 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, 14 - 16 June 2006, Bologna, Italy.
  • GT-VMT 2006: 5th International Workshop on Graph Transformation and Visual Modeling Techniques, April 1 - 2 2006, satellite event of ETAPS 2006, Vienna, Austria.
  • ECMDA 2005: European Conference on Model Driven Architecture - Foundations and Applications, 7-10 November 2005, Nuremberg, Germany.
  • ABMB 2005: Intl. Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, sattellite of ECMDA 2005, November 2005, Nuremberg, Germany.
  • Workshop on Model Transformations in Practice, Jamaica, 3 October 2005, Montego Bay, sattellite of MoDELS 2005
  • Workshop in Software Model Engineering, "Bridging Technical Spaces and Model-Driven Evolution", Jamaica, 3 October 2005, Montego Bay, sattellite of MoDELS 2005
  • GraMoT 2005: Intl. Workshop on Graph and Model Transformation, 28 September 2005, sattellite of GPCE 2005,Tallinn, Estonia.
  • 3rd International Fujaba Days, 15 - 18 September 2005, Paderborn.
  • CALCO 2005: 1st Conference on Algebra and Coalgebra in Computer Science, 3 - 6 September 2005, University of Wales, Swansea, UK
  • WS-FM 2005: 2nd International Workshop on Web Services and Formal Methods, 2-3 September 2005, Versailles, France.
  • ACE 2005: Workshop on Architecture-Centric Evolution (ACE'2005), 25 - 29 July 2005, hosted at ECOOP 2005, Glasgow, UK.
  • MDWE 2005: Int. Workshop on Model-Driven Web Engineering, 26 July 2005, sattellite of ICWE 2005 at the University of Technology of Sydney, Australia.
  • GTTSE 2005: Summer School on Generative and Transformational Techniques, 4 - 8 July, 2005, Braga, Portugal
  • ICGT 2004: 2nd International Conference on Graph Transformation, 28 September - 2 October 2004 , Roma, Italy.
  • VODCA 2004: 1st International workshop on Views On Designing Complex Architectures, 11 - 12 September 2004, Bertinoro, Italy.
  • FASE 2004: 7th Conference on Fundamental Approaches to Software Engineering (FASE 2004), part of ETAPS, 27 March - 4 April 2004, Barcelona, Spain.
  • TACoS 2004: International Workshop on Test and Analysis of Component Based Systems. 27 - 28 March 2004, sattellite of ETAPS 2004, Barcelona, Spain.

Selected Talks

Teaching and Research at Paderborn and Dortmund

Please visit my Paderborn homepage for anything before 2005.
| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Reiko Heckel, Dr. Ing. (TU Berlin, 1998) (firstname at mcs le ac uk), T: +44 (0)116 252 3406.
© University of Leicester 05/2005. Last modified: 17th November 2009, 00:15:07.
CS Web Maintainer. Any opinions expressed on this page are those of the author.