Skip to Main content Skip to Navigation


hal-01406655v1  Book sections
Bernt ØksendalAgnès SulemTusheng Zhang. A stochastic HJB equation for optimal control of forward-backward SDEs
The Fascination of Probability, Statistics and their Applications, Springer Verlag, pp.11, 2016
...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
hal-01676355v1  Book sections
David GonzálezJoshué PérezVicente MilanésFawzi NashashibiMarga Saez Tort et al.  Arbitration and Sharing Control Strategies in the Driving Process
Guillermo Payá-Vayá; Holger Blume. Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems The DESERVE Approach, River Publishers , pp.24, 2017, 9788793519145
...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
...
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01949207v1  Journal articles
Niki VazouÉric TanterDavid van Horn. Gradual liquid type inference
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (OOPSLA), pp.1-25. ⟨10.1145/3276502⟩
...
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
hal-01949209v1  Journal articles
Max NewAmal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
hal-01672735v1  Journal articles
William J. BowmanYouyou CongNick RiouxAmal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
hal-01672706v1  Journal articles
Jonathan ProtzenkoJean‐karim ZinzindohouéAseem RastogiTahina RamananandroPeng Wang et al.  Verified Low‐Level Programming Embedded in F*
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.17:1--17:29. ⟨10.1145/3110261⟩
hal-01555429v1  Journal articles
Pedro Henrique GomesThomas WatteyneBhaskar Krishnamachari. MABO-TSCH: Multi-hop And Blacklist-based Optimized Time Synchronized Channel Hopping
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01548381v1  Journal articles
Karun M. JosephThomas WatteyneBranko Kerkez. Awa: Using Water Distribution Systems to Transmit Data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01533174v1  Journal articles
Tengfei ChangThomas WatteyneXavier VilajosanaQin Wang. CCR: Cost-Aware Cell Relocation in 6TiSCH Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2017
hal-01379322v1  Conference papers
Guillaume BressonMohamed-Cherif RahalDominique GruyerMarc RevilloudZayed Alsayed. A Cooperative Fusion Architecture for Robust Localization: Application to Autonomous Driving
IEEE Intelligent Transportation Systems Conference 2016, Nov 2016, Rio de Janeiro, Brazil
...
hal-02274963v1  Conference papers
Sébastien BrisardVirginie Ehrlacher. Méthodes MsFEM pour les plaques hétérogènes
CFM 2019 - 24ème Congrès Français de Mécanique, Aug 2019, Brest, France
hal-01415636v1  Journal articles
Jyda Mint MoustaphaBenjamin JourdainDimitri Daucher. A probabilistic particle approximation of the “Paveri-Fontana” kinetic model of traffic flow
SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2016, 2, pp.229-253. ⟨10.5802/smai-jcm.15⟩
hal-01986848v1  Journal articles
Frédéric LegollTony LelièvreGabriel Stoltz. Some remarks on sampling methods in molecular dynamics
ESAIM: Proceedings and Surveys, EDP Sciences, 2008, 22, pp.217-233. ⟨10.1051/proc:072226⟩