Freek Verbeek
Freek Verbeek
Radboud University, The Netherlands
Verified email at
Cited by
Cited by
Hunting deadlocks efficiently in microarchitectural models of communication fabrics
F Verbeek, J Schmaltz
2011 Formal Methods in Computer-Aided Design (FMCAD), 223-231, 2011
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
Formal API specification of the PikeOS separation kernel
F Verbeek, O Havle, J Schmaltz, S Tverdyshev, H Blasum, B Langenstein, ...
NASA formal methods symposium, 375-389, 2015
Formal specification of networks-on-chips: deadlock and evacuation
F Verbeek, J Schmaltz
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
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
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
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
WickedXmas: Designing and verifying on-chip communication fabrics
SJC Joosten, F Verbeek, J Schmaltz
[Sl: sn], 2014
Verification of building blocks for asynchronous circuits
F Verbeek, J Schmaltz
arXiv preprint arXiv:1304.7859, 2013
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
Formal verification of on-chip communication fabrics
F Verbeek
[Sl: sn], 2013
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, 25-32, 2011
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
Formal specification of a generic separation kernel
F Verbeek, S Tverdyshev, O Havle, H Blasum, B Langenstein, W Stephan, ...
Archive of Formal Proofs, 2014
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
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
Proof pearl: A formal proof of Dally and Seitz’necessary and sufficient condition for deadlock-free routing in interconnection networks
F Verbeek, J Schmaltz
Journal of Automated Reasoning 48 (4), 419-439, 2012
A fast and verified algorithm for proving store-and-forward networks deadlock-free
F Verbeek, J Schmaltz
2011 19th International Euromicro Conference on Parallel, Distributed and …, 2011
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
On two models of noninterference: Rushby and greve, wilding, and vanfleet
AG Ramirez, J Schmaltz, F Verbeek, B Langenstein, H Blasum
International Conference on Computer Safety, Reliability, and Security, 246-261, 2014
The system can't perform the operation now. Try again later.
Articles 1–20