Frank S. de Boer

According to our database, Frank S. de Boer authored at least 267 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Proving Correctness of Parallel Implementations of Transition System Models.

Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

ACM Trans. Program. Lang. Syst., September, 2024

Guest editorial for the special section on SEFM 2020 and 2021.

Frank S. de Boer, Antonio Cerone

Softw. Syst. Model., April, 2024

History-Based Reasoning About Behavioral Subtyping.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

Dynamic Separation Logic.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Proving Correctness of Parallel Implementations of Transition System Specifications.

Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

CoRR, 2023

The Logic of Separation Logic: Models and Proofs.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Integrating ADTs in KeY and their application to history-based reasoning about collection.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Formal Methods Syst. Des., August, 2022

Verifying OpenJDK's LinkedList using KeY (extended paper).

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Int. J. Softw. Tools Technol. Transf., 2022

Footprint Logic for Object-Oriented Components.

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Reasoning About Active Objects: A Sound and Complete Assertional Proof Method.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic.

Frank S. de Boer, Hans-Dieter A. Hiep

ACM Trans. Program. Lang. Syst., 2021

Symbolic execution formally explained.

Frank S. de Boer, Marcello M. Bonsangue

Formal Aspects Comput., 2021

Integrating ADTs in KeY and Their Application to History-Based Reasoning.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

A Tutorial on Verifying LinkedList Using KeY.

Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

SymPaths: Symbolic Execution Meets Partial Order Reduction.

Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

A formal actor-based model for streaming the future.

Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink

Sci. Comput. Program., 2020

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.

Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin

Fundam. Informaticae, 2020

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

On the nature of cooperative scheduling in active objects.

Vlad Nicolae Serbanescu, Frank S. de Boer

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

History-Based Specification and Verification of Java Collections in KeY.

Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

History-based specification and verification of Java collections in KeY (keynote).

Frank S. de Boer, Hans-Dieter A. Hiep

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.

Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Verifying OpenJDK's Sort Method for Generic Collections.

Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel

J. Autom. Reason., 2019

Reasoning about call-by-value: a missing result in the history of Hoare's logic.

Krzysztof R. Apt, Frank S. de Boer

CoRR, 2019

From SOS to Asynchronously Communicating Actors.

Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Software Engineering and Formal Methods, 2019

Axiomatic Characterization of Trace Reachability for Concurrent Objects.

Frank S. de Boer, Hans-Dieter A. Hiep

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

On the Nature of Symbolic Execution.

Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

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

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

A Petri Net Based Modeling of Active Objects and Futures.

Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro

Fundam. Informaticae, 2018

Editorial.

Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield

Formal Aspects Comput., 2018

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach.

Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Preface for the special issue "FM15".

Frank S. de Boer, Nikolaj S. Bjørner

Acta Informatica, 2018

Deadlock Detection for Actor-Based Coroutines.

Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Actors with Coroutine Support in Java.

Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

ASCOOP: Actors in Scala with Cooperative Scheduling.

Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori

Proceedings of the 2018 IEEE International Conference on Computational Science and Engineering, 2018

Compositional Semantics for Concurrent Object Groups in ABS.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Principled Software Development, 2018

2017

A Survey of Active Object Languages.

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

ACM Comput. Surv., 2017

Compositional schedulability analysis of real-time actor-based systems.

Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani

Acta Informatica, 2017

Distributed Network Generation Based on Preferential Attachment in ABS.

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

On Futures for Streaming Data in ABS - (Short Paper).

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Human-in-the-Loop Simulation of Cloud Services.

Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw

Proceedings of the Service-Oriented and Cloud Computing, 2017

Foundations.

Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Enterprise Architecture at Work, 2017

Architecture Analysis.

Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea

Proceedings of the Enterprise Architecture at Work, 2017

Run-Time Deadlock Detection.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Provably Correct Systems, 2017

2016

Verification of Counting Sort and Radix Sort.

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

Proceedings of the Deductive Software Verification - The KeY Book, 2016

A Java-Based Distributed Approach for Generating Large-Scale Social Network Graphs.

Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer

Proceedings of the Resource Management for Big Data Platforms, 2016

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Softw. Syst. Model., 2016

Multi-Threaded Actors.

Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

A design pattern for optimizations in data intensive applications using ABS and JAVA 8.

Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer, Chetan Nagarajagowda, Behrooz Nobakht

Concurr. Comput. Pract. Exp., 2016

Run-Time Checking Multi-threaded Java Programs.

