| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev |
Generalised Asynchronous Arbiter.  |
ACSD  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippas Tsigas |
Lock-free Concurrent Data Structures and How to Model their Performance. |
ACSD |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019 |
ACSD |
2019 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Béchennec, Didier Lime, Olivier H. Roux |
Control of DES with Urgency, Avoidability and Ineluctability. |
ACSD |
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. |
ACSD |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Farbod Taymouri, Josep Carmona 0001 |
Structural Computation of Alignments of Business Processes Over Partial Orders. |
ACSD |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Anders, Klaus Schneider 0001 |
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga |
Parametric Analyses of Attack-Fault Trees. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime, Mathias Ramparison |
Timed Automata with Parametric Updates. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Smith, Gianfranco Ciardo |
SOUPS: A Variable Ordering Metric for the Saturation Algorithm. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner |
Optimal-Cost Reachability Analysis Based on Time Petri Nets. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayleen Schinko, Walter Vogler |
Fault-Free Refinements for Interface Automata. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst |
Symbolically Aligning Observed and Modelled Behaviour. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | |
18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018 |
ACSD |
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. |
ACSD |
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. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Hervé Marchand, John Mullins |
Concurrent Secrets with Quantified Suspicion. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Jebali, Dumitru Potop-Butucaru |
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. |
ACSD |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Beaumont |
Plato: A Tool for Behavioural Specification of Asynchronous Circuits. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georges-Axel Jaloyan, Lee Pike |
Lock Optimization for Hoare Monitors in Real-Time Systems. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski |
Reduction of Order Structures. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Linard, Didier Buchs |
Ardoises: Collaborative & Interactive Editing Using Layered Data. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghaith Tarawneh, Andrey Mokhov |
Xprova: Formal Verification Tool with Built-in Metastability Modeling. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Foughali |
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime |
Liveness in L/U-Parametric Timed Automata. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017 |
ACSD |
2017 |
DBLP BibTeX RDF |
|
| 1 | Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro |
Process Windows. |
ACSD |
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. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola |
Refinement Checking Parameterised Quorum Systems. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Lunel, Benoît Boyer, Jean-Pierre Talpin |
Compositional Proofs in Differential Dynamic Logic dL. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol |
Property-Preserving Generation of Tailored Benchmark Petri Nets. |
ACSD |
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. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
Formal Design and Verification of an Asynchronous SRAM Controller. |
ACSD |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain |
Weaving True-Concurrent Aspects Using Constraint Solvers. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
The Congruences below Fair Testing with Initial Stability. |
ACSD |
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. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski |
From Petri Nets with Shared Variables to ITL. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Jelodari Mamaghani, Danil Sokolov, Jim D. Garside |
Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers |
Products of Transition Systems and Additions of Petri Nets. |
ACSD |
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. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci |
Controlling Actions and Time in Parametric Timed Automata. |
ACSD |
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. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Travers, Rishad A. Shafik, Fei Xia |
Power-Normalized Performance Optimization of Concurrent Many-Core Applications. |
ACSD |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferenc Bujtor, Walter Vogler |
ACTL for Modal Interface Automata. |
ACSD |
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 |
ACSD |
2016 |
DBLP BibTeX RDF |
|
| 1 | Étienne André, Thomas Chatain, César Rodríguez |
Preserving Partial Order Runs in Parametric Time Petri Nets. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Loïc Hélouët, John Mullins |
Non-interference in Partial Order Models. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ala-Eddine Ben Salem, Mohamed Graiet |
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov |
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. |
ACSD |
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. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Kamel Barkaoui |
Strongly Generalized Soundness of Time Workflow Nets. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferenc Bujtor, Lev Sorokin, Walter Vogler |
Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | |
15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 |
ACSD |
2015 |
DBLP BibTeX RDF |
|
| 1 | Stefan Vijzelaar, Wan J. Fokkink |
Multi-valued Abstraction Using Lattice Operations. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Isenberg 0002 |
Incremental Inductive Verification of Parameterized Timed Systems. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Stop It, and Be Stubborn! |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmundo López Bóbeda, Maximilien Colange, Didier Buchs |
Building a Symbolic Model Checker from Formal Language Description. |
ACSD |
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. |
ACSD |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola, Stavros Tripakis, Keijo Heljanko |
When Do We (Not) Need Complex Assume-Guarantee Rules? |
ACSD |
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. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferenc Bujtor, Walter Vogler |
Failure Semantics for Modal Transition Systems. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, Myriam Desainte-Catherine, Camilo Rueda |
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. |
ACSD |
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. |
ACSD |
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. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kari Kähkönen, Keijo Heljanko |
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Francis Hulin-Hubard |
BenchKit, a Tool for Massive Concurrent Benchmarking. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Akshay 0001, Loïc Hélouët, Madhavan Mukund |
Sessions with an Unbounded Number of Agents. |
ACSD |
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. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Furbach, Roland Meyer 0001, Klaus Schneider 0001, Maximilian Senftleben |
Memory Model-Aware Testing - A Unified Complexity Analysis. |
ACSD |
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 |
ACSD |
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. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurelien Deharbe, Frédéric Peschanski |
The Omniscient Garbage Collector: A Resource Analysis Framework. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves-Stan Le Cornec, Franck Pommereau |
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Knapik, Artur Meski, Wojciech Penczek |
Action Synthesis for Branching Time Logic: Theory and Applications. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola |
Parametrised Interface Automata. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Arpit Sharma 0002, Joost-Pieter Katoen |
Layered Reduction for Abstract Probabilistic Automata. |
ACSD |
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. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui |
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon |
Diagnosability under Weak Fairness. |
ACSD |
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. |
ACSD |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïg Jezequel, Eric Fabre, Victor Khomenko |
Factored Planning: From Automata to Petri Nets. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay |
Tag Machines for Modeling Heterogeneous Systems. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
Bounded Model Checking of an MITL Fragment for Timed Automata. |
ACSD |
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. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer 0001 |
Prototyping a Concurrency Model. |
ACSD |
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. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license