Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kenan Kalajdzic
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
MapReduce Particle Filtering With Exact Resampling and Deterministic Runtime
Eurasip Journal on Advances in Signal Processing
Hardware
Electronic Engineering
Signal Processing
Electrical
Architecture
Runtime Verification of Stochastic Systems
Runtime Checking for Program Verification
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Third International Competition on Runtime Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of C Memory Safety
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Runtime Verification Past Experiences and Future Projections
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
