June 4, 2020
June 2020 - Three papers accepted this week! A paper on “Statistical Model Checking for Probabilistic Hyperproperties” has been accepted at the 2021 IEEE Computer Security Foundations Symposium (CSF), "Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes" has been accepted at the 2020 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), part of ESWeek'20, and “Context-Aware Temporal Logic for Probabilistic Systems” has been accepted at the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA)!