2009 |
164 | EE | 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 |
163 | | 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 |
162 | | 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 |
161 | EE | Lacramioara Astefanoaei,
Frank S. de Boer:
Model-checking agent refinement.
AAMAS (2) 2008: 705-712 |
160 | EE | 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 |
159 | EE | Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
Nick Tinnermeier:
Reo Connectors as Coordination Artifacts in 2APL Systems.
PRIMA 2008: 42-53 |
158 | EE | Lacramioara Astefanoaei,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems.
PRIMA 2008: 54-65 |
157 | EE | 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 |
156 | | 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 |
155 | EE | Frank S. de Boer,
Dave Clarke,
Einar Broch Johnsen:
A Complete Guide to the Future.
ESOP 2007: 316-330 |
154 | EE | Frank S. de Boer:
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.
FMOODS 2007: 252-268 |
153 | EE | Vladimir Mencl,
Frank S. de Boer:
Preface.
Electr. Notes Theor. Comput. Sci. 182: 1-2 (2007) |
152 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Mehdi Dastani,
Farhad Arbab,
Frank S. de Boer:
Coordination and composition in multi-agent systems.
AAMAS 2005: 439-446 |
137 | EE | 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 | EE | 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 | EE | Cees Pierik,
Dave Clarke,
Frank S. de Boer:
Controlling Object Allocation Using Creation Guards.
FM 2005: 59-74 |
134 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Sci. Comput. Program. 55(1-3): 1-2 (2005) |
125 | EE | 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 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Theor. Comput. Sci. 343(3): 283-284 (2005) |
123 | EE | 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 | EE | Cees Pierik,
Frank S. de Boer:
Modularity and the Rule of Adaptation.
AMAST 2004: 394-408 |
120 | EE | Birna van Riemsdijk,
John-Jules Ch. Meyer,
Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents.
AMAST 2004: 426-442 |
119 | EE | 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 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Marcello M. Bonsangue,
Martin Steffen,
Erika Ábrahám:
A Fully Abstract Semantics for UML Components.
FMCO 2004: 49-69 |
115 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004) |
109 | EE | Marcel Kyas,
Frank S. de Boer:
On Message Specifications in OCL.
Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004) |
108 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language.
FMCO 2003: 111-133 |
101 | EE | 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 | EE | Cees Pierik,
Frank S. de Boer:
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.
FMOODS 2003: 64-78 |
99 | EE | 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 | EE | 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 | EE | 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 | EE | Farhad Arbab,
Frank S. de Boer,
Juan Guillen Scholten,
Marcello M. Bonsangue:
MoCha: A Middleware Based on Mobile Channels.
COMPSAC 2002: 667-673 |
93 | EE | 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 | EE | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving Correctness of Timed Concurrent Constraint Programs.
FoSSaCS 2002: 37-51 |
90 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving correctness of Timed Concurrent Constraint Programs
CoRR cs.LO/0208042: (2002) |
87 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Erika Ábrahám-Mumm,
Frank S. de Boer:
Proof-Outlines for Threads in Java.
CONCUR 2000: 229-242 |
72 | EE | Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Logical Interface Description Language for Components.
COORDINATION 2000: 249-266 |
71 | EE | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Linda Language.
COORDINATION 2000: 299-304 |
70 | EE | 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 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Gianluigi Zavattaro:
Generic Process Algebras for Asynchronous Communication.
CONCUR 1999: 226-241 |
60 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Frank S. de Boer,
Maurizio Gabbrielli:
Preface.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
44 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |