Frank S. de Boer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
93
Venues
43
Active years
1989–2024
Best venue rank
A*
Where they publish
- BCONCUR9 papers
- BFM8 papers
- MulticonferenceSAC6 papers
- BSOFSEM5 papers
- CCoordination5 papers
- BMFCS4 papers
- CICTAC3 papers
- BSEFM3 papers
- CISoLA3 papers
- BPRIMA3 papers
- BFOSSACS3 papers
- BICLP3 papers
- AECOOP2 papers
- BIFM2 papers
- CLOPSTR2 papers
- A*ICALP2 papers
- BCOMPSAC2 papers
- BEDOC2 papers
- A*LICS2 papers
- BTABLEAUX1 paper
- ATACAS1 paper
- BFASE1 paper
- NationalSYNASC1 paper
- CFORTE1 paper
- A*CAV1 paper
- A*PODC1 paper
- ACADE1 paper
- BSPLC1 paper
- CICFEM1 paper
- NationalTASE1 paper
- ARTSS1 paper
- AESOP1 paper
- NationalIRI1 paper
- BCSL1 paper
- CPPDP1 paper
- CTIME1 paper
- BJELIA1 paper
- NationalAIMSA1 paper
- AECAI1 paper
- ACP1 paper
- BSAS1 paper
- BMPC1 paper
- A*POPL1 paper
Papers
93 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICTAC | History-Based Reasoning About Behavioral Subtyping. | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer |
| 2023 | TABLEAUX | The Logic of Separation Logic: Models and Proofs. | Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2021 | FM | Integrating ADTs in KeY and Their Application to History-Based Reasoning. | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw |
| 2020 | ECOOP | History-based specification and verification of Java collections in KeY (keynote). | Frank S. de Boer, Hans-Dieter A. Hiep |
| 2020 | IFM | History-Based Specification and Verification of Java Collections in KeY. | Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw |
| 2020 | SAC | On the nature of cooperative scheduling in active objects. | Vlad Nicolae Serbanescu, Frank S. de Boer |
| 2020 | TACAS | Verifying OpenJDK's LinkedList using KeY. | Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw |
| 2019 | FASE | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. | Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2019 | FM | On the Nature of Symbolic Execution. | Frank S. de Boer, Marcello M. Bonsangue |
| 2019 | IFM | Axiomatic Characterization of Trace Reachability for Concurrent Objects. | Frank S. de Boer, Hans-Dieter A. Hiep |
| 2019 | SEFM | From SOS to Asynchronously Communicating Actors. | Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2019 | SYNASC | On the Nature of Symbolic Execution. | Frank S. de Boer, Marcello M. Bonsangue |
| 2018 | FM | Deadlock Detection for Actor-Based Coroutines. | Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink |
| 2017 | FORTE | On Futures for Streaming Data in ABS - (Short Paper). | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
| 2017 | SOFSEM | Distributed Network Generation Based on Preferential Attachment in ABS. | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
| 2016 | LOPSTR | A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. | Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin |
| 2016 | SAC | A high-level and scalable approach for generating scale-free graphs using active objects. | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer, Sadegh Aliakbary |
| 2016 | SOFSEM | ABS: A High-Level Modeling Language for Cloud-Aware Programming. | Nikolaos Bezirgiannis, Frank S. de Boer |
| 2016 | SOFSEM | Run-Time Checking Multi-threaded Java Programs. | Frank S. de Boer, Stijn de Gouw |
| 2015 | CAV | OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. | Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hhnle |
| 2014 | ICALP | A Coalgebraic Foundation for Coinductive Union Types. | Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten |
| 2014 | ISoLA | Programming with Actors in Java 8. | Behrooz Nobakht, Frank S. de Boer |
| 2014 | PODC | Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. | Vlad Serbanescu, Chetan Nagarajagowda, Keyvan Azadbakht, Frank S. de Boer, Behrooz Nobakht |
| 2013 | Coordination | The Future of a Missed Deadline. | Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori |
| 2013 | SAC | Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. | Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong |
| 2013 | SEFM | Run-Time Verification of Coboxes. | Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong |
| 2013 | SOFSEM | Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
| 2012 | CADE | Automated Verification of Recursive Programs with Pointers. | Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot |
| 2012 | COMPSAC | Scheduling and Analysis of Real-Time Software Families. | Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi |
| 2012 | CONCUR | Decidability Problems for Actor Systems. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
| 2012 | SAC | Programming and deployment of active objects with application-level scheduling. | Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte |
| 2012 | SPLC | A modal logic for abstract delta modeling. | Frank S. de Boer, Michiel Helvensteijn, Joost Winter |
| 2010 | CONCUR | Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. | Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen |
| 2010 | ECOOP | Prototyping a tool environment for run-time assertion checking in JML with communication histories. | Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju |
| 2010 | SOFSEM | Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. | Frank S. de Boer, Immo Grabe |
| 2009 | FM | Abstract Object Creation in Dynamic Logic. | Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe |
| 2009 | ICFEM | Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. | Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi |
| 2009 | LOPSTR | Using Rewrite Strategies for Testing BUpL Agents. | Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk |
| 2009 | TASE | Fault-Based Test Case Generation for Component Connectors. | Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten |
| 2008 | ICTAC | Testing Concurrent Objects with Application-Specific Schedulers. | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
| 2008 | PRIMA | Reo Connectors as Coordination Artifacts in 2APL Systems. | Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier |
| 2008 | PRIMA | A Verification Framework for Normative Multi-Agent Systems. | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer |
| 2008 | RTSS | Schedulability and Compatibility of Real Time Asynchronous Objects. | Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia |
| 2007 | ESOP | A Complete Guide to the Future. | Frank S. de Boer, Dave Clarke, Einar Broch Johnsen |
| 2005 | Coordination | Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani |
| 2005 | FM | Controlling Object Allocation Using Creation Guards. | Cees Pierik, Dave Clarke, Frank S. de Boer |
| 2005 | IRI | Change impact analysis of enterprise architectures. | Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre |
| 2005 | SAC | MoCha-pi, an exogenous coordination calculus based on mobile channels. | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2004 | EDOC | A Logical Viewpoint on Architectures. | Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre |
| 2004 | ICTAC | Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. | Erika brahm, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |
| 2004 | ISoLA | Using XML Transformations for Enterprise Architectures. | Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre |
| 2004 | ISoLA | Using XML Transformations for Enterprise Architectures. | Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |
| 2004 | SEFM | Models and Temporal Logics for Timed Component Connectors. | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
| 2003 | EDOC | Towards a Language for Coherent Enterprise Architecture Descriptions. | Henk Jonkers, Ren van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten |
| 2002 | COMPSAC | MoCha: A Middleware Based on Mobile Channels. | Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue |
| 2002 | FOSSACS | Verification for Java's Reentrant Multithreading Concept. | Erika brahm-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
| 2002 | FOSSACS | Proving Correctness of Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | CSL | Decidable Navigation Logics for Object Structures. | Frank S. de Boer, Rogier M. van Eijk |
| 2001 | PPDP | A Denotational Semantics for Timed Linda. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | PRIMA | A Truly Concurrent Model for Interacting Agents. | Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2001 | TIME | A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2000 | CONCUR | Proof-Outlines for Threads in Java. | Erika brahm-Mumm, Frank S. de Boer |
| 2000 | CONCUR | Failure Semantics for the Exchange of Information in Multi-Agent Systems. | Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | Coordination | A Logical Interface Description Language for Components. | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2000 | Coordination | A Timed Linda Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2000 | JELIA | A Modal Logic for Network Topologies. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | MFCS | A Compositional Model for Confluent Dynamic Data-Flow Networks. | Frank S. de Boer, Marcello M. Bonsangue |
| 2000 | SAC | A Coordination Lanuage for Mobile Components. | Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer |
| 1999 | CONCUR | Generic Process Algebras for Asynchronous Communication. | Frank S. de Boer, Gianluigi Zavattaro |
| 1999 | FM | Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
| 1999 | FOSSACS | A WP-calculus for OO. | Frank S. de Boer |
| 1999 | MFCS | The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. | Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann |
| 1998 | AIMSA | Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1998 | CONCUR | Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. | Frank S. de Boer |
| 1998 | ECAI | Systems of Communicating Agents. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1997 | Coordination | Partial Order and SOS Semantics for Linear Constraint Programs. | Eike Best, Frank S. de Boer, Catuscia Palamidessi |
| 1997 | CP | Semantics and Expressive Power of a Timed Concurrent Constraint Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 1997 | FM | A Compositional Proof System for Shared Variable Concurrency. | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
| 1996 | FM | Local Nondeterminism in Asynchronously Communicating Processes. | Frank S. de Boer, M. van Hulst |
| 1996 | SAS | Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. | Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi |
| 1995 | MPC | A Compositional Proof System for Asynchronously Communicating Processes. | Frank S. de Boer, M. van Hulst |
| 1994 | ICLP | Proving correctness of Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | MFCS | A Proof System for Asynchronously Communicating Deterministic Processes. | Frank S. de Boer, M. van Hulst |
| 1994 | POPL | Proving Concurrent Constraint Programs Correct. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1992 | ICLP | A Process Algebra of Concurrent Constraint Programming. | Frank S. de Boer, Catuscia Palamidessi |
| 1992 | LICS | Asynchronous Communication in Process Algebra | Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi |
| 1991 | CONCUR | The Failure of Failures in a Paradigm for Asynchronous Communication. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1991 | CONCUR | Embedding as a Tool for Language Comparison: On the CSP Hierarchy. | Frank S. de Boer, Catuscia Palamidessi |
| 1991 | LICS | A Compositional Proof System for Dynamic Process Creation | Frank S. de Boer |
| 1990 | CONCUR | On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. | Frank S. de Boer, Catuscia Palamidessi |
| 1990 | ICALP | A Proof System for the Parallel Object-Oriented Language POOL. | Frank S. de Boer |
| 1989 | ICLP | Semantic Models for a Version of PARLOG. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1989 | MFCS | Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |