High-level frameworks for the specification and verification of scheduling problems M Chadli, JH Kim, KG Larsen, A Legay, S Naujokat, B Steffen, ... International Journal on Software Tools for Technology Transfer 20, 397-422, 2018 | 14 | 2018 |
A model-based framework for the specification and analysis of hierarchical scheduling systems M Chadli, JH Kim, A Legay, LM Traonouez, S Naujokat, B Steffen, ... Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016 | 9 | 2016 |