Frédéric Boniol

	2012
36		Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti: Deterministic Execution Model on COTS Hardware. ARCS 2012: 98-110
	2011
35		Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol: Reducing State Explosion with Context Modeling for Model-Checking. HASE 2011: 130-137
34		Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti: Worst Case Temporal Consistency in Integrated Modular Avionics Systems. HASE 2011: 212-219
33		Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous: Application of partial-order methods for the verification of closed-loop SDL systems. SAC 2011: 1666-1673
32		Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti: Multiprocessor schedulability analyser. SAC 2011: 735-741
31		Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens: Multi-task Implementation of Multi-periodic Synchronous Programs. Discrete Event Dynamic Systems 21(3): 307-338 (2011)
	2010
30		Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti: Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 301-310
29		Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol: Analyzing End-to-End Functional Delays on an IMA Platform. ISoLA (1) 2010: 243-257
28		Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels: Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) 2010: 58-59
27		Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: A real-time architecture design language for multi-rate embedded control systems. SAC 2010: 527-534
26		Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous: Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. SIES 2010: 197-200
25		Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels: Toward a wider use of formal methods for aerospace systems design and verification. STTT 12(1): 1-7 (2010)
	2009
24		Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: Implementing Multi-Periodic Critical Systems: from Design to Code Generation FMA 2009: 34-48
23		Frédéric Boniol, Jérôme Ermont, Claire Pagetti: Verification of real-time systems with preemption: negative and positive results. ISSE 5(3): 163-179 (2009)
	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): 68-85 (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] [25] [28]
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	Eric Bonnafous	[26] [33]
9	Augusto Burgueño	[6]
10	Francois Carcenac	[11] [13]
11	Hugues Cassé	[36]
12	Charles Castel	[12]
13	Mikel Cordovilla	[31] [32]
14	Philippe Dhaussy	[14] [15] [21] [26] [33] [35]
15	Xavier Dumas	[26] [33]
16	Jérôme Ermont	[7] [8] [16] [23] [29] [34]
17	Julien Forget	[19] [24] [27] [30] [31]
18	Emmanuel Grolleau	[30]
19	Pierre-Emmanuel Hladik	[20]
20	Victor Jégu	[20]
21	Eric Landel	[21]
22	Michaël Lauer	[29] [34]
23	David Lesens	[19] [24] [27] [30] [31]
24	Dominique Méry	[28]
25	Eric Noulard	[32] [36]
26	Claire Pagetti	[14] [17] [19] [20] [23] [24] [27] [29] [30] [31] [32] [34] [36]
27	S. Pairault	[9] [10]
28	D. Pinault	[5]
29	François Revest	[17]
30	Jean-Charles Roger	[35]
31	Olivier H. Roux (Olivier Roux)	[6]
32	Vlad Rusu	[6]
33	Laurent Sagaspe	[12]
34	W. Theurer	[14]
35	Virginie Wiels	[9] [10] [18] [25] [28]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page