Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stijn de Gouw
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
Related publications
Experience and Benefites of Using the Uno Run Blow Box.
JAPAN TAPPI JOURNAL
On the Risk of Tool Over-Tuning in Run-Time Verification Competitions (Position Paper)
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-Adaptation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of EB3 Specifications Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Average Case Time Complexity Estimator for Black-Box Functions
Hierarchical Verification Using an MDG-HOL Hybrid Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Experience of Development of Special Technical Specifications on Linear Electrical Motors Designing
Transportation systems and technology
EUROCORES on the Development of a Stem Cell Tool Box
Journal of Cellular and Molecular Medicine
Molecular Medicine
Cell Biology
