14 citations
- Institut National des Sciences Appliquées de RennesFR3 papers
- Merck Serono S.A.S. (France)FR3 papers
- Centre Inria de l'Université de RennesFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut d'Électronique et des Technologies du numéRiqueFR2 papers
- Mitsubishi Electric (Japan)JP2 papers
- Université de RennesFR2 papers
- Carnegie Mellon UniversityUS1 paper
- CEA GrenobleFR1 paper
- CentraleSupélecFR1 paper
- Chalmers University of TechnologySE1 paper
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
8 papers
All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT
Vincent Corlay, David Bekri, Marie-Anne Lacroix +6
Life Cycle Assessment (LCA) is increasingly used to quantify and regulate the environmental impacts of Information and Communication Technology (ICT) systems. Since direct biospher…
CSI Compression using Channel Charting
Baptiste Chatelier, Vincent Corlay, Matthieu Crussière +1
Reaping the benefits of multi-antenna communication systems in frequency division duplex (FDD) requires channel state information (CSI) reporting from mobile users to the base stat…
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory
Ocan Sankur, Thierry Jéron, Nicolas Markey +2
We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to rea…
A Mechanically Verified Theory of Contracts
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogen…
Automated Deductive Verification for Ladder Programming
Denis Cousineau, David Mentré, Hiroaki Inoue
Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of input…
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel, Stefan Mitsch, Benoit Boyer +1
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…