Pascal Raymond
EMSOFT 2014: 14th International Conference on Embedded Software
A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Modular Static Scheduling of Synchronous Data-Flow Networks: an Efficient Symbolic Representation
EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software
Virtual Execution of AADL Models via a Translation into Synchronous Programs