 | 2010 |
|---|
| 178 |       | Frank S. de Boer,
Immo Grabe:
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.
SOFSEM 2010: 200-211 |
| 2009 |
|---|
| 177 | | Frank S. de Boer,
Marcello M. Bonsangue,
Eric Madelain:
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Springer 2009 |
| 176 | | Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani:
On coordination, autonomy and time.
AAMAS (2) 2009: 1357-1358 |
| 175 | | Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani:
The Refinement of Choreographed Multi-Agent Systems.
DALT 2009: 20-34 |
| 174 | | Wolfgang Ahrendt,
Frank S. de Boer,
Immo Grabe:
Abstract Object Creation in Dynamic Logic.
FM 2009: 612-627 |
| 173 | | 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 |
| 172 | | Krzysztof R. Apt,
Frank S. de Boer,
Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs.
Languages: From Formal to Natural 2009: 1-21 |
| 171 | | 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 |
| 170 | | Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani:
Rewriting Agent Societies Strategically.
Web Intelligence/IAT Workshops 2009: 441-444 |
| 169 | | Krzysztof R. Apt,
Frank S. de Boer,
Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs
CoRR abs/0907.4316: (2009) |
| 168 | | 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) |
| 167 | | 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) |
| 166 | | Frank S. de Boer:
A shared-variable concurrency analysis of multi-threaded object-oriented programs.
Theor. Comput. Sci. 410(2-3): 128-141 (2009) |
| 2008 |
|---|
| 165 |  | Gilles Barthe,
Frank S. de Boer:
Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
Springer 2008 |
| 164 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Springer 2008 |
| 163 | | Lacramioara Astefanoaei,
Frank S. de Boer:
Model-checking agent refinement.
AAMAS (2) 2008: 705-712 |
| 162 | | 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 |
| 161 | | Mohammad Mahdi Jaghoori,
Delphine Longuet,
Frank S. de Boer,
Tom Chothia:
Schedulability and Compatibility of Real Time Asynchronous Objects.
IEEE Real-Time Systems Symposium 2008: 70-79 |
| 160 | | 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 |
| 159 | | Lacramioara Astefanoaei,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems.
PRIMA 2008: 54-65 |
| 158 | | 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) |
| 2007 |
|---|
| 157 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Springer 2007 |
| 156 | | Frank S. de Boer,
Dave Clarke,
Einar Broch Johnsen:
A Complete Guide to the Future.
ESOP 2007: 316-330 |
| 155 | | Frank S. de Boer:
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.
FMOODS 2007: 252-268 |
| 154 | | Vladimir Mencl,
Frank S. de Boer:
Preface.
Electr. Notes Theor. Comput. Sci. 182: 1-2 (2007) |
| 153 | | 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) |
| 152 | | 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) |
| 151 | | 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) |
| 2006 |
|---|
| 150 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Springer 2006 |
| 149 | | M. Birna van Riemsdijk,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
Goal-oriented modularity in agent programming.
AAMAS 2006: 1271-1278 |
| 148 | | 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 |
| 147 | | M. Birna van Riemsdijk,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer:
Prototyping 3APL in the Maude Term Rewriting Language.
CLIMA VII 2006: 95-114 |
| 146 | | 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) |
| 145 | | 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) |
| 144 | | 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) |
| 143 | | 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) |
| 142 | | 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) |
| 141 | | 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) |
| 140 | | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Theor. Comput. Sci. 365(1-2): 1 (2006) |
| 2005 |
|---|
| 139 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
Springer 2005 |
| 138 | | Mehdi Dastani,
Farhad Arbab,
Frank S. de Boer:
Coordination and composition in multi-agent systems.
AAMAS 2005: 439-446 |
| 137 | | 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 |
| 136 | | 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 |
| 135 | | Cees Pierik,
Dave Clarke,
Frank S. de Boer:
Controlling Object Allocation Using Creation Guards.
FM 2005: 59-74 |
| 134 | | Frank S. de Boer,
Marcello M. Bonsangue,
Joost Jacob,
Andries Stam,
Leendert W. N. van der Torre:
Enterprise Architecture Analysis with XML.
HICSS 2005 |
| 133 | | 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 |
| 132 | | 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 |
| 131 | | 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) |
| 130 | | 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) |
| 129 | | Marjan Sirjani,
Frank S. de Boer,
Ali Movaghar-Rahimabadi:
Modular Verification of a Component-Based Actor Language.
J. UCS 11(10): 1695-1717 (2005) |
| 128 | | 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) |
| 127 | | 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) |
| 126 | | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Sci. Comput. Program. 55(1-3): 1-2 (2005) |
| 125 | | 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) |
| 124 | | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Theor. Comput. Sci. 343(3): 283-284 (2005) |
| 123 | | Cees Pierik,
Frank S. de Boer:
A proof outline logic for object-oriented programming.
Theor. Comput. Sci. 343(3): 413-442 (2005) |
| 2004 |
|---|
| 122 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures
Springer 2004 |
| 121 | | Cees Pierik,
Frank S. de Boer:
Modularity and the Rule of Adaptation.
AMAST 2004: 394-408 |
| 120 | | Birna van Riemsdijk,
John-Jules Ch. Meyer,
Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents.
AMAST 2004: 426-442 |
| 119 | | M. Birna van Riemsdijk,
Frank S. de Boer,
John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Intelligent Agents.
CLIMA V 2004: 16-32 |
| 118 | | 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 |
| 117 | | 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 |
| 116 | | Frank S. de Boer,
Marcello M. Bonsangue,
Martin Steffen,
Erika Ábrahám:
A Fully Abstract Semantics for UML Components.
FMCO 2004: 49-69 |
| 115 | | 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 |
| 114 | | 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 |
| 113 | | 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 |
| 112 | | 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 |
| 111 | | 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) |
| 110 | | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004) |
| 109 | | Marcel Kyas,
Frank S. de Boer:
On Message Specifications in OCL.
Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004) |
| 108 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Linda Language and its Denotational Semantics.
Fundam. Inform. 63(4): 309-330 (2004) |
| 107 | | 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) |
| 2003 |
|---|
| 106 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Springer 2003 |
| 105 | | 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 |
| 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 |
| 103 | | 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 |
| 102 | | Frank S. de Boer,
Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language.
FMCO 2003: 111-133 |
| 101 | | Erika Ábrahám,
Frank S. de Boer,
Willem P. de Roever,
Martin Steffen:
Inductive Proof Outlines for Monitors in Java.
FMOODS 2003: 155-169 |
| 100 | | Cees Pierik,
Frank S. de Boer:
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.
FMOODS 2003: 64-78 |
| 99 | | 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 |
| 98 | | Erika Ábrahám,
Frank S. de Boer,
Willem P. de Roever,
Martin Steffen:
A Compositional Operational Semantics for JavaMT.
Verification: Theory and Practice 2003: 290-303 |
| 97 | | 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) |
| 96 | | 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): (2003) |
| 95 | | 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) |
| 2002 |
|---|
| 94 | | Farhad Arbab,
Frank S. de Boer,
Juan Guillen Scholten,
Marcello M. Bonsangue:
MoCha: A Middleware Based on Mobile Channels.
COMPSAC 2002: 667-673 |
| 93 | | 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 |
| 92 | | Frank S. de Boer,
Cees Pierik:
Computer-aided Specification and Verification of Annotated Object-Oriented Programs.
FMOODS 2002: 163-177 |
| 91 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving Correctness of Timed Concurrent Constraint Programs.
FoSSaCS 2002: 37-51 |
| 90 | | 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 |
| 89 | | 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) |
| 88 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving correctness of Timed Concurrent Constraint Programs
CoRR cs.LO/0208042: (2002) |
| 87 | | 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): (2002) |
| 86 | | Frank S. de Boer:
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes.
Theor. Comput. Sci. 274(1-2): 3-41 (2002) |
| 2001 |
|---|
| 85 | | 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 University Press 2001 |
| 84 | | 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 |
| 83 | | Frank S. de Boer,
Rogier M. van Eijk:
Decidable Navigation Logics for Object Structures.
CSL 2001: 324-338 |
| 82 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Denotational Semantics for Timed Linda.
PPDP 2001: 28-36 |
| 81 | | 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 |
| 80 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
TIME 2001: 227-233 |
| 79 | | 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) |
| 78 | | 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) |
| 77 | | 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): (2001) |
| 2000 |
|---|
| 76 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming with Declarative Goals.
ATAL 2000: 228-243 |
| 75 | | 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 |
| 74 | | 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 |
| 73 | | Erika Ábrahám-Mumm,
Frank S. de Boer:
Proof-Outlines for Threads in Java.
CONCUR 2000: 229-242 |
| 72 | | Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Logical Interface Description Language for Components.
COORDINATION 2000: 249-266 |
| 71 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Linda Language.
COORDINATION 2000: 299-304 |
| 70 | | 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 |
| 69 | | 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 |
| 68 | | 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 |
| 67 | | 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 |
| 66 | | 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 |
| 65 | | Frank S. de Boer,
Marcello M. Bonsangue:
A Compositional Model for Confluent Dynamic Data-Flow Networks.
MFCS 2000: 212-221 |
| 64 | | Farhad Arbab,
Marcello M. Bonsangue,
Frank S. de Boer:
A Coordination Lanuage for Mobile Components.
SAC (1) 2000: 166-173 |
| 63 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Concurrent Constraint Language.
Inf. Comput. 161(1): 45-83 (2000) |
| 1999 |
|---|
| 62 | | 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 |
| 61 | | Frank S. de Boer,
Gianluigi Zavattaro:
Generic Process Algebras for Asynchronous Communication.
CONCUR 1999: 226-241 |
| 60 | | Frank S. de Boer:
Object-Oriented and Constraint Programming for Time Critical Applications.
ECOOP Workshops 1999: 255-266 |
| 59 | | 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 |
| 58 | | Frank S. de Boer:
Reasoning about Histories in Object-based Distributed Systems.
FMOODS 1999 |
| 57 | | Frank S. de Boer:
A WP-calculus for OO.
FoSSaCS 1999: 135-149 |
| 56 | | 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 |
| 55 | | 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 |
| 54 | | 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) |
| 1998 |
|---|
| 53 | | 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 |
| 52 | | 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 |
| 51 | | 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 |
| 50 | | 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 |
| 49 | | Frank S. de Boer:
Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures.
CONCUR 1998: 285-300 |
| 48 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Systems of Communicating Agents.
ECAI 1998: 293-297 |
| 47 | | 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 |
| 46 | | Frank S. de Boer,
Nissim Francez,
M. van Hulst,
Frank A. Stomp:
A proof theory of asynchronously communicating sequential processes.
PROCOMET 1998: 49-67 |
| 45 | | Frank S. de Boer,
Maurizio Gabbrielli:
Preface.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
| 44 | | 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): (1998) |
| 1997 |
|---|
| 43 | | 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 |
| 42 | | 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 |
| 41 | | Frank S. de Boer,
Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach.
COMPOS 1997: 632-646 |
| 40 | | Eike Best,
Frank S. de Boer,
Catuscia Palamidessi:
Partial Order and SOS Semantics for Linear Constraint Programs.
COORDINATION 1997: 256-273 |
| 39 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
CP 1997: 47-61 |
| 38 | | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
A Compositional Proof System for Shared Variable Concurrency.
FME 1997: 515-532 |
| 37 | | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.
FSTTCS 1997: 267-283 |
| 36 | | 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) |
| 35 | | Frank S. de Boer,
Maurizio Gabbrielli:
Infinite computations in concurrent constraint programming.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 34 | | Frank S. de Boer,
Alessandra Di Pierro,
Catuscia Palamidessi:
An Algebraic Perspective of Constraint Logic Programming.
J. Log. Comput. 7(1): 1-38 (1997) |
| 1996 |
|---|
| 33 | | Frank S. de Boer,
M. van Hulst:
Local Nondeterminism in Asynchronously Communicating Processes.
FME 1996: 367-384 |
| 32 | | Frank S. de Boer,
H. Tej,
Willem P. de Roever,
M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency.
FTRTFT 1996: 420-439 |
| 31 | | Frank S. de Boer,
Maurizio Gabbrielli,
Catuscia Palamidessi:
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.
SAS 1996: 83-97 |
| 1995 |
|---|
| 30 | | Frank S. de Boer,
Maurizio Gabbrielli:
Modeling Real-Time in Concurrent Constraint Programming.
GULP-PRODE 1995: 101-112 |
| 29 | | Frank S. de Boer,
Maurizio Gabbrielli:
Modelling Real-Time in Concurrent Constraint Programming.
ILPS 1995: 528-542 |
| 28 | | Frank S. de Boer,
M. van Hulst:
A Compositional Proof System for Asynchronously Communicating Processes.
MPC 1995: 197-213 |
| 27 | | Frank S. de Boer,
Alessandra Di Pierro,
Catuscia Palamidessi:
Nondeterminism and Infinite Computations in Constraint Programming.
Theor. Comput. Sci. 151(1): 37-78 (1995) |
| 1994 |
|---|
| 26 | | Frank S. de Boer,
M. van Hulst:
A Proof System for Asynchronously Communicating Deterministic Processes.
MFCS 1994: 256-265 |
| 25 | | Frank S. de Boer,
Maurizio Gabbrielli,
Elena Marchiori,
Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct.
POPL 1994: 98-108 |
| 24 | | Frank S. de Boer:
Compositionality in the Inductive Assertion Method for Concurrent Systems.
PROCOMET 1994: 289-305 |
| 23 | | Pierre America,
Frank S. de Boer:
Reasoning about Dynamically Evolving Process Structures.
Formal Asp. Comput. 6(3): 269-316 (1994) |
| 22 | | Frank S. de Boer,
Catuscia Palamidessi:
Embedding as a Tool for Language Comparison
Inf. Comput. 108(1): 128-157 (1994) |
| 1993 |
|---|
| 21 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming.
ILPS 1993: 315-334 |
| 1992 |
|---|
| 20 | | Frank S. de Boer,
Catuscia Palamidessi:
On the Semantics of Concurrent Constraint Programming.
ALPUK 1992: 145-173 |
| 19 | | Frank S. de Boer,
Jozef Hooman:
The Real-Time Behaviour of Asynchronously Communicating Processes.
FTRTFT 1992: 451-472 |
| 18 | | Frank S. de Boer,
Catuscia Palamidessi:
A Process Algebra of Concurrent Constraint Programming.
JICSLP 1992: 463-477 |
| 17 | | Frank S. de Boer,
Jan Willem Klop,
Catuscia Palamidessi:
Asynchronous Communication in Process Algebra
LICS 1992: 137-147 |
| 16 | | Frank S. de Boer,
J. Coenen,
Rob Gerth:
Exception Handling in Process Algebra.
NAPAW 1992: 86-100 |
| 15 | | 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 |
| 14 | | 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) |
| 1991 |
|---|
| 13 | | 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 |
| 12 | | Frank S. de Boer,
Catuscia Palamidessi:
Embedding as a Tool for Language Comparison: On the CSP Hierarchy.
CONCUR 1991: 127-141 |
| 11 | | Frank S. de Boer:
A Compositional Proof System for Dynamic Process Creation
LICS 1991: 399-405 |
| 10 | | Frank S. de Boer,
Catuscia Palamidessi:
A Fully Abstract Model for Concurrent Constraint Programming.
TAPSOFT, Vol.1 1991: 296-319 |
| 9 | | 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) |
| 1990 |
|---|
| 8 | | 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 |
| 7 | | Frank S. de Boer:
A Proof System for the Parallel Object-Oriented Language POOL.
ICALP 1990: 572-585 |
| 6 | | Frank S. de Boer,
Catuscia Palamidessi:
Concurrent Logic Programming: Asynchronism and Language Comparison.
NACLP 1990: 175-194 |
| 5 | | Frank S. de Boer:
A Proof System for the Language POOL.
REX Workshop 1990: 124-150 |
| 4 | | Pierre America,
Frank S. de Boer:
Proving Total Correctness of Recursive Procedures
Inf. Comput. 84(2): 129-162 (1990) |
| 1989 |
|---|
| 3 | | 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 |
| 2 | | 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 |
| 1 | | Frank S. de Boer:
Compositionality in the Temporal Logic of Concurrent Systems (extended abstract).
PARLE (2) 1989: 406-423 |
