default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ACSD 2011: Newcastle Upon Tyne, UK
- Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi:
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4387-1
Model Transformations
- Jacek Sroka
, Piotr Chrzastowski-Wachtel, Jan Hidders:
On Generating *-Sound Nets with Substitution. 3-12 - Nikola Trcka, Marc Voorhoeve, Twan Basten:
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. 13-18 - Florent Avellaneda, Rémi Morin:
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers. 19-28
Concurrent System Verification
- Antti Siirtola:
Bounds: From Parameterised to Finite-State Verification. 31-35 - Henri Hansen, Xu Wang:
Compositional Analysis for Weak Stubborn Sets. 36-43 - Sandie Balaguer, Thomas Chatain, Stefan Haar:
Building Tight Occurrence Nets from Reveals Relations. 44-53
Conformance and Run-Time Techniques
- Arya Adriansyah, Natalia Sidorova, Boudewijn F. van Dongen:
Cost-Based Fitness in Conformance Checking. 57-66 - Yu Zhou, Terrence S. T. Mak, Alex Yakovlev:
Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems. 67-76 - Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. 77-86
Stochastic Systems
- Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker:
Bounded Fairness for Probabilistic Distributed Algorithms. 89-97 - Luz Judith R. Esparza, Kebin Zeng, Bo Friis Nielsen:
A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks. 98-107 - Jasen Markovski:
Towards Supervisory Control of Interactive Markov Chains: Controllability. 108-117 - Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski:
New Results on Abstract Probabilistic Automata. 118-127
Asynchronous Circuits
- Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev:
Improved Parallel Composition of Labelled Petri Nets. 131-140 - Dominic Wist, Walter Vogler, Ralf Wollowski:
STG Decomposition: Partitioning Heuristics. 141-150
Synchronous and Heterogeneous Systems
- Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet:
Semantic Adaptation for Models of Computation. 153-162 - Yu Bai, Jens Brandt, Klaus Schneider:
Data-Flow Analysis of Extended Finite State Machines. 163-172 - Avinash Malik, Alain Girault, Zoran Salcic:
A GALS Language for Dynamic Distributed and Reactive Programs. 173-182
Timed Systems
- Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks. 185-194 - Franck Cassez:
Timed Games for Computing WCET for Pipelined Processors with Caches. 195-204
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.
last updated on 2024-12-31 21:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
