Lauréat du Prix d'Exellence 2018 de l'Université Côte d'Azur Université Côte d'Azur Dez. 2018 http://univ-cotedazur.fr/events/prix-excellence/#collections

Best Paper Award for Major Contribution in Software Design and Development 33th ACM Symposium On Applied Computing Association for Computing Machinery (ACM) Apr. 2018 The paper entitled "Assessing the Functional Feasibility of Variability-Intensive Data-Flow oriented Systems" propose a new approach to verify, in early design phase, the feasibility of embedded systems implementations.Rather than enumerate and iteratively assess all system designs, the proposed framework reason on behavioral product line to assess, in an optimized manner, the whole design space in a single variability-aware model checking run.The experiments show that this approach… Mehr anzeigen The paper entitled "Assessing the Functional Feasibility of Variability-Intensive Data-Flow oriented Systems" propose a new approach to verify, in early design phase, the feasibility of embedded systems implementations.Rather than enumerate and iteratively assess all system designs, the proposed framework reason on behavioral product line to assess, in an optimized manner, the whole design space in a single variability-aware model checking run.The experiments show that this approach exploits behavioral commonalities between system designs to speed-up remarkably the verification process. Weniger anzeigen