What is the hIndex of the author of Formal Methods for Industrial Critical Systems?
24
Afshin Amighi et al.: Permission-Based Separation Logic for Multithreaded Java Programs. (2015) authored by Marieke Huisman. Lukas Armborst and Marieke Huisman: Permission-Based Verification of Red-Black Trees and Their Merging. (2021) authored by Marieke Huisman. Marieke Huisman orcidId https://orcid.org/0000-0003-4467-072X. Marieke Huisman is Person. Lesley Wevers et al.: Lazy Evaluation for Concurrent OLTP and Bulk Transactions. (2016) authored by Marieke Huisman. Marieke Huisman is the author of Afshin Amighi et al.: Specification and Verification of Atomic Operations in GPGPU Programs. (2015). She received an ERC Starting Grant in 2010 and an NWO Vici Grant in 2017. She held her inaugural lecture, Software Reliability for Everyone, on 26 January 2021.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What is the hIndex of the author of Formal Methods for Industrial Critical Systems?
Context: Afshin Amighi et al.: Permission-Based Separation Logic for Multithreaded Java Programs. (2015) authored by Marieke Huisman. Lukas Armborst and Marieke Huisman: Permission-Based Verification of Red-Black Trees and Their Merging. (2021) authored by Marieke Huisman. Marieke Huisman orcidId https://orcid.org/0000-0003-4467-072X. Marieke Huisman is Person. Lesley Wevers et al.: Lazy Evaluation for Concurrent OLTP and Bulk Transactions. (2016) authored by Marieke Huisman. Marieke Huisman is the author of Afshin Amighi et al.: Specification and Verification of Atomic Operations in GPGPU Programs. (2015). She received an ERC Starting Grant in 2010 and an NWO Vici Grant in 2017. She held her inaugural lecture, Software Reliability for Everyone, on 26 January 2021.
[/INST] Answer:
