208 citations
- Institut Polytechnique de ParisFR44 papers
- Centre National de la Recherche ScientifiqueFR23 papers
- Services répartis, Architectures, MOdélisation, Validation, Administration des RéseauxFR14 papers
- Institut Mines-TélécomFR10 papers
- Laboratoire Traitement et Communication de l’InformationFR7 papers
- Télécom ParisFR7 papers
- Université Paris 8FR7 papers
- Université Paris-SaclayFR6 papers
- Laboratoire d'Informatique pour la Mécanique et les Sciences de l'IngénieurFR4 papers
- École Nationale Supérieure d’Informatique pour l’Industrie et l’EntrepriseFR3 papers
- Orange (France)FR3 papers
- Laboratoire d'Ingénierie Circulation TransportsFR2 papers
5 papers · 1 filter
Equity Scores for Public Transit Lines from Open-Data and Accessibility Measures
Amirhesam Badeanlou, Andrea Araldo, Marco Diana +1
Current transit suffers from an evident inequity: the level of service of transit in suburbs is much less satisfying than in city centers. As a consequence, private cars are still…
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
Ghiles Ziat, Vincent Botbol, Matthieu Dien +3
In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…
A dual skew symmetry for transient reflected Brownian motion in an orthant
Sandro Franceschi, Kilian Raschel
We introduce a transient reflected Brownian motion in a multidimensional orthant, which is either absorbed at the apex of the cone or escapes to infinity. We address the question o…
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
Mathieu Montin, Amélie Ledein, Catherine Dubois
Nested datatypes have been widely studied in the past 25 years, both theoretically using category theory, and practically in programming languages such as Haskell. They consist in…
Cyber-Physical Defense in the Quantum Era
Michel Barbeau, Joaquin Garcia-Alfaro
Networked-Control Systems (NCSs), a type of cyber-physical systems, consist of tightly integrated computing, communication and control technologies. While being very flexible envir…