Výsledky vyhledávání - "Lunel, Simon"

Dissertation/ Thesis

Parallelism and modular proof in differential dynamic logic

Autor: Lunel, Simon

Les systèmes cyber-physiques mélangent des comportements physiques continus, tel la vitesse d'un véhicule, et des comportement discrets, tel que le régulateur de vitesse d'un véhicule. Ils sont désormais omniprésents dans notre société. Un g

Externí odkaz: http://www.theses.fr/2019REN1S005/document

Zobrazit plný text záznamu

Report

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

Autor: Lunel, Simon, Mitsch, Stefan, Boyer, Benoit, Talpin, Jean-Pierre

Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart of many safety-critical devices, it is of primary importance to correc

Externí odkaz: http://arxiv.org/abs/1907.02881

Zobrazit plný text záznamu

A Sequent Calculus for a Modal Logic on Finite Data Trees

Autor: Baelde, David, Lunel, Simon, Schmitz, Sylvain

Publikováno v: CSL 2016
CSL 2016, Sep 2016, Marseille, France. pp.1--16, ⟨10.4230/LIPIcs.CSL.2016.32⟩

International audience; We investigate the proof theory of a modal fragment of XPath equipped with data (in)equality tests over finite data trees, i.e. over finite unranked trees where nodes are labelled with both a symbol from a finite alphabet and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::662e982cd9e6525a38a11d2e0c2527c8
https://hal.inria.fr/hal-01191172

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání