Denis Chalon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CoDIT | Model Checking PLC Programs: Enhancing Formalization for Scalability. | Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zama, Denis Chalon |
| 2024 | ETFA | Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach. | Jessica Ravakambinintsoa, Emil Dumitrescu, Eric Zama, Denis Chalon |
| 2003 | MDM | Clique: A Transparent, Peer-to-Peer Replicated File System. | Bruno Richard, Donal Mac Nioclais, Denis Chalon |