4. ACSD 2004: Hamilton, Ontario, Canada

Invited Talk

• Ed Brinksma:
  Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. 3-6
  

Architecture, Circuits, and Communication

• Wlodzimierz M. Zuberek:
  Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis. 7-15
  
• Victor Khomenko, Maciej Koutny, Alexandre Yakovlev:
  Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. 16-25
  
• Bijan Alizadeh, Zainalabedin Navabi:
  Property Checking based on Hierarchical Integer Equations. 26-35
  
• Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester:
  Buffered Asynchronous Communication Mechanisms. 36-46
  

Synchronous Systems and Components

• Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta:
  A Behavioral Type Inference System for Compositional System-on-Chip Design. 47-56
  
• Florence Maraninchi, Lionel Morel:
  Arrays and Contracts for the Specification and Analysis of Regular Systems. 57-66
  
• Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
  Concurrency in Synchronous Systems. 67-78
  

Process Algebras and Petri Nets

• Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
  Context-based Process Algebras for Mobility. 79-88
  
• Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey:
  Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. 89-98
  
• Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz:
  A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. 99-110
  

Invited Talk

• Gregor von Bochmann, Bassel Daou:
  Comparison of Methods for Supervisory Control and Submodule Construction. 111-114
  

Programming Languages and Translations

• Carl H. Hauser, David B. Benson:
  On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming. 115-124
  
• Dag Björklund, Johan Lilius:
  Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. 125-134
  
• Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas:
  Translating Erlang to µCRL. 135-144
  
• 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. 145-150
  

Invited Talk

• John G. Thistle:
  Synthesis of Supervisory Controls for Discrete Event Systems. 151-154
  

Verification I

• Mark Lawford, Hong Zhang:
  Equivalence Verification of Timed Transition Models. 155-164
  
• Heikki Tauriainen:
  Nested Emptiness Search for Generalized Büchi Automata. 165-174
  
• Tommi A. Junttila:
  New Orbit Algorithms for Data Symmetries. 175-184
  
• Charles Lakos, Laure Petrucci:
  Modular Analysis of Systems Composed of Semiautonomous Subsystems. 185-196
  

Verification II

• Toni Jussila:
  BMC via Dynamic Atomicity Analysis. 197-206
  
• Marc Solé, Enric Pastor:
  Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. 207-216
  
• Kevin D. Seppi, Michael D. Jones, Peter Lamborn:
  Guided Model Checking with a Bayesian Meta-heuristic. 217-226
  

Last update Fri May 24 18:26:07 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page