Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcel Kyas
Executable Interface Specifications for Testing Asynchronous Creol Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Light-Weight Key Management Scheme for Active RFID Applications
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems
Related publications
Asynchronous Testing of Synchronous Components in GALS Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications
ACM Transactions on Parallel Computing
Mathematics
Simulation
Hardware
Computer Science Applications
Architecture
Modeling
Computational Theory
Software
Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules
Journal of Applied Logic
Applied Mathematics
Logic
Relations as Executable Specifications: Taming Partiality and Non-Determinism Using Invariants
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validation of Asynchronous Circuit Specifications Using IF/CADP
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformance Testing of Distributed Concurrent Systems With Executable Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asynchronous Pulse Transmitter for Power Reduction in ThruChip Interface
