Skip to Main content Skip to Navigation

inria-00455341v1  Conference papers
Xavier AllamigeonStéphane GaubertEric Goubault. The tropical double description method
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.47-58
cea-01836560v1  Conference papers
Sebastien BardinMickael DelahayeRobin DavidNikolai KosmatovMike Papadakis et al.  Sound and quasi-complete detection of infeasible test requirements
ICST 2015 - IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩
cea-01834987v1  Conference papers
E. Goubault. Static analysis by abstract interpretation of numerical programs and systems, and FLUCTUAT
Static Analysis. SAS 2013. Lecture Notes in Computer Science, Jun 2013, Seattle, WA, United States. pp.1-3, ⟨10.1007/978-3-642-38856-9_1⟩
cea-01836511v1  Conference papers
G. Barany. Hybrid information flow analysis for programs with arrays
Proceedings VPT 2016, Apr 2016, Eindhoven, Netherlands. pp.5-23, ⟨10.4204/EPTCS.216.1⟩
cea-01834975v1  Conference papers
A. DjoudiS. Bardin. BINSEC: Binary code analysis with low-level regions
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2015. Lecture Notes in Computer Science, Apr 2015, London, United Kingdom. pp.212-217, ⟨10.1007/978-3-662-46681-0_17⟩
cea-01834981v1  Conference papers
B. KissN. KosmatovD. ParienteA. Puccetti. Combining static and dynamic analyses for vulnerability detection: Illustration on heartbleed
Hardware and Software: Verification and Testing. HVC 2015. Lecture Notes in Computer Science, Nov 2015, Haifa, Israel. pp.39-50, ⟨10.1007/978-3-319-26287-1_3⟩
tel-01239352v2  Theses
Guillaume Petiot. Contribution à la vérification de programmes C par combinaison de tests et de preuves
Génie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français
cea-01808788v1  Conference papers
M. MarcozziS. BardinM. DelahayeN. KosmatovV. Prevosto. Taming Coverage Criteria Heterogeneity with LTest
2017 ICST : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. pp.500-507, ⟨10.1109/ICST.2017.57⟩
hal-01260276v1  Conference papers
Stéphane DupratVictoria Moya LamielFlorent KirchnerLoïc CorrensonDavid Delmas. Spreading Static Analysis with Frama-C in Industrial Contexts
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-01618360v1  Conference papers
Mounir AssafDavid A NaumannJulien SignolesEric TotelFrédéric Tronel. Hypercollecting Semantics and its Application to Static Analysis of Information Flow
POPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩
cea-01834982v1  Conference papers
N. KosmatovJ. Signoles. Runtime assertion checking and its combinations with static and dynamic analyses tutorial synopsis
Tests and Proofs. TAP 2014. Lecture Notes in Computer Science, Jul 2014, York, United Kingdom. pp.165-168, ⟨10.1007/978-3-319-09099-3_13⟩
cea-01836516v1  Conference papers
S. MattsenP. CuoqS. Schupp. Driving a sound static software analyzer with branch-and-bound
2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), Sep 2013, Eindhoven, Netherlands. pp.63-68, ⟨10.1109/SCAM.2013.6648185⟩
cea-01834985v1  Conference papers
y. SeladjiO. Bouissou. Fixpoint computation in the polyhedra abstract domain using convex and numerical analysis tools
Verification, Model Checking, and Abstract Interpretation. VMCAI 2013. Lecture Notes in Computer Science, Jan 2013, Rome, Italy. pp.149-168, ⟨10.1007/978-3-642-35873-9_11⟩
hal-00724508v1  Conference papers
Omar ChebaroMickaël DelahayeNikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7