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 10 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
    Show item 1 to 10 of 48  

    Your query returned 48 matches in the database.