Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Catalin Dima
Verification of EB3 Specifications Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Validation of Asynchronous Circuit Specifications Using IF/CADP
Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip
Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic Engineering
Engineering
Electrical
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications
Computer Networks
Computer Networks
Communications
Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
Proceedings of the Institute for System Programming of RAS
Executing Specifications Using Synthesis and Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
