Follow
Freek Verbeek
Freek Verbeek
Radboud University, The Netherlands
Verified email at ou.nl
Title
Cited by
Cited by
Year
Formal API specification of the PikeOS separation kernel
F Verbeek, O Havle, J Schmaltz, S Tverdyshev, H Blasum, B Langenstein, ...
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
392015
Hunting deadlocks efficiently in microarchitectural models of communication fabrics
F Verbeek, J Schmaltz
2011 Formal Methods in Computer-Aided Design (FMCAD), 223-231, 2011
372011
On necessary and sufficient conditions for deadlock-free routing in wormhole networks
F Verbeek, J Schmaltz
IEEE Transactions on Parallel and Distributed Systems 22 (12), 2022-2032, 2011
352011
Formal specification of networks-on-chips: deadlock and evacuation
F Verbeek, J Schmaltz
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
232010
A decision procedure for deadlock-free routing in wormhole networks
F Verbeek, J Schmaltz
IEEE transactions on parallel and distributed systems 25 (8), 1935-1944, 2013
212013
A comment on “a necessary and sufficient condition for deadlock-free adaptive routing in wormhole networks”
F Verbeek, J Schmaltz
IEEE Transactions on Parallel and Distributed Systems 22 (10), 1775-1776, 2011
192011
Sound C Code Decompilation for a subset of x86-64 Binaries
F Verbeek, P Olivier, B Ravindran
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
182020
Formally verified big step semantics out of x86-64 binaries
I Roessle, F Verbeek, B Ravindran
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
162019
Easy formal specification and validation of unbounded networks-on-chips architectures
F Verbeek, J Schmaltz
ACM Transactions on Design Automation of Electronic Systems (TODAES) 17 (1 …, 2012
162012
Formal specification of a generic separation kernel
F Verbeek, S Tverdyshev, O Havle, H Blasum, B Langenstein, W Stephan, ...
Archive of Formal Proofs 2014 (2014-07-18), 2014
142014
WickedXmas: Designing and verifying on-chip communication fabrics
SJC Joosten, F Verbeek, J Schmaltz
conference; International Workshop on Design and Implementation of Formal …, 2014
142014
Verification of building blocks for asynchronous circuits
F Verbeek, J Schmaltz
arXiv preprint arXiv:1304.7859, 2013
142013
Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching
F Verbeek, J Schmaltz
Proceedings of the fifth ACM/IEEE International Symposium on Networks-on …, 2011
142011
Deadlock verification of cache coherence protocols and communication fabrics
F Verbeek, PM Yaghini, A Eghbal, N Bagherzadeh
IEEE Transactions on Computers 66 (2), 272-284, 2016
132016
CoBRA: Low cost compensation of TSV failures in 3D-NoC
R Salamat, M Ebrahimi, N Bagherzadeh, F Verbeek
2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and …, 2016
122016
Formal verification of on-chip communication fabrics
F Verbeek
Sl: sn, 2013
122013
Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics
F Verbeek, J Schmaltz
2012 IEEE International High Level Design Validation and Test Workshop …, 2012
122012
Inference of channel types in micro-architectural models of on-chip communication networks
B van Gastel, F Verbeek, J Schmaltz
2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC …, 2014
82014
ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects
F Verbeek, PM Yaghini, A Eghbal, N Bagherzadeh
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
72016
On two models of noninterference: Rushby and greve, wilding, and vanfleet
AG Ramirez, J Schmaltz, F Verbeek, B Langenstein, H Blasum
Computer Safety, Reliability, and Security: 33rd International Conference …, 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–20