Abstract is missing.
- Action Synthesis for Branching Time Logic: Theory and ApplicationsMichal Knapik, Artur Meski, Wojciech Penczek. 1-10 [doi]
- Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical AbstractionsYves-Stan Le Cornec, Franck Pommereau. 11-20 [doi]
- Layered Reduction for Abstract Probabilistic AutomataArpit Sharma, Joost-Pieter Katoen. 21-31 [doi]
- Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid AutomataAlexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen. 32-41 [doi]
- Failure Semantics for Modal Transition SystemsFerenc Bujtor, Walter Vogler. 42-51 [doi]
- Controllability in Partial and Uncertain EnvironmentsNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel. 52-61 [doi]
- Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow GraphsRobert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit. 62-71 [doi]
- Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed AutomataWaheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol. 72-81 [doi]
- Cyclo-Static Data Flow Model for TDMAlok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel. 82-91 [doi]
- Memory Model-Aware Testing - A Unified Complexity AnalysisFlorian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben. 92-101 [doi]
- The Omniscient Garbage Collector: A Resource Analysis FrameworkAurelien Deharbe, Frédéric Peschanski. 102-111 [doi]
- Static Mapping of Real-Time Applications onto Massively Parallel Processor ArraysThomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang. 112-121 [doi]
- Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling FrameworkAshur Rafiev, Alexei Iliasov, Alexander Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev. 122-131 [doi]
- Diagnosability under Weak FairnessVasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon. 132-141 [doi]
- Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic ExecutionKari Kähkönen, Keijo Heljanko. 142-151 [doi]
- New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC ArchitecturesImen Khemaissia, Olfa Mosbahi, Mohamed Khalgui. 152-158 [doi]
- BenchKit, a Tool for Massive Concurrent BenchmarkingFabrice Kordon, Francis Hulin-Hubard. 159-165 [doi]
- Sessions with an Unbounded Number of AgentsS. Akshay, Loïc Hélouët, Madhavan Mukund. 166-175 [doi]
- Parametrised Interface AutomataAntti Siirtola. 176-185 [doi]
- Modelling Data Processing for Interactive Scores Using Coloured Petri NetsJaime Arias, Myriam Desainte-Catherine, Camilo Rueda. 186-195 [doi]