Search results for "ACSD"

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

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