jABC: Java ABC Framework Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen, Dipl. Inform. Christian Kubczak
jETI: Java Electronic Tool Integration Platform Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen, Dipl. Inform. Christian Kubczak
ITE: Itelligent Testing Environment Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
ViDoC: Visual Design of optimizing Compilers Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
jMoSel: java-based modelling and reasoning in Monadic Second Order Logic over Strings Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
Test-based Model Learning Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
Windkanalsteuerung und Messdatenerfassung Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
SHADOWS Project (Self-Healing Approach to Designing Complex Software Systems) Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
ConnectIT Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
ITSy Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
DPM: Dienstleistungspotenziale in der personalisierten Medizin (Service Opportunities in Personalized Medicine) Contact: Prof. Dr. Ing. Tiziana Margaria-Steffen
