Frédéric Boniol - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Multiprocessor schedulability analyserMikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti. SAC 2011: 735-741 [doi]

Multi-task Implementation of Multi-periodic Synchronous ProgramsClaire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. deds, 21(3):307-338, 2011. [doi]

2010

Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded SystemsYamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels. isola 2010: 58-59 [doi]

Toward a wider use of formal methods for aerospace systems design and verificationYamine Aït Ameur, Frédéric Boniol, Virginie Wiels. STTT, 12(1):1-7, 2010. [doi]

Scheduling Dependent Periodic Tasks without Synchronization MechanismsJulien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti. rtas 2010: 301-310 [doi]

A real-time architecture design language for multi-rate embedded control systemsJulien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. SAC 2010: 527-534 [doi]

Analyzing End-to-End Functional Delays on an IMA PlatformMichaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol. isola 2010: 243-257 [doi]

2009

Verification of real-time systems with preemption: negative and positive resultsFrédéric Boniol, Jérôme Ermont, Claire Pagetti. isse, 5(3):163-179, 2009. [doi]

2008

2007

ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels, editors, Volume RNTI-SM-1 of Revue des Nouvelles Technologies de l Information, Cépaduès-Éditions, 2007.

Formal Functionally Deterministic SchedulingFrédéric Boniol, Claire Pagetti, François Revest. isola 2007: 33-40

Mise en uvre de composants MDA pour la validation formelle de modèles de systèmes d information embarquésPhilippe Dhaussy, Frédéric Boniol. isi, 12(5):133-157, 2007. [doi]

Verification of embbeded systems with preemption: a negative resultJérôme Ermont, Frédéric Boniol. isola 2007: 99-110

Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarquésW. Theurer, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. Lobjet, 13(2-3):79-110, 2007. [doi]

2006

A formal framework for verifying distributed embedded systems based on abstraction methodsFrancois Carcenac, Frédéric Boniol. STTT, 8(6):471-484, 2006. [doi]

2005

Safe Allocation of Avionics Shared ResourcesLaurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel. hase 2005: 25-33 [doi]

2004

Verification of an avionic system using timed model checkingFrancois Carcenac, Frédéric Boniol. isola 2004: 335-342

2003

2002

TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared ResourcesJérôme Ermont, Frédéric Boniol. ENTCS, 65(6), 2002. [doi]

1997

Analysis of Slope-Parametric Hybrid AutomataFrédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu. hybrid 1997: 75-80

1995

A simulation environment for designing distributed reactive/deliberative time-constrained applicationsMartin Adelantado, Frédéric Boniol, D. Pinault. anss 1995: 186-195 [doi]

1994

Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous LanguageMartin Adelantado, Frédéric Boniol. podc 1994: 387

COREA: A Synchronous Calculus of Parallel Communicating Reactive AutomataFrédéric Boniol. parle 1994: 611-622

1993

Programming Distributed Reactive Systems: a Strong and Weak Synchronous CouplingFrédéric Boniol, Martin Adelantado. wdag 1993: 294-308

Programming Communicating Distributed Reactive Automata: the Weak Synchronous ParadigmFrédéric Boniol, Martin Adelantado. ifip10-3 1993: 109-120