Eric Koskinen

From MaRDI portal
Person:832228

Available identifiers

zbMath Open koskinen.ericMaRDI QIDQ832228

List of research outcomes





PublicationDate of PublicationType
Proving LTL Properties of Bitvector Programs and Decompiled Binaries2023-03-29Paper
Constraint-based relational verification2022-03-25Paper
Decomposing data structure commutativity proofs with \(mn\)-differencing2021-10-18Paper
A Fixpoint Logic and Dependent Effects for Temporal Property Verification2021-01-20Paper
Synthesizing precise and useful commutativity conditions2020-11-02Paper
Adding concurrency to smart contracts2020-06-15Paper
Automatic generation of precise and useful commutativity conditions2019-09-16Paper
Local temporal reasoning2018-04-23Paper
Brief Announcement2017-10-11Paper
Using Abstract Interpretation to Correct Synchronization Faults2017-02-21Paper
Reducing crash recoverability to reachability2016-10-24Paper
Coarse-grained transactions2015-06-11Paper
Making prophecies with decision predicates2014-04-10Paper
Temporal property verification as a program analysis task2014-03-28Paper
Structural Counter Abstraction2013-08-05Paper

Research outcomes over time

This page was built for person: Eric Koskinen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832228&oldid=6931328"
Powered by MediaWiki