Frank S. de Boer, Stijn de Gouw

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

ABS: A High-Level Modeling Language for Cloud-Aware Programming.

Nikolaos Bezirgiannis, Frank S. de Boer

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

A high-level and scalable approach for generating scale-free graphs using active objects.

Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer, Sadegh Aliakbary

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.

Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Testing abstract behavioral specifications.

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

Int. J. Softw. Tools Technol. Transf., 2015

It is pointless to point in bounded heaps.

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot

Sci. Comput. Program., 2015

Model checking recursive programs interacting via the heap.

Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot

Sci. Comput. Program., 2015

Fixing the Sorting Algorithm for Android, Java and Python.

Stijn de Gouw, Frank S. de Boer

ERCIM News, 2015

High Performance Computing Applications Using Parallel Data Processing Units.

Keyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Formal Verification of Service Level Agreements Through Distributed Monitoring.

Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

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 Hähnle

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Being and Change: Reasoning About Invariance.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Correct System Design, 2015

2014

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.

Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong

LNCS Trans. Aspect Oriented Softw. Dev., 2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong

Serv. Oriented Comput. Appl., 2014

Monitoring method call sequences using annotations.

Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori

Sci. Comput. Program., 2014

Proof Pearl: The KeY to Correct and Stable Sorting.

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

J. Autom. Reason., 2014

Scaling Future Software: The Manycore Challenge.

Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad

ERCIM News, 2014

High-Level Protocol Engineering without Performance Penalty for Multi-Core.

Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer

ERCIM News, 2014

Decidability Problems for Actor Systems.

Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro

Log. Methods Comput. Sci., 2014

Combining Monitoring with Run-Time Assertion Checking.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Methods for Executable Software Models, 2014

Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8.

Vlad Serbanescu, Chetan Nagarajagowda, Keyvan Azadbakht, Frank S. de Boer, Behrooz Nobakht

Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2014

Programming with Actors in Java 8.

Behrooz Nobakht, Frank S. de Boer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

A Coalgebraic Foundation for Coinductive Union Types.

Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs.

Frank S. de Boer, Maurizio Gabbrielli

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

A weakest precondition calculus for BUnity.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer

Sci. Comput. Program., 2013

User-defined schedulers for real-time concurrent objects.

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Innov. Syst. Softw. Eng., 2013

PMG: Multi-core Metabolite Identification.

Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank S. de Boer, Julio E. Peironcely, Jean-Loup Faulon, Theo H. Reijmers, Thomas Hankemeier

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Run-Time Verification of Coboxes.

Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

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

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Engineering virtualized services.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Unbounded Allocation in Bounded Heaps.

Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

The Future of a Missed Deadline.

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

Connectors as designs: Modeling, refinement and test case generation.

Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten

Sci. Comput. Program., 2012

Termination detection for active objects.

Frank S. de Boer, Immo Grabe, Martin Steffen

J. Log. Algebraic Methods Program., 2012

Verification of object-oriented programs: A transformational approach.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw

J. Comput. Syst. Sci., 2012

Interacting via the Heap in the Presence of Recursion

Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Bounded Model Checking of Recursive Programs with Pointers in K.

Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A modal logic for abstract delta modeling.

Frank S. de Boer, Michiel Helvensteijn, Joost Winter

Proceedings of the 16th International Software Product Line Conference, 2012

Programming and deployment of active objects with application-level scheduling.

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte

Proceedings of the ACM Symposium on Applied Computing, 2012

Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development.

Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.

Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Scheduling and Analysis of Real-Time Software Families.

Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Automated Verification of Recursive Programs with Pointers.

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Verification of Object-Oriented Programs: a Transformational Approach

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

CoRR, 2010

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.

Frank S. de Boer, Immo Grabe

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Monitoring Method Call Sequences Using Annotations.

Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Prototyping a tool environment for run-time assertion checking in JML with communication histories.

Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.

Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Reasoning about Recursive Processes in Shared-Variable Concurrency.

Frank S. de Boer

Proceedings of the Concurrency, 2010

Strategic executions of choreographed timed normative multi-agent systems.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Verification of Sequential and Concurrent Programs.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Texts in Computer Science, Springer, ISBN: 978-1-84882-745-5, 2009

A shared-variable concurrency analysis of multi-threaded object-oriented programs.

Frank S. de Boer

Theor. Comput. Sci., 2009

On the Semantics and Verification of Normative Multi-Agent Systems.

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer

J. Univers. Comput. Sci., 2009

Schedulability of asynchronous real-time concurrent objects.

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani

