Frama-C: A software analysis perspective von Kirchner, Florent, Kosmatov, Nikolai, Prevosto, Virgile, Signoles, Julien, Yakobowski, Boris

Volltext

Frama-C: A Software Analysis Perspective von Cuoq, Pascal, Kirchner, Florent, Kosmatov, Nikolai, Prevosto, Virgile, Signoles, Julien, Yakobowski, Boris

Volltext

Improving static analyses of C programs with conditional predicates von Blazy, Sandrine, Bühler, David, Yakobowski, Boris

Volltext

Exploiting Pointer Analysis in Memory Models for Deductive Verification von Bouillaguet, Quentin, Bobot, François, Sighireanu, Mihaela, Yakobowski, Boris

Volltext

A church-style intermediate language for MLF von Rémy, Didier, Yakobowski, Boris

Volltext

Improving static analyses of C programs with conditional predicates von Blazy, Sandrine, Bühler, David, Yakobowski, Boris

Volltext

Behind the scenes in SANTE: a combination of static and dynamic analyses von Chebaro, Omar, Cuoq, Pascal, Kosmatov, Nikolai, Marre, Bruno, Pacalet, Anne, Williams, Nicky, Yakobowski, Boris

Volltext

Structuring Abstract Interpreters Through State and Value Abstractions von Blazy, Sandrine, Bühler, David, Yakobowski, Boris

Volltext

Testing Static Analyzers with Randomly Generated Programs von Cuoq, Pascal, Monate, Benjamin, Pacalet, Anne, Prevosto, Virgile, Regehr, John, Yakobowski, Boris, Yang, Xuejun

Volltext

A church-style intermediate language for MLF von Rémy, Didier, Yakobowski, Boris

Volltext

Improving Static Analyses of C Programs with Conditional Predicates von Blazy, Sandrine, Bühler, David, Yakobowski, Boris

Volltext

Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis von Wells, J. B., Yakobowski, Boris

Volltext

Exploiting Pointer Analysis in Memory Models for Deductive Verification von Quentin, Bouillaguet, François, Bobot, Mihaela, Sighireanu, Boris, Yakobowski

Volltext bestellen

What's the Difference Between Sound and Unsound Static Analysis? von Dross, Claire, Yakobowski, Boris

Volltext

Exploiting Pointer Analysis in Memory Models for Deductive Verification von Bouillaguet Quentin, Bobot François, Sighireanu Mihaela, Yakobowski Boris

Volltext

From ML to ML F: graphic type constraints with efficient type inference von Rémy, Didier, Yakobowski, Boris

Volltext

Experience report: ocsigen, a web programming framework von Balat, Vincent, Vouillon, Jérôme, Yakobowski, Boris

Volltext