Research of the AG Softwaretechnik
The general research areas of the group are described here (so far only in German). Current and past projects are listed below.
Current Projects
| LightKone |
Lightweight computation for networks at the edge |
Past Projects
| SyncFree |
Large-scale Computation without Synchronisation |
| MoVeSPAcI |
Modular Verification of Security Properties in Actor Implementations |
| HATS |
Highly Adaptable and Trustworthy Software using Formal Models |
| IC0701 |
Formal Verification of Object-Oriented Software (COST Action) |
| WoM |
Web of mathematical models |
| HOPP |
Hardware assisted Acceleration for Monte Carlo Simulations in Financial Mathematics with a particular Emphasis on Option Pricing |
| cAdDiE |
Architecture-aware Development Environments |
| EMERGENT |
Grundlagen emergenter Software |
| ComDeCo |
Composable Derivative Contracts |
| ProGenCo |
Proof Generating Compiler |
| Encoop |
Encapsulation and Concurrency Transparency in Object-oriented Programming |
| Jive |
Java Interactive Verification Environment |
| A3XDB |
Adaptivity Aspects of Architecture and Application Programming for XML Databases |
| EVAS |
Development Methodology for Verifiable Adaptive Embedded Systems |
| WiVeProAb |
Knowledge-based Product Derivation for Product Lines |
| MMiSS |
!MultiMedia Instruction in Safe Systems |
| VerifiCard |
Tool-assisted Specification and Verifcation of Java Card Programs |
| EasyComp |
Easy Composition of Future Generation Component Systems |
| Lopex I + II |
Construction of Logic-based Programming Environments |
| ISPLGENT |
Integrated Specification of Programming Languages for the Generation of Language-specific Tools |
| MAGIC |
Interactive Specification and Generation of Compilers |
