Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Srdjan Krstic
On the Risk of Tool Over-Tuning in Run-Time Verification Competitions (Position Paper)
Related publications
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
Automatic Result Verification by Complete Run-Time Checking of Computations
International Journal of Foundations of Computer Science
Computer Science
A Run-Time Verification Framework for Smart Grid Applications Implemented on Simulation Frameworks
Run-Time Risk Management in Adaptive ICT Systems
Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
Position Paper on Clostridium Difficile
Infection Control and Hospital Epidemiology
Epidemiology
Infectious Diseases
Microbiology
Editorial: The CAG Position Paper on Pensions
Canadian Journal on Aging
Gerontology
Geriatrics
Health
Home Care
Community
Position Paper
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Strategy Game Competitions
AI Magazine
Artificial Intelligence
