Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
Bouakaz, A., Talpin, J., Vitek, J.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Improving Dynamic Partial Order Reductions for Concolic Testing
Saarikivi, O., Kahkonen, K., Heljanko, K.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Verifying Performance of Supervised Plants
Markovski, J., Reniers, M. A.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
GSPNs Revisited: Simple Semantics and New Analysis Algorithms
Katoen, Joost-Pieter
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Design of Networks-on-Chip for Real-Time Multi-processor Systems-on-Chip
Sparso, J.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation
Rodriguez, R. J., Julvez, J., Merseguer, J.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
On Dual-Rail Control Logic for Enhanced Circuit Robustness
Mokhov, A., Khomenko, V., Sokolov, D., Yakovlev, A.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
A High-Level Strategy for C-net Discovery
Sole, M., Carmona, J.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
Lechner, J., Lampacher, M., Polzer, T.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
A Trace-Based Semantics for Responsiveness
Vogler, W., Stahl, C., Muller, R.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
All Linear-Time Congruences for Finite LTSs and Familiar Operators
Valmari, A.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts
Pazzi, L., Pradelli, M.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Hasse Diagrams of Combined Traces
Mikulski, L., Koutny, M.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Reachability Analysis of P-time Petri Nets with Parametric Markings
Boucheneb, H., Barkaoui, K.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Sequence Chart Studio
Bezdeka, M., Bouda, O., Korenciak, L., Madzin, M., Reh'k, V.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings
Esparza, J., Kern, C.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
An Algorithmic Framework for Coverability in Well-Structured Systems
Strazny, T., Meyer, R.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Algebra of Parameterised Graphs
Mokhov, A., Khomenko, V., Alekseyev, A., Yakovlev, A.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Message from the Programme Co-chairs
Brandt, Jens, Heljanko, Keijo
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication
Mundy, A., Mak, T., Yakovlev, A., Davidson, S., Furber, S.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding