ACSD 2004 Tentative Programme
Tuesday: Workshop MOMPES
Contributed presentations will have 30 minutes, including about 5 minutes for questions.
Wednesday
- 8:45-9:00 Conference Opening by Dean Mo Elbestawi, Faculty of Engineering
- 9:00-10:00 Ed Brinksma:
Testing Times: On Model-Driven Test Generation for Non-deterministic Real-Time Systems - Invited Talk
Session: Architecture, Circuits, and Communication
- 10:00-10:30 Wlodek Zuberek:
Enhanced Fine-Grain Multithreaded Multiprocessors and Their Performance Analysis
- 11:00-11:30 Victor Khomenko, Maciej Koutny, Alex Yakovlev:
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
- 11:30-12:00 Fei Xia, Fei Hao, Ian G. Clark, Alex Yakovlev, E. Graeme Chester:
Buffered Asynchronous Communication Mechanisms
- 12:00-12:30 Tool Demo: Toshinori Takai, Hitoshi Ohsaki:
ACTAS: Associative and Commutative Tree Automata Simulator
Session: Synchronous Systems and Components
- 14:00-14:30 Jean-Pierre Talpin, David Berner, Sandeep Kumar Shukla, Abdoulaye Gamatie, Paul Le Guernic, Rajesh Gupta:
A Behavioral Type Inference System for Compositional System-On-Chip Design
- 14:30-15:00 Florence Maraninchi, Lionel Morel:
Arrays and Contracts for the Specification and Analysis of Regular Systems
- 15:00-15:30 Dumitru Potop-Butucaru, Benoit Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems
Session: Process Algebras and Petri Nets
- 16:00-16:30 Raymond Devillers, Hanna Klaudel, Maciej Koutny:
Context-Based Process Algebras for Mobility
- 16:30-17:00 Hemangee Kapoor, Mark Josephs, Dennis Furey:
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
- 17:00-17:30 Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz:
A Semantics of Security Protocol Language (SPL) Using a Class of Composable High-Level Petri Nets
- 18:00-20:00 Wine and Cheese Reception: McMaster University Club
Thursday
- 8:30-9:30 Gregor v. Bochmann:
Comparison of Methods for Supervisory Control and Submodule Construction - Invited Talk
Session: Programming Languages and Translations
- 9:30-10:00 Carl Hauser, David Benson:
On the Practicality and Desirability of Highly-Concurrent, Mostly-Functional Programming
- 10:30-11:00 Dag Björklund, Johan Lilius:
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
- 11:00-11:30 Thomas Arts, Clara Benac Earle, Juan Jose Sanchez Penas:
Translating Erlang to mCRL - Making Industrial Code Available for Research Tools
- 11:30-12:00 Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar:
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models
- 13:00-18:30 Conference Excursion to Niagara Falls
- 18:30-21:30 Conference Banquet
Friday
- 9:00-10:00 John Thistle:
Synthesis of Supervisory Controls for Discrete Event Systems - Invited Talk
- 10:00-10:30 Mark Lawford, Hong Zhang:
Equivalence Verification of Timed Transition Models
- 11:00-11:30 Heikki Tauriainen:
Nested Emptiness Search for Generalized Buchi Automata
- 11:30-12:00 Tommi Junttila:
New Orbit Algorithms for Data Symmetries
- 12:00-12:30 Charles Lakos, Laure Petrucci:
Modular Analysis of Systems Composed of Semiautonomous Subsystems
- 14:00-14:30 Toni Jussila:
BMC via Dynamic Atomicity Analysis
- 14:30-15:00 Enric Pastor, Marc Sole:
Evaluating Symbolic Traversal Algorithms: Applied to Asynchronous Concurrent Systems
- 15:00-15:30 Kevin Seppi, Michael Jones, Peter Lamborn:
Guided Model Checking with a Bayesian Meta-Heuristic
- 16:00-17:00 Closing session
|