Frédéric Boniol

	2008
22		Frédéric Boniol: Vérification d'architectures embarquées : un enjeu aux multiples facettes. CAL 2008: 1
21		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: 173-189
20		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: 155-169
19		Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: A Multi-Periodic Synchronous Data-Flow Language. HASE 2008: 251-260
	2007
18		Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels: ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 Cépaduès-Éditions 2007
17		Frédéric Boniol, Claire Pagetti, François Revest: Formal Functionally Deterministic Scheduling. ISoLA 2007: 33-40
16		Jérôme Ermont, Frédéric Boniol: Verification of embbeded systems with preemption: a negative result. ISoLA 2007: 99-110
15		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'Information 12(5): 133-157 (2007)
14		W. 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. L'OBJET 13(2-3): 79-110 (2007)
	2006
13		Francois Carcenac, Frédéric Boniol: A formal framework for verifying distributed embedded systems based on abstraction methods. STTT 8(6): 471-484 (2006)
	2005
12		Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel: Safe Allocation of Avionics Shared Resources. HASE 2005: 25-33
	2004
11		Francois Carcenac, Frédéric Boniol: Verification of an avionic system using timed model checking. ISoLA (Preliminary proceedings) 2004: 335-342
	2003
10		Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels: Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
9		Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels: Robustness analysis of avionics embedded systems. LCTES 2003: 123-132
8		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. Technique et Science Informatiques 22(5): 539-569 (2003)
	2002
7		Jérôme Ermont, Frédéric Boniol: TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
	1997
6		Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80
	1995
5		Martin Adelantado, Frédéric Boniol, D. Pinault: A simulation environment for designing distributed reactive/deliberative time-constrained applications. Annual Simulation Symposium 1995: 186-195
	1994
4		Frédéric Boniol: COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. PARLE 1994: 611-622
3		Martin Adelantado, Frédéric Boniol: Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. PODC 1994: 387
	1993
2		Frédéric Boniol, Martin Adelantado: Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm. Decentralized and Distributed Systems 1993: 109-120
1		Frédéric Boniol, Martin Adelantado: Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. WDAG 1993: 294-308

Coauthor Index

1	Martin Adelantado	[1] [2] [3] [5]
2	Yamine Aït Ameur	[9] [10] [18]
3	Frédéric Aspro	[20]
4	Julien Auvray	[21]
5	Gérard Bel	[8] [9] [12]
6	Stéphane de Belloy	[21]
7	Pierre Bieber	[12]
8	Augusto Burgueño	[6]
9	Francois Carcenac	[11] [13]
10	Charles Castel	[12]
11	Philippe Dhaussy	[14] [15] [21]
12	Jérôme Ermont	[7] [8] [16]
13	Julien Forget	[19]
14	Pierre-Emmanuel Hladik	[20]
15	Victor Jégu	[20]
16	Eric Landel	[21]
17	David Lesens	[19]
18	Claire Pagetti	[14] [17] [19] [20]
19	S. Pairault	[9] [10]
20	D. Pinault	[5]
21	François Revest	[17]
22	Olivier H. Roux (Olivier Roux)	[6]
23	Vlad Rusu	[6]
24	Laurent Sagaspe	[12]
25	W. Theurer	[14]
26	Virginie Wiels	[9] [10] [18]

Colors in the list of coauthors