Agnes Madalinski

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 4

Top Topics

Fault Diagnosis

Distributed Computation

Discrete Event Systems

Top Venues

Discret. Event Dyn. Syst.

ModelEd, TestEd, TrustEd

Publications

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon
Distributed computation of vector clocks in Petri net unfoldings for test selection. Discret. Event Dyn. Syst. 30 (3) (2020)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS (2018)
Laura Brandán Briones, Agnes Madalinski
Diagnosis and Testing: How is Their Relation? Can They Be Combined? ModelEd, TestEd, TrustEd (2017)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
Fault Manifestability Verification for Discrete Event Systems. ECAI (2016)
Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León
Distributed Diagnosability Analysis with Petri Nets. CoRR (2015)
Laura Brandán Briones, Agnes Madalinski
Distributed Bounded Predictability. SCCC (2013)
Agnes Madalinski, Farid Nouioua, Philippe Dague
Diagnosability verification with Petri net unfoldings. Int. J. Knowl. Based Intell. Eng. Syst. 14 (2) (2010)
Agnes Madalinski, Eric Fabre
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings. Fundam. Informaticae 95 (1) (2009)
Agnes Madalinski, Eric Fabre
Modular construction of finite and complete prefixes of Petri net unfoldings. ACSD (2008)
Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. Fundam. Informaticae 86 (3) (2008)
Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. ACSD (2006)
Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. DATE (2003)
Agnes Madalinski
CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation. ACSD (2003)
Agnes Madalinski, Alexandre V. Bystrov, Alexandre Yakovlev
Visualization of Coding Conflicts in Asynchronous Circuit Design. IWLS (2002)