polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.
Christian ColomboAdrian FrancalanzaRuth MizziGordon J. PacePublished in: SEFM (2012)
Keyphrases
- real time
- monitoring system
- model checking
- object boundaries
- face verification
- verification method
- asynchronous circuits
- case study
- expert systems
- temporal logic
- concurrent systems
- intensive care
- person identification
- plan execution
- early warning
- multi agent
- information systems
- artificial intelligence
- machine learning
- real world