Agnes Madalinski

发表

Bounded Predictability for Faulty Discrete Event Systems

Laura Brandan Briones, Agnes Madalinski, 2011, 2011 30th International Conference of the Chilean Computer Science Society.

Relative Data Freshness of Asynchronous Communication Mechanisms

Fei Xia, Alex Yakovlev, Agnes Madalinski, 2000 .

Modular construction of finite and complete prefixes of Petri net unfoldings

Agnes Madalinski, Eric Fabre, 2008, 2008 8th International Conference on Application of Concurrency to System Design.

Modular construction of finite and complete prefixes of Petri net unfoldings

Agnes Madalinski, Eric Fabre, 2008, ACSD.

ConfRes: interactive coding conflict resolver based on core visualisation

Agnes Madalinski, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Distributed Bounded Predictability

Agnes Madalinski, Laura Brandán Briones, 2013, 2013 32nd International Conference of the Chilean Computer Science Society (SCCC).

DIAGNOSABILITY ANALYSIS WITH PETRI NET UNFOLDINGS IN CENTRALISED AND DISTRIBUTED FRAMEWORKS

Agnes Madalinski, 2009 .

Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings

Agnes Madalinski, Hernán Ponce de León, Laura Brandan-Briones, 2014 .

Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings

Victor Khomenko, Agnes Madalinski, Alex Yakovlev, 2006 .

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

Alexandre Yakovlev, Victor Khomenko, Agnes Madalinski, 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

How to be sure a faulty system does not always appear healthy?

Philippe Dague, Lina Ye, Agnes Madalinski, 2018, Innovations in Systems and Software Engineering.

Visualization and resolution of coding conflicts in asynchronous circuit design

Alexandre Yakovlev, Victor Khomenko, Agnes Madalinski, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

Studying the data loss and data re-reading behaviour of a four-slot asynchronous communication mecha

Alexandre Yakovlev, Agnes Madalinski, Fengnian Xia, 1999 .

Visualization of Coding Conflicts in Asynchronous Circuit Design

Alexandre Yakovlev, Agnes Madalinski, Alexandre V. Bystrov, 2002, IWLS.

Distributed Diagnosability Analysis with Petri Nets pdf

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

Visualisation and resolution of encoding conflicts in asynchronous circuit design

Alex Yakovlev, Victor Khomenko, Agnes Madalinski, 2003 .

Distributed computation of vector clocks in Petri nets unfolding for test selection

Agnes Madalinski, Loïg Jezequel, Stefan Schwoon, 2018 .

Diagnosability verification with Petri net unfoldings

Farid Nouioua, Philippe Dague, Agnes Madalinski, 2010, Int. J. Knowl. Based Intell. Eng. Syst..

Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings

Victor Khomenko, Agnes Madalinski, V. Khomenko, 2011 .

Fault Manifestability Verification for Discrete Event Systems

Philippe Dague, Lina Ye, Agnes Madalinski, 2016, ECAI.

Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings

Victor Khomenko, Agnes Madalinski, V. Khomenko, 2010, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

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

Agnes Madalinski, Loïg Jezequel, Stefan Schwoon, 2020, Discret. Event Dyn. Syst..

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

Agnes Madalinski, Laura Brandán Briones, 2017, ModelEd, TestEd, TrustEd.

ICU: A tool for Identifying State Coding Conflicts using STG unfoldings

Alex Yakovlev, Agnes Madalinski, Alex Bystrov, 2002 .

Effective Verification of Weak Diagnosability

Stefan Haar, Agnes Madalinski, Anoopam Agarwal, 2012 .