Publications of Alain Girault
Load the BibTeX file
Academic Journals
- Avinash Malik, Alain Girault, Zoran Salcic. Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans.\ Parallel and Distributed Systems, 2012.
- A. Malik, Z. Salcic, P.S. Roop, A. Girault. SystemJ: A GALS Language for System Level Design. COMLAN, 36(4):317-344, December 2010.
- A. Girault, E. Rutten. Automating the Addition of Fault Tolerance with Discrete Controller Synthesis. Formal Methods in System Design, 2010.
- A. Girault, H. Kalla. A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. IEEE Trans.\ Dependable Secure Comput, 2009.
download
- A. Girault, E. Saule, D. Trystram. Reliability Versus Performance for Critical Applications. J.\ of Parallel and Distributed Computing, 2009.
- A. Girault, E. Saule, D. Trystram. Reliability Versus Performance for Critical Applications. J.\ of Parallel and Distributed Computing, 69(3):326-336, March 2009.
- A. Girault, H. Kalla. A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. IEEE Trans.\ Dependable Secure Comput, 2009.
- A. Girault, H. Kalla. Bicriteria Multi-Processor Static Scheduling. ERCIM News, 75:46-47, October 2008.
download
- T. Ayav, P. Fradet, A. Girault. Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Transactions on Embedded Computing Systems (TECS), 7(4):1-43, July 2008.
- A. Girault. System-Level Design of Fault-Tolerant Embedded Systems. ERCIM News, Special Theme: Embedded Intelligence, 67:25-26, October 2006.
download
- A. Girault, X. Nicollin, M. Pouzet. Automatic Rate Desynchronization of Embedded Reactive Programs. ACM Trans.\ Embedd.\ Comput.\ Syst, 5(3):687-717, August 2006.
- A. Girault. Design of an Hybrid Controller for Autonomous Vehicles Driving on Automated Highways. TRC, 12(6):421-452, December 2004.
- A. Girault, H. Kalla, Y. Sorel. A Scheduling Heuristics for Distributed Real-Time Embedded Systems Tolerant to Processor and Communication Media Failures. IJPR, 42(14):2877-2898, July 2004.
International Conferences
- Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric DataFlow MoC. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'12), March 2012.
- Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 492-502, Taipei (Taiwan), 2011.
- Ismail Assayad, Alain Girault, Hamoudi Kalla. Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. In International Conference on Computer Safety, Reliability and Security, SAFECOMP'11, LNCS, Volume 6894, Pages 437-451, Napoli, Italy, September 2011.
- Avinash Malik, Alain Girault, Zoran Salcic. A GALS Language for Dynamic Distributed and Reactive Programs. In International Conference on Application of Concurrency to System Design, ACSD'11, Newcastle, UK, June 2011.
- S. Andalam, Partha Roop, Alain Girault. Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs. In Design Automation and Test in Europe Conference, DATE'11, Grenoble, France, April 2011.
- E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Multicriteria Optimal Reconfiguration of Fault-Tolerant Real-Time Tasks. In Workshop on Discrete Event Systems, WODES'10, Berlin, Germany, September 2010.
- A. Benoit, F. Dufossé, A. Girault, Y. Robert. Reliability and Performance Optimization of Pipelined Real-Time Systems. In International Conference on Parallel Processing, ICPP'10, San Diego (CA), USA, September 2010.
- D.N. Xu, G. Gössler, A. Girault. Probabilistic Contracts for Component-based Design. In International Symposium on Automated Technology for Verification and Analysis, ATVA'10, A. Bouajjani, W.-N. Chin (eds.), LNCS, Volume 6252, Pages 325-340, Singapore, September 2010.
- S. Andalam, P.S. Roop, A. Girault. Predictable Multithreading of Embedded Applications Using PRET-C. In International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Grenoble, France, July 2010.
- S. Andalam, P.S. Roop, A. Girault. Deterministic, Predictable and Light-Weight Multithreading Using PRET-C. In Design Automation and Test in Europe Conference, DATE'10, Dresden, Germany, April 2010.
- P. Roop, A. Girault, R. Sinha, G. Gössler. Specification Enforcing Refinement for Convertibility Verification. In Proc. ACSD'09, S. Edwards, R. Lorenz, W. Vogler (eds.), Pages 148-157, 2009.
- M. Alras, P. Caspi, A. Girault, P. Raymond. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model. In International Conference on Embedded Systems and Software, ICESS'09, Hangzhou, China, May 2009.
- G. Delaval, A. Girault, M. Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. In International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'08, Pages 101-110, Tucson (AZ), USA, June 2008.
- Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten. Optimal discrete controller synthesis for modeling of fault-tolerant distributed systems. In 1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, 2007.
- M. Tivoli, P. Fradet, A. Girault, G. Goessler. Adaptor Synthesis for Real-Time Components. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07), Lecture Notes in Computer Science, Volume 4424, Pages 185-200, 2007.
- T. Ayav, P. Fradet, A. Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. In Proceedings of the Sixth ACM & IEEE International Conference on Embedded Software, EMSOFT'06, Pages 205-214, 2006.
- A. Girault, H. Kalla, Y. Sorel. Transient Processor/Bus Fault Tolerance for Embedded Systems. In IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Pages 135-144, Braga, Portugal, October 2006.
- A. Girault, H. Yu. A Flexible Method to Tolerate Value Sensor Failures. In International Conference on Emerging Technologies and Factory Automation, ETFA'06, Pages 86-93, Prague, Czech Republic, September 2006.
- A. Girault. A Survey of Automatic Distribution Method for Synchronous Programs. In International Workshop on Synchronous Languages, Applications and Programs, SLAP'05, F. Maraninchi, M. Pouzet, V. Roy (eds.), ENTCS, Edinburgh, UK, April 2005.
- Alain Girault, Eric Rutten. Discrete Controller Synthesis for Fault-Tolerant Distributed Systems. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04, September 2004.
- J.-L. Cola\cco, A. Girault, G. Hamon, M. Pouzet. Towards a Higher-Order Synchronous Data-Flow Language. In 4th International Conference on Embedded Software, EMSOFT'04, G. Buttazzo (ed.), Pisa, Italy, September 2004.
- E. Dumitrescu, A. Girault, E. Rutten. Validating Fault-Tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis. In IFAC Workshop on Discrete Event Systems, WODES'04, Reims, France, September 2004.
- C. Dima, A. Girault, Y. Sorel. Static fault-tolerant scheduling with ``pseudo-topological'' orders. In Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System, FORMATS-FTRTFT'04, LNCS, Volume 3253, Grenoble, France, September 2004.
- A. Girault, H. Kalla, Y. Sorel. An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. In IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'04, Toulouse, France, August 2004.
- I. Assayad, A. Girault, H. Kalla. A Bi-Criteria Scheduling Heuristics for Distributed Embedded Systems Under Reliability and Real-Time Constraints. In International Conference on Dependable Systems and Networks, DSN'04, Firenze, Italy, June 2004.
- A. Girault, X. Nicollin. Clock-Driven Automatic Distribution of Lustre Programs. In International Conference on Embedded Software, EMSOFT'03, R. Alur, I. Lee (eds.), LNCS, Volume 2855, Pages 206-222, Philadelphia (PA), USA, October 2003.
- A. Girault, H. Kalla, Y. Sorel. Une heuristique d'ordonnancement et de distribution tolérante aux pannes pour systèmes temps-réel embarqués. In Modélisation des Systèmes Réactifs, MSR'03, Pages 145-160, Metz, France, October 2003.
- A. Girault, H. Kalla, M. Sighireanu, Y. Sorel. An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. In International Conference on Dependable Systems and Networks, DSN'03, San-Francisco (CA), USA, June 2003.
Research Reports
- Pascal Fradet, Alain Girault, Peter Poplavko. SPDF: A Schedulable Parametric Dataflow Graph Model (extended version). Research Report INRIA, No 7828, December 2011.
- Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. Rapport de recherche INRIA, No 0, July 2011.
- Emil Dumitrescu, Alain Girault, Hervé Marchand, Eric Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. Rapport de Recherche INRIA, No 6137, March 2007.
- T. Ayav, P. Fradet, A. Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations. Research Report INRIA, No 5919, May 2006.
Misc
- Pascal Fradet, Alain Girault, Peter Poplavko, Ali-Erdem Ozcan. A Dataflow Model for Interactive Data-dependent Streaming Applications. Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, poster, 2011.
- Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming. 5th Workshop on Mapping of Applications to MPSoCs, one-page abstract, 2011.
- Pascal Fradet, Alain Girault, Peter Poplavko. A Statically Analyzable Dataflow Model for Dynamic Streaming. Platform 2012 Developers' Conference, one-page abstract, 2011.
- A. Girault. Automatic Distribution of Synchronous Programs. ERCIM News, 52:26-27, January 2003.
Thesis
- A. Girault. Contributions à la Conception Sûre des Systèmes Embarqués Sûrs. Habilitation à diriger des recherches INPG, Grenoble, France, September 2006.
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.