Freek Verbeek
Freek Verbeek
Radboud University, The Netherlands
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
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 specification of networks-on-chips: deadlock and evacuation
F Verbeek, J Schmaltz
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
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
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
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
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
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
WickedXmas: Designing and verifying on-chip communication fabrics
SJC Joosten, F Verbeek, J Schmaltz
conference; International Workshop on Design and Implementation of Formal …, 2014
Verification of building blocks for asynchronous circuits
F Verbeek, J Schmaltz
arXiv preprint arXiv:1304.7859, 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 on Networks-on …, 2011
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
Formal verification of on-chip communication fabrics
F Verbeek
Sl: sn, 2013
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
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
Formally verified lifting of c-compiled x86-64 binaries
F Verbeek, J Bockenek, Z Fu, B Ravindran
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
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
A formal semantics for P-Code
N Naus, F Verbeek, D Walker, B Ravindran
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20