Person:Weißleder


Bild:Weißleder_300_225.jpg


Contact Details

Stephan Weißleder
Fraunhofer FIRST
Kekuléstr. 7, 12489 Berlin
Raum: 407, Tel: +49 (0)30 6392 1876
Email FIRST: stephan.weissleder(at)first.fraunhofer.de

Institut für Informatik, Humboldt-Universität zu Berlin
Rudower Chaussee 25, 12489 Berlin
Raum: III.310
Tel: +49 (0)30 2093 3117
E-Mail: weissled(at)informatik.hu-berlin.de


Research

Thesis

Description of the Thesis

Research Interests

  • Agile Software Engineering
  • Modeling
  • Model-Based Testing
  • Service-Oriented Architectures
  • Formal Methods
  • METRIK-Cluster Agile Language Engineering

Publications

Conferences and Workshops

  • Stephan Weißleder: Partition-Oriented Test Generation, workshop MoTes (Model-based Testing) (http://adt.uni-paderborn.de/aktuelles/news-unterseiten/motes08cfp.html), 2008, September, Munich, Germany, in conjunction with the annual congress of the Gesellschaft für Informatik, ISBN 978-3-88579-227-7
  • Stephan Weißleder, Bernd-Holger Schlingloff: Quality of Automatically Generated Test Cases based on OCL Expressions, ICST 2008 (http://www.cs.colostate.edu/icst2008/), April, Lillehammer, Norway (best student paper award)
  • Hajo Eichler, Daniel A. Sadilek, Markus Scheidgen, Michael Soden, Guido Wachsmuth, Stephan Weißleder: Frameworks to Create Language Definitions and Tools on Top of the Eclipse Modelling Project, EclipseCon 2008 (http://www.eclipsecon.org/2008/), March, Santa Clara, CA, USA
  • Daniel A. Sadilek, Stephan Weißleder: Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages, Domain-Specific Modeling Languages (DSML'08) (http://metrik.informatik.hu-berlin.de/grk-wiki/index.php?title=Workshop:Modellierung08DSL), Associated with Modellierung 2008 (http://www.modellierung2008.org/), Berlin, Germany
  • Stephan Weißleder, Dehla Sokenou: Automatic Test Case Generation from UML Models and OCL Expressions, Testing of Software (http://se2008.in.tum.de/), Associated with Software Engineering 2008, February, Munich, Germany
  • Stephan Weißleder, Bernd-Holger Schlingloff: Automatic Test Generation from Coupled UML Models using Input Partitions, MoDeVVa'07 (http://www.modeva.org/2007/), Associated with MoDELS'07, October, Nashville, TN, USA (best paper)
    • extended version: Stephan Weißleder, Bernd-Holger Schlingloff: Deriving Input Partitions from UML Models for Automatic Test Generation, IEEE-Proceedings of MoDELS'07, ISBN 978-3-540-69069-6
  • Stefan Brüning, Stephan Weißleder, Miroslaw Malek: A Fault-Taxonomy for Service-Oriented Architecture, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07 (http://hase07.utdallas.edu/)), Dallas, Texas, USA
  • Dirk Fahland, Timo M. Gläßer, Bastian Quilitz, Stephan Weißleder and Ulf Leser: HUODINI - Flexible Information Integration for Disaster Management, 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Delft, NL, 05/2007 (revised version submitted to Special Issue of IEEE DSonline).

Technical Reports

  • Dirk Fahland, Daniel A. Sadilek, Markus Scheidgen, Stephan Weißleder: DSML'08 - Domain-Specific Modeling Languages, Workshop co-located with Modellierung 2008, HUB report 221, 03/2008
  • Stefan Brüning, Stephan Weißleder, Miroslaw Malek: A Fault-Taxonomy for Service-Oriented Architecture, HUB report 215, 09/2007

Compulsory Publications

  • Stephan Weißleder. Semantische Fundierung der Web-Service-Beschreibungssprache WSCI. Diplomarbeit, Humboldt-Universität zu Berlin, November 2004.

Further Conferences, Workshops

Teaching

Past Teaching

  • summer 2007: Supervisor in the course Automotive Software Engineering & Model Based Design (http://www2.informatik.hu-berlin.de/~hs/Lehre/2007-SS_ASWEMBD/index.html) (Prof. Schlingloff)
  • winter 2006/2007: Supervisor in the tutorial (http://zope.informatik.hu-berlin.de/forschung/gebiete/wbi/teaching/archive/ws0607/pr_informationsintegration/index_html?set_language=en&cl=en) to the lecture Information Integration (http://www.informatik.hu-berlin.de/forschung/gebiete/wbi/teaching/archive/ws0607/hk_informationsintegration/index_html?set_language=en&cl=en) (Prof. Leser)

Projects

SourceForge

  • MMUnit (http://mmunit.sourceforge.net) - a framework for testing metamodels: realizes the test-first approach for metamodels
  • ParTeG (http://parteg.sourceforge.net) - a partition test generator: automatically generates JUnit-tests from test input partitions automatically generated from UML state machines and class diagrams

Resume

since 09/2006 Scholarship by e-fellows.net (https://www.e-fellows.net/)
since 08/2006 PhD student at the Humboldt Universität zu Berlin, member of graduate school METRIK
02/2005-07/2006 Software developer and designer at microTOOL GmbH (http://www.microtool.de/), working on objectiF, a tool for UML and MDD
04/2003-02/2005 Scholarship by e-fellows.net (https://www.e-fellows.net/)
11/2000-01/2005 Student trainee at OneStepAhead AG (http://www.onestepahead.de/), working on search trees, maps and databases with geographical data
05/2000-10/2000 Student trainee at DaimlerChrysler, working on systems for navigation and routing
10/1999-12/2004 Study of Computer Science at the Humboldt-Universität zu Berlin, business studies as supplemental subject
06/1999-04/2000 Project work at RUDOLPH Management Software on creation and transformation on maps
06/1998-05/1999 Project work at DaimlerChrysler on creation and transformation of maps
Von "http://metrik.informatik.hu-berlin.de/grk-wiki/index.php/Person:Wei%C3%9Fleder"