Abstract is missing.
- Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time SystemsEd Brinksma. 3-6 [doi]
- Enhanced Interleaved Multithreaded Multiprocessors and Their Performance AnalysisWlodzimierz M. Zuberek. 7-15 [doi]
- Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SATVictor Khomenko, Maciej Koutny, Alexandre Yakovlev. 16-25 [doi]
- Property Checking based on Hierarchical Integer EquationsBijan Alizadeh, Zainalabedin Navabi. 26-35 [doi]
- Buffered Asynchronous Communication MechanismsFei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester. 36-46 [doi]
- A Behavioral Type Inference System for Compositional System-on-Chip DesignJean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta. 47-56 [doi]
- Arrays and Contracts for the Specification and Analysis of Regular SystemsFlorence Maraninchi, Lionel Morel. 57-66 [doi]
- Concurrency in Synchronous SystemsDumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. 67-78 [doi]
- Context-based Process Algebras for MobilityRaymond R. Devillers, Hanna Klaudel, Maciej Koutny. 79-88 [doi]
- Verification and Implementation of Delay-Insensitive Processes in Restrictive EnvironmentsHemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey. 89-98 [doi]
- A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri NetsRoland Bouroulet, Hanna Klaudel, Elisabeth Pelz. 99-110 [doi]
- Comparison of Methods for Supervisory Control and Submodule ConstructionGregor von Bochmann, Bassel Daou. 111-114 [doi]
- On the Practicality and Desirability of Highly-concurrent, Mostly-functional ProgrammingCarl H. Hauser, David B. Benson. 115-124 [doi]
- Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of ComputationDag Björklund, Johan Lilius. 125-134 [doi]
- Translating Erlang to µCRLThomas Arts, Clara Benac Earle, Juan José Sánchez Penas. 135-144 [doi]
- A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based ModelsMarjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar. 145-150 [doi]
- Synthesis of Supervisory Controls for Discrete Event SystemsJ. G. Thistle. 151-154 [doi]
- Equivalence Verification of Timed Transition ModelsMark Lawford, Hong Zhang. 155-164 [doi]
- Nested Emptiness Search for Generalized Büchi AutomataHeikki Tauriainen. 165-174 [doi]
- New Orbit Algorithms for Data SymmetriesTommi A. Junttila. 175-184 [doi]
- Modular Analysis of Systems Composed of Semiautonomous SubsystemsCharles Lakos, Laure Petrucci. 185-196 [doi]
- BMC via Dynamic Atomicity AnalysisToni Jussila. 197-206 [doi]
- Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent SystemsMarc Solé, Enric Pastor. 207-216 [doi]
- Guided Model Checking with a Bayesian Meta-heuristicKevin D. Seppi, Michael Jones, Peter Lamborn. 217-226 [doi]