Agnes Madalinski

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