Marc Richard-Foy

Publication Activity (10 Years)

Years Active: 1993-2010
Publications (10 Years): 0

Publications

Sarah Majoul, Marc Richard-Foy, Aitor Agirre, Antonio Perez, Antonio Kung
Enforcing trust in home automation platforms. ETFA (2010)
Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy
Use of PERC Pico in the AIDA avionics platform. JTRES (2009)
Antonio Kung, James J. Hunt, Ludovic Gauthier, Marc Richard-Foy
Issues in building an ANRTS platform. JTRES (2006)
Brian Dobbing, Marc Richard-Foy
T-SMART - task-safe, minimal Ada realtime toolset. IRTAW (1997)
Brian Dobbing, Marc Richard-Foy
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. Ada-Europe (1997)
Marc Richard-Foy
Safe Ada Executive: An Executive for Ada Safety Critical Applications. Ada-Europe (1995)
Jacques Brygier, Marc Richard-Foy
Certification of Ada Real-Time Executives for Safety Critical Applications. Ada-Europe (1993)