default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrédéric Boniol
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c46]Cédric Cazanove, Benjamin Lesage, Frédéric Boniol, Jérôme Ermont
:
Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters. WCET 2024: 3:1-3:12- [i2]Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti:
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR abs/2406.12346 (2024) - [i1]Benjamin Lesage, Frédéric Boniol, Claire Pagetti:
COOK Access Control on an embedded Volta GPU. CoRR abs/2406.14081 (2024) - 2023
- [c45]Matthias Houssin, Oana Hotescu, Frédéric Boniol:
A Unified Model for Integrated Modular Architecture-TSN based Systems. ETFA 2023: 1-8 - 2022
- [c44]Alfonso Mascareñas González, Jean-Baptiste Chaudron, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot:
Towards an efficient cost function equation for DDR SDRAM interference analysis on heterogeneous MPSoCs. DS-RT 2022: 29-38 - [c43]Alfonso Mascareñas González, Jean-Baptiste Chaudron, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot:
Task and Memory Mapping Optimization for SDRAM Interference Minimization on Heterogeneous MPSoCs. ETFA 2022: 1-8 - 2021
- [c42]Alfonso Mascareñas González, Frédéric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot, Jean-Baptiste Chaudron:
Heterogeneous multicore SDRAM interference analysis. RTNS 2021: 12-23
2010 – 2019
- 2019
- [c41]Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder:
Identification of Multi-Core Interference. HASE 2019: 98-106 - 2018
- [c40]Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand:
Schedulability analysis for mixed critical cyber physical systems. ICPS 2018: 297-303 - 2017
- [j12]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. 19(2): 133-140 (2017) - [c39]Julien Forget, Frédéric Boniol, Claire Pagetti:
Verifying end-to-end real-time constraints on multi-periodic models. ETFA 2017: 1-8 - 2015
- [j11]Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti:
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. Tech. Sci. Informatiques 34(5): 601-626 (2015) - 2014
- [j10]Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont:
End-to-end latency and temporal consistency analysis in networked real-time systems. Int. J. Crit. Comput. Based Syst. 5(3/4): 172-196 (2014) - [c38]Frédéric Boniol, Virginie Wiels:
The Landing Gear System Case Study. ABZ (Case Study) 2014: 1-18 - [e2]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings. Communications in Computer and Information Science 433, Springer 2014, ISBN 978-3-319-07511-2 [contents] - 2013
- [c37]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 - [c36]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 - [p1]Frédéric Boniol:
New Challenges for Future Avionic Architectures. Modeling Approaches and Algorithms for Advanced Computer Applications 2013: 1 - 2012
- [j9]Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux:
Improving Model Checking with Context Modelling. Adv. Softw. Eng. 2012: 547157:1-547157:13 (2012) - [j8]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. Tech. Sci. Informatiques 31(6): 797-826 (2012) - [c35]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 - [c34]Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti:
Deterministic Execution Model on COTS Hardware. ARCS 2012: 98-110 - [c33]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
- [j7]Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens:
Multi-task Implementation of Multi-periodic Synchronous Programs. Discret. Event Dyn. Syst. 21(3): 307-338 (2011) - [c32]Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti:
Latency and freshness analysis on IMA systems. ETFA 2011: 1-8 - [c31]Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol:
Reducing State Explosion with Context Modeling for Model-Checking. HASE 2011: 130-137 - [c30]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 - [c29]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 - [c28]Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti:
Multiprocessor schedulability analyser. SAC 2011: 735-741 - [c27]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
- [j6]Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels:
Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. 12(1): 1-7 (2010) - [c26]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 - [c25]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 - [c24]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 - [c23]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 - [c22]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
- [j5]Frédéric Boniol, Jérôme Ermont, Claire Pagetti:
Verification of real-time systems with preemption: negative and positive results. Innov. Syst. Softw. Eng. 5(3): 163-179 (2009) - [c21]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
- [c20]Frédéric Boniol:
Vérification d'architectures embarquées : un enjeu aux multiples facettes. CAL 2008: 1 - [c19]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 - [c18]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 - [c17]Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti:
A Multi-Periodic Synchronous Data-Flow Language. HASE 2008: 251-260 - [c16]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 - [c15]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. LMO 2008: 61-63 - 2007
- [j4]Wolfgang 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. Obj. Logiciel Base données Réseaux 13(2-3): 79-110 (2007) - [j3]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 Inf. 12(5): 133-157 (2007) - [c14]Frédéric Boniol, Claire Pagetti, François Revest:
Formal Functionally Deterministic Scheduling. ISoLA 2007: 33-40 - [c13]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:
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 [contents] - 2006
- [j2]Francois Carcenac, Frédéric Boniol:
A formal framework for verifying distributed embedded systems based on abstraction methods. Int. J. Softw. Tools Technol. Transf. 8(6): 471-484 (2006) - 2005
- [c12]Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel:
Safe Allocation of Avionics Shared Resources. HASE 2005: 25-33 - 2004
- [c11]Francois Carcenac, Frédéric Boniol:
Verification of an avionic system using timed model checking. ISoLA (Preliminary proceedings) 2004: 335-342 - 2003
- [j1]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. Tech. Sci. Informatiques 22(5): 539-569 (2003) - [c10]Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels:
Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124 - [c9]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
- [c8]Jérôme Ermont, Frédéric Boniol:
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. Theory and Practice of Timed Systems @ ETAPS 2002: 68-85
1990 – 1999
- 1997
- [c7]Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu:
Analysis of Slope-Parametric Hybrid Automata. HART 1997: 75-80 - 1995
- [c6]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
- [c5]Frédéric Boniol:
COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. PARLE 1994: 611-622 - [c4]Martin Adelantado, Frédéric Boniol:
Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. PODC 1994: 387 - 1993
- [c3]Martin Adelantado, Frédéric Boniol, Manuel Cubero-Castan, V. David, Bernard Lécussan, R. Porche:
Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems. RTS 1993: 256-261 - [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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
