Frank S. de Boer

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa: User-defined schedulers for real-time concurrent objects. ISSE 9(1): 29-43 (2013)

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori: The Future of a Missed Deadline. COORDINATION 2013: 181-195

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: 1573-1578

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel: Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM 2013: 207-219

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.): Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, isbn 978-3-642-35886-9

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): 823-852 (2012)

Frank S. de Boer, Immo Grabe, Martin Steffen: Termination detection for active objects. J. Log. Algebr. Program. 81(4): 541-557 (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): 799-822 (2012)

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot: Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163

Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi: Scheduling and Analysis of Real-Time Software Families. COMPSAC 2012: 680-689

Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro: Decidability Problems for Actor Systems. CONCUR 2012: 562-577

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: 91-106

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: 110-127

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: 128-133

Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte: Programming and deployment of active objects with application-level scheduling. SAC 2012: 1883-1888

Frank S. de Boer, Michiel Helvensteijn, Joost Winter: A modal logic for abstract delta modeling. SPLC (2) 2012: 45-52

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: 59-76

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: 99-113

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (Eds.): Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Lecture Notes in Computer Science 6957, Springer 2012, isbn 978-3-642-25270-9

Jos C. M. Baeten, Thomas Ball, Frank S. de Boer (Eds.): Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7604, Springer 2012, isbn 978-3-642-33474-0

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. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Strategic executions of choreographed timed normative multi-agent systems. AAMAS 2010: 965-972

Frank S. de Boer: Reasoning about Recursive Processes in Shared-Variable Concurrency. Concurrency, Compositionality, and Correctness 2010: 127-141

Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen: Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18

Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw: Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70

Frank S. de Boer, Immo Grabe: Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM 2010: 200-211

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (Eds.): Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6286, Springer 2010, isbn 978-3-642-17070-6

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Verification of Object-Oriented Programs: a Transformational Approach. CoRR abs/1004.4656 (2010)

Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009)

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009)

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: On the Semantics and Verification of Normative Multi-Agent Systems. J. UCS 15(13): 2629-2652 (2009)

Frank S. de Boer: A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. 410(2-3): 128-141 (2009)

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe: Abstract Object Creation in Dynamic Logic. FM 2009: 612-627

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: 41-69

Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori: Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops 2009: 441-444

Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386

Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk: Using Rewrite Strategies for Testing BUpL Agents. LOPSTR 2009: 143-157

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: 147-154

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (Eds.): Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751, Springer 2009, isbn 978-3-642-04166-2

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. CoRR abs/0907.4316 (2009)

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Inform. 82(4): 391-463 (2008)

Lacramioara Astefanoaei, Frank S. de Boer: Model-checking agent refinement. AAMAS (2) 2008: 705-712

Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333

Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53

Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65

Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia: Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS 2008: 70-79

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, isbn 978-3-540-92187-5

Gilles Barthe, Frank S. de Boer (Eds.): Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science 5051, Springer 2008, isbn 978-3-540-68862-4

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre: Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterprise Modelling and Information Systems Architectures 2(1): 40-57 (2007)

Vladimir Mencl, Frank S. de Boer: Preface. Electr. Notes Theor. Comput. Sci. 182: 1-2 (2007)

Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: A verification framework for agent programming with declarative goals. J. Applied Logic 5(2): 277-302 (2007)

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and temporal logical specifications for timed component connectors. Software and System Modeling 6(1): 59-82 (2007)

Frank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330

Frank S. de Boer: A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. FMOODS 2007: 252-268

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, isbn 978-3-540-74791-8

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. Electr. Notes Theor. Comput. Sci. 154(1): 121-138 (2006)

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language. Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006)

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Exceptions in Multithreaded Java. Electr. Notes Theor. Comput. Sci. 159: 281-297 (2006)

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Component Coordination Model Based on Mobile Channels. Fundam. Inform. 73(4): 561-582 (2006)

M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. 16(3): 375-402 (2006)

M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of plan revision in intelligent agents. Theor. Comput. Sci. 351(2): 240-257 (2006)

Frank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 365(1-2): 1 (2006)

M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278

M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude term rewriting language. AAMAS 2006: 1279-1281

