Linard, Alban

 
 
Show items per page
Elements: 5
Page 1 on 1

2018

Proceedings Chapters

add to browser selection
A Model Checker Collection for the Model Checking Contest Using Docker and Machine LearningBuchs, Didier; Klikovits, Stefan; Linard, Alban; Mencattini, Romain; Racordon, Dimitri
add to browser selection
CREST - A DSL for Reactive Cyber-Physical SystemsKlikovits, Stefan; Linard, Alban; Buchs, Didier;

2011

Scientific Articles

add to browser selection
High-Level Petri Net Model Checking with AlPiNAHostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Linard, Alban; Risoldi, Matteo; Buchs, Didier

2010

Proceedings Chapters

add to browser selection
Improving the significance of benchmarks for Petri nets model checkersHostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; Risoldi, Matteo;
add to browser selection
Specification of Decision Diagram OperationsHamez, Alexandre; Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; ... Risoldi, Matteo
<< previous | | next >>