Research output per year
Research output per year
Research output
Search results
-
An Automata-Based Approach to Trace Partitioned Abstract Interpretation
Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
Benign Interaction of Security Domains
Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 312-331 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
CTL as an intermediate language
Jones, N. D. & Hansen, R. R., 2008, Verification, Model Checking, and Abstract Interpretation. Springer, p. 4- (Lecture Notes in Computer Science; No. 4905).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research
-
Formal Modelling and Analysis of Socio-Technical Systems
Probst, C. W., Kammüller, F. & Hansen, R. R., 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
8 Citations (Scopus)