You are here

Home

Publications

Export 7 results:
Filters: Author is Quentin Cappart  [Clear All Filters]
2017
Rescheduling Railway Traffic on Real Time Situations using Time-Interval Variables, Cappart, Quentin, and Schaus Pierre , Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, (2017)
Verification of interlocking systems using statistical model checking, Cappart, Quentin, Limbree Christophe, Schaus Pierre, Quilbeuf Jean, Traonouez Louis-Marie, and Legay Axel , 18th IEEE International Symposium on High Assurance Systems Engineering, (2017)
2016
A dedicated algorithm for verification of interlocking systems, Cappart, Quentin, and Schaus Pierre , International Conference on Computer Safety, Reliability and Security, (2016)
Verification of railway interlocking-compositional approach with OCRA, Limbrée, Christophe, Cappart Quentin, Pecheur Charles, and Tonetta Stefano , International Conference on Reliability, Safety and Security of Railway Systems, p.134–149, (2016)
2015
Verification by discrete simulation of interlocking systems, Cappart, Quentin, Limbrée Christophe, Schaus Pierre, and Legay Axel , 29th European Simulation and Modelling Conference, (2015)
Verification of railway interlocking systems, Busard, Simon, Schaus Pierre, Cappart Quentin, Limbrée Christophe, and Pecheur Charles , 4th International Workshop on Engineering Safety and Security Systems, (2015)
The World Migration Network: rankings, groups and gravity models, Cappart, Quentin, and Thonet Adrien , EUROCON 2015-International Conference on Computer as a Tool (EUROCON), IEEE, p.1–6, (2015)