Alain Girault
Alain Girault
Verified email at inria.fr
Title
Cited by
Cited by
Year
Hierarchical finite state machines with multiple concurrency models
A Girault, B Lee, EA Lee
IEEE Transactions on computer-aided design of integrated circuits and …, 1999
4221999
A bi-criteria scheduling heuristic for distributed embedded systems under reliability and real-time constraints
I Assayad, A Girault, H Kalla
International Conference on Dependable Systems and Networks, 2004, 347-356, 2004
1152004
Building timing predictable embedded systems
P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014
1102014
Automatic distribution of reactive systems for asynchronous networks of processors
P Caspi, A Girault, D Pilaud
IEEE Transactions on Software Engineering 25 (3), 416-427, 1999
831999
SystemJ: A GALS language for system level design
A Malik, Z Salcic, PS Roop, A Girault
Computer Languages, Systems & Structures 36 (4), 317-344, 2010
812010
A novel bicriteria scheduling heuristics providing a guaranteed global system failure rate
A Girault, H Kalla
IEEE Transactions on Dependable and Secure Computing 6 (4), 241-254, 2008
762008
An algorithm for automatically obtaining distributed and fault-tolerant static schedules
A Girault, H Kalla, M Sighireanu, Y Sorel
762003
Towards a higher-order synchronous data-flow language
JL Colaço, A Girault, G Hamon, M Pouzet
Proceedings of the 4th ACM international conference on Embedded software …, 2004
732004
Off-line real-time fault-tolerant scheduling
C Dima, A Girault, C Lavarenne, Y Sorel
Proceedings Ninth Euromicro Workshop on Parallel and Distributed Processing …, 2001
682001
A survey of automatic distribution method for synchronous programs
A Girault
International workshop on synchronous languages, applications and programs …, 2005
622005
Automating the addition of fault tolerance with discrete controller synthesis
A Girault, É Rutten
Formal Methods in System Design 35 (2), 190, 2009
612009
SPDF: A schedulable parametric data-flow MoC
P Fradet, A Girault, P Poplavko
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 769-774, 2012
552012
Distributing reactive systems
P Caspi, A Girault, D Pilaud
521994
Reliability versus performance for critical applications
A Girault, E Saule, D Trystram
Journal of Parallel and Distributed Computing 69 (3), 326-336, 2009
492009
BPDF: A statically analyzable dataflow model with integer and boolean parameters
V Bebelis, P Fradet, A Girault, B Lavigueur
2013 Proceedings of the International Conference on Embedded Software …, 2013
482013
Automatic production of globally asynchronous locally synchronous systems
A Girault, C Ménier
International Workshop on Embedded Software, 266-281, 2002
452002
Adaptor synthesis for real-time components
M Tivoli, P Fradet, A Girault, G Goessler
International Conference on Tools and Algorithms for the Construction and …, 2007
412007
Widening with thresholds for programs with complex control graphs
L Lakhdar-Chaouch, B Jeannet, A Girault
International Symposium on Automated Technology for Verification and …, 2011
392011
Predictable multithreading of embedded applications using PRET-C
S Andalam, P Roop, A Girault
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
362010
Tradeoff exploration between reliability, power consumption, and execution time
I Assayad, A Girault, H Kalla
International Conference on Computer Safety, Reliability, and Security, 437-451, 2011
352011
The system can't perform the operation now. Try again later.
Articles 1–20