Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla |
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay |
Incremental Generation of Linear Invariants for Component-Based Systems. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski |
Lexicographical Generations of Combined Traces. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, César Rodríguez, Stefan Schwoon |
Reveal Your Faults: It's Only Fair! |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Gesell, Klaus Schneider 0001 |
Modular Verification of Synchronous Programs. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Delosme, Thomas Hujsa, Alix Munier Kordon |
Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Franck Cassez, Jean-Luc Béchennec |
Timing Analysis of Binary Programs with UPPAAL. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jun Sawada, Dharmendra S. Modha |
SyNAPSE: Jun Sawada. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Baeza-Yates |
Invited Abstract. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florent Avellaneda, Rémi Morin |
Checking Partial-Order Properties of Vector Addition Systems with States. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski |
Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola, Keijo Heljanko |
Parametrised Compositional Verification with Multiple Process and Data Types. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Josep Carmona 0001, Mihai T. Lazarescu, Marta Pietkiewicz-Koutny (eds.) |
13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013 |
ACSD |
2013 |
DBLP BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Vojtech Havel |
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink |
Maximal Synthesis for Hennessy-Milner Logic. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel |
Implementing Timed Automata Specifications: The "Sandwich" Approach. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Geeraerts, Alexander Heußner, Jean-François Raskin |
Queue-Dispatch Asynchronous Systems. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor |
A Parametric Tool for Applied Process Calculi. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Desel |
On Cyclic Behaviour of Unbounded Petri Nets. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mateo Valero |
Killer-mobiles: The way towards energy efficient high performance computers? |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stanislavs Golubcovs, Walter Vogler, Norman Kluge |
STG-Based Resynthesis for Balsa Circuits. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen |
Incremental Bisimulation Abstraction Refinement. |
ACSD |
2013 |
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 | Antti Siirtola, Antti Puhakka, Gerald Lüttgen |
Introducing Fairness into Compositional Verification via Unidirectional Counters. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Mundy, Terrence S. T. Mak, Alex Yakovlev, Simon Davidson, Steve B. Furber |
Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication. |
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 | Javier Esparza, Christian Kern |
Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Solé, Josep Carmona 0001 |
A High-Level Strategy for C-net Discovery. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jasen Markovski, Michel A. Reniers |
Verifying Performance of Supervised Plants. |
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 | Antti Valmari |
All Linear-Time Congruences for Finite LTSs and Familiar Operators. |
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 | Joost-Pieter Katoen |
GSPNs Revisited: Simple Semantics and New Analysis Algorithms. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Mikulski, Maciej Koutny |
Hasse Diagrams of Combined Traces. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Walter Vogler, Christian Stahl, Richard Müller 0001 |
A Trace-Based Semantics for Responsiveness. |
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 | Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev |
Algebra of Parameterised Graphs. |
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 | Sven Linker |
Translating Structural Process Properties to Petri Net Markings. |
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 | Tim Strazny, Roland Meyer 0001 |
An Algorithmic Framework for Coverability in Well-Structured Systems. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jens Brandt 0001, 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 | Olli Saarikivi, Kari Kähkönen, Keijo Heljanko |
Improving Dynamic Partial Order Reductions for Concolic Testing. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák |
Sequence Chart Studio. |
ACSD |
2012 |
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 | Benoît Caillaud, Josep Carmona 0001, 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 | Franck Cassez |
Timed Games for Computing WCET for Pipelined Processors with Caches. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yu Zhou 0006, 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 | 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 | Jasen Markovski |
Towards Supervisory Control of Interactive Markov Chains: Controllability. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yu Bai 0003, Jens Brandt 0001, Klaus Schneider 0001 |
Data-Flow Analysis of Extended Finite State Machines. |
ACSD |
2011 |
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 | 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 | Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet |
Semantic Adaptation for Models of Computation. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arya Adriansyah, Natalia Sidorova, Boudewijn F. van Dongen |
Cost-Based Fitness in Conformance Checking. |
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 | Avinash Malik, Alain Girault, Zoran Salcic |
A GALS Language for Dynamic Distributed and Reactive Programs. |
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 0001 |
Compositional Analysis for Weak Stubborn Sets. |
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 | Jacek Sroka, Piotr Chrzastowski-Wachtel, Jan Hidders |
On Generating *-Sound Nets with Substitution. |
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 | Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001 |
Bounded Fairness for Probabilistic Distributed Algorithms. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Wist, Walter Vogler, Ralf Wollowski |
STG Decomposition: Partitioning Heuristics. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola |
Bounds: From Parameterised to Finite-State Verification. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
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 | Matthias Raffelsieper, Mohammad Reza Mousavi 0001, 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 | 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 | 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 | Fatemeh Ghassemi, Ali Movaghar 0001, Wan J. Fokkink |
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
Robustness of Sequential Circuits. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
robustness, sequential circuits, continuity, Mealy machines |
1 | Pepijn Crouzen, Holger Hermanns |
Aggregation Ordering for Massively Compositional Models. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wei Song 0002, Doug A. Edwards |
An Asynchronous Routing Algorithm for Clos Networks. |
ACSD |
2010 |
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 | Mike Gemunde, Jens Brandt 0001, Klaus Schneider 0001 |
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
Quartz, Subclocks, Semantics, Synchronous Languages |
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 | 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 | 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 | Wan J. 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 | 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 | 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 | 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 | Charlie Brej |
Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
wagging, parallelism, concurrency, Asynchronous |
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 | Bijoy Antony 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 | William 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 0001, Klaus Schneider 0001, 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 | Luís Gomes 0001, 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 | Josep Carmona 0001, 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 | Silvia Crafa, Francesco Ranzato, Francesco Tapparo |
Saving Space in a Time Efficient Simulation Algorithm. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Josep Carmona 0001, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
Scheduling Synchronous Elastic Designs. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Elastic systems, scheduling, optimization |
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 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone |
Why Are Modalities Good for Interface Theories?. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Roland Meyer 0001 |
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Structural Congruence, Computational Complexity, Graph Isomorphism, pi-Calculus |
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 | 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 | Yosinori Watanabe |
Examining Important Corner Cases: Verification of Interacting Architectural Components in System Designs. |
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 | Niels Lohmann, Karsten Wolf |
Petrifying Operating Guidelines for Services. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|