Abstract is missing.
- Design of Networks-on-Chip for Real-Time Multi-processor Systems-on-ChipJens Sparsø. 1-5 [doi]
- GSPNs Revisited: Simple Semantics and New Analysis AlgorithmsJoost-Pieter Katoen. 6-11 [doi]
- All Linear-Time Congruences for Finite LTSs and Familiar OperatorsAntti Valmari. 12-21 [doi]
- Algebra of Parameterised GraphsAndrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev. 22-31 [doi]
- Introducing Fairness into Compositional Verification via Unidirectional CountersAntti Siirtola, Antti Puhakka, Gerald Lüttgen. 32-41 [doi]
- A Trace-Based Semantics for ResponsivenessWalter Vogler, Christian Stahl, Richard Müller. 42-51 [doi]
- Verifying Performance of Supervised PlantsJasen Markovski, Michel A. Reniers. 52-61 [doi]
- Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core CommunicationAndrew Mundy, Terrence S. T. Mak, Alex Yakovlev, Simon Davidson, Steve Furber. 62-71 [doi]
- Reachability Analysis of P-time Petri Nets with Parametric MarkingsHanifa Boucheneb, Kamel Barkaoui. 72-81 [doi]
- Translating Structural Process Properties to Petri Net MarkingsSven Linker. 82-91 [doi]
- Hasse Diagrams of Combined TracesLukasz Mikulski, Maciej Koutny. 92-101 [doi]
- A High-Level Strategy for C-net DiscoveryMarc Solé, Josep Carmona. 102-111 [doi]
- On Dual-Rail Control Logic for Enhanced Circuit RobustnessAndrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev. 112-121 [doi]
- A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail CodingJakob Lechner, Martin Lampacher, Thomas Polzer. 122-131 [doi]
- Improving Dynamic Partial Order Reductions for Concolic TestingOlli Saarikivi, Kari Kähkönen, Keijo Heljanko. 132-141 [doi]
- PeabraiN: A PIPE Extension for Performance Estimation and Resource OptimisationRicardo J. Rodríguez, Jorge Júlvez, José Merseguer. 142-147 [doi]
- Sequence Chart StudioMartin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák. 148-153 [doi]
- Reactive and Proactive Diagnosis of Distributed Systems Using Net UnfoldingsJavier Esparza, Christian Kern. 154-163 [doi]
- State Space Analysis Using Symmetries on Decision DiagramsMaximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir. 164-172 [doi]
- An Algorithmic Framework for Coverability in Well-Structured SystemsTim Strazny, Roland Meyer. 173-182 [doi]
- Affine Data-Flow Graphs for the Synthesis of Hard Real-Time ApplicationsAdnan Bouakaz, Jean-Pierre Talpin, Jan Vitek. 183-192 [doi]
- Modularity and Part-Whole Compositionality for Computing the State Semantics of StatechartsLuca Pazzi, Marco Pradelli. 193-203 [doi]