|
|
|
This page contains the presentations I have (co-)authored recently or will be
published soon. More publications can be found here:
Books,
Articles,
Papers, Patterns,
Position Papers and Podcasts
| Upcoming Publications |
 |
|
|
[Paper]
01.12.2013
Download...
Abstract...
|
Upcoming:
mbeddr -- Instantiating a Language Workbench in the Embedded Software Domain
|
together with
Daniel Ratiu
,
Bernd Kolb
,
Bernhard Schaetz
Conference: Journal of Automated Software Engineering
|
[Paper]
01.05.2013
Download...
Abstract...
|
Upcoming:
Using Language Engineering to Lift Languages and Analyses at the Domain Level
|
together with
Daniel Ratiu
,
Bernd Kolb
,
Bernhard Schaetz
Conference: NASA Formal Methods Symposium 2013
|
[Pos. Paper]
25.04.2013
Download...
Abstract...
|
Upcoming:
Requirements as First Class Citizens
|
together with
Federico Tomassetti
Conference: MBEES 2013
Workshop: MBEES 2013
|
| Recent Publications |
 |
|
|
[Pos. Paper]
20.04.2013
Download...
Abstract...
|
A Model-Based Approach to Language Integration
|
together with
Federico Tomassetti
,
Antonio Vetro
,
Marco Torchiano
,
Bernd Kolb
Conference: ICSE 2013
Workshop: MiSE 2013
|
[Paper]
01.11.2012
Download...
Abstract...
|
mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems
|
together with
Daniel Ratiu
,
Bernd Kolb
,
Bernhard Schaetz
Conference: Wavefront/SPLASH 2012
|
[Pos. Paper]
08.10.2012
Download...
Abstract...
|
Language Engineering as an Enabler for Incrementally Defined Formal Analyses
|
together with
Daniel Ratiu
,
Zaur Molotnikov
,
Bernhard Schaetz
Conference: MoDELS 2012
Workshop: Modevva 2012
|
[Artikel]
20.07.2012
Details...
Abstract...
|
mbeddr - Embedded-Entwicklung mit erweiterbarem C
|
|
Published in: heise developer, online
|
[Pos. Paper]
08.06.2012
Download...
Abstract...
|
Language Engineering as an Enabler for Incrementally Defined Formal Analyses
|
together with
Daniel Ratiu
,
Bernhard Schaetz
,
Bernd Kolb
Conference: ICSE 2012
Workshop: FormSERA 2012
|
[Pos. Paper]
08.02.2012
Download...
Abstract...
|
Towards an Extensible C for Embedded Programming
|
Conference: MBEES 2012
Workshop: MBEES 2012
|
|