Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Frédéric
    Last name: Boniol
    DBLP: 34/131
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 48  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    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.
    IJCCBS 2014, Volume 5 (0) 2014
    Conference paper
    Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget.
    End-to-end latency computation in a multi-periodic design.
    Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013 2013 (0) 2013
    Conference paper
    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, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings 2013 (0) 2013
    Book chapter
    Frédéric Boniol.
    New Challenges for Future Avionic Architectures.
    Modeling Approaches and Algorithms for Advanced Computer Applications 2013, Volume 488 (0) 2013
    Conference paper
    Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti.
    Deterministic Execution Model on COTS Hardware.
    Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti.
    Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks.
    Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012 2012 (0) 2012
    Conference paper
    Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux.
    Improving Model Checking with Context Modelling.
    Adv. Software Engineering 2012, Volume 2012 (0) 2012
    Conference paper
    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 2012, Volume 31 (0) 2012
    Conference paper
    Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti.
    A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.
    Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti.
    Multiprocessor schedulability analyser.
    Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011 2011 (0) 2011
    Conference paper
    Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous.
    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 - 24, 2011 2011 (0) 2011
    Conference paper
    Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens.
    Multi-task Implementation of Multi-periodic Synchronous Programs.
    Discrete Event Dynamic Systems 2011, Volume 21 (0) 2011
    Conference paper
    Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol.
    Reducing State Explosion with Context Modeling for Model-Checking.
    13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 2011 (0) 2011
    Conference paper
    Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti.
    Worst Case Temporal Consistency in Integrated Modular Avionics Systems.
    13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 2011 (0) 2011
    Conference paper
    Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti.
    Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.
    19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti.
    Latency and freshness analysis on IMA systems.
    IEEE 16th Conference on Emerging Technologies Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 2011 (0) 2011
    Conference paper
    Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti.
    Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.
    16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010 2010 (0) 2010
    Conference paper
    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.
    Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I 2010 (0) 2010
    Conference paper
    Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol.
    Analyzing End-to-End Functional Delays on an IMA Platform.
    Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I 2010 (0) 2010
    Journal article
    Yamine Aït Ameur, Frédéric Boniol, Virginie Wiels.
    Toward a wider use of formal methods for aerospace systems design and verification.
    STTT 2010, Volume 12 (0) 2010
    Conference paper
    Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous.
    Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.
    IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010 2010 (0) 2010
    Journal article
    Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti.
    Implementing Multi-Periodic Critical Systems: from Design to Code Generation
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti.
    A real-time architecture design language for multi-rate embedded control systems.
    Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010 2010 (0) 2010
    Conference paper
    Frédéric Boniol, Jérôme Ermont, Claire Pagetti.
    Verification of real-time systems with preemption: negative and positive results.
    ISSE 2009, Volume 5 (0) 2009
    Conference paper
    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.
    First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings 2008 (0) 2008
    Show item 1 to 25 of 48  

    Your query returned 48 matches in the database.