Asynchronous Systems Labs, Research Events, Computing Science, University of Newcastle

For Researchers

Contacts

Organisation

Projects

Publications

Events

PhD and MPhil

Readme

Asynchronous Systems Labs (ASLs)

The aim of this seminar series is to provide a forum for research staff and students to present and discuss work on a wide range of topics related to the theory and applications of concurrent and distributed systems. The meetings are organised jointly by the School of Computing Science (Maciej Koutny) and the School of Electrical, Electronic and Computer Engineering (Alex Yakovlev).

This is the schedule of upcoming ASLs.

Date/Time/Venue	Title	Speaker
Friday, 2nd June, 2006 @ 1pm in E4, Basement, Merz Court, School of EEC	Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets [ Abstract ]	Jason Steggles [ Homepage ]
Friday, 9th June, 2006 @ 1pm in E4, Basement, Merz Court, School of EEC	Use of Petri-net in modelling and simulation of biological networks [ Abstract ]	Tiak Wan Ng

This is a record of past ASLs.

Date	Title	Speaker
19th May, 2006	Completion Detection Optimisation based on Relative Timing [ Abstract ]	Andrey Mokhov
12th May, 2006	Area and performance optimization of partially acknowledged asynchronous circuits [ Abstract ]	Yu Zhou
28th April, 2006	Behaviour-Preserving Transition Insertions in Unfolding Prefixes [ Abstract ]	Victor Khomenko [ Homepage ]
3rd March, 2006	Recent Developments in Prêt à Voter [ Abstract ]	Peter Y A Ryan [ Homepage ]
24th February, 2006	Timing Analysis for Latency-Aware Design [ Abstract ]	Crescenzo DAlessandro
17th February, 2006	Enhancing Signature-based Collaborative Spam Detection [ Abstract ]	Jeff Yan [ Homepage ]
3rd February, 2006	Variability-Tolerant Architectures [ Abstract ]	Satya Kiran Munaga
9th December, 2005	An Introduction to Computational Complexity [ Abstract ]	Victor Khomenko [ Homepage ]
2nd December, 2005	Petri net unfoldings [ Abstract ]	Maciej Koutny [ Homepage ]
30th November, 2005	An Overview of Wireless LAN Standards [ Abstract ]	Anthony C Davies
18th November, 2005	Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings [ Abstract ]	Victor Khomenko [ Homepage ]
8th November, 2005	New Methods for STG Decomposition [ Abstract ]	Mark Schaefer [ Homepage ]
4th November, 2005	Trellis Processes : a Tool for Distributed System Monitoring [ Abstract ]	Eric Fabre
31st October, 2005	Complex Electronics [ Abstract ]	Bashir M. Al-Hashimi [ Homepage ]
28th October, 2005	Analysis and Verification of Object Oriented Systems [ Abstract ]	Swapan Bhattacharya
21st October, 2005	Automating the Process of Software Automation : Perspectives, Issues and Concerns [ Abstract ]	Swapan Bhattacharya
14th October, 2005	Modelling asynchronous circuits using Petri Nets [ Abstract ]	Alex Yakovlev [ Homepage ]
19th July, 2005	The Role Method (tutorial) [ Abstract ]	Hugo Simpson
7th July, 2005	Galois Decomposition of Boolean Functions: An Efficient Synthesis Approach with Testability [ Abstract ]	Asutosh Singh [ Homepage ]
3rd May, 2005	Merged Processes - a New Condensed Representation of Petri Net Behaviour [ Abstract ]	Maciej Koutny [ Homepage ]
11th April, 2005	Energy Efficient Surfing [ Abstract ]	Mark Greenstreet [ Homepage ]
22nd March, 2005	The Computer Ate My Vote [ Abstract ]	Peter Ryan [ Homepage ]
15th March, 2005	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings [ Abstract ]	Agnes Madalinski [ Homepage ]
8th March, 2005	Investigation on the applications of the ACMs [ Abstract ]	Fei Hao
1st March, 2005	Asynchronous system design flow based on Petri nets [ Abstract ]	Danil Sokolov [ Homepage ]
22nd February, 2005	Opacity and Anonymity (subtitle: you can't prove anything) [ Abstract ]	Jeremy Bryans [ Homepage ]
1st December, 2004	Modelling Opacity using Petri Nets [ Abstract ]	Maciej Koutny [ Homepage ]
24th November, 2004	Metastability In Asynchronous Communication Mechanisms (ACMs) [ Abstract ]	Neil Henderson [ Homepage ]
17th November, 2004	An Algebra of Petri Nets with Arc-based Time Restrictions [ Abstract ]	Apostolos Niaouris
10th November, 2004	Design of an Asynchronous Loadable Counter Using Petri Net Based Methods [ Abstract ]	Yu Zhou
3rd November, 2004	Speed-Independent Synthesis of Strongly-Indicating Combinational Logic Circuits [ Abstract ]	Will Toms [ Homepage ]
27th October, 2004	Queues and networks at arrival and departure instants [ Abstract ]	Isi Mitrani [ Homepage ]
20th October, 2004	Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT [ Abstract ]	Victor Khomenko [ Homepage ]
8th September, 2004	Distributing Synchronous Specifications in GALS Architectures [ Abstract ]	Dumitru Potop-Butucaru [ Homepage ]
20th July, 2004	Using Unification For Opacity Properties [ Abstract ]	Laurent Mazare [ Homepage ]
20th May, 2004	Low Power RAM with Testability Speaker [ Abstract ]	Dhiraj Pradhan [ Homepage ]
12th March, 2004	PG students presentation [ Abstract ]	Apostolos Niaouris and Arash Shahriari-Rad
5th March, 2004	Rapid Introduction to Computational Complexities [ Abstract ]	Victor Khomenko [ Homepage ]
27th February, 2004	Rapid Introduction to Computational Complexities [ Abstract ]	Victor Khomenko [ Homepage ]
20th February, 2004	Pomset Language Equivalence Results [ Abstract ]	Eike Best [ Homepage ]
13th February, 2004	Pomset Language Equivalence Results [ Abstract ]	Eike Best [ Homepage ]
6th February, 2004	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs [ Abstract ]	Maciej Koutny
13th January, 2004	Applying Process Algebra and Model-checking to Security Protocols [ Abstract ]	Peter Ryan [ Homepage ]
10th December, 2003	Unified Approaches to Verification and Design of Digital Circuits [ Abstract ]	Abusaleh M. Jabir [ Homepage ]
5th December, 2003	Applying Process Algebra and Model-checking to Security Protocols [ Abstract ]	Peter Ryan [ Homepage ]
24th November, 2003	Computability and Complexity: Selected Topics 2 [ Abstract ]	Maciej Koutny [ Homepage ]
17th November, 2003	Computability and Complexity: Selected Topics 1 [ Abstract ]	Maciej Koutny [ Homepage ]
10th November, 2003	Logic Synthesis Avoiding State Space Explosion [ Abstract ]	Victor Khomenko [ Homepage ]
5th November, 2003	Applying Process Algebra and Model-checking to Security Protocols [ Abstract ]	Peter Ryan [ Homepage ]
3rd November, 2003	An Introduction to Coloured Petri Nets [ Abstract ]	Maciej Koutny [ Homepage ]
27th October, 2003	Synthesis of Petri nets from Transition Systems and Application to Construction of Protocols [ Abstract ]	Alex Yakovlev [ Homepage ]
20th October, 2003	Asynchronous Logic and Petri nets, Part 2 [ Abstract ]	Alex Yakovlev [ Homepage ]
13th October, 2003	Asynchronous Logic and Petri nets, Part 1 [ Abstract ]	Alex Yakovlev [ Homepage ]
20th June, 2003	Theoretical Challenges Raised by Information Security [ Abstract ]	Peter Ryan [ Homepage ]
18th June, 2003	A syntax for Petri nets [ Abstract ]	Kamal Lodaya [ Homepage ]
30th May, 2003	The pi-calculus with types: a tool for representation [ Abstract ]	Kohei Honda [ Homepage ]
9th May, 2003	A tutorial on using SAT based techniques to solve hard problems [ Abstract ]	Victor Khomenko [ Homepage ]
2nd May, 2003	Formal investigations of correctness of an Asynchronous Communication Mechanism [ Abstract ]	Neil Henderson [ Homepage ]
28th March, 2003	Testing in the direct mapping synthesis domain	Deepali Koppad
14th March, 2003	Can we Render Asynchrony to our Industry Caesars? Part 2	Alex Yakovlev
28th February, 2003	Can we Render Asynchrony to our Industry Caesars?	Alex Yakovlev
21st February, 2003	Strategic Meeting	Maciej Koutny and Alex Yakovlev
7th February, 2003	Low-Latency Control Structures with Slack	Alex Bystrov
31st January, 2003	Introduction to pi-calculus 3	Maciej Koutny
13th December, 2002	Introduction to pi-calculus 2	Maciej Kounty
6th December, 2002	Introduction to pi-calculus 1	Maciej Koutny
29th November, 2002	Unfoldings of coloured Petri nets	Victor Khomenko
15th November, 2002	Detecting State Coding Conflicts in STGs Using SAT	Victor Khomenko
8th November, 2002	Visualisation and Resolution of Coding Conflicts in Asynchronous Circuits Design	Agnes Madalinski
25th October, 2002	STG Optimisation in the Direct Mapping of Asynchronous Circuits	Danil Sokolov
18th October, 2002	A tight packing scheduling algorithm using closeness tables	Frank Burns
3rd July, 2002	Specifying communications in temporal logic	R. Ramanujam
20th May, 2002	Lock-free data structures	Tim Harris
24th April, 2002	High Level Synthesis Of Asynchronous Digital Systems, Continued...	Susan Tyerman
22nd April, 2002	High Level Synthesis Of Asynchronous Digital Systems	Susan Tyerman
18th March, 2002	Causal Time in Practice	Hanna Klaudel
18th February, 2002	Discussion: translating high level specifications expressed in Balsa into Petri nets	Open
11th February, 2002	Design Flow for Self-Timed Controllers	Alex Yakovlev
4th February, 2002	Detecting State Coding Conflicts in STGs Using Integer Programming	Victor Khomenko
1st January, 2002	Trellis Processes : a Tool for Distributed System Monitoring	Eric Fabre
12th December, 2001	Synthesis of Asynchronous Circuits	Alex Smirnov
5th December, 2001	Compositional Development in the Event of Interface Difference: using FDR2 for automatic verification	Jon Burton
28th November, 2001	Canonical Prefixes of Petri Net Unfoldings	Maciej Koutny
14th November, 2001	Analysis of dynamic behaviour of multi-flops	Oleg Maevsky
7th November, 2001	Parallelisation of the Petri Net Unfolding Algorithm	Victor Khomenko
31st October, 2001	Unfolding-based approach to LTL model-checking	Javier Esparza
24th October, 2001	Incompletely self-timed systems: in search of a 'complete' solution for Giga-LSI?	Alex Yakovlev
17th October, 2001	Direct mapping of asynchronous circuits from STGs	Alex Bystrov
10th October, 2001	Improving the efficiency of constructing unfoldings	Victor Khomenko
29th May, 2001	Modelling and Verification of Broadcast Protocols	David Kendall
15th May, 2001	"foldings" of unfoldings	Discussion
1st May, 2001	Temporal Logic and Compositionality	Ben Moszkowski
1st May, 2001	A tool for visualising state graphs for concurrent systems	Stuart Grey
6th March, 2001	Abstraction Mechanisms in CSP	Jon Burton
6th March, 2001	Modelling Communication Protocols	Neil Henderson
20th February, 2001	Net unfoldings	Discussion Session 2
6th February, 2001	Net unfoldings	Discussion Session 1
12th December, 2000	Experiences with testing VLSI chips	Delong Shang
5th December, 2000	Asynchronous Communication Mechanisms	Fei Xia
28th November, 2000	Identifying CSC conflicts in STGs using unfoldings	Agnes Madalinski
21st November, 2000	CSP and Abstraction Mechanisms	Maciej Koutny
14th November, 2000	Introduction to CSP (continued)	Maciej Koutny
24th October, 2000	Basic ideas behind CSP	Maciej Koutny
17th October, 2000	Synthesis and implementation of an Asynchronous Communication Mechanism	Alex Yakovlev
20th September, 2000	Various talks on Petri Nets, Box Algebra and Time	BAT Workshop
19th May, 2000	Model Checking using Net Unfoldings	Fitto Alamsyah
18th May, 2000	Petri Nets, Box Algebra and Time	BAT Workshop
12th May, 2000	Compositional model of Petri Nets: Part 2	Maciej Koutny
5th May, 2000	Compositional model of Petri Nets: Part 1	Maciej Koutny
31st March, 2000	Petri Net Unfolding	Fitto Alamsyah
24th March, 2000	Verification and Abstraction Mechanisms	Jon Burton
17th March, 2000	Linear programming and Model Checking	Victor Khomenko
10th March, 2000	Behavioural Equivalences	Maciej Koutny
3rd March, 2000	Synthesis of Asynchronous Circuits (Part II)	Alex Yakovlev
25th February, 2000	Synthesis of Asynchronous Circuits (Part I)	Alex Yakovlev
20th January, 2000	Formal Modelling of Asynchronous Hardware	Alex Yakovlev