|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 221 occurrences of 154 keywords
|
|
|
Results
Found 444 publication records. Showing 444 according to the selection in the facets
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 |
Displaying result #401 - #444 of 444 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|