From the 1 of 5.5k papers with an AI index.
29.3k citations
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Centre Inria de SaclayFR364 papers
- École PolytechniqueFR306 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR300 papers
- École Normale Supérieure - PSLFR292 papers
- Sorbonne UniversitéFR291 papers
- École Normale Supérieure de LyonFR233 papers
- Centre Inria de l'Université Grenoble AlpesFR216 papers
- Université Paris-SaclayFR208 papers
- Université Grenoble AlpesFR204 papers
- Lyon 1 UniversitéFR191 papers
- Centre Inria d'Université Côte d'AzurFR183 papers
311 papers · 1 filter
Robust Simulation for Hybrid Systems: Chattering Path Avoidance
Ayman Aljarbouh, Benoit Caillaud
The sliding mode approach is recognized as an efficient tool for treating the chattering behavior in hybrid systems. However, the amplitude of chattering, by its nature, is proport…
A Constraint-based Approach for Generating Transformation Patterns
Asma Cherif, Abdessamad Imine
Undoing operations is an indispensable feature for many collaborative applications, mainly collaborative editors. It provides the ability to restore a correct state of shared data…
Towards Dynamic Updates in Service Composition
Mario Bravetti
We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patt…
NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java
Benoit Cornu, Thomas Durieux, Lionel Seinturier +1
Null pointer exceptions, also known as null dereferences are the number one exceptions in the field. In this paper, we propose 9 alternative execution semantics when a null pointer…
The White Matter Query Language: A Novel Approach for Describing Human White Matter Anatomy
Demian Wassermann, Makris Nikos, Yogesh Rathi +4
We have developed a novel method to describe human white matter anatomy using an approach that is both intuitive and simple to use, and which automatically extracts white matter tr…
Mechanizing a Process Algebra for Network Protocols
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invar…