Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev |
Generalised Asynchronous Arbiter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 3-12, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philippas Tsigas |
Lock-free Concurrent Data Structures and How to Model their Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 1-2, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![IEEE, 978-1-7281-3843-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Béchennec, Didier Lime, Olivier H. Roux |
Control of DES with Urgency, Avoidability and Ineluctability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 92-101, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 23-32, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Farbod Taymouri, Josep Carmona 0001 |
Structural Computation of Alignments of Business Processes Over Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 73-81, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Markus Anders, Klaus Schneider 0001 |
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 53-62, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Felli, Massimiliano de Leoni, Marco Montali |
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 82-91, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Melot, Christoph W. Kessler, Patrick Eitschberger, Jörg Keller 0001 |
Co-Optimizing Core Allocation, Mapping and DVFS in Streaming Programs with Moldable Tasks for Energy Efficient Execution on Manycore Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 63-72, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga |
Parametric Analyses of Attack-Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 33-42, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Keryan Didier, Albert Cohen 0001, Dumitru Potop-Butucaru, Adrien Gauffriau |
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 43-52, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens |
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019, pp. 13-22, 2019, IEEE, 978-1-7281-3843-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Didier Lime, Mathias Ramparison |
Timed Automata with Parametric Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 21-29, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder |
Team Coordination Based on Causal Nets with Synchronous Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 60-69, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten |
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 40-49, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Smith, Gianfranco Ciardo |
SOUPS: A Variable Ordering Metric for the Saturation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 1-10, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner |
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 30-39, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ayleen Schinko, Walter Vogler |
Fault-Free Refinements for Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 85-94, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst |
Symbolically Aligning Observed and Modelled Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 50-59, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny |
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 70-74, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler |
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 95-104, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![IEEE Computer Society, 978-1-5386-7013-2 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine |
Complexity of Reachability for Data-Aware Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 11-20, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Markus Anders, Anoop Bhagyanath, Klaus Schneider 0001 |
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 115-124, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët, Hervé Marchand, John Mullins |
Concurrent Secrets with Quantified Suspicion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 75-84, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fatma Jebali, Dumitru Potop-Butucaru |
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 105-114, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Beaumont |
Plato: A Tool for Behavioural Specification of Asynchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 68-73, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georges-Axel Jaloyan, Lee Pike |
Lock Optimization for Hoare Monitors in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 126-135, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski |
Reduction of Order Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 96-105, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alban Linard, Didier Buchs |
Ardoises: Collaborative & Interactive Editing Using Layered Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 136-145, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anoop Bhagyanath, Klaus Schneider 0001 |
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 106-115, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen |
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 116-125, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ghaith Tarawneh, Andrey Mokhov |
Xprova: Formal Verification Tool with Built-in Metastability Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 74-79, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Foughali |
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 29-38, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Didier Lime |
Liveness in L/U-Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 9-18, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![IEEE Computer Society, 978-1-5386-2867-6 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro |
Process Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 86-95, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev |
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 80-85, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola |
Refinement Checking Parameterised Quorum Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 39-48, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Lunel, Benoît Boyer, Jean-Pierre Talpin |
Compositional Proofs in Differential Dynamic Logic dL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 19-28, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol |
Property-Preserving Generation of Tailored Benchmark Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 1-8, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller |
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 49-58, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
Formal Design and Verification of an Asynchronous SRAM Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017, pp. 59-67, 2017, IEEE Computer Society, 978-1-5386-2867-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain |
Weaving True-Concurrent Aspects Using Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 35-44, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari |
The Congruences below Fair Testing with Initial Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 25-34, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar |
An Approach to Verification of MPI Applications Defined in a High-Level Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 55-64, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski |
From Petri Nets with Shared Variables to ITL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 11-18, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami |
Checking Metric Temporal Logic with TRACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 19-24, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann |
Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 74-83, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Jelodari Mamaghani, Danil Sokolov, Jim D. Garside |
Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 104-113, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers |
Products of Transition Systems and Additions of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 65-73, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol |
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 114-123, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci |
Controlling Actions and Time in Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 45-54, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed A. Noaman Al-Hayanni, Ashur Rafiev, Rishad A. Shafik, Fei Xia |
Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 84-93, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Travers, Rishad A. Shafik, Fei Xia |
Power-Normalized Performance Optimization of Concurrent Many-Core Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 94-103, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Bujtor, Walter Vogler |
ACTL for Modal Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016, pp. 1-10, 2016, IEEE Computer Society, 978-1-5090-2589-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Desel, Alex Yakovlev (eds.) |
16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![IEEE Computer Society, 978-1-5090-2589-3 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Étienne André, Thomas Chatain, César Rodríguez |
Preserving Partial Order Runs in Parametric Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 120-129, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Loïc Hélouët, John Mullins |
Non-interference in Partial Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 80-89, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ala-Eddine Ben Salem, Mohamed Graiet |
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 20-29, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov |
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 100-109, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Arias 0001, Myriam Desainte-Catherine, Camilo Rueda |
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 140-151, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza |
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 40-49, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Qi Tang 0002, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei |
Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 90-99, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hanifa Boucheneb, Kamel Barkaoui |
Strongly Generalized Soundness of Time Workflow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 130-139, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Bujtor, Lev Sorokin, Walter Vogler |
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 60-69, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![IEEE Computer Society, 978-1-4673-7882-6 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Stefan Vijzelaar, Wan J. Fokkink |
Multi-valued Abstraction Using Lattice Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 70-79, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Isenberg 0002 |
Incremental Inductive Verification of Parameterized Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 1-9, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari |
Stop It, and Be Stubborn! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 10-19, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Edmundo López Bóbeda, Maximilien Colange, Didier Buchs |
Building a Symbolic Model Checker from Formal Language Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 50-59, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev |
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 110-119, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola, Stavros Tripakis, Keijo Heljanko |
When Do We (Not) Need Complex Assume-Guarantee Rules? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 30-39, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev |
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 122-131, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ferenc Bujtor, Walter Vogler |
Failure Semantics for Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 42-51, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Arias 0001, Myriam Desainte-Catherine, Camilo Rueda |
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 186-195, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel |
Controllability in Partial and Uncertain Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 52-61, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang |
Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 112-121, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kari Kähkönen, Keijo Heljanko |
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 142-151, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Kordon, Francis Hulin-Hubard |
BenchKit, a Tool for Massive Concurrent Benchmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 159-165, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Loïc Hélouët, Madhavan Mukund |
Sessions with an Unbounded Number of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 166-175, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen |
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 32-41, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florian Furbach, Roland Meyer 0001, Klaus Schneider 0001, Maximilian Senftleben |
Memory Model-Aware Testing - A Unified Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 92-101, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![IEEE Computer Society, 978-1-4799-4281-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol |
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 72-81, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aurelien Deharbe, Frédéric Peschanski |
The Omniscient Garbage Collector: A Resource Analysis Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 102-111, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yves-Stan Le Cornec, Franck Pommereau |
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 11-20, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michal Knapik, Artur Meski, Wojciech Penczek |
Action Synthesis for Branching Time Logic: Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 1-10, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola |
Parametrised Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 176-185, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arpit Sharma 0002, Joost-Pieter Katoen |
Layered Reduction for Abstract Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 21-31, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel 0001 |
Cyclo-Static Data Flow Model for TDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 82-91, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui |
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 152-158, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon |
Diagnosability under Weak Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 132-141, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit |
Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pp. 62-71, 2014, IEEE Computer Society, 978-1-4799-4281-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loïg Jezequel, Eric Fabre, Victor Khomenko |
Factored Planning: From Automata to Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 130-139, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay |
Tag Machines for Modeling Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 186-195, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
Bounded Model Checking of an MITL Fragment for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 216-225, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthew M. Y. Kuo, Partha S. Roop, Sidharta Andalam, Nitish D. Patel |
Precision Timed Embedded Systems Using TickPAD Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 206-215, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer 0001 |
Prototyping a Concurrency Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 170-179, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault |
Programming and Timing Analysis of Parallel Programs on Multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013, pp. 160-169, 2013, IEEE Computer Society, 978-0-7695-5035-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|