default search action
4th ACSD 2004: Hamilton, Ontario, Canada
- 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada. IEEE Computer Society 2004, ISBN 0-7695-2077-4
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.