Katell Morin-Allory

Statistics

Publications

Citations

121

H-Index

Active since

2005

Affiliations

Techniques of Informatics and Microelectronics for Integrated Systems Architecture(Current)

Département mathématiques, informatique, sciences de la donnée et technologies du numérique

Centre National de la Recherche Scientifique

Université Grenoble Alpes

Katell Morin-Allory is an author at Techniques of Informatics and Microelectronics for Integrated Systems Architecture specializing in computer science, formal methods, and computer engineering.

Publications per year

2005–2021

Publications

Proven correct monitors from PSL specifications

Katell Morin-Allory, D. Borrione · 2006 · 53 citations

Computing, Computer Engineering, Computer Science +17

A proof of correctness for the construction of property monitors

Katell Morin-Allory, D. Borrione · 2006 · 14 citations

Computing, Computer Engineering, Computer Science +17

On-Line Assertion-Based Verification with Proven Correct Monitors

D. Borrione, Ziyang Liu, Katell Morin-Allory et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 12 citations

Engineering, Computer Engineering, Computer Science +16

Assertion-Based Design with Horus

Yann Oddos, Katell Morin-Allory, D. Borrione · 2008 · 11 citations

Computing, Computer Engineering, Computer Science +15

High-level fault injection to assess FMEA on critical systems

Julie Roux, Vincent Beroulle, Katell Morin-Allory et al. · Microelectronics Reliability · 2021 · 11 citations · Full text

Engineering, Computer Engineering, Computer Science +14

1–5 of 7