Research output per year
Research output per year
Personal profile
About Me
Formal verification of software and hardware; verification for security, knowledge and causality; temporal logics & automata
Fingerprint
Dive into the research topics where Hadar Frenkel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Monitoring Second-Order Hyperproperties
Beutner, R., Finkbeiner, B., Frenkel, H. & Metzger, N., 2024, In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2024-May, p. 180-188 9 p.Research output: Contribution to journal › Conference article › peer-review
2 Scopus citations -
Preface
Finkbeiner, B., Kovács, L., Beyer, D., Frenkel, H. & Rawson, M., 2024, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14571 LNCS, p. vii-ixResearch output: Contribution to journal › Editorial