| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jens Brandt, Keijo Heljanko (eds.) |
12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012  |
ACSD  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
GSPNs Revisited: Simple Semantics and New Analysis Algorithms. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Linker |
Translating Structural Process Properties to Petri Net Markings. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Olli Saarikivi, Kari Kähkönen, Keijo Heljanko |
Improving Dynamic Partial Order Reductions for Concolic Testing. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola, Antti Puhakka, Gerald Lüttgen |
Introducing Fairness into Compositional Verification via Unidirectional Counters. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pazzi, Marco Pradelli |
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev |
On Dual-Rail Control Logic for Enhanced Circuit Robustness. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Lechner, Martin Lampacher, Thomas Polzer |
A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir |
State Space Analysis Using Symmetries on Decision Diagrams. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek |
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Sparsø |
Design of Networks-on-Chip for Real-Time Multi-processor Systems-on-Chip. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo J. Rodríguez, Jorge Júlvez, José Merseguer |
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bezdeka, Ondrej Bouda, Lubo Korenciak, Matú Madzin, Vojtech Rehák |
Sequence Chart Studio. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Mikulski, Maciej Koutny |
Hasse Diagrams of Combined Traces. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Christian Kern |
Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski, Michel A. Reniers |
Verifying Performance of Supervised Plants. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Strazny, Roland Meyer |
An Algorithmic Framework for Coverability in Well-Structured Systems. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Solé, Josep Carmona |
A High-Level Strategy for C-net Discovery. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Vogler, Christian Stahl, Richard Müller |
A Trace-Based Semantics for Responsiveness. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Kamel Barkaoui |
Reachability Analysis of P-time Petri Nets with Parametric Markings. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev |
Algebra of Parameterised Graphs. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
All Linear-Time Congruences for Finite LTSs and Familiar Operators. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Mundy, Terrence S. T. Mak, Alex Yakovlev, Simon Davidson, Steve Furber |
Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev |
Improved Parallel Composition of Labelled Petri Nets. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasen Markovski |
Towards Supervisory Control of Interactive Markov Chains: Controllability. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez |
Timed Games for Computing WCET for Pipelined Processors with Caches. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders |
On Generating *-Sound Nets with Substitution. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandie Balaguer, Thomas Chatain, Stefan Haar |
Building Tight Occurrence Nets from Reveals Relations. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Hansen, Xu Wang |
Compositional Analysis for Weak Stubborn Sets. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Avellaneda, Rémi Morin |
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Avinash Malik, Alain Girault, Zoran Salcic |
A GALS Language for Dynamic Distributed and Reactive Programs. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arya Adriansyah, N. Sidorova, Boudewijn F. van Dongen |
Cost-Based Fitness in Conformance Checking. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luz Judith R. Esparza, Kebin Zeng, Bo Friis Nielsen |
A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola |
Bounds: From Parameterised to Finite-State Verification. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi (eds.) |
11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 |
ACSD |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dominic Wist, Walter Vogler, Ralf Wollowski |
STG Decomposition: Partitioning Heuristics. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Bai, Jens Brandt, Klaus Schneider |
Data-Flow Analysis of Extended Finite State Machines. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
New Results on Abstract Probabilistic Automata. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker |
Bounded Fairness for Probabilistic Distributed Algorithms. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet |
Semantic Adaptation for Models of Computation. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova |
Runtime Programming through Model-Preserving, Scalable Runtime Patches. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Marc Voorhoeve, Twan Basten |
Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Zhou, Terrence S. T. Mak, Alex Yakovlev |
Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola |
Cut-Offs with Network Invariants. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
parameterised verification, cut-off, formal verification, refinement, process algebra, induction, network invariant |
| 1 | Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski |
STG Decomposition: Internal Communication for SI Implementability. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
CSC, decomposition, STG, resynthesis, speed independent |
| 1 | Benoît Delahaye, Benoît Caillaud, Axel Legay |
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron |
polyDD: Towards a Framework Generalizing Decision Diagrams. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema |
Order-Independence of Vector-Based Transition Systems. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
Vector-based transition systems, Moore machines, Order independence, Model checking, Partial order reduction |
| 1 | Parisa Heidari, Hanifa Boucheneb |
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
on-the-fly algorithm, reachability properties, time Petri nets, safety properties, controller synthesis |
| 1 | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer |
A Linear Process-Algebraic Format for Probabilistic Systems with Data. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, data-dependent probabilistic choice, symbolic transformations, linearisation |
| 1 | Luís Gomes, Victor Khomenko, João M. Fernandes (eds.) |
10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010 |
ACSD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs |
Partial Order Reduction for Branching Security Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
branching security protocols, bisimulation, partial order reduction |
| 1 | Mike Gemunde, Jens Brandt, Klaus Schneider |
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
Quartz, Subclocks, Semantics, Synchronous Languages |
| 1 | Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila |
Efficient Model Checking of PSL Safety Properties. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
model checking, safety properties, PSL, NuSMV |
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier |
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
embedded software architecture design, program analysis and transformation, domain-specific language |
| 1 | Wei Song 0002, Doug Edwards |
An Asynchronous Routing Algorithm for Clos Networks. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
From POOSL to UPPAAL: Transformation and Quantitative Analysis. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
POOSL, performance, verification, transformation, quantitative analysis, UPPAAL |
| 1 | Pepijn Crouzen, Holger Hermanns |
Aggregation Ordering for Massively Compositional Models. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlie Brej |
Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
wagging, parallelism, concurrency, Asynchronous |
| 1 | Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink |
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Jason Pribble, Sandeep K. Shukla |
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
polychrony, multi-clock, embedded software, software synthesis, prime implicate, synchronous programming, multirate |
| 1 | Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev |
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
synthesis, microarchitecture, partial orders, instruction set, asynchronous control |
| 1 | Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon |
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
security, Petri nets, static analysis, observers, IDS, behavior modeling, automatic code generation |
| 1 | Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla |
The Model Checking View to Clock Gating and Operand Isolation. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
operand isolation, model checking, clock gating |
| 1 | Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
Robustness of Sequential Circuits. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
robustness, sequential circuits, continuity, Mealy machines |
| 1 | W. B. Toms, David A. Edwards |
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
Asynchronous Combinational Logic Synthesis, Datapath Synthesis |
| 1 | Jens Brandt, Mike Gemunde, Klaus Schneider |
Desynchronizing Synchronous Programs by Modes. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Synchronous Programs, Desynchronization |
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
Genet: A Tool for the Synthesis and Mining of Petri Nets. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, Mining, Theory of Regions |
| 1 | Mark Schäfer, Dominic Wist, Ralf Wollowski |
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
DesiJ, SI synthesis, decomposition, STG, state space explosion |
| 1 | Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux |
Time Arc Petri Nets and Their Analysis. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Time arc Petri nets, strong and weak semantics, state space abstraction, state zone graph |
| 1 | Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi |
Model Checking Verilog Descriptions of Cell Libraries. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Roland Meyer |
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Structural Congruence, Computational Complexity, Graph Isomorphism, pi-Calculus |
| 1 | Arjan J. Mooij, Marc Voorhoeve |
Trading Off Concurrency to Generate Behavioral Adapters. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler |
Specification Enforcing Refinement for Convertibility Verification. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
forced simulation, discrete controller synthesis, Protocol conversion |
| 1 | |
Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009 |
ACSD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yosinori Watanabe |
Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Simon Bäumler |
Formal Verification of Lock-Free Algorithms. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Mauser, Robert Lorenz 0001 |
Variants of the Language Based Synthesis Problem for Petri Nets. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Petri Nets, Synthesis, Languages, Regions |
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
synchronous specification, asynchronous implementation, weak endochrony, GALS |
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone |
Why Are Modalities Good for Interface Theories?. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola, Juha Kortelainen |
Parameterised Process Algebraic Verification by Precongruence Reduction. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
parameterised verification, process algebra, refinement checking |
| 1 | Silvia Crafa, Francesco Ranzato, Francesco Tapparo |
Saving Space in a Time Efficient Simulation Algorithm. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev |
Flat Arbiters. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous circuits, Signal Transition Graph (STG), Arbiters, Speed-independent circuits |
| 1 | Stephen B. Furber, Andrew D. Brown |
Biologically-Inspired Massively-Parallel Architectures - Computing Beyond a Million Processors. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
neural networks, fault-tolerance, Massively-parallel |
| 1 | Niels Lohmann, Karsten Wolf |
Petrifying Operating Guidelines for Services. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
Scheduling Synchronous Elastic Designs. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Elastic systems, scheduling, optimization |
| 1 | Andrew Bardsley, Luis A. Tarazona, Doug A. Edwards |
Teak: A Token-Flow Implementation for the Balsa Language. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
logic synthesis, asynchronous logic |
| 1 | Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz |
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
business process composition, livelock freedom, service-oriented architecture, state space reduction |
| 1 | Lijun Zhang 0001, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter |
Time-bounded model checking of infinite-state continuous-time Markov chains. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Laure Petrucci |
Modular construction of the symbolic observation graph. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani |
Process algebraic verification of SystemC codes. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Gong, Keqing He, Jian Wang, Zaiwen Feng |
Dynamic semantics of OWL-S in CSP-OZ. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Navid Toosizadeh, Safwat G. Zaky |
Using edge-triggering in the asynchronous synthesis of write-after-read operations. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnes Madalinski, Eric Fabre |
Modular construction of finite and complete prefixes of Petri net unfoldings. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shijun Lin, Li Su, Haibo Su, Guofei Zhou, Depeng Jin, Lieguang Zeng |
A method for latency/bandwidth guarantees in Network-on-Chip. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro |
On the interplay between fault handling and request-response service invocations. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Oberheid, Dennis Gamrad, Dirk Söffker |
Closed loop state space analysis and simulation for Cognitive Systems. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Dubrovin, Tommi A. Junttila |
Symbolic model checking of hierarchical UML state machines. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kishinevsky, Jordi Cortadella |
Time elastic digital systems and Petri Nets. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")