| 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 | 44 | 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 | 36 | 2011 |
| Sound C code decompilation for a subset of x86-64 binaries F Verbeek, P Olivier, B Ravindran International Conference on Software Engineering and Formal Methods, 247-264, 2020 | 33 | 2020 |
| 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 | 26 | 2016 |
| Formal specification of networks-on-chips: deadlock and evacuation F Verbeek, J Schmaltz 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 25 | 2010 |
| A formal semantics for p-code N Naus, F Verbeek, D Walker, B Ravindran Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 23 | 2022 |
| 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 | 21 | 2022 |
| 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 |
| 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 | 19 | 2019 |
| 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 | 18 | 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 | 17 | 2012 |
| 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 | 15 | 2011 |
| 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 |
| Formal verification of on-chip communication fabrics F Verbeek Sl: sn, 2013 | 13 | 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 | 12 | 2016 |
| 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 |
| A formally verified deadlock-free routing function in a fault-tolerant NoC architecture A Alhussien, N Bagherzadeh, F Verbeek, B van Gastel, J Schmaltz 2012 25th Symposium on Integrated Circuits and Systems Design (SBCCI), 1-6, 2012 | 9 | 2012 |
Sebastiaan J. C. Joostenapplied scientist, awsVerified email at amazon.com
