מאמרים עם הרשאות לגישה ציבורית - Klaus Havelundלמידע נוסף
זמינים באתר כלשהו: 25
A tutorial on runtime verification
Y Falcone, K Havelund, G Reger
Engineering dependable software systems, 141-175, 2013
הרשאות: UK Engineering and Physical Sciences Research Council
Rule-based runtime verification revisited
K Havelund
International Journal on Software Tools for Technology Transfer 17 (2), 143-170, 2015
הרשאות: US National Aeronautics and Space Administration
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21, 31-70, 2019
הרשאות: US National Aeronautics and Space Administration, Austrian Science Fund …
First-order temporal logic monitoring with BDDs
K Havelund, D Peled, D Ulus
Formal Methods in System Design 56 (1), 1-21, 2020
הרשאות: US National Aeronautics and Space Administration
Verification and validation meet planning and scheduling
S Bensalem, K Havelund, A Orlandini
International Journal on Software Tools for Technology Transfer 16, 1-12, 2014
הרשאות: Government of Italy
Refining the safety–liveness classification of temporal properties according to monitorability
D Peled, K Havelund
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
הרשאות: US National Aeronautics and Space Administration
What is a trace? A runtime verification perspective
G Reger, K Havelund
International Symposium on Leveraging Applications of Formal Methods, 339-355, 2016
הרשאות: US National Aeronautics and Space Administration, European Commission
Runtime verification logics a language design perspective
K Havelund, G Reger
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
הרשאות: European Commission
DejaVu: a monitoring tool for first-order temporal logic
K Havelund, D Peled, D Ulus
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
הרשאות: US National Aeronautics and Space Administration
Domain-specific languages with Scala
C Artho, K Havelund, R Kumar, Y Yamagata
Formal Methods and Software Engineering: 17th International Conference on …, 2015
הרשאות: US National Aeronautics and Space Administration
Inferring event stream abstractions
S Kauffman, K Havelund, R Joshi, S Fischmeister
Formal methods in system design 53 (1), 54-82, 2018
הרשאות: US Department of Defense
Runtime verification-17 years later
K Havelund, G Roşu
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
הרשאות: US National Aeronautics and Space Administration
Towards a systems programming language designed for hierarchical state machines
B McClelland, D Tellier, M Millman, KB Go, A Balayan, MJ Munje, ...
2021 IEEE 8th International Conference on Space Mission Challenges for …, 2021
הרשאות: US National Aeronautics and Space Administration
BDDs for representing data in runtime verification
K Havelund, D Peled
International Conference on Runtime Verification, 107-128, 2020
הרשאות: US National Aeronautics and Space Administration
Modeling rover communication using hierarchical state machines with scala
K Havelund, R Joshi
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
הרשאות: US National Aeronautics and Space Administration
A Python library for trace analysis
D Dams, K Havelund, S Kauffman
International Conference on Runtime Verification, 264-273, 2022
הרשאות: US National Aeronautics and Space Administration, European Commission
Modeling with scala
K Havelund, R Joshi
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
הרשאות: US National Aeronautics and Space Administration
A refinement proof for a garbage collector
K Havelund, N Shankar
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019
הרשאות: US National Aeronautics and Space Administration
Programming event monitors
K Havelund, GJ Holzmann
International Journal on Software Tools for Technology Transfer 26 (1), 33-47, 2024
הרשאות: US National Aeronautics and Space Administration
Autonomica: Ontological Modeling and Analysis of Autonomous Behavior
M Elaasar, N Rouquette, K Havelund, M Feather, S Bandyopadhyay, ...
INCOSE International Symposium 33 (1), 1570-1585, 2023
הרשאות: US National Aeronautics and Space Administration
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב