Concepedia

Michaël Lienhardt

ML

Statistics

Publications

8

Citations

183

H-Index

8

Active since

2007

Affiliations

University of Turin(Current)

Office National d'Études et de Recherches Aérospatiales

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Institut national de recherche en sciences et technologies du numérique

Université Paris-Saclay

Michaël Lienhardt is an author at University of Turin specializing in engineering, computer science, and system software.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSystems EngineeringSoftware Maintenance

Publications per year

2007–2021

8

Publications

8

Automated synthesis and deployment of cloud applications

Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen et al. · 2014 · 43 citations

Software Maintenance, Cluster Computing, Provisioning (Technology) +21

A framework for deadlock detection in core ABS

Elena Giachino, Cosimo Laneve, Michaël Lienhardt · Software & Systems Modeling · 2015 · 42 citations · Full text

Hardware Security, Reliability Engineering, Engineering +8

Efficient static analysis and verification of featured transition systems

Maurice H. ter Beek, Ferruccio Damiani, Michaël Lienhardt et al. · Empirical Software Engineering · 2021 · 21 citations · Full text

Software Maintenance, Engineering, Verification +24

Static Analysis of Featured Transition Systems

Maurice H. ter Beek, Ferruccio Damiani, Michaël Lienhardt et al. · 2019 · 20 citations · Full text

Software Maintenance, Engineering, Verification +22

Michaël Lienhardt, Alan Schmitt, Jean‐Bernard Stefani · 2007 · 16 citations · Full text

Engineering, Operational Semantics, Program Analysis +13

Rows per page

1–5 of 8