Julien Signoles

Frama-C: A software analysis perspective

Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 388 citations · Full text

Computing, Computer Engineering, Computer Science +12

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 100 citations

Computing, Computer Engineering, Computer Science +12

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

Computing, Computer Engineering, Computer Science +14

The dogged pursuit of bug-free C programs

Patrick Baudin, François Bobot, David Bühler et al. · Communications of the ACM · 2021 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +13

Common specification language for static and dynamic analysis of C programs

Mickaël Delahaye, Nikolaï Kosmatov, Julien Signoles · 2013 · 64 citations

Computing, Computer Science, Formal Methods +13