| 2012 | An abstract machine for concurrent haskell with futures. David Sabel |
| 2012 | Architecture-aware cost modelling for parallel performance portability. Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder |
| 2012 | Exploring software variance with hypermodelling - an exemplary approach. Tim Frey, Veit Köppen |
| 2012 | Fehlalarmfreie Abstraktion in ISO-C konformer Semantik. Dirk Richter, Roberto Hoffmann |
| 2012 | Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. Christian Wessel, Thorsten Humberg, Sven Wenzel, Jan Jürjens |
| 2012 | GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. Patrick Werner, Stefan Gerken, Michaela Huhn |
| 2012 | Live-Musikprogrammierung in Haskell. Henning Thielemann |
| 2012 | MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language. Christian Heinlein |
| 2012 | Making MPI Intelligent. Dirk Tetzlaff, Sabine Glesner |
| 2012 | Search strategies for functional logic programming. Michael Hanus, Björn Peemöller, Fabian Reck |
| 2012 | Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff |
| 2012 | Supporting the context establishment according to ISO 27005 using patterns. Kristian Beckers, Stephan Faßbender |
| 2012 | Towards Static Modular Software Verification. Marcus Mews, Steffen Helke |
| 2012 | Using model-based analysis in certification of critical software-intensive systems. Frank Ortmeier, Simon Struck, Michael Lipaczewski |