Freek Verbeek

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal verification of a deadlock detection algorithm	2024-08-13	Paper
Verification of building blocks for asynchronous circuits	2024-08-13	Paper
Low-level reachability analysis based on formal logic	2023-12-12	Paper
Highly automated formal proofs over memory usage of assembly code Tools and Algorithms for the Construction and Analysis of Systems	2021-11-10	Paper
scientific article; zbMATH DE number 7075870 (Why is no real title available?)	2019-07-03	Paper
A Compositional Approach for Verifying Protocols Running on On-Chip Networks IEEE Transactions on Computers	2018-09-20	Paper
Deadlock Verification of Cache Coherence Protocols and Communication Fabrics IEEE Transactions on Computers	2017-06-08	Paper
Proof pearl: a formal proof of Dally and Seitz' necessary and sufficient condition for deadlock-free routing in interconnection networks Journal of Automated Reasoning	2012-07-17	Paper
A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks Interactive Theorem Proving	2010-09-14	Paper

Research outcomes over time

This page was built for person: Freek Verbeek