M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude Term Rewriting Language. CLIMA 2006: 95-114

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111, Springer 2006, isbn 3-540-36749-7

Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek: Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005)

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)

Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)

Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005)

Marcel Kyas, Frank S. de Boer, Willem P. de Roever: A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005)

Frank S. de Boer, Marcello M. Bonsangue: Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005)

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331(2-3): 251-290 (2005)

Frank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 343(3): 283-284 (2005)

Cees Pierik, Frank S. de Boer: A proof outline logic for object-oriented programming. Theor. Comput. Sci. 343(3): 413-442 (2005)

Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221

Mehdi Dastani, Farhad Arbab, Frank S. de Boer: Coordination and composition in multi-agent systems. AAMAS 2005: 439-446

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251

Cees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: Enterprise Architecture Analysis with XML. HICSS 2005

Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre: Change impact analysis of enterprise architectures. IRI 2005: 177-181

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC 2005: 436-442

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657, Springer 2005, isbn 3-540-29131-8

Frank S. de Boer, Marcello M. Bonsangue: Preface. Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004)

Marcel Kyas, Frank S. de Boer: On Message Specifications in OCL. Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004)

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language and its Denotational Semantics. Fundam. Inform. 63(4): 309-330 (2004)

Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004)

Cees Pierik, Frank S. de Boer: Modularity and the Rule of Adaptation. AMAST 2004: 394-408

Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442

M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA 2004: 16-32

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: A Logical Viewpoint on Architectures. EDOC 2004: 73-83

Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69

Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen: Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316

Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen: Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC 2004: 37-51

Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA 2004: 42-56

Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) 2004: 67-73

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science 3188, Springer 2004, isbn 3-540-22942-6

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems 6(2): 185-219 (2003)

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Channel-based Coordination Model for Components. Electr. Notes Theor. Comput. Sci. 68(3): 419-438 (2003)

Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003)

Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer: Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS 2003: 97-104

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems 2003: 113-128

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for Java_MT. Verification: Theory and Practice 2003: 290-303

Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer: Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25

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: Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39

Frank S. de Boer, Cees Pierik: How to Cook a Complete Hoare Logic for Your Pet OO Language. FMCO 2003: 111-133

Cees Pierik, Frank S. de Boer: A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. FMOODS 2003: 64-78

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, isbn 3-540-20303-6

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Mobile Channels, Implementation Within and Outside Components. Electr. Notes Theor. Comput. Sci. 66(4): 56-66 (2002)

Frank S. de Boer: A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Theor. Comput. Sci. 274(1-2): 3-41 (2002)

Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32

Frank S. de Boer, Cees Pierik: Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS 2002: 163-177

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51

Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. CoRR cs.AI/0207008 (2002)

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of Timed Concurrent Constraint Programs. CoRR cs.LO/0208042 (2002)

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press 2001, isbn 0-521-80608-9

John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek: On Programming KARO Agents. Logic Journal of the IGPL 9(2): 245-256 (2001)

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001)

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. 11(5): 701-715 (2001)

Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: A Programming Language for Coordinating Group Actions. CEEMAS 2001: 313-321

Frank S. de Boer, Rogier M. van Eijk: Decidable Navigation Logics for Object Structures. CSL 2001: 324-338

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. PPDP 2001: 28-36

Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Truly Concurrent Model for Interacting Agents. PRIMA 2001: 16-30

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000)

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000: 63-79

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000: 80-95

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000: 260-274

Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000: 214-228

Erika Ábrahám-Mumm, Frank S. de Boer: Proof-Outlines for Threads in Java. CONCUR 2000: 229-242

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000: 299-304

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Programming Logic for Part of the Agent Language 3APL. FAABS 2000: 78-89

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Modal Logic for Network Topologies. JELIA 2000: 269-283

Frank S. de Boer, Marcello M. Bonsangue: A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000: 212-221

Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer: A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4): 357-401 (1999)

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999: 218-232

Frank S. de Boer, Gianluigi Zavattaro: Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241

Frank S. de Boer: Object-Oriented and Constraint Programming for Time Critical Applications. ECOOP Workshops 1999: 255-266

Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999: 265

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever: Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods 1999: 1245-1265

