Guillaume Verdier

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 2

Top Topics

Linear Constraints

Global Constraints

Top Venues

Paul Sabatier University, France (PHD)

Education History

Paul Sabatier University, France

PHD

Publications

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
Real-Time Model Checking Support for AADL. CoRR (2015)
Guillaume Verdier, Jean-Baptiste Raclet
Quotient of Acceptance Specifications Under Reachability Constraints. LATA (2015)
Guillaume Verdier, Jean-Baptiste Raclet
MAccS: A Tool for Reachability by Design. FACS (2014)
Guillaume Verdier, Jean-Baptiste Raclet
Quotient of Acceptance Specifications under Reachability Constraints. CoRR (2014)