Frank de Boer

Full Name

Prof.dr. F.S. de Boer

F.S.de.Boer@cwi.nl

Phone

+31 20 592 4139

Room

L335

Department(s)

Computer Security

Function(s)

Researcher

de Boer, F., Hiep, H.-D., & de Gouw, S. (2023). The logic of separation logic: Models and proofs. In 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Models, TABLEAUX 2023 (pp. 407–426). doi:10.1007/978-3-031-43513-3_22
Bian, J., Hiep, H.-D., de Boer, F., & de Gouw, S. (2023). Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods in System Design. doi:10.1007/s10703-023-00426-x
de Boer, F., & de Gouw, S. (2022). Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Eds.), The Logic of Software. A Tasting Menu of Formal Methods. doi:10.1007/978-3-031-08166-8_9
de Boer, F., de Gouw, S., Hiep, H.-D., & Bian, J. (2022). Footprint logic for object-oriented components. In Proceedings of the 18th International Conference on Formal Aspects of Component Software, FACS 2022 (pp. 141–160). doi:10.1007/978-3-031-20872-0_9
Bian, J., Hiep, H.-D., de Boer, F., & de Gouw, S. (2021). Integrating ADTs in KeY and their application to history-based reasoning. In Proceedings of the 24th International Symposium on Formal Methods, FM 2021 (pp. 255–272). doi:10.1007/978-3-030-90870-6_14
de Boer, F., & Hiep, H.-D. (2021). Completeness and complexity of reasoning about call-by-value in Hoare logic. ACM Transactions on Programming Languages and Systems, 43(4), 17:1–17:35. doi:10.1145/3477143
Albert, E., Bezirgiannis, N., de Boer, F., & Martin-Martin, E. (2020). A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell. Fundamenta Informaticae, 177(3-4), 203–234. doi:10.3233/FI-2020-1988
de Boer, F., Bonsangue, M., Johnsen, E. B., Pun, V. K., Tapia Tarifa, L., & Tveito, L. (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. In W. Ahrendt, B. Beckert, R. Bubel, R. Hähnle, & M. Ulbrich (Eds.), Deductive Software Verification: Future Perspectives (pp. 313–338). doi:10.1007/978-3-030-64354-6_13
de Boer, F., Johnsen, E. B., Schlatte, R., Tapia Tarifa, L., & Tveito, L. (2020). Inseguendo fagiani selvatici: Partial order reduction for guarded command languages. In Recent Developments in the Design and Implementation of Programming Languages - Proceedings (pp. 10:1–10:18). doi:10.4230/OASIcs.Gabbrielli.10
Hiep, H.-D., Bian, J., de Boer, F., & de Gouw, S. (2020). A Tutorial on Verifying LinkedList Using KeY. In Deductive Software Verification: Future Perspectives. doi:10.1007/978-3-030-64354-6_9

Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) (2017)
Bronzen Achievement Award - Trust4All (2008)
Forum-Architectuurprijs - Archimate (2008)
Best paper - 11th Pacific Rim international conference on multi_agents (PRIMA) (2008)

Professor: Universiteit Leiden ﾖ (UL)
Committee member: International Symposium on Formal Methods for Components and Objects - [FMCO]
Committee member: International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
Organizer: of the FP 7 EU project Upscale
Committee member: International Federation for Information Processing - [IFIP] - IFIP 2.2 Formal Descriptions of Programming Concepts
Committee member: IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems - [FMOODS]
Committee member: International Workshop on Formal Aspects of Component Software - [FACS]
Committee member: World Congress on Formal Methods - [FM]
Committee member: Dutch national symposium on software engineering (SEN)
Editor: speciality Formal Methods of the open access journal Frontiers
Editor: journal ACM Transactions Computational Logic
Editor: open access journal Scientific Programming

Frank de Boer

Publications

Awards

Professional activities

Frank de Boer

Publications

Awards

Professional activities

Cookies