Frank S. de Boer

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 54

Top Venues

Sci. Comput. Program.

CoRR

SOFSEM

Publications

Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR (2023)
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
The Logic of Separation Logic: Models and Proofs. TABLEAUX (2023)
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
Dynamic Separation Logic. CoRR (2023)
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
Footprint Logic for Object-Oriented Components. FACS (2022)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Frank S. de Boer, Stijn de Gouw
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. 61 (1) (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM (2021)
Frank S. de Boer, Marcello M. Bonsangue
Symbolic execution formally explained. Formal Aspects Comput. 33 (4-5) (2021)
Frank S. de Boer, Hans-Dieter A. Hiep
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Vlad Nicolae Serbanescu, Frank S. de Boer
On the nature of cooperative scheduling in active objects. SAC (2020)
Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
History-Based Specification and Verification of Java Collections in KeY. IFM (2020)
Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink
A formal actor-based model for streaming the future. Sci. Comput. Program. 186 (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. TACAS (2) (2020)
Frank S. de Boer, Hans-Dieter A. Hiep
History-based specification and verification of Java collections in KeY (keynote). FTfJP@ECOOP (2020)
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae 177 (3-4) (2020)
Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift (2020)
Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
From SOS to Asynchronously Communicating Actors. SEFM Workshops (2019)
Frank S. de Boer, Hans-Dieter A. Hiep
Axiomatic Characterization of Trace Reachability for Concurrent Objects. IFM (2019)
Frank S. de Boer, Marcello M. Bonsangue
On the Nature of Symbolic Execution. FM (2019)
Krzysztof R. Apt, Frank S. de Boer
Reasoning about call-by-value: a missing result in the history of Hoare's logic. CoRR (2019)
Frank S. de Boer, Marcello M. Bonsangue
On the Nature of Symbolic Execution. SYNASC (2019)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. CoRR (2019)
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62 (1) (2019)
Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE (2019)
Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori
ASCOOP: Actors in Scala with Cooperative Scheduling. CSE (2018)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield
Editorial. Formal Aspects Comput. 30 (5) (2018)
Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink
Deadlock Detection for Actor-Based Coroutines. FM (2018)
Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159 (3) (2018)
Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori
Actors with Coroutine Support in Java. FACS (2018)
Frank S. de Boer, Stijn de Gouw
Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development (2018)
Frank S. de Boer, Nikolaj Bjørner
Preface for the special issue "FM15". Acta Informatica 55 (6) (2018)
Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
Distributed Network Generation Based on Preferential Attachment in ABS. SOFSEM (2017)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
Compositional schedulability analysis of real-time actor-based systems. Acta Informatica 54 (4) (2017)
Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw
Human-in-the-Loop Simulation of Cloud Services. ESOCC (2017)
Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
On Futures for Streaming Data in ABS - (Short Paper). FORTE (2017)
Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu
Multi-Threaded Actors. ICE (2016)
Nikolaos Bezirgiannis, Frank S. de Boer
ABS: A High-Level Modeling Language for Cloud-Aware Programming. SOFSEM (2016)
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. LOPSTR (2016)
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. 15 (4) (2016)
Frank S. de Boer, Stijn de Gouw
Run-Time Checking Multi-threaded Java Programs. SOFSEM (2016)
Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer, Chetan Nagarajagowda, Behrooz Nobakht
A design pattern for optimizations in data intensive applications using ABS and JAVA 8. Concurr. Comput. Pract. Exp. 28 (2) (2016)
Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. CoRR (2016)
Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer, Sadegh Aliakbary
A high-level and scalable approach for generating scale-free graphs using active objects. SAC (2016)
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100 (2015)
Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Keyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer
High Performance Computing Applications Using Parallel Data Processing Units. FSEN (2015)
Frank S. de Boer, Stijn de Gouw
Being and Change: Reasoning About Invariance. Correct System Design (2015)
Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) (2015)
Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer
Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC (2015)
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
It is pointless to point in bounded heaps. Sci. Comput. Program. 112 (2015)
Stijn de Gouw, Frank S. de Boer
Fixing the Sorting Algorithm for Android, Java and Python. ERCIM News 2015 (102) (2015)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10 (4) (2014)
Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
Monitoring method call sequences using annotations. Sci. Comput. Program. 94 (2014)
Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. 11 (2014)
Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) (2014)
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
Proof Pearl: The KeY to Correct and Stable Sorting. J. Autom. Reason. 53 (2) (2014)
Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad
Scaling Future Software: The Manycore Challenge. ERCIM News 2014 (99) (2014)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8 (4) (2014)
Behrooz Nobakht, Frank S. de Boer
Programming with Actors in Java 8. ISoLA (2) (2014)
Frank S. de Boer, Stijn de Gouw
Combining Monitoring with Run-Time Assertion Checking. SFM (2014)
Vlad Serbanescu, Chetan Nagarajagowda, Keyvan Azadbakht, Frank S. de Boer, Behrooz Nobakht
Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. ARMS-CC@PODC (2014)
Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014 (99) (2014)
Frank S. de Boer, Maurizio Gabbrielli
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind (2014)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
A weakest precondition calculus for BUnity. Sci. Comput. Program. 78 (9) (2013)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
The Future of a Missed Deadline. COORDINATION (2013)
Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
Unbounded Allocation in Bounded Heaps. FSEN (2013)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
Engineering virtualized services. NordiCloud (2013)
Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank S. de Boer, Julio E. Peironcely, Jean-Loup Faulon, Theo H. Reijmers, Thomas Hankemeier
PMG: Multi-core Metabolite Identification. Electron. Notes Theor. Comput. Sci. 299 (2013)
Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC (2013)
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM (2013)
Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9 (1) (2013)
Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
Run-Time Verification of Coboxes. SEFM (2013)
Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
Programming and deployment of active objects with application-level scheduling. SAC (2012)
Frank S. de Boer, Stijn de Gouw
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. FACS (2012)
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS (2012)
Frank S. de Boer, Michiel Helvensteijn, Joost Winter
A modal logic for abstract delta modeling. SPLC (2) (2012)
Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
Interacting via the Heap in the Presence of Recursion ICE (2012)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
Decidability Problems for Actor Systems. CONCUR (2012)
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
Automated Verification of Recursive Programs with Pointers. IJCAR (2012)
Frank S. de Boer, Immo Grabe, Martin Steffen
Termination detection for active objects. J. Log. Algebraic Methods Program. 81 (4) (2012)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78 (3) (2012)
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77 (7-8) (2012)
Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
Scheduling and Analysis of Real-Time Software Families. COMPSAC (2012)
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC (2012)
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
Bounded Model Checking of Recursive Programs with Pointers in K. WADT (2012)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Verification of Object-Oriented Programs: a Transformational Approach CoRR (2010)
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR (2010)
Frank S. de Boer
Reasoning about Recursive Processes in Shared-Variable Concurrency. Concurrency, Compositionality, and Correctness (2010)
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
Strategic executions of choreographed timed normative multi-agent systems. AAMAS (2010)
Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju
Prototyping a tool environment for run-time assertion checking in JML with communication histories. FTfJP@ECOOP (2010)
Frank S. de Boer, Immo Grabe
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM (2010)
Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
Monitoring Method Call Sequences Using Annotations. FACS (2010)
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
Fault-Based Test Case Generation for Component Connectors. TASE (2009)
Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk
Using Rewrite Strategies for Testing BUpL Agents. LOPSTR (2009)
Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
On the Semantics and Verification of Normative Multi-Agent Systems. J. Univers. Comput. Sci. 15 (13) (2009)
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
The Credo Methodology - (Extended Version). FMCO (2009)

Frank S. de Boer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank S. de Boer