Andreas Foltinek

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Platform Independent

Embedded Software

Top Venues

J. Syst. Softw.

Publications

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. 86 (8) (2013)
Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek
Model-driven design and validation of embedded software. AST (2011)