Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems. - Martin Adelantado; Frédéric Boniol; Manuel Cubero-Castan; V. David; Bernard Lécussan; R. Porche (RTS, 1993)

Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm. - Frédéric Boniol; Martin Adelantado (Decentralized and Distributed Systems, 1993)

Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. - Frédéric Boniol; Martin Adelantado (WDAG, 1993)

COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. - Frédéric Boniol (PARLE, 1994)

Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. - Martin Adelantado; Frédéric Boniol (PODC, 1994)

A simulation environment for designing distributed reactive/deliberative time-constrained applications. - Martin Adelantado; Frédéric Boniol; D. Pinault (Annual Simulation Symposium, 1995)

Analysis of Slope-Parametric Hybrid Automata. - Frédéric Boniol; Augusto Burgueño; Olivier F. Roux; Vlad Rusu (HART, 1997)

TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. - Jérôme Ermont; Frédéric Boniol (Theory and Practice of Timed Systems @ ETAPS, 2002)

Analyse de robustesse de systèmes avioniques. - Yamine Aït Ameur; Frédéric Boniol; S. Pairault; Virginie Wiels (JFLA, 2003)

Robustness analysis of avionics embedded systems. - Yamine Aït Ameur; Gérard Bel; Frédéric Boniol; S. Pairault; Virginie Wiels (LCTES, 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)

Verification of an avionic system using timed model checking. - Francois Carcenac; Frédéric Boniol (ISoLA (Preliminary proceedings), 2004)

Safe Allocation of Avionics Shared Resources. - Laurent Sagaspe; Gérard Bel; Pierre Bieber; Frédéric Boniol; Charles Castel (HASE, 2005)

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)

Formal Functionally Deterministic Scheduling. - Frédéric Boniol; Claire Pagetti; François Revest (ISoLA, 2007)

Verification of embbeded systems with preemption: a negative result. - Jérôme Ermont; Frédéric Boniol (ISoLA, 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)

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)

Vérification d'architectures embarquées : un enjeu aux multiples facettes. - Frédéric Boniol (CAL, 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 (CAL, 2008)

A Framework for Distributing Real-Time Functions. - Frédéric Boniol; Pierre-Emmanuel Hladik; Claire Pagetti; Frédéric Aspro; Victor Jégu (FORMATS, 2008)

A Multi-Periodic Synchronous Data-Flow Language. - Julien Forget; Frédéric Boniol; David Lesens; Claire Pagetti (HASE, 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 (ICST Workshops, 2008)

Implementing Multi-Periodic Critical Systems: from Design to Code Generation - Julien Forget; Frédéric Boniol; David Lesens; Claire Pagetti (FMA, 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)

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 (ISoLA (1), 2010)

Analyzing End-to-End Functional Delays on an IMA Platform. - Michaël Lauer; Jérôme Ermont; Claire Pagetti; Frédéric Boniol (ISoLA (1), 2010)

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. - Julien Forget; Frédéric Boniol; Emmanuel Grolleau; David Lesens; Claire Pagetti (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

A real-time architecture design language for multi-rate embedded control systems. - Julien Forget; Frédéric Boniol; David Lesens; Claire Pagetti (SAC, 2010)

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. - Xavier Dumas; Frédéric Boniol; Philippe Dhaussy; Eric Bonnafous (SIES, 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)

Latency and freshness analysis on IMA systems. - Michaël Lauer; Jérôme Ermont; Frédéric Boniol; Claire Pagetti (ETFA, 2011)

Reducing State Explosion with Context Modeling for Model-Checking. - Philippe Dhaussy; Jean-Charles Roger; Frédéric Boniol (HASE, 2011)

Worst Case Temporal Consistency in Integrated Modular Avionics Systems. - Michaël Lauer; Jérôme Ermont; Frédéric Boniol; Claire Pagetti (HASE, 2011)

Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. - Mikel Cordovilla; Frédéric Boniol; Julien Forget; Eric Noulard; Claire Pagetti (RTNS, 2011)

Multiprocessor schedulability analyser. - Mikel Cordovilla; Frédéric Boniol; Eric Noulard; Claire Pagetti (SAC, 2011)

Application of partial-order methods for the verification of closed-loop SDL systems. - Xavier Dumas; Philippe Dhaussy; Frédéric Boniol; Eric Bonnafous (SAC, 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)

A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. - Rémy Wyss; Frédéric Boniol; Julien Forget; Claire Pagetti (APLAS, 2012)

Deterministic Execution Model on COTS Hardware. - Frédéric Boniol; Hugues Cassé; Eric Noulard; Claire Pagetti (ARCS, 2012)

Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. - Julie Baro; Frédéric Boniol; Mikel Cordovilla; Eric Noulard; Claire Pagetti (SAC, 2012)

Improving Model Checking with Context Modelling. - Philippe Dhaussy; Frédéric Boniol; Jean-Charles Roger; Luka Leroux (Adv. Softw. Eng., 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)

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. - Frédéric Boniol; Michaël Lauer; Claire Pagetti; Jérôme Ermont (NASA Formal Methods, 2013)

End-to-end latency computation in a multi-periodic design. - Rémy Wyss; Frédéric Boniol; Claire Pagetti; Julien Forget (SAC, 2013)

New Challenges for Future Avionic Architectures. - Frédéric Boniol (Modeling Approaches and Algorithms for Advanced Computer Applications, 2013)

The Landing Gear System Case Study. - Frédéric Boniol; Virginie Wiels (ABZ (Case Study), 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)

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)

Verifying end-to-end real-time constraints on multi-periodic models. - Julien Forget; Frédéric Boniol; Claire Pagetti (ETFA, 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)

Schedulability analysis for mixed critical cyber physical systems. - Luca Santinelli; David Doose; Guy Durrieu; Frédéric Boniol; Charles Lesire-Cabaniols; Christophe Grand (ICPS, 2018)

Identification of Multi-Core Interference. - Frédéric Boniol; Claire Pagetti; Nathanaël Sensfelder (HASE, 2019)

Heterogeneous multicore SDRAM interference analysis. - Alfonso Mascareñas González; Frédéric Boniol; Youcef Bouchebaba; Jean-Loup Bussenot; Jean-Baptiste Chaudron (RTNS, 2021)

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 (DS-RT, 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 (ETFA, 2022)

A Unified Model for Integrated Modular Architecture-TSN based Systems. - Matthias Houssin; Oana Hotescu; Frédéric Boniol (ETFA, 2023)

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 (WCET, 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)

COOK Access Control on an embedded Volta GPU. - Benjamin Lesage; Frédéric Boniol; Claire Pagetti (CoRR, 2024)