Publications by Agnes Madalinski - ePrints

Browsing publications by Agnes Madalinski.

Newcastle Authors	Title	Year
Agnes Madalinski Dr Victor Khomenko	Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings	2012
Agnes Madalinski Dr Victor Khomenko	Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings	2011
Agnes Madalinski Dr Victor Khomenko	Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings	2010
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings	2008
Dr Peter Andras Robert Gwyther Agnes Madalinski Steve Lynden Dr Alina Andras et al.	Ecological network analysis: An application to the evaluation of effects of pesticide use in an agricultural environment	2007
Agnes Madalinski Dr Victor Khomenko Professor Alex Yakovlev	Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings	2006
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev	Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings	2006
Dr Victor Khomenko Agnes Madalinski Professor Alex Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings	2004
Agnes Madalinski Dr Alex Bystrov Dr Victor Khomenko Professor Alex Yakovlev	Visualisation and resolution of encoding conflicts in asynchronous circuit design	2003
Agnes Madalinski Dr Alex Bystrov Dr Victor Khomenko Professor Alex Yakovlev	Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design	2003
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev	ICU: A tool for Identifying State Coding Conflicts using STG unfoldings	2002
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev	ICU: A tool for Identifying State Coding Conflicts using STG unfoldings	2002
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev	Visualisation of Coding Conflicts in Asynchronous Circuit Design	2002
Agnes Madalinski Dr Fei Xia Professor Alex Yakovlev	Relative Data Freshness of Asynchronous Communication Mechanisms	2000
Agnes Madalinski Dr Alex Bystrov Professor Alex Yakovlev	Statistical Fairness of Ordered Arbiters	2000