1 research outputs found
A survey of challenges for runtime verification from advanced application domains (beyond software)
- Author
- A Arasu
- A Bemporad
- A Francalanza
- A Francalanza
- A Francalanza
- A Francalanza
- A Francalanza
- A Lomuscio
- A Sabelfeld
- A Saini
- A Shabtai
- Adrian Francalanza
- AK Bauer
- AK Bauer
- Alexander Weiss
- B Beyer
- B Meyer
- B Yu
- C Belta
- C Colombo
- C Colombo
- C Colombo
- C Colombo
- C Eisner
- C Prisacariu
- C Watterson
- Christian Colombo
- César Sánchez
- D Basin
- D Basin
- D Volpano
- DA Basin
- DB Lomet
- DC Luckham
- Dejan Nickovic
- DER Denning
- DER Denning
- Dmitriy Traytel
- Domenico Bianculli
- E Asarin
- E Asarin
- E Asarin
- E Asarin
- E Bartocci
- E Bartocci
- E Bartocci
- Ezio Bartocci
- FB Schneider
- G Cormode
- G Cormode
- G Cormode
- G Coulouris
- G Frehse
- G Jacob
- GE Fainekos
- GE Fainekos
- Gerardo Schneider
- GHV Wright
- Gordon J. Pace
- H Abbas
- H Attiya
- H Nazarpour
- HC Baker Jr
- I Hayes
- J Gait
- J Joyce
- J Joyce
- J Misra
- J Nelson
- J Reinders
- J Rufino
- JC Lee
- Joa̋o M. Lourenço
- Jose Rufino
- JREJ Shekita
- Julien Signoles
- JV Deshmukh
- K Yi
- L Kuhtz
- L Lamport
- L Lamport
- L Lessig
- M Alberti
- M Armbrust
- M Castro
- M Fränzle
- M Herlihy
- M Leucker
- MR Clarkson
- N Mittal
- NE Fuchs
- O Maler
- P Carbone
- R Alur
- R Fagin
- R Koymans
- R Morris
- R Wilhelm
- RM Karp
- S Alagar
- S Azzopardi
- S Hallé
- S Jaksic
- Srđan Krstić
- T Kuhn
- T Reinbacher
- T Wongpiromsarn
- TA Henzinger
- TM Vale
- VK Garg
- Wolfgang Ahrendt
- Y Falcone
- Y Falcone
- Y Ye
- Yliès Falcone
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study