Showing 1–20 of 53 results
/ Date/ Name
Feb 28, 2020Declarative Stream Runtime Verification (hLola)Feb 11, 2019COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1Jul 12, 2022Symbolic Runtime Verification for Monitoring under Uncertainties and AssumptionsJul 13, 2023Retroactive Parametrized MonitoringJul 14, 2022Multi: a Formal Playground for Multi-Smart Contract InteractionJun 3, 2022A Tableau Method for the Realizability and Synthesis of Reactive Safety SpecificationsDec 14, 2013Parametrized Invariance for Infinite State ProcessesJul 31, 2025Explanations for Unrealizability of Infinite-State Safety ShieldsJan 6, 2012Abstracting Runtime Heaps for Program UnderstandingJan 22, 2024Monitoring the Future of Smart ContractsApr 28, 2021A Temporal Logic for Asynchronous HyperpropertiesApr 26, 2021Asynchronous Extensions of HyperLTLAug 14, 2017Timed Epistemic Knowledge Bases for Social Networks (Extended Version)Jan 18, 2013A Decidable Theory of Skiplists of Unbounded Size and Arbitrary HeightSep 11, 2025Setchain Algorithms for Blockchain ScalabilityJul 6, 2022Expressiveness and Decidability of Temporal Logics for Asynchronous HyperpropertiesFeb 9, 2023Improving Blockchain Scalability with the Setchain Data-typeJul 12, 2024Predictable and Performant Reactive Synthesis Modulo Theories via Functional SynthesisApr 25, 2024Unifying Asynchronous Logics for HyperpropertiesJun 6, 2024Shield Synthesis for LTL Modulo Theories