Renaud DE LANDTSHEER
Renaud De Landtsheer est ingénieur de recherche senior au Centre d’Excellence en Technologies de l’Information et de la Communication (CETIC) à Gosselies, Belgique. Il est ingénieur civil informaticien et docteur en sciences appliquées. Sa thèse portait sur les méthodes formelles, l’ingénierie de la sécurité et l’ingénierie des cahiers des charges. Il est passionné par toutes les formes de raisonnement artificiel, incluant les méthodes formelles, l’optimisation, les techniques de compilation, etc. Son souhait : parvenir à déployer ces techniques en industrie, de manière à générer une forte valeur ajoutée.
Projet(s)
- PIPAS - Pilotage de Processus Adaptatifs de Soins (Santé, Software and System Engineering, WIST, Wallonie, En cours, Ingénierie dirigée par les modèles, PIPAS)
- CE-IQS - Centre d’Ingénierie et Qualité des Systèmes (Software Services Technologies, Qualité des processus, Embedded & Communication Systems, Software and System Engineering, Objectif de Convergence, Wallonie, Qualité logicielle, En cours, CE-IQS)
- DEPLOY - Déploiement industriel de méthodes avancées d’ingénierie de systèmes pour une meilleure productivité et fiabilité (Software and System Engineering, 7e Programme Cadre, Europe, En cours, Ingénierie dirigée par les modèles, Sûreté de fonctionnement, DEPLOY)
- GridTrust - Trust and Security for Next Generation Grids (Sécurité et confiance, 6e Programme Cadre, Europe, Terminé, Grid Computing, Coordinateur, GridTrust)
Publications
0 | 5-
Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, Is my Formal Method Tool Ready for the Industry ?, AVOCS 2011 - 11th International Workshop on Automated Verification of Critical Systems, Newcastle (UK), September 12-14, 2011 (accepted) (Outillages et environnements logiciels, Software and System Engineering, Communication scientifique, DEPLOY)
-
Deprez J.C.., Ponsard C., De Landtsheer R., A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, FM 2011 Industry Day, June 2011 (Software and System Engineering, Transfert technologique, Communication scientifique, Ingénierie dirigée par les modèles)
-
De Landtsheer R, Ponsard C, Massonet P., "Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models", Second International Workshop on Security in Model Driven Architecture, University of Pierre & Marie Curie, Paris, France, June 16th 2010. (Sécurité et confiance, Software and System Engineering, Communication scientifique, Ingénierie dirigée par les modèles)
-
Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, Paris, France, June 15, 2010. (Logiciel Embarqué, Software and System Engineering, Communication scientifique, Ingénierie dirigée par les modèles, DEPLOY, SPICES)
-
Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop (University of Newcastle Technical Report), Decembre 2009. (Software and System Engineering, Communication scientifique, Ingénierie dirigée par les modèles, DEPLOY)
Blog
- Exécution de workflow cliniques en oncologie - Projet PIPAS (Santé, Software and System Engineering, WIST, Ingénierie dirigée par les modèles, PIPAS)
- Vérification assistée par ordinateur - Garantissez un haut niveau d’assurance qualité (Sécurité et confiance, Méthodologies, Cycle de Développement & Cycle de vie, Outillages et environnements logiciels, Industrie, Test logiciel)
- Déploiement industriel de méthodes formelles - Projet DEPLOY (Sécurité et confiance, Méthodologies, Recherche et Innovation, DEPLOY)