Product-Line Engineering Tools

  • PEOPL: Projectional Editing of Product Lines
  • INCLINE: Intention-Based Clone Integration
  • Florida: Feature Location Dashboard
  • VTS: Variation Tracking System

Variability Analysis Tools

  • FarCE: Feature Constraints Extraction (successor of the FeatureDependencyMiner project, see below)
  • VMM: Variability Model Metrics suite
  • CDLTools: analysis of CDL models used in the eCos operating system
  • KBuildMiner: static analysis of build system code
  • FeatureDependencyMiner: static analysis of C code to extract constraints among features from code, used in our ICSE’11 reverse engineering feature models paper
  • FreeBSDMiner: various tools to analyze variability in FreeBSD
  • TypeChef: Type Checking Ifdef Variability
  • LVAT: Linux Variability Analysis Tools
  • Smaller utilities
    • vm2bool translate feature models into a DIMACS format
    • sxfm2bool: convert feature models in the SXFM format to DIMACS (subsumed by vm2bool)


Ecosystem Mining Tools

  • Ecosystem analysis: tools and datasets to analyze variability mechanisms and artifacts in Debian, Eclipse, and Android (joint work with Rolf-Helge Pfeiffer, Reinhard Tartler, and Steffen Dienst); for the Android analysis, also see a
  • Static analysis of Dalvik bytecode

Robotics Software

  • SERA: Self-Adaptive dEcentralized Robotic Architecture, and reference implementation
  • PROMISE: Robotic mission definition workbench relying on a DSL (inspired by behavior trees) with graphical and textual syntax
  • Specification Patterns: A catalog of patterns for specifying robotic mission (including template solutions in LTL/CTL) and tooling

E-Assessment Tools

  • elateXam eAssessment tool used at the University of Leipzig (elateXam is the successor of ExamServer from the elatePortal project, now further developed and maintained by Steffen Dienst)
  • elatePortal: eAssessment software for electronic exams, including a lightweight exam server, a full-featured portal (based on Apache Jetspeed2), and a flexible eAssessment framework (“tasklet” container), founder and main developer ** as part of this effort, I also contributed to Apache Portals Jetspeed 2
  • Elques/Onyx: an IMS QTI-compatible editor, previous developer
  • UebMan: Übungsbetriebs-Manager, tool to handle online assignments, including corrector workflow support, founder

Undergrad Student Projects

  • Seagull Swarm Simulation: Boids swarm intelligence with some nice graphical effects in OpenGL, part of the OpenGL course at University of Leipzig
  • JHPetri: graphical editor and simulator of hierarchical petri nets