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.
projets
- 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)
- LOCOTRAC (Transport, Software and System Engineering, Plan Marshall, Wallonie, En cours, Sûreté de fonctionnement, LOCOTRAC)
- 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, Terminé, 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 | 5Jean-Christophe Deprez, Christophe Ponsard, Renaud De Landtsheer, Evidence-based Assistance for the Adoption of Formal Methods in the Industry, book chapter of "Industrial deployment of system engineering methods providing high dependability and productivity", A. Romanovsky, M. Thomas (Eds), Springer. April 2013. (Industrie, Publications scientifiques, Ingénierie dirigée par les modèles, DEPLOY)
Renaud De Landtsheer, Christophe Ponsard, OscaR.cbls : an open source framework for constraint-based local search, 27th ORBEL Annual Meeting, Kortrijk, February 7-8 2013. (Open Source, Software and System Engineering, Communication scientifique)
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 (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)
Blog
- OscaR - Une plate-forme open source de recherche opérationnelle (Software and System Engineering, PIPAS)
- 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)