J. Log. Algebraic Methods Program., 2009

A coordination language for agents interacting in distributed plan-execute cycles.

Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek

Int. J. Reason. based Intell. Syst., 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

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

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

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

Proceedings of the TASE 2009, 2009

Using Rewrite Strategies for Testing BUpL Agents.

Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.

Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi

Proceedings of the Formal Methods and Software Engineering, 2009

Rewriting Agent Societies Strategically.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Modular Schedulability Analysis of Concurrent Objects in Creol.

Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori

Proceedings of the Fundamentals of Software Engineering, 2009

The Credo Methodology - (Extended Version).

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

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Abstract Object Creation in Dynamic Logic.

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe

Proceedings of the FM 2009: Formal Methods, 2009

The Refinement of Choreographed Multi-Agent Systems.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Modular Verification of Recursive Programs.

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Proceedings of the Languages: From Formal to Natural, 2009

On coordination, autonomy and time.

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

A Deductive Proof System for Multithreaded Java with Exceptions.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Fundam. Informaticae, 2008

Java Test Driver Generation from Object-Oriented Interaction Traces.

Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Schedulability and Compatibility of Real Time Asynchronous Objects.

Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

A Verification Framework for Normative Multi-Agent Systems.

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

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

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Testing Concurrent Objects with Application-Specific Schedulers.

Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing, 2008

Model-checking agent refinement.

Lacramioara Astefanoaei, Frank S. de Boer

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Models and temporal logical specifications for timed component connectors.

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten

Softw. Syst. Model., 2007

A verification framework for agent programming with declarative goals.

Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer

J. Appl. Log., 2007

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.

Frank S. de Boer

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

A Complete Guide to the Future.

Frank S. de Boer, Dave Clarke, Einar Broch Johnsen

Proceedings of the Programming Languages and Systems, 2007

2006

Semantics of plan revision in intelligent agents.

M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer

Theor. Comput. Sci., 2006

Preface.

Frank S. de Boer, Marcello M. Bonsangue

Theor. Comput. Sci., 2006

Dynamic Logic for Plan Revision in Agent Programming.

M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer

J. Log. Comput., 2006

A Component Coordination Model Based on Mobile Channels.

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Fundam. Informaticae, 2006

Preface.

Vladimir Mencl, Frank S. de Boer

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Prototyping 3APL in the Maude Term Rewriting Language.

M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Goal-oriented modularity in agent programming.

M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

A proof outline logic for object-oriented programming.

Cees Pierik, Frank S. de Boer

Theor. Comput. Sci., 2005

An assertion-based proof system for multithreaded Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Theor. Comput. Sci., 2005

A Compositional Trace Logic for Behavioural Interface Specifications.

Marcel Kyas, Frank S. de Boer, Willem P. de Roever

Nord. J. Comput., 2005

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.

Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer

J. Univers. Comput. Sci., 2005

Modular Verification of a Component-Based Actor Language.

Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi

J. Univers. Comput. Sci., 2005

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Compositional Operational Semantics of a UML-Kernel-Model Language.

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Inductive Proof Outlines for Exceptions in Multithreaded Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Process algebra and constraint programming for modeling interactions in MAS.

Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek

Appl. Algebra Eng. Commun. Comput., 2005

MoCha-pi, an exogenous coordination calculus based on mobile channels.

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

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

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Enterprise Architecture Analysis with XML.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Controlling Object Allocation Using Creation Guards.

Cees Pierik, Dave Clarke, Frank S. de Boer

Proceedings of the FM 2005: Formal Methods, 2005

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

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Coordination and composition in multi-agent systems.

Mehdi Dastani, Farhad Arbab, Frank S. de Boer

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.

Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Proving correctness of timed concurrent constraint programs.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

ACM Trans. Comput. Log., 2004

Modeling and Verification of Reactive Systems using Rebeca.

Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer

Fundam. Informaticae, 2004

A Timed Linda Language and its Denotational Semantics.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Fundam. Informaticae, 2004

Formalizing UML Models and OCL Constraints in PVS.

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Models and Temporal Logics for Timed Component Connectors.

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Using XML Transformations for Enterprise Architectures.

Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.

Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen

Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.

Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám

Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.

Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen

Proceedings of the Formal Methods for Components and Objects, 2004

A Logical Viewpoint on Architectures.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Dynamic Logic for Plan Revision in Intelligent Agents.

M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Modularity and the Rule of Adaptation.

Cees Pierik, Frank S. de Boer

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

