dblp.uni-trier.dewww.uni-trier.de

Frédéric Boniol Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
20EEFré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
19EEJulien 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
15EEPhilippe 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)
14EEW. 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
13EEFrancois Carcenac, Frédéric Boniol: A formal framework for verifying distributed embedded systems based on abstraction methods. STTT 8(6): 471-484 (2006)
2005
12EELaurent 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
9EEYamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels: Robustness analysis of avionics embedded systems. LCTES 2003: 123-132
8EEFré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
7EEJé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
5EEMartin 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
1EEFrédéric Boniol, Martin Adelantado: Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. WDAG 1993: 294-308

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)