Visualization of Coding Conflicts in Asynchronous Circuit Design. - Agnes Madalinski; Alexandre V. Bystrov; Alexandre Yakovlev (IWLS, 2002)

CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation. - Agnes Madalinski (ACSD, 2003)

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. - Agnes Madalinski; Alexandre V. Bystrov; Victor Khomenko; Alexandre Yakovlev (DATE, 2003)

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. - Victor Khomenko; Agnes Madalinski; Alexandre Yakovlev (Fundam. Informaticae, 2008)

Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings. - Agnes Madalinski; Eric Fabre (Fundam. Informaticae, 2009)

Diagnosability verification with Petri net unfoldings. - Agnes Madalinski; Farid Nouioua; Philippe Dague (Int. J. Knowl. Based Intell. Eng. Syst., 2010)

Distributed Bounded Predictability. - Laura Brandán Briones; Agnes Madalinski (SCCC, 2013)

Distributed Diagnosability Analysis with Petri Nets. - Laura Brandán Briones; Agnes Madalinski; Hernán Ponce de León (CoRR, 2015)

Fault Manifestability Verification for Discrete Event Systems. - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (ECAI, 2016)

Diagnosis and Testing: How is Their Relation? Can They Be Combined? - Laura Brandán Briones; Agnes Madalinski (ModelEd, TestEd, TrustEd, 2017)

How to Be Sure a Faulty System Does Not Always Appear Healthy? - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (VECoS, 2018)

Distributed computation of vector clocks in Petri net unfoldings for test selection. - Loïg Jezequel; Agnes Madalinski; Stefan Schwoon (Discret. Event Dyn. Syst., 2020)