A fully abstract model 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

Theor. Comput. Sci., 2003

On Message Specifications in OCL.

Marcel Kyas, Frank S. de Boer

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

A Verification Framework for Agent Communication.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Auton. Agents Multi Agent Syst., 2003

A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.

Cees Pierik, Frank S. de Boer

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Inductive Proof Outlines for Monitors in Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

How to Cook a Complete Hoare Logic for Your Pet OO Language.

Frank S. de Boer, Cees Pierik

Proceedings of the Formal Methods for Components and Objects, 2003

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

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Coordinating Agents in OO.

Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer

Proceedings of the Objects, 2003

A Compositional Operational Semantics for Java_MT.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Verification: Theory and Practice, 2003

Process Algebra for Agent Communication: A General Semantic Approach.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Communication in Multiagent Systems, 2003

Programming agent deliberation: an approach illustrated using the 3APL language.

Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

A Hoare logic for dynamic networks of asynchronously communicating deterministic processes.

Frank S. de Boer

Theor. Comput. Sci., 2002

Mobile Channels, Implementation Within and Outside Components.

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Formal Methods and Component Interaction 2002, 2002

A Channel-based Coordination Model for Components.

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

Verification for Java's Reentrant Multithreading Concept.

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Computer-aided Specification and Verification of Annotated Object-Oriented Programs.

Frank S. de Boer, Cees Pierik

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

A Tool-Supported Proof System for Multithreaded Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Formal Methods for Components and Objects, 2002

MoCha: A Middleware Based on Mobile Channels.

Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Modal Logic with Bounded Quantification over Worlds.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

J. Log. Comput., 2001

On dynamically generated ontology translators in agent communication.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Int. J. Intell. Syst., 2001

On Programming KARO Agents.

John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek

Log. J. IGPL, 2001

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Truly Concurrent Model for Interacting Agents.

Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents: Specification, 2001

A Denotational Semantics for Timed Linda.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Decidable Navigation Logics for Object Structures.

Frank S. de Boer, Rogier M. van Eijk

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

A Programming Language for Coordinating Group Actions.

Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000

A Timed Concurrent Constraint Language.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Inf. Comput., 2000

A Coordination Lanuage for Mobile Components.

Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer

Proceedings of the Applied Computing 2000, 2000

A Compositional Model for Confluent Dynamic Data-Flow Networks.

Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

A Modal Logic for Network Topologies.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

A Programming Logic for Part of the Agent Language 3APL.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

A Timed Linda Language.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Logical Interface Description Language for Components.

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Proof-Outlines for Threads in Java.

Erika Ábrahám-Mumm, Frank S. de Boer

Proceedings of the CONCUR 2000, 2000

Agent Programming with Declarative Goals.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Generalised Object-Oriented Concepts for Inter-agent Communication.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Semantics of Communicating Agents Based on Deduction and Abduction.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Issues in Agent Communication, 2000

Operational Semantics for Agent Communication Languages.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Issues in Agent Communication, 2000

1999

Agent Programming in 3APL.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Auton. Agents Multi Agent Syst., 1999

The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.

Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

A WP-calculus for OO.

Frank S. de Boer

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Reasoning about Histories in Object-based Distributed Systems.

Frank S. de Boer

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the FM'99 - Formal Methods, 1999

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

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Object-Oriented and Constraint Programming for Time Critical Applications.

Frank S. de Boer

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Generic Process Algebras for Asynchronous Communication.

Frank S. de Boer, Gianluigi Zavattaro

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Open Multi-agent Systems: Agent Communication and Integration.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents VI, 1999

1998

Translations of Vocabularies in Systems of Communicating Agents.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

Preface.

Frank S. de Boer, Maurizio Gabbrielli

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

A proof theory of asynchronously communicating sequential processes.

Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp

Proceedings of the Programming Concepts and Methods, 1998

Information-Passing and Belief Revision in Multi-Agent Systems.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Third International Conference on Multiagent Systems, 1998

Systems of Communicating Agents.

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures.

Frank S. de Boer

Proceedings of the CONCUR '98: Concurrency Theory, 1998

A Formal Embedding of AgentSpeak(L) in 3APL.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Control Structures of Rule-Based Agent Languages.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents V, 1998

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

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Proving Concurrent Constraint Programs Correct.

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi

ACM Trans. Program. Lang. Syst., 1997

An Algebraic Perspective of Constraint Logic Programming.

Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi

J. Log. Comput., 1997

Infinite computations in concurrent constraint programming.

