Agnes Madalinski

According to our database, Agnes Madalinski authored at least 12 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Distributed computation of vector clocks in Petri net unfoldings for test selection.

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon

Discret. Event Dyn. Syst., 2020

2018

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

Diagnosis and Testing: How is Their Relation? Can They Be Combined?

Laura Brandán Briones, Agnes Madalinski

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Fault Manifestability Verification for Discrete Event Systems.

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Distributed Diagnosability Analysis with Petri Nets.

Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León

CoRR, 2015

2013

Distributed Bounded Predictability.

Laura Brandán Briones, Agnes Madalinski

Proceedings of the 32nd International Conference of the Chilean Computer Science Society, 2013

2010

Diagnosability verification with Petri net unfoldings.

Agnes Madalinski, Farid Nouioua, Philippe Dague

Int. J. Knowl. Based Intell. Eng. Syst., 2010

2009

Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings.

Agnes Madalinski, Eric Fabre

Fundam. Informaticae, 2009

2008

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.

Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev

Fundam. Informaticae, 2008

2003

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design.

Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev

Proceedings of the 2003 Design, 2003

CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation.

Agnes Madalinski

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Visualization of Coding Conflicts in Asynchronous Circuit Design.

Agnes Madalinski, Alexandre V. Bystrov, Alexandre Yakovlev

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002