Zur Webseite der Informatik

Lars Grunske

Prof. Dr. rer. nat.
Head of the Reliable Software Systems Research Group

Lars Grunske
address University of Stuttgart
Institute of Software Technology
Universitätsstraße 38 
D-70569 Stuttgart 
Germany
phone +49 711 685-88 273
fax +49 711 685-88 472
e-mail lars.grunske [at] informatik.uni-stuttgart.de
room 1.345
office hours:

Tuesday 1:30 - 2:30 p.m.
Please schedule an appointment with Ms. Ibach

Examination Board
office hours
(Sprechstunde des
Prüfungsausschussvorsitzenden)
Tuesday 2:30 - 3:30 p.m.
Please schedule an appointment with Ms. Ritzmann

 

Moved to Berlin

Professional Activities

Professional Activities at the University Level

  • Head of the Examination Board for the Bachelor and Master of Software Engineering (Prüfungsausschussvorsitzender), University of Stuttgart, 2013-ongoing
  • Member of the Examination Board for the Bachelor and Master Informatik (Mitglied des Prüfungsausschuss), University of Stuttgart, 2013-ongoing
  • Member of the Examination Board for the International Master of Computer Science (Mitglied des Prüfungsausschuss), University of Stuttgart, 2013-ongoing
  • Head of the Selection Board for incoming Master of Software Engineering (Zulassungsauschussvorsitzender), University of Stuttgart, 2013-ongoing
  • Member of the Board for Language Education at the University of Stuttgart, University of Stuttgart, 2013-ongoing
  • Chairing the Board of Young Researcher at the Research Centre for Mathematical and Computational Modelling (CM)², University of Kaiserslautern, 2011-2012
  • Academic Member of the Scientific Directory Board of the Research Centre for Complex Software Systems and Services (CS3), Swinburne University of Technology, 2009-2010
  • Leadership of the Scientific Training Program for PhD Students, Swinburne University of Technology, 2009-2011
  • Panel Member and Chair of Review Panels for PhD Student Progress Reviews, Swinburne University of Technology, 2008-2011
  • Member and Chair of Several Subject Related Commissions for Teaching Quality, Swinburne University of Technology, 2008-2011

Organisation and Chairing of Conferences

  • Program Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Nebraska, USA
  • Doctoral Symposium Chair and Workshop Chair, IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Mäladalen, Sweden
  • Organizing Chair, Informatik 2014, GI Jahrestagung, University of Stuttgart, Stuttgart, Germany
  • Program Chair, CBSE 2010, 12th International Symposium on Component Based Software Engineering, Prague, Czech Republic
  • Program Chair, SETE 2006, International Conference on System Engineering/Test and Evaluation, Melbourne, Australia
  • Program Chair, QUOVADIS 2010, 1st International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, ICSE Workshop
  • Steering Committee and Steering Committee Chair (since 2011), ISARCS 2010-2012, International Symposium on Architecting Critical Systems 2010-2012

Program Committee Member

  • ICSE 2015, International IEEE/ACM Conference on Software Engineering (ICSE)
  • QOSA 2013-ongoing, International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA
  • SAFECOMP 2008, 2011-ongoing, International Conference on Computer Safety, Reliability and Security
  • ASE 2010-ongoing, IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • ICCECS 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems, (ICCECS)
  • CBSE 2006-ongoing, International ACM SIGSOFT Symposium on Component-Based Software Engineering
  • ICCBSS 2008, IEEE International Conference on Composition-Based Software Systems (ICCBSS)
  • ASWEC 2007-11, Australian Software Engineering Conference
  • ECBSE 2007-10, Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Component-Based Software Engineering Track
  • WADS 2007-09, DSN Workshop on Architecting Dependable Systems, Edinburgh, Scotland - UK
  • DCDS 2007-11, 1st IFAC Workshop on Dependable Control of Discrete Systems
  • IWSSA 2006-12, International Workshop on System/Software Architecture
  • MODDM 2006, Workshop on MOdel Driven Development for Middleware (MODDM)
  • IWSSA 2006-11, International Workshop on System/Software Architecture
  • SETE 2005, International Conference on System Engineering/Test and Evaluation
  • Shepherd for VikingPLOP 2004, PLOP 2004-2005, EuroPLOP 2005
  • OOPSLA 2004 (Workshop Committee Member), the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications

Journal Reviewing

  • IEEE Transactions on Software Engineering, Journal of Systems and Software, Information and Software Technology, Software Practice and Experience, Automated Software Engineering Journal and others

 


Research Interests

  • Software and Systems Engineering (including Engineering of Complex Systems; Component Based Systems; Software Architecture; System modelling; Formal Methods and Specification)
  • Safety Critical Systems (including Hazard and Risk Analysis; Safety Requirements, Architecture and High Level Design Evaluation for Safety Properties)
  • Software Transformation and Software Evolution (including Transformations with (Hyper)-Graph Grammars and Triple Graph Grammars; Architecture and Code Refactoring, Model Driven Architecture and Quality Aspects within MDA)


I am working in these areas through collaborations with Antony Tang, Jun Han, Jean-Guy Schneider, Markus Lumpe (Swinburne University of Technology) Yiannis Papadopoulos (University of Hull) Peter Lindsay, Kirsten Winter, Robert Colvin, (the University of Queensland), Ivica Crnkovic (Maelardalen University)


Short Biography

Lars Grunske is currently a Professor at the University of Stuttgart, Germany. He received his PhD degree in computer science from the University of Potsdam (Hasso-Plattner-Institute for Software Systems Engineering) in 2004. He was Junior Professor at the University of Kaiserslautern, Boeing Postdoctoral Research Fellow at the University of Queensland from 2004-2007 and a lecturer at the Swinburne University of Technology, Australia from 2008-2011. He has active research interests in the areas modelling and verification of systems and software. His main focus is on automated analysis, mainly probabilistic and timed model checking and model-based dependability evaluation of complex software intensive systems.

Selected Publications

For a complete list please go to Publications