Eric Asselin

According to our database, Eric Asselin authored at least 3 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verification of machine learning based cyber-physical systems: a comparative study.

Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Safety Verification of Neural Network Controlled Systems.

Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2016

Anomaly detection for web server log reduction: A simple yet efficient crawling based approach.

Eric Asselin, Carlos Aguilar Melchor, Gentian Jakllari

Proceedings of the 2016 IEEE Conference on Communications and Network Security, 2016