CSDL - Proceedings A

Conference Organizers (PDF)

pp. ix

International Program (PDF)

pp. x

Reviewers (PDF)

pp. xi

Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems (PDF)

Invited Talk

Ed Brinksma, University of Twente, Netherlands

pp. 3

Architecture, Circuits, and Communication

Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis (Abstract)

W. M. Zuberek, Memorial University, St. John's, Canada

pp. 7

PDF

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT (Abstract)

Victor Khomenko, University of Newcastle upon Tyne, UK

Maciej Koutny, University of Newcastle upon Tyne, UK

Alex Yakovlev, University of Newcastle upon Tyne, UK

pp. 16

PDF

Property Checking based on Hierarchical Integer Equations (Abstract)

Bijan Alizadeh, University of Tehran, Iran

Zainalabedin Navabi, University of Tehran, Iran

pp. 26

PDF

Buffered Asynchronous Communication Mechanisms (Abstract)

Fei Xia, Univ. of Newcastle upon Tyne, UK

Fei Hao, Univ. of Newcastle upon Tyne, UK

Ian Clark, Univ. of Newcastle upon Tyne, UK

Alex Yakovlev, Univ. of Newcastle upon Tyne, UK

E. Graeme Chester, Univ. of Newcastle upon Tyne, UK

pp. 36

PDF

A Behavioral Type Inference System for Compositional System-on-Chip Design (PDF)

Synchronous Systems and Components

Jean-Pierre Talpin, INRIA-IRISA

David Berner, INRIA-IRISA

Sandeep Kumar Shukla, Virginia Tech

Paul Le Guernic, INRIA-IRISA

Abdoulaye Gamati?, INRIA-IRISA

Rajesh Gupta, University of California at San Diego

pp. 47

Arrays and Contracts for the Specification and Analysis of Regular Systems (Abstract)

Florence Maraninchi, VERIMAG, France

Lionel Morel, VERIMAG, France

pp. 57

PDF

Concurrency in Synchronous Systems (Abstract)

Dumitru Potop-Butucaru, IRISA, France

Beno? Caillaud, IRISA, France

Albert Benveniste, IRISA, France

pp. 67

PDF

Process Algebras and Petri Nets

Context-based Process Algebras for Mobility (Abstract)

R. Devillers, Universit? Libre de Bruxelles, Belgium

H. Klaudel, Universit? d'Evry, LaMI, France

M. Koutny, University of Newcastle, United Kingdom

pp. 79

PDF

Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments (Abstract)

Hemangee K. Kapoor, London South Bank University, UK

Mark B. Josephs, London South Bank University, UK

Dennis P. Furey, London South Bank University, UK

pp. 89

PDF

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets (Abstract)

Roland Bouroulet, LACL, Universit? Paris 12, France

Hanna Klaudel, LaMI, Universit? d'Evry, France

Elisabeth Pelz, LACL, Universit? Paris 12, France

pp. 99

PDF

Comparison of Methods for Supervisory Control and Submodule Construction (PDF)

Gregor v. Bochmann, University of Ottawa

Bassel Daou, University of Ottawa

pp. 111

Programming Languages and Translations

On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming (Abstract)

Carl H. Hauser, Washington State University, Pullman

David B. Benson, Washington State University, Pullman

pp. 115

PDF

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation (Abstract)

Dag Bj?rklund, ?bo Akademi University, Finland

Johan Lilius, ?bo Akademi University, Finland

pp. 125

PDF

Translating Erlang to μCRL (Abstract)

Thomas Arts, IT University of Gothenburg, Sweden

Clara Benac Earle, University of Kent, Canterbury, UK

Juan Jos? S?nchez Penas, University of Corunha, Spain

pp. 135

PDF

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models (Abstract)

Marjan Sirjani, Sharif University of Technology, Tehran, Iran; Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands

Amin Shali, Tehran University, Iran

Mohammad Mahdi Jaghoori, Tehran University, Iran

Hamed Iravanchi, Tehran University, Iran

Ali Movaghar, Sharif University of Technology, Tehran, Iran

pp. 145

PDF

Synthesis of Supervisory Controls for Discrete Event Systems (PDF)

J. G. Thistle, University of Waterloo, Ontario, Canada

pp. 151

Verification I

Equivalence Verification of Timed Transition Models (Abstract)

Mark Lawford, McMaster University, Hamilton, ON, Canada

Hong Zhang, McMaster University, Hamilton, ON, Canada

pp. 155

PDF

Nested Emptiness Search for Generalized B?chi Automata (Abstract)

Heikki Tauriainen, Helsinki University of Technology, Finland

pp. 165

PDF

New Orbit Algorithms for Data Symmetries (Abstract)

Tommi A. Junttila, Helsinki University of Technology, Finland

pp. 175

PDF

Modular Analysis of Systems Composed of Semiautonomous Subsystems (Abstract)

Charles Lakos, University of Adelaide, Australia

Laure Petrucci, Universit? Paris XIII, France

pp. 185

PDF

Verification II

BMC via Dynamic Atomicity Analysis (Abstract)

Toni Jussila, Helsinki University of Technology, Finland

pp. 197

PDF

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems (Abstract)

Marc Sol?, Technical University of Catalonia, Spain

Enric Pastor, Technical University of Catalonia, Spain

pp. 207

PDF

Guided Model Checking with a Bayesian Meta-heuristic (Abstract)

Kevin Seppi, Brigham Young University, Provo UT

Michael Jones, Brigham Young University, Provo UT

Peter Lamborn, Brigham Young University, Provo UT

pp. 217

PDF

Author Index (PDF)

pp. 227