Frédéric Boniol

According to our database, Frédéric Boniol authored at least 60 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

COOK Access Control on an embedded Volta GPU.

Benjamin Lesage, Frédéric Boniol, Claire Pagetti

CoRR, 2024

Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML.

Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti

CoRR, 2024

Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters.

Cédric Cazanove, Benjamin Lesage, Frédéric Boniol, Jérôme Ermont

Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis, 2024

2023

A Unified Model for Integrated Modular Architecture-TSN based Systems.

Matthias Houssin, Oana Hotescu, Frédéric Boniol

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

Task and Memory Mapping Optimization for SDRAM Interference Minimization on Heterogeneous MPSoCs.

Alfonso Mascareñas González, Jean-Baptiste Chaudron, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Towards an efficient cost function equation for DDR SDRAM interference analysis on heterogeneous MPSoCs.

Alfonso Mascareñas González, Jean-Baptiste Chaudron, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot

Proceedings of the 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2022

2021

Heterogeneous multicore SDRAM interference analysis.

Alfonso Mascareñas González, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot, Jean-Baptiste Chaudron

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

2019

Identification of Multi-Core Interference.

Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Schedulability analysis for mixed critical cyber physical systems.

Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017

The landing gear case study: challenges and experiments.

Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe

Int. J. Softw. Tools Technol. Transf., 2017

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

Julien Forget, Frédéric Boniol, Claire Pagetti

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2015

Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique.

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti

Tech. Sci. Informatiques, 2015

2014

End-to-end latency and temporal consistency analysis in networked real-time systems.

Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont

Int. J. Crit. Comput. Based Syst., 2014

The Landing Gear System Case Study.

Frédéric Boniol, Virginie Wiels

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

New Challenges for Future Avionic Architectures.

Frédéric Boniol

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

End-to-end latency computation in a multi-periodic design.

Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.

Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont

Proceedings of the NASA Formal Methods, 2013

2012

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry

Tech. Sci. Informatiques, 2012

Improving Model Checking with Context Modelling.

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux

Adv. Softw. Eng., 2012

Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks.

Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti

Proceedings of the ACM Symposium on Applied Computing, 2012

Deterministic Execution Model on COTS Hardware.

Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti

Proceedings of the Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28, 2012

A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Multi-task Implementation of Multi-periodic Synchronous Programs.

Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens

Discret. Event Dyn. Syst., 2011

Application of partial-order methods for the verification of closed-loop SDL systems.

Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Multiprocessor schedulability analyser.

Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.

Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Worst Case Temporal Consistency in Integrated Modular Avionics Systems.

Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Reducing State Explosion with Context Modeling for Model-Checking.

Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Latency and freshness analysis on IMA systems.

Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

Toward a wider use of formal methods for aerospace systems design and verification.

Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels

Int. J. Softw. Tools Technol. Transf., 2010

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.

Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

A real-time architecture design language for multi-rate embedded control systems.

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.

Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Analyzing End-to-End Functional Delays on an IMA Platform.

Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems.

Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Verification of real-time systems with preemption: negative and positive results.

Frédéric Boniol, Jérôme Ermont, Claire Pagetti

Innov. Syst. Softw. Eng., 2009

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

Using context descriptions and property definition patterns for software formal verification.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

A Multi-Periodic Synchronous Data-Flow Language.

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A Framework for Distributing Real-Time Functions.

Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Un langage de contexte de preuve pour la validation formelle de modèles logiciels.

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

Vérification d'architectures embarquées : un enjeu aux multiples facettes.

Frédéric Boniol

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

2007

Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués.

Philippe Dhaussy, Frédéric Boniol

Ingénierie des Systèmes d Inf., 2007

Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués.

Wolfgang Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti

Obj. Logiciel Base données Réseaux, 2007

Verification of embbeded systems with preemption: a negative result.

Jérôme Ermont, Frédéric Boniol

Proceedings of the ISoLA 2007, 2007

Formal Functionally Deterministic Scheduling.

Frédéric Boniol, Claire Pagetti, François Revest

Proceedings of the ISoLA 2007, 2007

2006

A formal framework for verifying distributed embedded systems based on abstraction methods.

Francois Carcenac, Frédéric Boniol

Int. J. Softw. Tools Technol. Transf., 2006

2005

Safe Allocation of Avionics Shared Resources.

Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004

Verification of an avionic system using timed model checking.

Francois Carcenac, Frédéric Boniol

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Trois approches pour la modélisation et la vérification de systèmes embarqués.

Frédéric Boniol, Gérard Bel, Jérôme Ermont

Tech. Sci. Informatiques, 2003

Robustness analysis of avionics embedded systems.

Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels

Proceedings of the 2003 Conference on Languages, 2003

Analyse de robustesse de systèmes avioniques.

Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2002

TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources.

Jérôme Ermont, Frédéric Boniol

Proceedings of the Theory and Practice of Timed Systems, 2002

1997

Analysis of Slope-Parametric Hybrid Automata.

Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

A simulation environment for designing distributed reactive/deliberative time-constrained applications.

Martin Adelantado, Frédéric Boniol, D. Pinault

Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994

Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language.

Martin Adelantado, Frédéric Boniol

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata.

Frédéric Boniol

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.

Frédéric Boniol, Martin Adelantado

Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm.

Frédéric Boniol, Martin Adelantado

Proceedings of the Decentralized and Distributed Systems, 1993

Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems.

Martin Adelantado, Frédéric Boniol, Manuel Cubero-Castan, V. David, Bernard Lécussan, R. Porche

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993