Katell Morin-Allory
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
7
Active years
2003–2025
Best venue rank
C
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DDECS | A Survey on Automatic Assertion Miners. | Mohammad Reza Heidari Iman, Giorgio Di Natale, Katell Morin-Allory |
| 2025 | MEMOCODE | Formal Analysis of Fault Propagation in Complex Digital Systems. | Damiano Zuccal, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2024 | ETS | Formal Resilience Metric Characterization in Complex Digital Systems. | Damiano Zuccal, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2024 | FIE | WIP: Building an Education Ecosystem for Next Generation Microelectronics Experts in Green and Circular Economy with Digitally-Supported Teaching Methods for Sustainable Chips and Applications (EU Project GreenChips-EDU). | Klaus Hofmann, Ferdinand Keil, David Riehl, Alicja Michalowska-Forsyth, Nikolaus Czepl, Sarah Woywod, Dominik Zupan, Mario R. Casu, Carlo Ricciardi, Massimo Violante, Mariagrazia Graziano, Yuri Ardesi, Fabrizio Mo, Dominik Berger, Sabine Sill, Volker Visotschnig, Panagiota Morfouli, Liliana Prejbeanu, Katell Morin-Allory, Cyrille Chavet, Davide Bucci, Skandar Basrour, Jean-Christophe Crebier, Nhu-Huan Nguyen, Ernesto Quisbert-Trujillo, Christian Deflix, Isabelle Corbett-Etchevers, Johannes Sturm, Jens Peter Konrath, Ulla Birnbacher, Thomas Klinger, Wolfgang Werth, Jorge Fernandes, Marcelino B. Santos, Antonio Rubio, Alba Pags-Zamora, Josep Pegueroles, Jordi Salazar, Beatriz Otero, J. Manuel Moreno, X. Aragones, Israel Martin, Aleix Sole, Dunja Suttnig, Julia Calabro, Floriberto Lima, Eric Jouseau, Franois Cerisier, Cristian Rivier, Sepp Eisenriegler, Harald Reichl, Miroslav Macan, Dubravko Kruselj, Mladen Puskaric, Mirjana Tatalovic, Vinko Zelenicic, Bernd Deutschmann |
| 2024 | MEMOCODE | Formal Fault Injection in Digital Blocks with Mined Assertions. | Damiano Zuccal, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2020 | DDECS | Cross Layer Fault Simulations for Analyzing the Robustness of RTL Designs in Airborne Systems. | Julie Roux, Vincent Beroulle, Katell Morin-Allory, Rgis Leveugle, Lilian Bossuet, Frdric Czilly, Frdric Berthoz, Gilles Genvrier, Franois Cerisier |
| 2017 | MEMOCODE | Extraction of missing formal assumptions in under-constrained designs. | Guillaume Plassan, Katell Morin-Allory, Dominique Borrione |
| 2015 | FDL | Enabler-based synchronizer model for clock domain crossing static verification. | Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione |
| 2013 | MEMOCODE | Fast prototyping from assertions: A pragmatic approach. | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
| 2011 | FDL | Does asynchronous technology bring robustness in synchronous circuit monitoring? | Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet, Alejandro Chagoya |
| 2010 | DDECS | Synthesis of asynchronous monitors for critical electronic systems. | Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet |
| 2009 | DDECS | High-level symbolic simulation for automatic model extraction. | Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre |
| 2009 | FDL | RAT-based formal verification of QDI asynchronous controllers. | Khaled Alsayeg, Katell Morin-Allory, Laurent Fesquet |
| 2008 | MEMOCODE | Assertion-Based Design with Horus. | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
| 2007 | DDECS | Prototyping Generators for On-line Test Vector Generation Based on PSL Properties. | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
| 2007 | FDL | Asynchronous online-monitoring of logical and temporal assertions. | Katell Morin-Allory, Laurent Fesquet, Benjamin Roustan, Dominique Borrione |
| 2006 | DATE | Proven correct monitors from PSL specifications. | Katell Morin-Allory, Dominique Borrione |
| 2006 | FDL | On-line Monitoring of Properties Built on Regular Expressions. | Katell Morin-Allory, Dominique Borrione |
| 2006 | RSP | Asynchronous Assertion Monitors for multi-Clock Domain System Verification. | Katell Morin-Allory, Laurent Fesquet, Dominique Borrione |
| 2003 | MEMOCODE | Verification of Control Properties in the Polyhedral Model. | David Cachera, Katell Morin-Allory |