Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Danilo Filgueira Mendonça
Dependability Verification for Contextual/Runtime Goal Modelling
Related publications
Runtime Checking for Program Verification
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of Stochastic Systems
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
Rule Systems for Runtime Verification: A Short Tutorial
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
Towards Contextual Goal-Oriented Perception for Pedestrian Simulation
Dependability Modelling of Layered Systems
