Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Frédéric Boniol
2010 – today
- 2013
[c34]Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont: Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. NASA Formal Methods 2013: 93-107- [c33]Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget: End-to-end latency computation in a multi-periodic design. SAC 2013: 1682-1687
- 2012
- [j10]Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux: Improving Model Checking with Context Modelling. Adv. Software Engineering 2012 (2012)
- [j9]Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry: Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Technique et Science Informatiques 31(6): 797-826 (2012)
- [c32]Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti: A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. APLAS 2012: 223-238
- [c31]Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti: Deterministic Execution Model on COTS Hardware. ARCS 2012: 98-110
- [c30]Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti: Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. SAC 2012: 1815-1820
- 2011
- [j8]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)
- [c29]Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti: Latency and freshness analysis on IMA systems. ETFA 2011: 1-8
- [c28]Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol: Reducing State Explosion with Context Modeling for Model-Checking. HASE 2011: 130-137
- [c27]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
- [c26]Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti: Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. RTNS 2011: 107-116
- [c25]Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti: Multiprocessor schedulability analyser. SAC 2011: 735-741
- [c24]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
- 2010
- [j7]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)
- [c23]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
- [c22]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
- [c21]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
- [c20]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
- [c19]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
2000 – 2009
- 2009
- [j6]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)
- [c18]Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: Implementing Multi-Periodic Critical Systems: from Design to Code Generation. FMA 2009: 34-48
- 2008
- [c17]Frédéric Boniol: Vérification d'architectures embarquées : un enjeu aux multiples facettes. CAL 2008: 1
- [c16]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
- [c15]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
- [c14]Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti: A Multi-Periodic Synchronous Data-Flow Language. HASE 2008: 251-260
- [c13]Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel: Using context descriptions and property definition patterns for software formal verification. ICST Workshops 2008: 89-96
- 2007
- [j5]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)
- [j4]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)
- [c12]Frédéric Boniol, Claire Pagetti, François Revest: Formal Functionally Deterministic Scheduling. ISoLA 2007: 33-40
- [c11]Jérôme Ermont, Frédéric Boniol: Verification of embbeded systems with preemption: a negative result. ISoLA 2007: 99-110
- [e1]Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels (Eds.): ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007. Revue des Nouvelles Technologies de l'Information RNTI-SM-1, Cépaduès-Éditions 2007, ISBN 978-2-85428-814-8
- 2006
- [j3]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
- [c10]Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel: Safe Allocation of Avionics Shared Resources. HASE 2005: 25-33
- 2004
- [c9]Francois Carcenac, Frédéric Boniol: Verification of an avionic system using timed model checking. ISoLA (Preliminary proceedings) 2004: 335-342
- 2003
- [j2]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)
- [c8]Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels: Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124
- [c7]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
- 2002
- [j1]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)
1990 – 1999
- 1997
- [c6]Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu: Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80
- 1995
- [c5]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
- [c4]Frédéric Boniol: COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. PARLE 1994: 611-622
- [c3]Martin Adelantado, Frédéric Boniol: Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. PODC 1994: 387
- 1993
- [c2]Frédéric Boniol, Martin Adelantado: Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm. Decentralized and Distributed Systems 1993: 109-120
- [c1]Frédéric Boniol, Martin Adelantado: Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. WDAG 1993: 294-308
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-25 21:27 CEST by the dblp team