Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marjan Sirjani, Frank S. de Boer, Ali Movaghar 0001, Amin Shali |
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France |
ACSD |
2005 |
DBLP BibTeX RDF |
|
1 | Timo Kellomäki, Antti Valmari |
A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Tripakis |
Two-Phase Distributed Observation Problems. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Scott A. Smolka |
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Conference Organizers. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kees Goossens |
Formal Methods for Networks on Chips. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Keijo Heljanko, Alin Stefanescu |
Complexity Results for Checking Distributed Implementability. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Blaise Genest, Anca Muscholl |
Message Sequence Charts: A Survey. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yinghua Li, Alex Kondratyev, Robert K. Brayton |
Gaining Predictability and Noise Immunity in Global Interconnects. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Gabriele Taentzer |
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation |
1 | Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle, Thomas Tuerk |
Maximal Causality Analysis. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Reviewers. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dumitru Potop-Butucaru, Benoît Caillaud |
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten |
An Algebra of Pareto Points. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hemangee K. Kapoor, Mark B. Josephs |
Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Steering Committee. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Clarisó, Jordi Cortadella |
Verification of Concurrent Systems with Parametric Delays Using Octahedra. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
Foreword. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
International Program Committee. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Rivierre, François Horn, Frédéric Dang Tran |
On Monitoring Concurrent Systems with TLA: An Example. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Hadjidj, Hanifa Boucheneb |
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Extensible and Scalable Time Triggered Scheduling. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Franck van Breugel, Mariya Koshkina |
Dead-Path-Elimination in BPEL4WS. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Walter Vogler, Ben Kangsah |
Improved Decomposition of STGs. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander B. Smirnov, Alexander Taubin, Ming Su, Mark G. Karpovsky |
An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
asynchronous EDA, QDI, synthesis, ASIC, HDL |
1 | Samuele Carpineti, Cosimo Laneve, Paolo Milazzo |
BoPi - A Distributed Machine for Experimenting Web Services Technologies. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jukka Honkola, Sari Leppänen, Teemu Tynjälä |
Modeling the SpaceWire Architecture with Lyra. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Werner Damm |
Controlling Speculative Design Processes Using Rich Component Models. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dag Björklund, Johan Lilius |
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | |
4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada |
ACSD |
2004 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta 0001 |
A Behavioral Type Inference System for Compositional System-on-Chip Design. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester |
Buffered Asynchronous Communication Mechanisms. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz M. Zuberek |
Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
Interleaved multithreaded architectures, performance analysis, timed Petri nets, distributed-memory multiprocessors, event-driven simulation |
1 | Tommi A. Junttila |
New Orbit Algorithms for Data Symmetries. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz |
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Toni Jussila |
BMC via Dynamic Atomicity Analysis. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits |
1 | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
Translating Erlang to µCRL. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar 0001 |
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark Lawford, Hong Zhang 0016 |
Equivalence Verification of Timed Transition Models. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marc Solé, Enric Pastor |
Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ed Brinksma |
Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kevin D. Seppi, Michael D. Jones, Peter Lamborn |
Guided Model Checking with a Bayesian Meta-heuristic. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Florence Maraninchi, Lionel Morel |
Arrays and Contracts for the Specification and Analysis of Regular Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey |
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Charles Lakos, Laure Petrucci |
Modular Analysis of Systems Composed of Semiautonomous Subsystems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bijan Alizadeh, Zainalabedin Navabi |
Property Checking based on Hierarchical Integer Equations. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John G. Thistle |
Synthesis of Supervisory Controls for Discrete Event Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann, Bassel Daou |
Comparison of Methods for Supervisory Control and Submodule Construction. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carl H. Hauser, David B. Benson |
On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
Context-based Process Algebras for Mobility. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Heikki Tauriainen |
Nested Emptiness Search for Generalized Büchi Automata. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
Case Studies of Model Checking for Embedded System Designs. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta 0001, Frederic Doucet |
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Boulanger |
ABTOOLS: Another B Tool. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | P. S. Thiagarajan |
Cyclic Communicating Processes: Hierarchy and Verification. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sander Stuijk, Twan Basten, Jan Ypma |
CAST - A Task-Level Concurrency Analysis Tool. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roman Jokl, Stanislav Racek |
C-Sim version 5.0. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi |
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Compositional Verification of Integrity for Digital Stream Signature Protocols. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano |
BHDL: Circuit Design in B. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sotiris Moschoyiannis, Michael W. Shields |
Component-Based Design: Towards Guided Composition. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron |
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dag Björklund, Johan Lilius, Ivan Porres |
Rialto Profile in the SMW Toolkit. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Henri Hansen, Heikki Virtanen, Antti Valmari |
Merging State-Based and Action-Based Verification. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth Pelz, Hans Fleischhack |
Compositional High Level Petri Nets with Timing Constraints - A Comparison. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Adrianna Alexander, Wolfgang Reisig |
Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | João Paulo Barros, Luís Gomes 0001 |
Modifying Petri Net Models by Means of Crosscutting Operations. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou Desbarbieux |
Design Validation of ZCSP with SPIN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luís Gomes 0001, Anikó Costa |
On Lifting of Statechart Structuring Mechanisms. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Juan José Sánchez Penas, Thomas Arts |
VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe |
Quasi-Static Scheduling for Concurrent Architectures. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
Detecting State Coding Conflicts in STG Unfoldings Using SAT. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis |
1 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo |
A New Synchronization in Finite Stochastic Petri Box Calculus. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
1 | |
3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal |
ACSD |
2003 |
DBLP BibTeX RDF |
|
1 | Ian Oliver |
Model Driven Embedded Systems. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro |
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury, P. S. Thiagarajan |
Communicating Transaction Processes. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Didier Buchs, Stanislav Chachkov, David Hurzeler |
Modelling a Secure, Mobile, and Transactional System with CO-OPN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol, Miguel Valero Espada |
Verification of JavaSpacesTM Parallel Programs. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing |
1 | Boualem Benatallah, Piotr Chrzastowski-Wachtel, Rachid Hamadi, Milton O'Dell, Adi Susanto |
HiWorD: A Petri Net-Based Hierarchical Workflow Designer. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Federico Crazzolara, Giuseppe Milicia |
A Framework for the Development of Protocols. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Grant Martin |
The Reality of System Design Today: Do Theory and Practice Meet? |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tuomo Pyhälä, Keijo Heljanko |
Specification Coverage Aided Test Selection. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn |
AutoFOCUS and the MoDe Tool. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yves Bontemps, Pierre-Yves Schobbens |
Synthesis of Open Reactive Systems from Scenario-Based Specifications. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Agnes Madalinski |
CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Kramer |
Making Meaningful Models for Mere Mortal. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens |
Abstracting from Failure Probabilities. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fei Xia, Ian G. Clark |
Algorithms for Signal and Message Asynchronous Communication Mechanisms and Their Analysis. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Implementing Communicating Processes in the Event of Interface Difference. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation |
1 | Sibylle Peuker |
Property Preserving Transition Refinement with Concurrent Runs: An Example. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
Transition Refinement, Distributed Systems, Verification, Petri Nets, Partial Order Semantics |
1 | Gerard J. Holzmann |
From Code to Models. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Chachkov, Didier Buchs |
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|