Frédéric Boniol

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 11

Top Topics

Temporal Consistency

Modular Architecture

Dynamic Access Control

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Benjamin Lesage, Frédéric Boniol, Claire Pagetti
COOK Access Control on an embedded Volta GPU. CoRR (2024)
Cédric Cazanove, Benjamin Lesage, Frédéric Boniol, Jérôme Ermont
Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters. WCET (2024)
Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR (2024)
Matthias Houssin, Oana Hotescu, Frédéric Boniol
A Unified Model for Integrated Modular Architecture-TSN based Systems. ETFA (2023)
Alfonso Mascareñas González, Jean-Baptiste Chaudron, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot
Towards an efficient cost function equation for DDR SDRAM interference analysis on heterogeneous MPSoCs. DS-RT (2022)
Alfonso Mascareñas González, Jean-Baptiste Chaudron, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot
Task and Memory Mapping Optimization for SDRAM Interference Minimization on Heterogeneous MPSoCs. ETFA (2022)
Alfonso Mascareñas González, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot, Jean-Baptiste Chaudron
Heterogeneous multicore SDRAM interference analysis. RTNS (2021)
Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder
Identification of Multi-Core Interference. HASE (2019)
Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand
Schedulability analysis for mixed critical cyber physical systems. ICPS (2018)
Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Julien Forget, Frédéric Boniol, Claire Pagetti
Verifying end-to-end real-time constraints on multi-periodic models. ETFA (2017)
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. Tech. Sci. Informatiques 34 (5) (2015)
Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont
End-to-end latency and temporal consistency analysis in networked real-time systems. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Frédéric Boniol, Virginie Wiels
The Landing Gear System Case Study. ABZ (Case Study) (2014)
Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. NASA Formal Methods (2013)
Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget
End-to-end latency computation in a multi-periodic design. SAC (2013)
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux
Improving Model Checking with Context Modelling. Adv. Softw. Eng. 2012 (2012)
Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti
Deterministic Execution Model on COTS Hardware. ARCS (2012)
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Tech. Sci. Informatiques 31 (6) (2012)
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. APLAS (2012)
Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti
Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. SAC (2012)
Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti
Multiprocessor schedulability analyser. SAC (2011)
Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
Multi-task Implementation of Multi-periodic Synchronous Programs. Discret. Event Dyn. Syst. 21 (3) (2011)
Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
Latency and freshness analysis on IMA systems. ETFA (2011)
Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti
Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. RTNS (2011)
Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti
Worst Case Temporal Consistency in Integrated Modular Avionics Systems. HASE (2011)
Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous
Application of partial-order methods for the verification of closed-loop SDL systems. SAC (2011)
Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol
Reducing State Explosion with Context Modeling for Model-Checking. HASE (2011)
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. SIES (2010)
Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol
Analyzing End-to-End Functional Delays on an IMA Platform. ISoLA (1) (2010)
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) (2010)
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
A real-time architecture design language for multi-rate embedded control systems. SAC (2010)
Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels
Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
Implementing Multi-Periodic Critical Systems: from Design to Code Generation FMA (2009)
Frédéric Boniol, Jérôme Ermont, Claire Pagetti
Verification of real-time systems with preemption: negative and positive results. Innov. Syst. Softw. Eng. 5 (3) (2009)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Using context descriptions and property definition patterns for software formal verification. ICST Workshops (2008)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. LMO (2008)
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
A Multi-Periodic Synchronous Data-Flow Language. HASE (2008)
Frédéric Boniol
Vérification d'architectures embarquées : un enjeu aux multiples facettes. CAL (2008)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. CAL (2008)
Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu
A Framework for Distributing Real-Time Functions. FORMATS (2008)
Philippe Dhaussy, Frédéric Boniol
Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. Ingénierie des Systèmes d Inf. 12 (5) (2007)
Jérôme Ermont, Frédéric Boniol
Verification of embbeded systems with preemption: a negative result. ISoLA (2007)
Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti
Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. Obj. Logiciel Base données Réseaux 13 (2-3) (2007)
Frédéric Boniol, Claire Pagetti, François Revest
Formal Functionally Deterministic Scheduling. ISoLA (2007)
Francois Carcenac, Frédéric Boniol
A formal framework for verifying distributed embedded systems based on abstraction methods. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel
Safe Allocation of Avionics Shared Resources. HASE (2005)
Francois Carcenac, Frédéric Boniol
Verification of an avionic system using timed model checking. ISoLA (Preliminary proceedings) (2004)
Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels
Robustness analysis of avionics embedded systems. LCTES (2003)
Frédéric Boniol, Gérard Bel, Jérôme Ermont
Trois approches pour la modélisation et la vérification de systèmes embarqués. Tech. Sci. Informatiques 22 (5) (2003)
Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels
Analyse de robustesse de systèmes avioniques. JFLA (2003)
Jérôme Ermont, Frédéric Boniol
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu
Analysis of Slope-Parametric Hybrid Automata. HART (1997)
Martin Adelantado, Frédéric Boniol, D. Pinault
A simulation environment for designing distributed reactive/deliberative time-constrained applications. Annual Simulation Symposium (1995)
Frédéric Boniol
COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. PARLE (1994)
Martin Adelantado, Frédéric Boniol
Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. PODC (1994)
Martin Adelantado, Frédéric Boniol, Manuel Cubero-Castan, V. David, Bernard Lécussan, R. Porche
Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems. RTS (1993)
Frédéric Boniol, Martin Adelantado
Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm. Decentralized and Distributed Systems (1993)
Frédéric Boniol, Martin Adelantado
Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. WDAG (1993)