Frédéric Boniol
According to our database1,
Frédéric Boniol
authored at least 57 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
2022
Task and Memory Mapping Optimization for SDRAM Interference Minimization on Heterogeneous MPSoCs.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
Towards an efficient cost function equation for DDR SDRAM interference analysis on heterogeneous MPSoCs.
Proceedings of the 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2022
2021
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021
2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
2018
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2015
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique.
Tech. Sci. Informatiques, 2015
2014
Int. J. Crit. Comput. Based Syst., 2014
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014
2013
Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems.
Proceedings of the NASA Formal Methods, 2013
2012
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.
Tech. Sci. Informatiques, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28, 2012
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012
2011
Discret. Event Dyn. Syst., 2011
Application of partial-order methods for the verification of closed-loop SDL systems.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
2010
Int. J. Softw. Tools Technol. Transf., 2010
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Innov. Syst. Softw. Eng., 2009
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
2008
Proceedings of the Langages et Modèles à Objets, 2008
Using context descriptions and property definition patterns for software formal verification.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008
2007
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., 2007
Obj. Logiciel Base données Réseaux, 2007
Proceedings of the ISoLA 2007, 2007
2006
A formal framework for verifying distributed embedded systems based on abstraction methods.
Int. J. Softw. Tools Technol. Transf., 2006
2005
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005
2004
Verification of an avionic system using timed model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
2003
Tech. Sci. Informatiques, 2003
Proceedings of the 2003 Conference on Languages, 2003
Analyse de robustesse de systèmes avioniques.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003
2002
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources.
Proceedings of the Theory and Practice of Timed Systems, 2002
1997
Proceedings of the Hybrid and Real-Time Systems, 1997
1995
A simulation environment for designing distributed reactive/deliberative time-constrained applications.
Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995
1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994
1993
Proceedings of the Distributed Algorithms, 7th International Workshop, 1993
Programming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm.
Proceedings of the Decentralized and Distributed Systems, 1993
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993