Skip to Main content Skip to Navigation


inria-00510077v1  Conference papers
Laure FranceAlain GiraultJean-Dominique GascuelBernard Espiau. Sensor Modeling for a Walking Robot Simulation
Eurographics Workshop on Computer Animation and Simulation, 1999, Milan, Italy
...
hal-02135891v2  Journal articles
Pierre AlliezRoberto Di CosmoBenjamin GuedjAlain GiraultMohand-Said Hacid et al.  Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
hal-01699964v1  Conference papers
Catalin DimaAlain GiraultYves Sorel. Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩
hal-01699970v1  Conference papers
Catalin DimaAlain GiraultChristophe LavarenneYves Sorel. Off-Line Real-Time Fault-Tolerant Scheduling
Ninth Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 7-9 February 2001, Mantova, Italy, 2001, Unknown, Unknown Region. pp.410--417, ⟨10.1109/EMPDP.2001.905069⟩
hal-02303635v1  Journal articles
Dmitry BurlyaevPascal FradetAlain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2018
...
hal-00842368v1  Conference papers
Sidharta AndalamRoopak SinhaPartha RoopAlain GiraultJan Reineke. Precise timing analysis for direct-mapped caches
Design Automaton Conference, DAC, Jun 2013, Austin, TX, United States. ⟨10.1145/2463209.2488917⟩
...
hal-01165686v1  Conference papers
Wei-Tsun SunAlain GiraultGwenaël Delaval. A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany
hal-00923670v1  Conference papers
Vagelis BebelisPascal FradetAlain GiraultBruno Lavigueur. A Framework to Schedule Parametric Dataflow Applications on Many-Core Platforms
CPC 2013, 17th Workshop on Compilers for Parallel Computing, Jul 2013, Lyon, France
hal-01095468v1  Journal articles
Sidharta AndalamPartha RoopAlain GiraultClaus Traulsen. A Predictable Framework for Safety-Critical Embedded Systems
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, pp.13
hal-01092255v1  Journal articles
Roopak SinhaAlain GiraultGregor GösslerPartha Roop. A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2014, 20, pp.30. ⟨10.1145/2663344⟩
hal-01095461v1  Journal articles
Philip AxerRolf ErnstHeiko FalkAlain GiraultDaniel Grund et al.  Building Timing Predictable Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2014, 13 (4), pp.38. ⟨10.1145/2560033⟩
hal-01253111v1  Conference papers
Dmitry BurlyaevPascal FradetAlain Girault. Time-redundancy transformations for adaptive fault-tolerant circuits
2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Jun 2015, Montreal, Canada. ⟨10.1109/AHS.2015.7231164⟩
...
hal-00996978v1  Conference papers
Wei-Tsun SunAlain GiraultZoran SalcicAvinash Malik. libDGALS: A Library-based Approach to Design Dynamic GALS Systems
9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy
hal-00842421v1  Conference papers
Vagelis BebelisPascal FradetAlain GiraultBruno Lavigueur. BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters
EMSOFT'13 - Eleventh ACM International Conference on Embedded Software, Sep 2013, Montreal, Canada. pp.10, ⟨10.1109/EMSOFT.2013.6658581⟩
hal-01095747v1  Conference papers
Dmitry BurlyaevPascal FradetAlain Girault. Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits
23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA'15, Feb 2015, Monterey, United States. ⟨10.1145/2684746.2689058⟩
hal-01271544v1  Directions of work or proceedings
Alain GiraultGuan Nan. 2015 International Conference on Embedded Software, EMSOFT'15
Alain Girault; Nan Guan. Amsterdam, Netherlands. IEEE, 2015, 978-1-4673-8079-9