Articles dans des revues avec comité de lecture (185)
113.
Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., & Raskin, J.-F. (2010). Model checking lots of systems: Efficient verification of temporal properties in software product lines. Proceedings - International Conference on Software Engineering, 1, 335-344. doi:10.1145/1806799.1806850114.
Filiot, E., Raskin, J.-F., Reynier, P.-A., Servais, F., & Talbot, J.-M. (2010). Properties of Visibly Pushdown Transducers (MFCS). Lecture notes in computer science, 6281.120.
Cassez, F. F., Jessen, J. J., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2009). Automatic synthesis of robust and optimal controllers - An industrial case study. Lecture notes in computer science, 5469, 90-104. doi:10.1007/978-3-642-00602-9_7