EasyChair Smart SlideDocs/Log in
Author: Axel Legay

This page shows all presentations of this author published in EasyChair Smart Slide.

Statistical Model Checking of LLVM Code

Statistical Model Checking of LLVM Code

Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen and Louis-Marie Traonouez

Sequential Relational Decomposition

Sequential Relational Decomposition

Dror Fried, Axel Legay, Joel Ouaknine and Moshe Y Vardi

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Andrea Vandin, Maurice H. ter Beek, Axel Legay and Alberto Lluch Lafuente

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair