Andreas Foltinek

According to our database, Andreas Foltinek authored at least 2 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

On the integration of model-driven design and dynamic assertion-based verification for embedded software.

Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli

J. Syst. Softw., 2013

2011

Model-driven design and validation of embedded software.

Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek

Proceedings of the 6th International Workshop on Automation of Software Test, 2011