Denis Chalon

According to our database, Denis Chalon authored at least 3 papers between 2003 and 2025.

Collaborative distances:

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

2025

Model Checking PLC Programs: Enhancing Formalization for Scalability.

Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zamaï, Denis Chalon

Proceedings of the 11th International Conference on Control, 2025

2024

Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach.

Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zamaï, Denis Chalon

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2003

Clique: A Transparent, Peer-to-Peer Replicated File System.

Bruno Richard, Donal Mac Nioclais, Denis Chalon

Proceedings of the Mobile Data Management, 4th International Conference, MDM 2003, 2003