PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Girault, Alain"

Author of the publication

copydeleteadd this publication to your clipboard
Building timing predictable embedded systems.

, , , , , , , , , , , , , and . ACM Trans. Embedded Comput. Syst., 13 (4): 82:1-82:37 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Girault, Alain
add a person with the name Girault, Alain
 

Other publications of authors with the same name

Automating the addition of fault tolerance with discrete controller synthesis., and . Formal Methods in System Design, 35 (2): 190-225 (2009)Multicriteria optimal reconfiguration of fault-tolerant real-time tasks., , , and . WODES, page 356-363. International Federation of Automatic Control, (2010)An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules., , , and . DSN, page 159-168. IEEE Computer Society, (2003)Programming and Timing Analysis of Parallel Programs on Multicores., , , and . ACSD, page 160-169. IEEE Computer Society, (2013)SPDF: A schedulable parametric data-flow MoC., , and . DATE, page 769-774. IEEE, (2012)SystemJ: A GALS language for system level design., , , and . Computer Languages, Systems & Structures, 36 (4): 317-344 (2010)Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ., , and . IEEE Trans. Parallel Distrib. Syst., 23 (7): 1240-1254 (2012)Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits., , and . FPGA, page 218-227. ACM, (2015)Distributing Finite Transition Systems Extended Abstract., and . PARLE, volume 605 of Lecture Notes in Computer Science, page 950-951. Springer, (1992)Monotonic Prefix Consistency in Distributed Systems., , , , and . FORTE, volume 10854 of Lecture Notes in Computer Science, page 41-57. Springer, (2018)