| 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 | 40 | 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 | 37 | 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 | 35 | 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 | 23 | 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 | 21 | 2013 |
| 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 | 20 | 2020 |
| 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 | 19 | 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 | 17 | 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 | 16 | 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 | 14 | 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 | 14 | 2014 |
| Verification of building blocks for asynchronous circuits F Verbeek, J Schmaltz arXiv preprint arXiv:1304.7859, 2013 | 14 | 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 | 14 | 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 | 13 | 2016 |
| 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 | 12 | 2016 |
| Formal verification of on-chip communication fabrics F Verbeek Sl: sn, 2013 | 12 | 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 | 12 | 2012 |
| 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 | 8 | 2014 |
| 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 | 7 | 2016 |
| 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 | 7 | 2014 |
