Get started
Author

Agnes Madalinski

Observed names: A Madalinski, A. Madalinski, Agnes A Madalinski, Agnes Madalinski,, Agnes Madalinski., Madalinski Agnes, Madalinski, Agnes
Observed institutions: Institut national de recherche en sciences et technologies du numérique, Austral University of Chile, Universidad Nacional de Córdoba, Institut de Recherche en Informatique et Systèmes Aléatoires, Newcastle University, Otto-von-Guericke-Universität Magdeburg
OpenAlex ID: A5072518922
Diagnosability verification with Petri net unfoldings
2010 · Agnes Madalinski, Farid Nouioua, et al. · International Journal of Knowledge-based and Intelligent Engineering Systems · 23
Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings
2010 · Agnes Madalinski, Victor Khomenko · Conference on Control and Fault-Tolerant Systems · 18
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design
2003 · A Madalinski, Alexandre Bystrov, et al. · 15
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings
2012 · Agnes Madalinski, Victor Khomenko · IFAC Proceedings Volumes · 13
Effective Verification of Weak Diagnosability
2012 · Anoopam Agarwal,, Agnes Madalinski,, et al. · IFAC Proceedings Volumes · 10
Ecological network analysis: an application to the evaluation of effects of pesticide use in an agricultural environment
2007 · Peter Andras, Robert Gwyther, et al. · Pest Management Science · 9
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
2006 · V. Khomenko, A. Madalinski, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 9
Bounded Predictability for Faulty Discrete Event Systems
2011 · Laura Brandán Briones, Agnes Madalinski · International Conference of the Chilean Computer Science Society (SCCC) · 7
Visualization and resolution of coding conflicts in asynchronous circuit design
2003 · A. Madalinski, A. Bystrov, et al. · Design, Automation, and Test in Europe · 6
Distributed computation of vector clocks in Petri nets unfolding for test selection
2018 · Loïg Jezequel, Agnes Madalinski, et al. · IFAC-PapersOnLine · 4
How to Be Sure a Faulty System Does Not Always Appear Healthy?
2018 · Lina Ye, Philippe Dague, et al. · Lecture notes in computer science · 4
Visualisation and resolution of encoding conflicts in asynchronous circuit design
2003 · A. Madalinski, A. Bystrov, et al. · IEE Proceedings - Computers and Digital Techniques · 4
Distributed Diagnosability Analysis with Petri Nets
2015 · Brandán-Briones, Laura, Madalinski, Agnes, et al. · arXiv (Cornell University) · 3
PDF
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
2009 · Agnes Madalinski., Eric Fabre · Fundamenta Informaticae · 3
Modular construction of finite and complete prefixes of Petri net unfoldings
2008 · Agnes Madalinski, Eric Fabre · International Conference on Application of Concurrency to System Design (ACSD) · 3
PDF
ConfRes: interactive coding conflict resolver based on core visualisation
2004 · A. Madalinski · International Conference on Application of Concurrency to System Design (ACSD) · 3
Fault Manifestability Verification for Discrete Event Systems
2016 · Ye Lina, Dague Philippe, et al. · Frontiers in artificial intelligence and applications · 2
Distributed Bounded Predictability
2013 · Laura Brandan Briones, Agnes Madalinski · International Conference of the Chilean Computer Science Society (SCCC) · 2
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
2008 · Victor Khomenko, Agnes Madalinski, et al. · 2
Distributed computation of vector clocks in Petri net unfoldings for test selection
2020 · Loïg Jezequel, Agnes Madalinski, et al. · Discrete Event Dynamic Systems · 1
Diagnosis and Testing: How is Their Relation? Can They Be Combined?
2017 · Laura Brandán Briones, Agnes Madalinski · Lecture notes in computer science · 1
PDF
Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings
2011 · Agnes Madalinski, Khomenko · School of Computing Science Technical Report Series · 1
Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings
2014 · Brandan-Briones, Laura, Madalinski, Agnes, et al. · HAL
Diagnosability Analysis With Petri Net Unfoldings in Centralised and Distributed Frameworks
2009 · Agnes Madalinski
Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings
2006 · A Madalinski, V Khomenko, et al. · Newcastle University ePrints (Newcastle Univesity)
Works count: 36
Citation count: 143
H-index: 7
I10-index: 5
Year
Topic
Type