Follow
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
4551999
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
1432014
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
1252004
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
972010
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
952008
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
891999
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
852004
An algorithm for automatically obtaining distributed and fault-tolerant static schedules
A Girault, H Kalla, M Sighireanu, Y Sorel
Proceeding of international conference on dependable systems and networks …, 2003
842003
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
762001
A survey of automatic distribution method for synchronous programs
A Girault
International workshop on synchronous languages, applications and programs …, 2005
752005
Automating the addition of fault tolerance with discrete controller synthesis
A Girault, É Rutten
Formal Methods in System Design 35 (2), 190-225, 2009
682009
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
632012
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
582013
Reliability versus performance for critical applications
A Girault, E Saule, D Trystram
Journal of Parallel and Distributed Computing 69 (3), 326-336, 2009
582009
Distributing reactive systems
P Caspi, A Girault, D Pilaud
541994
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
472011
Automatic production of globally asynchronous locally synchronous systems
A Girault, C Ménier
International Workshop on Embedded Software, 266-281, 2002
472002
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
422010
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
422007
Microsimulation analysis of multiple merge junctions under autonomous AHS operation
M Antoniotti, A Desphande, A Girault
Proceedings of Conference on Intelligent Transportation Systems, 147-152, 1997
391997
The system can't perform the operation now. Try again later.
Articles 1–20