Sitemap
Jump to content
Log in
|
Deutsch
Search:
TU
|
Informatik
|
STG and RP
|
Staff
|
Research
|
Teaching
|
Publications
|
Internal
You are here:
TU Darmstadt
Informatik
Software Technology Group
Sitemap
Software Technology Group
Sitemap – www.stg.tu-darmstadt.de
STG and RP
Contact
Open Theses
Staff
Mira Mezini
Guido Salvaneschi
Gudrun Harris
Lars Baumgärtner
Oliver Bračevac
Joscha Drechsler
Matthias Eichholz
Nafise Eskandani
Leonid Glanz
Dominik Helm
Mirko Köhler
Florian Kübler
Ragnar Mogk
Patrick Müller
Aditya Oak
Michael Reif
David Richter
Daniel Sokolowski
Felix Weirich
Pascal Weisenburger
Anna-Katharina Wickert
Mohamed Aly
Sven Amann
Andi Bejleri
Christoph Bockisch
Eric Bodden
Marcel Bruch
Ervina Cergani
Tom Dinkelaker
Michael Eichberg
Vaidas Gasiunas
Sylvia Grewe
Ben Hermann
Kirill Kononenko
Edlira Kuci
Johannes Lerch
Ingo Maier
Ralf Mitschke
Martin Monperrus
Sarah Nadi
Sebastian Proksch
Lucas Satabin
Thorsten Schäfer
Benjamin Schmeling
Andreas Sewe
Jurgen van Ham
Manuel Weiel
Research
Programming Languages
PACE
SugarX
Pluto
Monto
EScala
Overview
Documentation
Language
Library Examples
Download
REScala
SID-UP / Distributed REScala
JEScala
Software Security
PEAKS
FlowTwist
OPAL
Variability Modeling of Cryptographic Components
Program Analysis and Mining Software Repositories
PEAKS
FlowTwist
OPAL
Eko Project
KaVE Project
CupsStudy
Type Systems and Verifiable Guarantees
Veritas
Co-Contextual Java
Associated Research
Code Recommenders
Soot
TamiFlex
Completed Research
ALIA4J
CaesarJ
Clara
AO4BPEL
i3QL
NFComp
Scala Benchmarking Project
Pegasus Project
POPART
Pattern Language (π)
Teaching
Courses
SS 2019
Applied Static Analysis
Design and Implementation of Modern Programming Languages
Implementation of Programming Languages
WS 2018/19
Agile Software Engineering Project
Software Engineering
Concepts of Programming Langauges
Software Development Tools
Implementation of Modern Programming Languages
Extended Seminar - Systems and Machine Learning
Design and Implementations of Modern Programming Languages
Foundations of Static Analyses
Theses
Publications
Legal Note
