Andres Toom

According to our database, Andres Toom authored at least 4 papers between 2011 and 2016.

Collaborative distances:

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

2016

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2014

A software product line approach for semantic specification of block libraries in dataflow languages.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the 18th International Software Product Line Conference, 2014

2012

Model-based formal specification of a DSL library for a qualified code generator.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2011

System-level co-simulation of integrated avionics using polychrony.

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011