| 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 | 41 | 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 | 34 | 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 |
| 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 | 22 | 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 | 21 | 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 | 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 |
| 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 |
| 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 | 9 | 2022 |
| 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 | 9 | 2016 |
| 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 |
| A formal semantics for P-Code N Naus, F Verbeek, D Walker, B Ravindran Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 7 | 2022 |
Sebastiaan J. C. JoostenLecturer, University of MinnesotaVerified email at dartmouth.edu