Frank S. de Boer: Reasoning about Histories in Object-based Distributed Systems. FMOODS 1999

Frank S. de Boer: A WP-calculus for OO. FoSSaCS 1999: 135-149

Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann: The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS 1999: 343-353

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Translations of Vocabularies in Systems of Communicating Agents. Electr. Notes Theor. Comput. Sci. 16(1): 23 (1998)

Frank S. de Boer, Maurizio Gabbrielli: Preface. Electr. Notes Theor. Comput. Sci. 16(1): 60 (1998)

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA 1998: 240-253

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998: 29-45

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Control Structures of Rule-Based Agent Languages. ATAL 1998: 381-396

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998: 155-166

Frank S. de Boer: Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. CONCUR 1998: 285-300

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297

Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS 1998: 473-474

Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp: A proof theory of asynchronously communicating sequential processes. PROCOMET 1998: 49-67

Frank S. de Boer, Maurizio Gabbrielli: Infinite computations in concurrent constraint programming. Electr. Notes Theor. Comput. Sci. 6: 103-118 (1997)

Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7(1): 1-38 (1997)

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997)

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Formal Semantics for an Abstract Agent Programming Language. ATAL 1997: 215-229

Frank S. de Boer, Willem P. de Roever: Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997: 632-646

Eike Best, Frank S. de Boer, Catuscia Palamidessi: Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997: 256-273

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever: A Compositional Proof System for Shared Variable Concurrency. FME 1997: 515-532

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever: Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997: 267-283

Frank S. de Boer, M. van Hulst: Local Nondeterminism in Asynchronously Communicating Processes. FME 1996: 367-384

Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst: Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439

Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi: Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97

Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151(1): 37-78 (1995)

Frank S. de Boer, Maurizio Gabbrielli: Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112

Frank S. de Boer, M. van Hulst: A Compositional Proof System for Asynchronously Communicating Processes. MPC 1995: 197-213

Frank S. de Boer, Maurizio Gabbrielli: Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542

Pierre America, Frank S. de Boer: Reasoning about Dynamically Evolving Process Structures. Formal Asp. Comput. 6(3): 269-316 (1994)

Frank S. de Boer, Catuscia Palamidessi: Embedding as a Tool for Language Comparison. Inf. Comput. 108(1): 128-157 (1994)

Frank S. de Boer, M. van Hulst: A Proof System for Asynchronously Communicating Deterministic Processes. MFCS 1994: 256-265

Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108

Frank S. de Boer: Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET 1994: 289-305

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Non-monotonic Concurrent Constraint Programming. ILPS 1993: 315-334

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. Theor. Comput. Sci. 101(2): 239-263 (1992)

Frank S. de Boer, Catuscia Palamidessi: On the Semantics of Concurrent Constraint Programming. ALPUK 1992: 145-173

Frank S. de Boer, Jozef Hooman: The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472

Frank S. de Boer, Catuscia Palamidessi: A Process Algebra of Concurrent Constraint Programming. JICSLP 1992: 463-477

Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi: Asynchronous Communication in Process Algebra. LICS 1992: 137-147

Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop 1992: 73-90

Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi: Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. 86(1): 3-33 (1991)

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR 1991: 111-126

Frank S. de Boer, Catuscia Palamidessi: Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR 1991: 127-141

Frank S. de Boer: A Compositional Proof System for Dynamic Process Creation. LICS 1991: 399-405

Frank S. de Boer, Catuscia Palamidessi: A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 1991: 296-319

Pierre America, Frank S. de Boer: Proving Total Correctness of Recursive Procedures. Inf. Comput. 84(2): 129-162 (1990)

Frank S. de Boer, Catuscia Palamidessi: On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR 1990: 99-114

Frank S. de Boer: A Proof System for the Parallel Object-Oriented Language POOL. ICALP 1990: 572-585

Frank S. de Boer: A Proof System for the Language POOL. REX Workshop 1990: 124-150

Frank S. de Boer, Catuscia Palamidessi: Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP 1990: 175-194

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Semantic Models for a Version of PARLOG. ICLP 1989: 621-636

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS 1989: 165-176

Frank S. de Boer: Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). PARLE (2) 1989: 406-423