Search results for "ACSD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1		2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK	ACSD	2001	DBLP BibTeX RDF
1	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
1	Louise Lorentsen, Lars Michael Kristensen	Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method.	ACSD	2001	DBLP DOI BibTeX RDF
1	Josep Carmona 0001, Jordi Cortadella, Enric Pastor	A structural encoding technique for the synthesis of asynchronous circuits.	ACSD	2001	DBLP DOI BibTeX RDF
1	Michael Baldamus, Klaus Schneider 0001	The BDD Space Complexity of Different Forms of Concurrency.	ACSD	2001	DBLP DOI BibTeX RDF
1	Wlodzimierz M. Zuberek	Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures.	ACSD	2001	DBLP DOI BibTeX RDF
1	Juhana Helovuo, Sari Leppänen	Exploration Testing.	ACSD	2001	DBLP DOI BibTeX RDF
1	Ricardo Jorge Machado 0001, João M. Fernandes	A Petri Net Meta-Model to Develop Software Components for Embedded Systems.	ACSD	2001	DBLP DOI BibTeX RDF
1	Thomas Arts, Izak van Langevelde	Correct Performance of Transaction Capabilities.	ACSD	2001	DBLP DOI BibTeX RDF
1	Radu Negulescu, Xiaohua Kong	Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits.	ACSD	2001	DBLP DOI BibTeX RDF	protocol compliance, interface recasting, edge-triggered, verification, interface design, handshake
1	Nikolai Starodoubtsev, Sergei Bystrov, Michael V. Goncharov, Ilya V. Klotchkov, Alexander B. Smirnov	Towards Synthesis of Monotonic Asynchronous Circuits from Signal Transition Graphs.	ACSD	2001	DBLP DOI BibTeX RDF
1	Klaus Schneider 0001	Embedding Imperative Synchronous Languages in Interactive Theorem Provers.	ACSD	2001	DBLP DOI BibTeX RDF
1	Oscar Garnica, Juan Lanchares, Román Hermida	Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using Stage Reorganization and Optimal Stage Parameter Estimation.	ACSD	2001	DBLP DOI BibTeX RDF
1	Miguel J. Hornos, Manuel I. Capel	Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.	ACSD	2001	DBLP DOI BibTeX RDF
1	Martin Grajcar	Strength and Weaknesses of Genetic List Scheduling for Heterogeneous Systems.	ACSD	2001	DBLP DOI BibTeX RDF
1	Charles Andre, Frédéric Boulanger, Alain Girault	Software Implementation of Synchronous Programs.	ACSD	2001	DBLP DOI BibTeX RDF
1	Naoshi Uchihira	How to Make Concurrent Programs Highly Reliable- More than State Space Analysis.	ACSD	1998	DBLP DOI BibTeX RDF
1	Radu Negulescu	Event-Driven Verification of Switch-Level Correctness Concerns.	ACSD	1998	DBLP DOI BibTeX RDF	switch-level, Verification, concurrency, safety, deadlock, asynchronous, event-driven, speed-independence, process spaces
1	Giovanna Di Marzo Serugendo, Nicolas Guelfi	Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	Concurrent and Distributed Systems, Java, Petri Nets, Reverse Engineering, Algebraic Specifications, Property Verification
1	Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier	A Translation of Statecharts into Signal Approach of Time, Interoperability.	ACSD	1998	DBLP DOI BibTeX RDF
1	Raymond R. Devillers, Maciej Koutny	Recursive Nets in the Box Algebra.	ACSD	1998	DBLP DOI BibTeX RDF	box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint
1		1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan	ACSD	1998	DBLP BibTeX RDF
1	Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig	Traffic Lights - An AutoFocus Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	graphical debugging, simulation, visualization, embedded systems, prototyping, validation, case study, systems development, AutoFocus
1	Wil M. P. van der Aalst	Modeling and Analyzing Interorganizational Workflows.	ACSD	1998	DBLP DOI BibTeX RDF	Interorganizational workflow, analysis of workflows, Petri nets, electronic commerce, workflow management
1	Jainendra Kumar, Carl Pixley	Logic and Functional Verification in a Commercial Semiconductor Environment.	ACSD	1998	DBLP DOI BibTeX RDF
1	Luciano Lavagno	System-Level Design Models and Implementation Techniques.	ACSD	1998	DBLP DOI BibTeX RDF	finite state machines, formal models, system-level design, co-simulation, co-synthesis
1	Swarup Mohalik, Ramaswamy Ramanujam	A Presentation of Regular Languages in the Assumption - Commitment Framework.	ACSD	1998	DBLP DOI BibTeX RDF	assumption-commitment, distributed systems, Regular languages
1	Toshiyuki Miyamoto, Sadatoshi Kumagai	Calculating Place Capacity for Petri Nets Using Unfoldings.	ACSD	1998	DBLP DOI BibTeX RDF	place capacity, Petri net, upper bound, unfolding, maximum clique
1	Jordi Cortadella	Combining Structural and Symbolic Methods for the Verification of Concurrent Systems.	ACSD	1998	DBLP DOI BibTeX RDF	model checking, Petri nets, Formal verification, concurrent systems
1	Miroslav N. Velev, Randal E. Bryant	Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation.	ACSD	1998	DBLP DOI BibTeX RDF	pipelined microprocessor verification, memory shadowing, Efficient Memory Model (EMM), circuit correspondence checking, symbolic simulation
1	Radu Grosu, Gheorghe Stefanescu, Manfred Broy	Visual Formalisms Revisited.	ACSD	1998	DBLP DOI BibTeX RDF
1	Antonio Cerone, David A. Kearney, George J. Milne	Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.	ACSD	1998	DBLP DOI BibTeX RDF
1	Hagen Völzer	Verifying Fault Tolerance of Distributed Algorithms Formally - An Example.	ACSD	1998	DBLP DOI BibTeX RDF	Modelling, Petri nets, Formal verification, Temporal logic, Correctness, Fault-tolerant algorithms
1	Jörg Desel, Ekkart Kindler	Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	verification, Petri nets, Distributed algorithms, temporal logic
1	Michael V. Goncharov, Alexander B. Smirnov, Nikolai Starodoubtsev, Ilya V. Klotchkov	Timing Extensions of STG Model and a Method to Simulate Timed STG Behavior in VHDL Environment.	ACSD	1998	DBLP DOI BibTeX RDF	asynchronous circuits' design, simulation, VHDL, Signal Transition Graph (STG)
1	Claudio Demartini, Riccardo Sisto	A Java-based Formal Development Environment for Factory Communication Systems.	ACSD	1998	DBLP DOI BibTeX RDF	OOA&D, factory communication systems, Java, formal verification
1	Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev	Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.	ACSD	1998	DBLP DOI BibTeX RDF	CSC conflicts, Petri Nets, unfoldings, asynchronous design
1	Dang Van Hung	Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.	ACSD	1998	DBLP DOI BibTeX RDF	Biphase Mark Protocol, Theorem Prover, Duration Calculus
1	Kazuhiro Nakamura, Satoshi Yamane	Formal Verification of Real-Time Software by Symbolic Model-Checker.	ACSD	1998	DBLP DOI BibTeX RDF	temporal logic, approximations, BDD, symbolic model-checking, real-time software
1	Krzysztof Bilinski, Erik L. Dagless	Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers.	ACSD	1998	DBLP DOI BibTeX RDF
1	Antti Valmari, Ilkka Kokkarinen	Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond.	ACSD	1998	DBLP DOI BibTeX RDF
1	Tomohiro Yoneda, Yutaka Ohtsuka, Märt Saarepera	Verification of Parameterized Asynchronous Circuits: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	parameterized asynchronous circuits, ACTL model checking, Formal verification, abstraction, PVS
1	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
1	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy

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