Sitemap
Jump to content
Log in
|
Deutsch
Search:
TU
|
Informatik
|
STG and RP
|
Staff
|
Research
|
Teaching
|
Publications
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
Claudia Roßmann
Gudrun Harris
Matthias Bahr
Annette Miller
Esther Berghoff
Lars Baumgärtner
Krishna Narasimhan
Matthias Eichholz
Nafise Eskandani
Leonid Glanz
Dominik Helm
Mirko Köhler
Matthias Krebs
Ragnar Mogk
Patrick Müller
Aditya Oak
Michael Reif
David Richter
Tobias Roth
Simon Schönwälder
Daniel Sokolowski
Pascal Weisenburger
Anna-Katharina Wickert
Mohamed Aly
Sven Amann
Andi Bejleri
Christoph Bockisch
Eric Bodden
Oliver Bračevac
Marcel Bruch
Ervina Cergani
Tom Dinkelaker
Joscha Drechsler
Michael Eichberg
Vaidas Gasiunas
Sylvia Grewe
Ben Hermann
Kirill Kononenko
Florian Kübler
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
Felix Weirich
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
WS 2020/21
Design and Implementation of Modern Programming Languages
Implementation of Modern Programming Languages
Software Engineering for Artificial Intelligence
Agile Software Engineering Project
SS 2020
Design and Implementation of Modern Programming Languages
Software Engineering for Artificial Intelligence
Implementation of Programming Languages
Theses
Publications
Legal Note
