Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Dr. Leen Lambers

Senior Researcher

Hasso-Plattner-Institut für Softwaresystemtechnik GmbH

Prof.-Dr.-Helmert-Str. 2-3

D-14482 Potsdam, Germany

Phone: +49 (0)331 5509 352

E-Mail: Leen.Lambers(at)hpi.de

Room: A-E.8

Open Positions

Student position

Research topics

  • Model Engineering
  • Transformation Engineering
  • Verification Engineering

in Software & Systems Engineering

We focus in particular on Graph & Graph Transformation Engineering as a key enabler for the interplay of the research topics named above.

Scientific Events

  • PC member ICGT 2017 9th International Conference on Graph Transformation
  • Publication Chair STAF 2017 Software Technologies: Applications and Foundations
  • PC member ModeVVA 2016 13th Workshop on Model-Driven Engineering, Verification and Validation
  • PC member VOLT 2016 5th Workshop on the Verificaton of Model Transformation
  • PC member GaM 2016 2nd International Workshop on Graphs as Models 
  • PC member ICGT 2016 9th International Conference on Graph Transformation
  • Participant  Verification of Evolving Graph Structures Dagstuhl Seminar 2015
  • PC member ModeVVa 2015 12th Workshop on Model-Driven Engineering, Verification and Validation
  • PC member VOLT 2015 4th International Workshop on the Verification of modeL Transformation
  • PC member ICGT 2015 8th International Conference on Graph Transformation
  • PC member VOLT 2014 3rd International Workshop on the Verification Of modeL Transformation
  • PC member ICSME 2014 30th International Conference on Software Maintenance and Evolution
  • PC member & publicity chair ICGT 2014 7th International Conference on Graph Transformation
  • PC member ICSM 2013 29th IEEE International Conference on Software Maintenance
  • OC member VOLT 2013 2nd International Workshop on the Verification of ModeL Transformation
  • PC member ICMT 2013 6th International Conference on Model Transformation
  • PC member ICGT 2012 6th International Conference on Graph Transformation - Foundations Track
  • PC member ICMT 2012 5th International Conference on Model Transformation
  • 2012 Bellairs CAMPaM Workshop on Computer Automated Multi-Paradigm Modeling
  • PC chair GT-VMT 2012 11th International Workshop on Graph Transformation and Visual Modeling Techniques, co-located with ETAPS 2012
  • PC member ACCAT 2012 7th Workshop on Applied and Computational Category Theory, co-located with ETAPS 2012

Publications