Frank S. de Boer, Maurizio Gabbrielli

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

A Compositional Proof System for Shared Variable Concurrency.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Partial Order and SOS Semantics for Linear Constraint Programs.

Eike Best, Frank S. de Boer, Catuscia Palamidessi

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Compositional Proof Methods for Concurrency: A Semantic Approach.

Frank S. de Boer, Willem P. de Roever

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Formal Semantics for an Abstract Agent Programming Language.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents IV, 1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.

Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi

Proceedings of the Static Analysis, Third International Symposium, 1996

Compositionality in Real-Time Shared Variable Concurrency.

Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Local Nondeterminism in Asynchronously Communicating Processes.

Frank S. de Boer, M. van Hulst

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Nondeterminism and Infinite Computations in Constraint Programming.

Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi

Theor. Comput. Sci., 1995

Modelling Real-Time in Concurrent Constraint Programming.

Frank S. de Boer, Maurizio Gabbrielli

Proceedings of the Logic Programming, 1995

A Compositional Proof System for Asynchronously Communicating Processes.

Frank S. de Boer, M. van Hulst

Proceedings of the Mathematics of Program Construction, 1995

Concurrent Constraint Programming with Information Removal.

Frank S. de Boer, Catuscia Palamidessi, Eike Best

Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995

Modeling Real-Time in Concurrent Constraint Programming.

Frank S. de Boer, Maurizio Gabbrielli

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Embedding as a Tool for Language Comparison

Frank S. de Boer, Catuscia Palamidessi

Inf. Comput., January, 1994

Reasoning about Dynamically Evolving Process Structures.

Pierre America, Frank S. de Boer

Formal Aspects Comput., 1994

Compositionality in the Inductive Assertion Method for Concurrent Systems.

Frank S. de Boer

Proceedings of the Programming Concepts, 1994

A Proof System for Asynchronously Communicating Deterministic Processes.

Frank S. de Boer, M. van Hulst

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

Proving correctness of Concurrent Constraint Programs.

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993

Non-monotonic Concurrent Constraint Programming.

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten

Proceedings of the Logic Programming, 1993

1992

From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten

Theor. Comput. Sci., 1992

On Blocks: Locality and Asynchronous Communication (Extended Abstract).

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten

Proceedings of the Sematics: Foundations and Applications, 1992

Exception Handling in Process Algebra.

Frank S. de Boer, J. Coenen, Rob Gerth

Proceedings of the NAPAW 92, 1992

Asynchronous Communication in Process Algebra

Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

A Process Algebra of Concurrent Constraint Programming.

Frank S. de Boer, Catuscia Palamidessi

Proceedings of the Logic Programming, 1992

The Real-Time Behaviour of Asynchronously Communicating Processes.

Frank S. de Boer, Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

On the Semantics of Concurrent Constraint Programming.

Frank S. de Boer, Catuscia Palamidessi

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

Semantic Models for Concurrent Logic Languages.

Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi

Theor. Comput. Sci., 1991

A Fully Abstract Model for Concurrent Constraint Programming.

Frank S. de Boer, Catuscia Palamidessi

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

A Compositional Proof System for Dynamic Process Creation

Frank S. de Boer

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Embedding as a Tool for Language Comparison: On the CSP Hierarchy.

Frank S. de Boer, Catuscia Palamidessi

Proceedings of the CONCUR '91, 1991

The Failure of Failures in a Paradigm for Asynchronous Communication.

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten

Proceedings of the CONCUR '91, 1991

1990

Proving Total Correctness of Recursive Procedures

Pierre America, Frank S. de Boer

Inf. Comput., February, 1990

Compositionality in the temporal logic of concurrent systems (extended abstract).

Frank S. de Boer

Future Gener. Comput. Syst., 1990

Concurrent Logic Programming: Asynchronism and Language Comparison.

Frank S. de Boer, Catuscia Palamidessi

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Proof System for the Language POOL.

Frank S. de Boer

Proceedings of the Foundations of Object-Oriented Languages, 1990

A Proof System for Process Creation.

Pierre America, Frank S. de Boer

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

A Proof System for the Parallel Object-Oriented Language POOL.

Frank S. de Boer

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.

Frank S. de Boer, Catuscia Palamidessi

Proceedings of the CONCUR '90, 1990

1989

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

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Semantic Models for a Version of PARLOG.

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten

Proceedings of the Logic Programming, 1989

1987

A proof rule for process-creation.

Frank S. de Boer

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987