Search results for "ACSD"

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

Publications at "ACSD"( http://dblp.L3S.de/Venues/ACSD )