Frédéric Boniol

Publications

420

Citations

H-Index

2003

Active since

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

Institut National Polytechnique de Toulouse

Institut de Recherche en Informatique de Toulouse

Université Toulouse - Jean Jaurès

Frédéric Boniol is an author at Office National d'Études et de Recherches Aérospatiales specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationSystem SoftwareComputer ArchitectureParallel ComputingVerification

Publications per year

2003–2017

Publications

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms

Julien Forget, Frédéric Boniol, Emmanuel Grolleau et al. · 2010 · 76 citations

Engineering, Computer Architecture, Concurrent System +20

Multi-task Implementation of Multi-periodic Synchronous Programs

Claire Pagetti, Julien Forget, Frédéric Boniol et al. · Discrete Event Dynamic Systems · 2011 · 73 citations · Full text

Engineering, Concurrent Programming, Computer Architecture +8

A Multi-Periodic Synchronous Data-Flow Language

Julien Forget, Frédéric Boniol, David Lesens et al. · 2008 · 36 citations

Engineering, Real-time System Design, Computer Architecture +25

Latency and freshness analysis on IMA systems

Michaël Lauer, Jérôme Ermont, Frédéric Boniol et al. · 2011 · 23 citations

Integrated Modular Avionics, Freshness Analysis, Engineering +17

Verifying end-to-end real-time constraints on multi-periodic models

Julien Forget, Frédéric Boniol, Claire Pagetti · 2017 · 22 citations

Engineering, Formal Approach, Verification +24

Rows per page

1–5 of 17