Frédéric Boniol

64 papers A* 1A 1B 2C 9Misc 7Journal 14Unranked 28

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