Freek Verbeek - RankMe

53 papers A* 4A 2B 8C 5Misc 1Journal 20Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Augmented Weak Distance for Fast and Accurate Bounds Checking. CoRR Zhoulai Fu, Freek Verbeek, Binoy Ravindran
2025	J	`jnl`	BeePL: Correct-by-compilation kernel extensions. CoRR Swarn Priya, Frédéric Besson, Connor Sughrue, Tim Steenvoorden, Jamie Fulford, Freek Verbeek, Binoy Ravindran
2025	A*	`conf`	Formally Verified Binary-Level Pointer Analysis. ICSE Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran
2025	J	`jnl`	Formally Verified Binary-level Pointer Analysis. CoRR Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran
2025	J	`jnl`	On Extending Incorrectness Logic with Backwards Reasoning. Proc. ACM Program. Lang. Freek Verbeek, Md Syadus Sefat, Zhoulai Fu, Binoy Ravindran
2024	B	`conf`	Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. DIMVA Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran
2024	J	`jnl`	HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection. CoRR Jaidev Shastri, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar, Freek Verbeek, Binoy Ravindran
2024	Misc	`conf`	On the Decidability of Disassembling Binaries. TASE Daniel Engel, Freek Verbeek, Binoy Ravindran
2024	A*	`conf`	Poster: Formally Verified Binary Lifting to P-Code. CCS Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran
2024	J	`jnl`	Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023). ACM SIGSOFT Softw. Eng. Notes João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino
2024	A*	`conf`	Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. CCS Freek Verbeek, Nico Naus, Binoy Ravindran
2024	J	`jnl`	libLISA: Instruction Discovery and Analysis on x86-64. Proc. ACM Program. Lang. Jos Craaijo, Freek Verbeek, Binoy Ravindran
2023	C	`conf`	BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP Daniel Engel, Freek Verbeek, Binoy Ravindran
2023	C	`conf`	Low-Level Reachability Analysis Based on Formal Logic. TAP Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
2022	—	`conf`	A Formal Semantics for P-Code. VSTTE Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran
2022	—	`conf`	DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. NFM Xiaoxin An, Freek Verbeek, Binoy Ravindran
2022	A*	`conf`	Formally verified lifting of C-compiled x86-64 binaries. PLDI Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran
2022	J	`jnl`	Reachability Logic for Low-Level Programs. CoRR Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran
2021	—	`conf`	Verification of Functional Correctness of Code Diversification Techniques. NFM Jae-Won Jang, Freek Verbeek, Binoy Ravindran
2021	J	`jnl`	X86 instruction semantics and basic block symbolic execution. Arch. Formal Proofs Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran
2020	—	`conf`	Highly Automated Formal Proofs over Memory Usage of Assembly Code. TACAS (2) Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran
2020	B	`conf`	Sound C Code Decompilation for a Subset of x86-64 Binaries. SEFM Freek Verbeek, Pierre Olivier, Binoy Ravindran
2019	J	`jnl`	A benchmark for C program verification. CoRR Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk
2019	C	`conf`	Establishing a refinement relation between binaries and abstract code. MEMOCODE Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle
2019	B	`conf`	Formal Verification of Memory Preservation of x86-64 Binaries. SAFECOMP Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
2019	B	`conf`	Formally verified big step semantics out of x86-64 binaries. CPP Ian Roessle, Freek Verbeek, Binoy Ravindran
2018	J	`jnl`	A Compositional Approach for Verifying Protocols Running on On-Chip Networks. IEEE Trans. Computers Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh
2017	J	`jnl`	Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. IEEE Trans. Computers Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh
2017	B	`conf`	Estimating worst-case latency of on-chip interconnects with formal simulation. FMCAD Freek Verbeek, Nike van Vugt
2016	A	`conf`	ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects. DATE Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh
2016	—	`conf`	CoBRA: Low cost compensation of TSV failures in 3D-NoC. DFT Ronak Salamat, Masoumeh Ebrahimi, Nader Bagherzadeh, Freek Verbeek
2015	—	`conf`	Formal API Specification of the PikeOS Separation Kernel. NFM Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
2014	J	`jnl`	A Decision Procedure for Deadlock-Free Routing in Wormhole Networks. IEEE Trans. Parallel Distributed Syst. Freek Verbeek, Julien Schmaltz
2014	J	`jnl`	Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
2014	C	`conf`	Inference of channel types in micro-architectural models of on-chip communication networks. VLSI-SoC Bernard van Gastel, Freek Verbeek, Julien Schmaltz
2014	B	`conf`	On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. SAFECOMP Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
2014	—	`ed.`	Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. ACL2 Freek Verbeek, Julien Schmaltz
2014	J	`jnl`	Recreational Formal Methods: Designing Vacuum Cleaning Trajectories. Bull. EATCS Frits W. Vaandrager, Freek Verbeek
2013	—	`conf`	Formal Deadlock Verification for Click Circuits. ASYNC Freek Verbeek, Sebastiaan J. C. Joosten, Julien Schmaltz
2013	—	`conf`	Verification of Building Blocks for Asynchronous Circuits ACL2 Freek Verbeek, Julien Schmaltz
2012	—	`conf`	A formally verified deadlock-free routing function in a fault-tolerant NoC architecture. SBCCI Abdulaziz Alhussien, Nader Bagherzadeh, Freek Verbeek, Bernard van Gastel, Julien Schmaltz
2012	—	`conf`	Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics. HLDVT Freek Verbeek, Julien Schmaltz
2012	J	`jnl`	Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures. ACM Trans. Design Autom. Electr. Syst. Freek Verbeek, Julien Schmaltz
2012	J	`jnl`	Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. J. Autom. Reason. Freek Verbeek, Julien Schmaltz
2012	J	`jnl`	Towards the formal verification of cache coherency at the architectural level. ACM Trans. Design Autom. Electr. Syst. Freek Verbeek, Julien Schmaltz
2011	J	`jnl`	A Comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks". IEEE Trans. Parallel Distributed Syst. Freek Verbeek, Julien Schmaltz
2011	C	`conf`	A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. PDP Freek Verbeek, Julien Schmaltz
2011	—	`conf`	Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching. NOCS Freek Verbeek, Julien Schmaltz
2011	—	`conf`	Formal verification of a deadlock detection algorithm ACL2 Freek Verbeek, Julien Schmaltz
2011	B	`conf`	Hunting deadlocks efficiently in microarchitectural models of communication fabrics. FMCAD Freek Verbeek, Julien Schmaltz
2011	J	`jnl`	On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks. IEEE Trans. Parallel Distributed Syst. Freek Verbeek, Julien Schmaltz
2010	B	`conf`	A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. ITP Freek Verbeek, Julien Schmaltz
2010	A	`conf`	Formal specification of networks-on-chips: deadlock and evacuation. DATE Freek Verbeek, Julien Schmaltz