Abstract is missing.
- SOUPS: A Variable Ordering Metric for the Saturation AlgorithmBenjamin Smith, Gianfranco Ciardo. 1-10 [doi]
- Complexity of Reachability for Data-Aware Dynamic SystemsParosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine. 11-20 [doi]
- Timed Automata with Parametric UpdatesÉtienne André, Didier Lime, Mathias Ramparison. 21-29 [doi]
- Optimal-Cost Reachability Analysis Based on Time Petri NetsHanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner. 30-39 [doi]
- Partial-Order Reduction for Performance Analysis of Max-Plus Timed SystemsBram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten. 40-49 [doi]
- Symbolically Aligning Observed and Modelled BehaviourVincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst. 50-59 [doi]
- Team Coordination Based on Causal Nets with Synchronous ChannelsDennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder. 60-69 [doi]
- SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence NetsBowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny. 70-74 [doi]
- Concurrent Secrets with Quantified SuspicionLoïc Hélouët, Hervé Marchand, John Mullins. 75-84 [doi]
- Fault-Free Refinements for Interface AutomataAyleen Schinko, Walter Vogler. 85-94 [doi]
- On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for EsterelAlexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler. 95-104 [doi]
- Ensuring Consistency between Cycle-Accurate and Instruction Set SimulatorsFatma Jebali, Dumitru Potop-Butucaru. 105-114 [doi]
- On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing UnitsMarkus Anders, Anoop Bhagyanath, Klaus Schneider 0001. 115-124 [doi]