Frank de Boer
Professor emeritus Software Correctness
- Name
- Prof.dr. F.S. de Boer
- Telephone
- +31 71 527 2727
- f.s.de.boer@liacs.leidenuniv.nl
Frank de Boer is Professor of Software Correctness at the Leiden Institute of Advanced Computer Science (LIACS). He is also a senior researcher at the Center for Mathematics and Computer Science (CWI).
More information about Frank de Boer
News
Frank de Boer studied philosophy in Groningen. In his studies he already emphasized mathematical logic and computer science. After graduating, de Boer started working as a researcher and PhD student at the Centre for Mathematics and Informatics (CWI), as part of the European Union's information technology program ESPRIT. De Boer received his PhD in computer science in 1991 with the thesis 'Reasoning about dynamically evolving process structures - A proof theory of the parallel object-oriented language (POOL)'.
After his PhD, de Boer worked as a researcher and lecturer at Eindhoven University of Technology, the Free University and Utrecht University. Since 2002 he is a senior researcher at CWI and since 2003 Professor of Software Correctness at the Leiden Institute of Advanced Computer Science (LIACS).
Professor emeritus Software Correctness
- Science
- Leiden Inst of Advanced Computer Science
- Boer F.S. de, Hiep H.A. & Gouw C.P.T. de (2023), Dynamic separation logic, Electronic Notes in Theoretical Informatics and Computer Science 3: 12297.
- Boer F.S. de, Hiep H.A. & Gouw C.P.T. de (2023), The logic of separation logic: models and proofs. Ramanayake R. & Urban J. (Eds.), Automated reasoning with analytic tableaux and related methods. TABLEAUX 2023. 32nd International Conference, TABLEAUX 2023 18 September 2023 - 21 September 2023. Lecture Notes in Computer Science no. 14278. Cham: Springer. 407-426.
- Boer F.S. de, Gouw C.P.T., Hiep H.A. & Bian J. (2022), Footprint logic for object-oriented components. Tapia Tarifa S.L. & Proença J. (Eds.), Formal aspects of component software. FACS 2022. Formal Aspects of Component Software. FACS 2022 10 November 2022 - 11 November 2022. Lecture Notes in Computer Science no. 13712. Cham: Springer. 141-160.
- Hiep H.A., Maathuis O., Bian J., Boer F.S. de & Gouw C.P.T. de (2022), Verifying OpenJDK’s LinkedList using KeY (extended paper), International Journal on Software Tools for Technology Transfer 24: 783-802.
- Bian J., Hiep H.A., Boer F.S. de & Gouw C.P.T. de (2022), Integrating ADTs in KeY and their application to history-based reasoning about collection, Formal Methods in System Design 61: 63-89.
- Bian J., Hiep H.A., Boer F.S. de & Gouw C.P.T. de (2021), Integrating ADTs in KeY and their application to history-based reasoning. Huisman M., Păsăreanu C. & Zhan N. (Eds.), Formal Methods. FM 2021. 24th International Symposium. Formal Methods. FM 2021 20 November 2021 - 26 November 2021. Lecture Notes in Computer Science no. 13047. Cham: Springer. 255-272.
- Boer F.S. de & Bonsangue M.M. (2021), Symbolic execution formally explained, Formal Aspects of Computing 33(4-5): 617-636.
- Boer F.S. de & Hiep H.A. (2021), Completeness and complexity of reasoning about call-by-value in Hoare logic, ACM Letters on Programming Languages and Systems 43(4): 17.
- Hiep H.A., Bian J., Boer F.S. de & Gouw C.P.T. de (2020), A Tutorial on verifying LinkedList using KeY. In: Ahrendt W., Beckert B., Bubel R., Hähnle R. & Ulbrich M. (Eds.), Deductive software verification: future perspectives. Lecture Notes in Computer Science no. 12345. Cham: Springer. 221-245.
- Hiep H.A., Maathuis O., Bian J., Boer F.S. de, Gouw C.P.T. de & Eekelen M. van (2020), Verifying OpenJDK’s LinkedList using KeY. Biere A. & Parker D. (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. 26th International Conference, TACAS 2020 25 April 2020 - 30 April 2020. Lecture Notes in Computer Science no. 12079. Cham: Springer. 217-234.
- Hiep H.A., Bian J., Boer F.S. de & Gouw C.P.T. de (2020), History-based specification and verification of Java collections in KeY. Dongol B. & Troubitsyna E. (Eds.), Integrated Formal Methods. IFM 2020. 16th International Conference, Integrated Formal Methods. IFM 2020 16 November 2020 - 20 November 2020. Lecture Notes in Computer Science no. 12546. Cham: Springer. 199-217.
- Boer F.S. de & Hiep H.A. (2020), History-based specification and verification of Java collections in KeY (keynote), FTfJP '20: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs. SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity 23 July 2020 - 23 July 2020. New York: Association for Computing Machinery. 2-3.
- Serbanescu V. & Boer F.S. de (2020), On the nature of cooperative scheduling in active objects, SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing. The 35th ACM/SIGAPP Symposium on Applied Computing 30 March 2020 - 3 April 2020: ACM. 1322-1329.
- Boer F.S. de & Hiep H.A. (2019), Axiomatic characterization of trace reachability for concurrent objects. Ahrendt W. & Tapia Tarifa S. (Eds.), International Conference on Integrated Formal Methods. Integrated Formal Methods (iFM) 2 December 2019 - 6 December 2019. Lecture Notes in Computer Science no. 11918. Cham: Springer. 157-174.
- Boer F.S. de, Bonsangue M.M. & Rutten J.J.M.M. (Eds.) (2018), It is all about Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science no. 10865. Cham: Springer International Publishing.
- Boer F.S. de, Bravetti M., Lee M.D. & Zavattaro G. (2018), A Petri Net Based Modeling of Active Objects and Futures, Fundamenta Informaticae 159(3): 197-256.
- Boer F.S. de & Gouw C.P.T. de (2018), Compositional Semantics for Concurrent Object Groups in ABS. In: Müller P. & Schaefer I. (Eds.), Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Cham: Springer International Publishing. 87-98.
- Serbânescu V., Boer F.S. de & Jaghoori M.M. (2018), ASCOOP: Actors in Scala with Cooperative Scheduling, 2018 IEEE International Conference on Computational Science and Engineering (CSE). CSE 2018 – 21st IEEE International Conference on Computational Science and Engineering 29 October 2018 - 31 October 2018: IEEE. 19-28.
- Serbânescu V., Boer F.S. de & Jaghoori M.M. (2018), Actors with Coroutine Support in Java. Bae K. & Ölveczky P.C. (Eds.), Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings. FACS 2018 : 15th International Conference on Formal Aspects of Component Software 10 October 2018 - 12 October 2018 no. Lecture Notes in Computer Science, volume 11222. Cham: Springer. 237-255.
- Azadbakht K., Boer F.S. de & Vink E.P. de (2018), Deadlock Detection for Actor-Based Coroutines. Havelund K., Peleska J., Roscoe B. & Vink E.P. de (Eds.), Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018 15 July 2018 - 17 July 2018 no. Lecture Notes in Computer Science, volume 10951. Cham: Springer. 39-54.
- Jaghoori M.M., Boer F.S. de, Longuet D., Chothia T. & Sirjani M. (2017), Compositional schedulability analysis of real-time actor-based systems, Acta Informatica 54(4): 343-378.
- Boer F.S. de, Serbanescu V., Hähnle R., Henrio L., Rochas J., Din C.C., Johnsen E.B., Sirjani M., Khamespanah E., Fernandez-Reyes K. & Yang A.M. (2017), A Survey of Active Object Languages, ACM Computing Surveys 50(5): 76.
- Bezirgiannis N., Boer F.S. de & Gouw C.P.T. de (2017), Human-in-the-Loop Simulation of Cloud Services. De Paoli F., Schulte S. & Johnsen E.B. (Eds.), Service-Oriented and Cloud Computing ESOCC 2017. 6th European Conference on Service-Oriented and Cloud Computing (ESOCC 2017) 27 September 2017 - 29 September 2017 no. Lecture Notes in Computer Science 10465. Cham: Springer International Publishing. 143-158.
- Azadbakht K., Bezirgiannis N. & Boer F.S. de (2017), On Futures for Streaming Data in ABS - (Short Paper). Bouajjani A. & Silva A. (Eds.), Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017) 19 June 2017 - 22 June 2017 no. Lecture Notes in Computer Science 10321. Cham: Springer International Publishing. 67-73.
- Azadbakht K., Bezirgiannis N. & Boer F.S. de (2017), Distributed Network Generation Based on Preferential Attachment in ABS. Steffen B., Baier C., Brand M. van den, Eder J., Hinchey M. & Margaria T. (Eds.), SOFSEM 2017: Theory and Practice of Computer Science. 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017) 16 January 2017 - 20 January 2017 no. Lecture Notes in Computer Science 10139. Cham: Springer International Publishing. 103-115.
- Boer F.S. de & Gouw S. de (2017), Run-Time Deadlock Detection. In: Hinchey M., Bowen J.P. & Olderog E.R. (Eds.), Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Cham: Springer. 245-264.
- Boer F.S. de & Gouw S. de (2016), Run-Time Checking Multi-threaded Java Programs. Freivalds R., Engels G. & Catania B. (Eds.), Proceedings SOFSEM 2016. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016) 23 January 2016 - 28 January 2016 no. 9587. Berlin, Heidelberg: Springer. 217-228.
- Gouw S. de, Boer F.S. de & Rot J. (2016), Verification of Counting Sort and Radix Sort. Ahrendt W., Beckert B., Bubel R., Hahnle R., Schmitt P.H. & Ulbrich M. (Eds.), Proceedings Deductive Software Verfication 2016. Deductive Software Verification no. 10001: Springer. 609-618.
- Azadbakht K., Boer F.S. de & Serbanescu V. (2016), Multi-Threaded Actors. Azadbakht K., Boer F.S. de & Serbanescu V. (Eds.), Proceedings 9th Interaction and Concurrenty Experience. Ninth Workshop on Interaction and Concurrency Experience (ICE 2016) 8 June 2016 - 9 June 2016 no. EPTCS223 51-66.
- Bezirgiannis N. & Boer F.S. de (2016), ABS: A High-Level Modeling Language for Cloud-Aware Programming. Freivalds R., Engels G. & Catania B. (Eds.), Proceedings SOFSEM 2016. 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016) 23 January 2016 - 28 January 2016 no. 9587. Berlin, Heidelberg: Springer. 433-444.
- Azadbakht K., Bezirgiannis N., Boer F.S. de & Aliakbary S. (2016), A higher-level and scalable approach for generating scale-free graphs using active objects, Proceedings SAC 2016. 31st ACM Symposium on Applied Computing (SAC 2016) 4 April 2016 - 8 April 216. New York, U.S.A.: ACM. 1244-1250.
- Serbanescu V., Azadbakht K. & Boer F.S. de (2016), A java-based distributed approach for generating large-scale social network graphs. In: Pop F., Kołodziej J. & Di Martino B. (Eds.), Resource Management for Big Data Platforms. Computer Communications and Networks. Cham: Springer. 401-417.
- Gouw S. de, Boer F.S. de, Ahrendt W. & Bubel R. (2016), Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic, Software and Systems Modeling 15(4): 1117-1140.
- Serbanescu V., Adzadbakht K., Boer F.S. de, Nagarajagowda C. & Nobakht B. (2016), A design pattern for optimizations in data intensive applications using ABS and JAVA 8, Concurrency and Computation: Practice and Experience 28(2): 374-385.
- Boer F.S. de, Bonsangue M.M. & Rot J.C. (2015), It is Pointless to Point in Bounded Heaps, Science of Computer Programming 112(1): 102-118.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J.C. (2015), Model Checking Recursive Programs Interacting via the Heap, Science of Computer Programming 100: 61-83.
- Boer F.S. de & Gouw C. de (2015), Being and Change: Reasoning About Invariance. In: Meyer R., Platzer A. & Wehrheim H. (Eds.), Proceedings Correct System Design 2015 - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Lecture Notes in Computer Science no. 9360. Cham: Springer. 191-204.
- Azadbakht K., Serbanescu V. & Boer F.S. de (2015), High Performance Computing Applications Using Parallel Data Processing Units. Dastani M. & Sirjani M. (Eds.), Fundamentals of Software Engineering FSEN 2015. 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) 22 April 2015 - 24 April 2015 no. LNCS 9392. Cham: Springer. 191-206.
- Gouw C. de, Rot J.C., Boer F.S. de, Bubel R. & Hähnle R. (2015), OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. Kroening D. & Pasareanu C. (Eds.), Computer Aided Verification 2015. CAV 2015. 27th International Conference on Computer Aided Verification // July 18-24, 2015 // San Francisco, California 18 July 2015 - 24 July 2015 no. LNCS 9206. Cham: Springer. 273-289.
- Nobakht B., Gouw C. de & Boer F.S. de (2015), Formal Verification of Service Level Agreements Through Distributed Monitoring. Dustdar S., Leymann F. & Villari M. (Eds.), Service Oriented and Cloud Computing. ESOCC 2015. Fourth European Conference on Service-Oriented and Cloud Computing (ESOCC 2015) 15 September 2015 - 17 September 2015 no. LNCS 9306. Cham: Springer. 125-140.
- Bjorner N. & Boer F.S. de (Eds.) (2015), FM 2015: Formal Methods. Programming and Software Engineering no. 9109: Springer.
- Gouw C. de & Boer F.S. de (2015), Fixing the Sorting Algorithm for Android, Java and Python, ERCIM News 102: .
- Wong P.Y.H., Bubel R., Boer F.S. de, Gómez-Zamalloa M., Gouw C. de, Hähnle R., Meinke K. & Sindhu M.A. (2015), Testing abstract behavioral specifications, International Journal on Software Tools for Technology Transfer 17(1): 107-119.
- Albert E., Boer F.S. de, Hähnle R., Broch Johnsen E., Schlatte R., Tapia Tarifa S.L. & Wong P.Y.H. (2014), Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS, Service Oriented Computing and Applications 8(4): 323-339.
- Boer F.S. de & Gabbrielli M. (2014), Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. In: , Horizons of the Mind no. LNCS 8464: Springer. 168-179.
- Bonsangue M.M., Rot J.C., Ancona D., Boer F.S. de & Rutten J.J.M.M. (2014), A Coalgebraic Foundation for Coinductive Union Types, Proceedings ICALP 2014. no. LNCS 8573: Springer. 62-73.
- Boer F.S. de & Gouw S. de (2014), Combining Monitoring with Run-Time Assertion Checking, Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Advanced Lectures. no. LNCS 8483 217-262.
- Serbanescu V., Nagarajagowda C., Azadbakht K., Boer F.S. de & Nobakht B. (2014), Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8, Adaptive Resource Management and Scheduling for Cloud Computing - First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Revised Selected Papers. no. LNCS 8907: Springer. 103-112.
- Boer F.S. de, Broch Johnsen E., Clarke D., Drossopoulou S., Yoshida N. & Wrigstad T. (2014), Scaling Future Software: The Manycore Challenge, ERCIM News (99): .
- Arbab F., Jongmans S.T.Q. & Boer F.S. de (2014), High-Level Protocol Engineering without Performance Penalty for Multi-Core, ERCIM News (99): .
- Nobakht B. & Boer F.S. de (2014), Programming with Actors in Java 8, Proceedings ISoLA (2) 2014. no. LNCS 8803 37-53.
- Boer F.S. de, Jaghoori M.M., Laneve C. & Zavattaro G. (2014), Decidability Problems for Actor Systems, Logical Methods in Computer Science 10(4:5): 1-29.
- Nobakht B., Bonsangue M.M., Boer F.S. de, Gouw S. de & Jaghoori M.M. (2014), Method Call Sequences using Annotations, Science of Computer Programming 94(3): 362-378.
- Gouw C. de, Boer F.S. de & Rot J.C. (2014), ProofPearl: the KeY to Correct and Stable Sorting, Journal of Automated Reasoning 53(2): 129-139.
- Albert E., Boer F.S. de, Hähnle R., Broch Johnsen E. & Laneve C. (2013), Engineering virtualized services, Proceedings ACM Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13. 59-63.
- Rot J.C., Boer F.S. de & Bonsangue M.M. (2013), Unbounded Allocation in Bounded Heaps, Proceedings of Fundamentals of Software Engineering (FSEN 2013). no. LNCS 8161: Springer-Verlag. 5-20.
- Gouw S. de, Boer F.S. de, Broch Johnsen E. & Wong Peter Y.H. (2013), Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study, Proceedings SAC. 1573-1578.
- Boer F.S. de, Gouw C.P.T. de & Wong P.Y.H. (2013), Run-Time Verification of Coboxes, Proceedings 11th International Conference on Software Engineering and Formal Methods (SEFM 2013). no. LNCS 8137: Springer-Verlag. 259-273.
- Gouw S. de, Boer F.S. de, Ahrendt W. & Bubel R. (2013), Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. Emde Boas P. van, Groen F.C.A., Italiano G.P., Nawrocki J. & Sack H. (Eds.), SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science. 207-219.
- Boer F.S. de & Gouw S. de (2013), Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. Pasareanu C.S. & Salaün G. (Eds.), Formal Aspects of Component Software 2012, 9th International Symposium 2012. 128-133.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J.C. (2013), Bounded Model Checking of Recursive Programs with Pointers in K, Post-proceedings 21st International Workshop on Algebraic Development Techniques (WADT 2012). no. LNCS 7841: Springer-Verlag. 59-76.
- Nobakht B., Boer F.S. de & Jaghoori M.M. (2013), The Future of a Missed Deadline, Proceedings Coordination Models and Languages, 15th International Conference, COORDINATION 2013. no. LNCS 7890: Springer-Verlag. 181-195.
- Haenle R., Giachino E., Boer F.S. de & Bonsangue M.M. (Eds.) (2013), Formal Methods for Components and Objects, 11th International Symposium, FMCO 2012, Proceedings HATS summer school 2012, State-of-the-Art Survey no. LNCS 7866: Springer-Verlag.
- Beckert B., Damiani F., Boer F.S. de & Bonsauge M.M. (Eds.) (2013), Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers no. 7542: Springer-Verlag.
- Astefanoaei L., Boer F.S. de, Dastani M. & Meyer J.-J.Ch. (2013), A weakest precondition calculus for BUnity, Science of Computer Programming 78(9): 1278-1293.
- Bjørk J., Boer F.S. de, Broch Johnsen E., Schlatte R., Lizeth S. & Tarifa T. (2013), User-defined schedulers for real-time concurrent objects, Innovations in Systems and Software Engineering 9(1): 29-43.
- Jaghoori M.M., Jongmans S.S.T.Q., Boer F. de, Peironcely J.E., Faulon J.L., Reijmers T.H. & Hankemeier T. (2013), PMG: Multi-core metabolite identification, Electronic Notes in Theoretical Computer Science 299: 53-60.
- Baeten J.C.M., Ball T. & Boer F.S. de (2012), Theoretical Computer Science - 7th IFIP TC1/WB 2.2 International Conferenc (TCS 2012=. Heidelberg: Springer.
- Beckert F., Damiani F., Boer F.S. de & Bonsangue M.M. (2012), Formal Methods for Components and Objects, 10th International Symposium FMCO 2011, State-of-the-Art Survey. Heidelberg, Berlin: Springer.
- Boer F.S. de, Hähnle R., Broch Johnsen E., Schlatte R. & Wong Peter Y.H. (2012), Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study, Proceedings ESOCC 2012. 90-106.
- Boer F.S. de, Helvensteijn M. & Winter Joost (2012), A Modal Logic for Abstract Delta Modeling, Proceedings of the 16th International Software Product Line Conference. 45-52.
- Boer F.S. de, Jaghoori M.M., Laneve C. & Zavattaro G. (2012), Decidability Problems for Actor Systems, Proceedings CONCUR 2012. 562-577.
- Rot J., Asavoae I.M., Boer F.S. de, Bonsangue M.M. & Lucanu D. (2012), Interacting via the Heap in the Presence of Recursion. Carbone M., Lanese I., Silva A. & Sokolova A. (Eds.), Proceedings of the 5th Interaction and Concurrency Experience (ICE 2012). . Electronic Proceedings in Theoretical Computer Science 99-113.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Program with Pointers in K Abstract, Pre-proceedings Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012). .
- Boer F.S. de, Bonsangue M.M. & Rot J. (2012), Automated Verification of Recursive Programs with Pointers. Gramlich B., Miller D. & Sattler U. (Eds.), Automated Reasoning - 6th International Joint Conference, IJCAR 2012. : Springer. 149-163.
- Nobakht B., Boer F.S. de, Jaghoori M.M. & Schlatte R. (2012), Programming and Deployment of Active Objects with Application-Level Scheduling, Proceedings SAC 2012. 1883-1888.
- Sabouri H., Jaghoori M.M., Boer F.S. de & Khosravi R. (2012), Scheduling and Analysis of Real-Time Software Families, Proceedings COMPSAC 2012. 680-689.
- Aichernig B.K., Boer F.S. de & Bonsangue M.M. (Eds.) (2012), Ninth International Symposium on Formal Methods for Components and Objects (FMCO 2010). Heidelberg: Springer.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Model Checking Programs with Dynamic Linked Structures: LIACS, Leiden University.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Programs with Pointers in K: Universidad Complutense de Madrid.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Model Checking Programs with Dynamic Linked Structures: LIACS, Universiteit Leiden.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Program with Pointers in K, abstract in Pre proceedings of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012): Tallinn University of Technology.
- Boer F.S. de, Grabe I. & Steffen M. (2012), Termination detection for active objects, Journal Logic Algebraic Programming 81(4): 541-557.
- Meng S., Arbab F., Aichernig B.K., Astefanoaei L., Boer F.S. de & Rutten J.J.M.M. (2012), Connectors as Designs: Modelling, Refinement and Test Case Generation, Science of Computer Programming 77: 799-822.
- Astefanoaei L., Boer F.S. de, Dastani M. & Meyer J.-J.Ch. (2012), A weakest precondition calculus for BUnity, Science of Computer Programming 78(9): 1278-1293.
- Apt K.R., Boer F.S. de, Olderog E.-R. & Gouw S. de (2012), Verification of Object-Oriented Programs: A Transformational Approach, Journal of Computer and System Sciences 78: 823-852.
- Nobakht B., Bonsangue M.M., Boer F.S. de & Gouw S. de (2011), Monitoring Method Call Sequences Using Annotations, Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010). : Springer Verlag.
- Boer F.S. de, Bonsangue M.M., Hallerstede S. & Leuschel M. (2010), Formal Methods for Components and Objects, 8th International Symposium FMCO 2009 - State of the Art Survey. Heidelberg Berlin: Springer.
- Astefanoaei L., Boer F.S. de & Dastani M. (2010), Strategic executions of choreographed timed normative multi-agent systems, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). 965-972.
- Boer F.S. de, Gouw S. de & Vinju J. (2010), Prototyping a tool environment for run-time assertion checking in JML with communication histories, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. : ACM. art. 6.
- Boer F.S. de & Grabe I. (2010), Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs, SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science. : Springer. 200-211.
- Boer F.S. de, Jaghoori M.M. & Broch Johnsen E. (2010), Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis, CONCUR 2010 - Concurrency Theory, 21th International Conference. : Springer. 1-18.
- Rot J., Boer F.S. de & Bonsangue M.M. (2010), A Pushdown System Representation for Unbounded Object Creation (Position Paper/Work in Progress). Beckert B. & Marche C. (Eds.), Papers presented at the first International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010). . Karlsruhe Institute of Technology Reports in Informatics 2010.
- Grabe I., Jaghoori M.M., Aichernig B.K., Baier C., Blechmann T., Boer F.S. de, Griesmayer A., Broch Johnsen E., Klein J., Klüppenholz S., Kyas M., Leister W., Schlatte R., Stam A., Steffen M., Tschirner S., Xuedong L. & Yi W. (2010), Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo, Electronic Notes in Theoretical Computer Science (ENTCS) 266: 33-48.
- Boer F.S. de (2009), A shared-variable concurrency analysis of multi-threaded object-oriented programs, 410(2-3): 128-141.
- Boer F.S. de, Bonsangue M.M. & Madelaine E. (2009), Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008. Heidelberg: Springer.
- Apt K.R., Boer F.S. de & Olderog E.-R. (2009), Modular Verification of Recursive Programs, Languages: From Formal to Natural 2009. : Springer. 1-21.
- Astefanoaei L., Boer F.S. de & Dastani M. (2009), On coordination, autonomy and time, Proceedings AAMAS'09. AAMAS 2009 1357-1358.
- Astefanoaei L., Boer F.S. de & Dastani M. (2009), Rewriting Agent Societies Strategically, Web Intelligence/IAT Workshops 2009. 441-444.
- Boer F.S. de, Grabe I., Jaghoori M.M., Stam A. & Yi W. (2009), Modeling and Analysis of Thread-Pools in an Industrial Communication Platform, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009. ICFEM 2009: Springer. 367-386.
- Aichernig B.K., Arbab F., Boer F.S. de, Meng S. & Rutten J.J.M.M. (2009), Fault-Based Test Case Generation for Component Connectors, TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering. TASE 2009: IEEE Computer Society. 147-154.
- Ahrendt W., Boer F.S. de & Grabe I. (2009), Abstract Object Creation in Dynamic Logic, FM 2009: Formal Methods, Second World Congress. FM 2009: Springer. 612-627.
- Boer F.S. de, Chothia T. & Jaghoori M.M. (2009), Modular Schedulability Analysis of concurrent Objects in Creol, Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009. FSEN 2009: Springer. 212-227.
- Astefanoaei L., Boer F.S. de & Dastani M. (2009), The Refinement of choreographed Multi-Agent Systems, Declarative Agent Languages and Technologies VII. DALT 2009: Springer. 20-34.
- Jaghoori M.M., Boer F.S. de, Chothia T. & Sirjani M. (2009), Schedulability of asynchronous real-time concurrent objects, J. Log. Algebr. Program. (JLP) 78(5): 402-416.
- Ábrahám E., Boer F.S. de, Roever W.-P. de & Steffen M. (2008), A Deductive Proof System for Multithreaded Java with Exceptions, Fundamenta Informaticae 82(4): 391-463.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), Formal Methods for Components and Objects. In: Boer F.S. de & Bonsnague M.M. (Eds.), 6th International Symposium, FMCO 2007: Springer. 1-168.
- Barthe G. & Boer F.S. de (2008), Formal Methods for Open Object-Based Distributed Systems. Barthe G. & Boer F.S. de (Eds.), 10th IFIP WG 6.1 International Conference, FMOODS 2008. . Berlin/Heidelberg: Springer.
- Boer F.S. de, Bonsangue M.M., Gruener A. & Steffen M. (2008), Java Test Driver Generation from Object-Oriented Interaction Traces, Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software TTSS'08. ICTAC 2008 satellite workshop.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), State-of-the-Art Survey. Boer F. de, Bonsangue M.M., Graf S. & Roever W.-P. de (Eds.), Proceedings of FMCO 2007. : Springer. 1-320.
- Astefanoaei L., Dastani M., Meyer J.-J.C. & Boer F.S. de (2008), A Verification Framework for Normative Multi-Agent Systems, . PRIMA 2008. 54-65.
- Astefanoae L. & Boer F.S. de (2008), Model-checking agent refinement, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems. International Conference on Autonomous Agents: International Foundation for Autonomous Agents and Multiagent Systems. 705-712.
- Schlatte R., Aichernig B.K., Boer F.S. de, Griesmayer A. & Johnsen E.B. (2008), Testing Concurrent Objects with Application-Specific Schedulers. Fitzgerald J. & Haxthausen A. (Eds.), International Colloquium on Theoretical Aspects of Computing. . Berlin/Heidelberg: Springer.
- Arbab F., Astefanoaei L., Boer F.S. de, Dastanil M., Meyer J.-J. & Tinnermeier N. (2008), Reo Connectors as Coordination Artifacts in 2APL Systems, proceedings of The 11th Pacific Rim International Conference on Multi-Agents. 42-53.
- Boer F.S. de, Hindriks K.V., Hoek W. van der & Meyer J.-J.C. (2007), A verification framework for agent programming with declarative goals, Journal of Applied Logic 5(2): 277-302.
- Bonsangue M.M., Boer F.S. de, Arbab F., Torre L. van der, Proper E. & Lankhorst M. (2007), Integrating Architectural Models: Symbolic Semantics and Subjective Models in Enterprise Architecture, SIG-MoBIS 1(2): 40-57.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2007), Formal Methods for Components and Objects. Amsterdam: Springer.
- Boer F.S. de (2007), A Sound and Complete Shared-Variable concurrency Model for Multi-threaded Java Programs. Bonsangue M.M. & Johnsen E.B. (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007. : Springer. 252-268.
- Boer F.S. de, Clarke D. & Johnsen E.B. (2007), A Complete Guide to the Future. Nicola R. de (Ed.), Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007. : Springer. 316-330.
- Arbab F., Baier C., Boer F.S. de & Rutten J. (2007), Models and temporal logical specifications for timed component connectors, Software and Systems Modeling 6(1): 59-82.
- Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), A component coordination model based on mobile channels, Fundamenta Informaticae 73: 561-582.
- Abraham E., Boer F.S. de, Roever W.-P. de & Steffen M. (2006), Inductive Proof Outlines for Exceptions in Multithreaded Java, Electronic Notes in Theoretical Computer Science (ENTCS) 159: 281-297.
- Boer F.S. de & Bonsangue M.M. (2006), Preface, 365: 1-2.
- Boer F.S. de & Bonsangue M.M. (2006), Formal Methods for Components and Objects. In: Boer F.S. de & Bonsnague M.M. (Eds.), Theoretical Computer Science: Elsevier Science. 1-168.
- Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), From object to mobile channels. In: Liu Zhiming & He Jifeng (Eds.), Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis: the World Scientific.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2006), Proceedings of FMCO 2005 -- revised lectures. In: Boer F., Bonsangue M.M., Graf S. & Roever W.-P. (Eds.), Proceedings of FMCO 2005 -- revised lectures: Springer. 1-447.
- Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), Component Coordination: From Objects to Mobile Channels. In: He Jifeng & Liu Zhiming (Eds.), Mathematical Frameworks for Component Software - Models for Analysis and Synthesis: World Scientific.
- Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets. Canal C. & Viroli M. (Eds.), Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005). . Electronic Notes in Theoretical Computer Science: Elsevier Science. 121-138.
- Fecher H., Kyas M., Roever W.-P. de & Boer F.S. de (2006), Compositional Operational Semantics of a UML-Kernel-Model Language, Electronic Notes in Theoretical Computer Science (ENTCS) 156(1): 79-96.
- Guillen-Scholten J., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), Modeling the exogenous coordination of mobile channel-based systems with Petri Nets, Electronic Notes in Theoretical Computer Science 154(1): 121-138.
- Kyas M., Fecher H., Boer F.S. de, Jacob J., Hooman J., Zwaag M. van der, Arons T. & Kugler H. (2005), Formalizing UML Models and OCL Constraints in PVS, Electronic Notes in Theoretical Computer Science (ENTCS) 115: 39-47.
- Ábrahám E., Boer F.S. de, Roever W.-P. de & Steffen M. (2005), An assertion-based proof system for multithreaded Java, 331(2-3): 251-290.
- Kyas M., Boer F.S. de & Roever W.-P. de (2005), A Compositional Trace Logic for Behavioural Interface Specifications, Nordic Journal of Computing 12(2): 116-132.
- Boer F.S. de, Bonsangue M.M., Steffen M. & Abraham E. (2005), A fully abstract semantics for UML Components, Proceedings of FMCO 2004: revised lectures. 49-69.
- Ábraham E., Bonsangue M.M., Boer F.S. de, Grüner A. & Steffen M. (2005), Observability, Connectivity, and Replay in a Sequential Calculus of Classes, Proceedings of FMCO 2004: revised lectures. : Springer-Verlag. 296-316.
- Riemsdijk M.B. van, Boer F.S. de & Meijer J.-J.Ch. (2005), Dynamic Logic for Plan Revision in Intelligent Agents, Proceedings of the Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V). : Springer-Verlag. 16-32.
- Arbab F., Baier C., Boer F.S. de, Rutten J. & Sirjani M. (2005), Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005). 236-251.
- Dastani M., Arbab F. & Boer F.S. de (2005), Coordination and composition in multi-agent systems, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (AAMAS'05). 439-446.
- Boer F.S. de, Bonsangue M.M., Jacob J., Stam A. & Torre L. van der (2005), Enterprise architecture analysis in xml, Proceedings of the Hawaii International Conference on System Sciences (HICSS-38). .
- Pierik C., Clarke D. & Boer F.S. de (2005), Controlling Object Allocation Using Creation Guards, Proceedings of the International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. : Springer-Verlag. 59-74.
- Boer F.S. de, Bonsangue M.M., Groenewegen L.P.J., Stam A., Stevens S. & Torre L. van der (2005), Change impact analysis of enterprise architectures, Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005). .
- Guillen-Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2005), MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels, Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005). : ACM press. 13-17.
- Sirjani M., Boer F.S. de, Movaghar A. & Shali A. (2005), Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing, Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD2005). 213-221.
- Pierik C. & Boer F.S. de (2005), A proof outline logic for object-oriented programming, 343(3): 413-442.
- Boer F.S. de & Bonsangue M.M. (2005), Preface, Science of Computer Programming 55(1-3): 1-2.
- Sirjani M., Movaghar A., Shali A. & Boer F.S. de (2005), Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models, Journal of Universal Computer Science 11: 1054-1082.
- Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), MoCha: a Middleware Based on Mobile Channels, Proc. of 26th International conference on Computer Software and Application Conference. . IEEE Computer Society 667-673.
- Arbab F., Boer F.S. de, Bonsangue M.M. & Guillen Scholten J.V. (2002), A channel based coordination model for components. Brogi A. & Jacquet J.-M. (Eds.), Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures. . Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science. 3.
- Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), Mobile Channels, Implementation Within and Outside Components. Brogi A. & Pimintel E. (Eds.), Proc. of Formal Methods and Component Interaction. . Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science.