Jessica Ravakambinintsoa

According to our database, Jessica Ravakambinintsoa authored at least 2 papers between 2024 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