Skip to Main content Skip to Navigation


...
inria-00443839v2  Reports
Sid TouatiJulien WormsSébastien Briais. The Speedup Test
[Technical Report] Université Versailles Saint-Quentin-En-Yvelines (UVSQ). 2010, pp.38
...
hal-01421021v1  Reports
Pierre AlliezChristophe DelageMenelaos KaravelasSylvain PionMonique Teillaud et al.  Delaunay Tessellations and Voronoi Diagrams in CGAL
[Research Report] INRIA Sophia Antipolis - Méditerranée; University of Crete. 2010
...
hal-01614488v1  Reports
Ilham DamiClaude Marché. Le langage CoLiS : syntaxe, sémantique et outillage
[Rapport Technique] RT-0491, Inria Saclay Ile de France. 2017, pp.1-22
...
hal-01874777v1  Reports
Quentin Garchery. Démonstration automatique en Coq
[Travaux universitaires] Paris Diderot; Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2018
...
hal-01907894v1  Reports
Martin ClochardAndrei PaskevichClaude Marché. Deductive Verification via Ghost Debugging
[Research Report] RR-9219, Inria Saclay Ile de France. 2018
...
hal-01511183v1  Reports
Clément FumexClaude MarchéYannick Moy. Automated Verification of Floating-Point Computations in Ada Programs
[Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53
...
hal-01393361v2  Reports
Guangshuo ChenSahar HoteitAline Carneiro VianaMarco FioreCarlos Sarraute. Spatio-Temporal Predictability of Cellular Data Traffic
[Research Report] RT-0483, INRIA Saclay - Ile-de-France. 2017, pp.17
...
hal-01644750v1  Reports
Lutz StraßburgerRoman Kuznets. Maehara-style Modal Nested Calculi
[Research Report] RR-9123, Inria Saclay. 2017