9 citations · 20 across the 8 of their papers we have counts for
8 papers
Handling Wikidata Qualifiers in Reasoning
Sahar Aljalbout, Gilles Falquet, Didier Buchs
Wikidata is a knowledge graph increasingly adopted by many communities for diverse applications. Wikidata statements are annotated with qualifier-value pairs that are used to depic…
Fuel: A Compiler Framework for Safe Memory Management
Dimitri Racordon, Aurélien Coet, Didier Buchs
Flow-sensitive type systems offer an elegant way to ensure memory-safety in programming languages. Unfortunately, their adoption in new or existing languages is often hindered by a…
Explicit and Controllable Assignment Semantics
Dimitri Racordon, Didier Buchs
Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and m…
Extracting Formal Specifications to Strenghten Type Behaviour Testing
Dimitri Racordon, Didier Buchs
Testing has become an indispensable activity of software development, yet writing good and relevant tests remains a quite challenging task. One well-known problem is that it often…
A CEGAR-like Approach for Cost LTL Bounds
Maximilien Colange, Dimitri Racordon, Didier Buchs
Qualitative formal verification, that seeks boolean answers about the behavior of a system, is often insufficient for practical purposes. Observing quantitative information is of i…
Model Checking Contest @ Petri Nets, Report on the 2013 edition
Fabrice Kordon, Alban Linard, Marco Beccuti +14
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of…