Frank S. de Boer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Strategic executions of choreographed timed normative multi-agent systemsLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. atal 2010: 965-972 [doi]

Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected PapersFrank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Volume 6286 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Dating Concurrent Objects: Real-Time Modeling and Schedulability AnalysisFrank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen. concur 2010: 1-18 [doi]

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-GraphsFrank S. de Boer, Immo Grabe. sofsem 2010: 200-211 [doi]

2009

Abstract Object Creation in Dynamic LogicWolfgang Ahrendt, Frank S. de Boer, Immo Grabe. fm 2009: 612-627 [doi]

Fault-Based Test Case Generation for Component ConnectorsBernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten. tase 2009: 147-154 [doi]

Modular Verification of Recursive ProgramsKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog. birthday 2009: 1-21 [doi]

On coordination, autonomy and timeLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. atal 2009: 1357-1358 [doi]

The Refinement of Choreographed Multi-Agent SystemsLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. dalt 2010: 20-34 [doi]

On the Semantics and Verification of Normative Multi-Agent SystemsLacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer. jucs, 15(13):2629-2652, 2009. [doi]

Using Rewrite Strategies for Testing BUpL AgentsLacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk. LOPSTR 2010: 143-157 [doi]

Rewriting Agent Societies StrategicallyLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani. iat 2009: 441-444 [doi]

Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Volume 5751 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Java Test Driver Generation from Object-Oriented Interaction TracesFrank S. de Boer, Marcello M. Bonsangue, Andreas GrÃ¼ner, Martin Steffen. ENTCS, 243:33-47, 2009. [doi]

Modeling and Analysis of Thread-Pools in an Industrial Communication PlatformFrank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi. icfem 2009: 367-386 [doi]

A shared-variable concurrency analysis of multi-threaded object-oriented programsFrank S. de Boer. TCS, 410(2-3):128-141, 2009. [doi]

Modular Schedulability Analysis of Concurrent Objects in CreolFrank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori. fsen 2010: 212-227 [doi]

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. FMCO 2010: 41-69 [doi]

Schedulability of asynchronous real-time concurrent objectsMohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani. jlp, 78(5):402-416, 2009. [doi]

2008

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

A Verification Framework for Normative Multi-Agent SystemsLacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer. prima 2008: 54-65 [doi]

Model-checking agent refinementLacramioara Astefanoaei, Frank S. de Boer. atal 2008: 705-712 [doi]

Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, ProceedingsGilles Barthe, Frank S. de Boer, editors, Volume 5051 of Lecture Notes in Computer Science, Springer, 2008.

Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 5382 of Lecture Notes in Computer Science, Springer, 2008.

Schedulability and Compatibility of Real Time Asynchronous ObjectsMohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia. rtss 2008: 70-79 [doi]

Testing Concurrent Objects with Application-Specific SchedulersRudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen. ictac 2008: 319-333 [doi]

A Deductive Proof System for Multithreaded Java with ExceptionsErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. FUIN, 82(4):391-463, 2008. [doi]

2007

Models and temporal logical specifications for timed component connectorsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. SoSyM, 6(1):59-82, 2007. [doi]

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise ArchitectureFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre. emisaij, 2(1):40-57, 2007. [doi]

Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4709 of Lecture Notes in Computer Science, Springer, 2007.

A verification framework for agent programming with declarative goalsFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer. japll, 5(2):277-302, 2007. [doi]

A Complete Guide to the FutureFrank S. de Boer, Dave Clarke, Einar Broch Johnsen. ESOP 2007: 316-330 [doi]

A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java ProgramsFrank S. de Boer. fmoods 2007: 252-268 [doi]

PrefaceVladimir Mencl, Frank S. de Boer. ENTCS, 182:1-2, 2007. [doi]

2006

Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4111 of Lecture Notes in Computer Science, Springer, 2006.

PrefaceFrank S. de Boer, Marcello M. Bonsangue. TCS, 365(1-2):1, 2006. [doi]

Compositional Operational Semantics of a UML-Kernel-Model LanguageHarald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer. ENTCS, 156(1):79-96, 2006. [doi]

A Component Coordination Model Based on Mobile ChannelsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. FUIN, 73(4):561-582, 2006. [doi]

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri NetsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. ENTCS, 154(1):121-138, 2006. [doi]

Semantics of plan revision in intelligent agentsM. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer. TCS, 351(2):240-257, 2006. [doi]

Dynamic Logic for Plan Revision in Agent ProgrammingM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer. logcom, 16(3):375-402, 2006. [doi]

Goal-oriented modularity in agent programmingM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer. atal 2006: 1271-1278 [doi]

Prototyping 3APL in the Maude Term Rewriting LanguageM. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer. clima 2007: 95-114 [doi]

Prototyping 3APL in the Maude term rewriting languageM. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer. atal 2006: 1279-1281 [doi]

Inductive Proof Outlines for Exceptions in Multithreaded JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. ENTCS, 159:281-297, 2006. [doi]

2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata SpecificationsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani. coordination 2005: 236-251 [doi]

Coordination and composition in multi-agent systemsMehdi Dastani, Farhad Arbab, Frank S. de Boer. atal 2005: 439-446 [doi]

Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3657 of Lecture Notes in Computer Science, Springer, 2005.

PrefaceFrank S. de Boer, Marcello M. Bonsangue. SCP, 55(1-3):1-2, 2005. [doi]

Process algebra and constraint programming for modeling interactions in MASFrank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek. aaecc, 16(2-3):113-150, 2005. [doi]

Change impact analysis of enterprise architecturesFrank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre. iri 2005: 177-181 [doi]

Enterprise Architecture Analysis with XMLFrank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre. hicss 2005: [doi]

A Compositional Trace Logic for Behavioural Interface SpecificationsMarcel Kyas, Frank S. de Boer, Willem P. de Roever. njc, 12(2):116-132, 2005.

Formalizing UML Models and OCL Constraints in PVSMarcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler. ENTCS, 115:39-47, 2005. [doi]

Controlling Object Allocation Using Creation GuardsCees Pierik, Dave Clarke, Frank S. de Boer. fm 2005: 59-74 [doi]

A proof outline logic for object-oriented programmingCees Pierik, Frank S. de Boer. TCS, 343(3):413-442, 2005. [doi]

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

Extended Rebeca: A Component-Based Actor Language with Synchronous Message PassingMarjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali. acsd 2005: 212-221 [doi]

Modular Verification of a Component-Based Actor LanguageMarjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi. jucs, 11(10):1695-1717, 2005. [doi]

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca ModelsMarjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer. jucs, 11(6):1054-1082, 2005. [doi]

An assertion-based proof system for multithreaded JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. TCS, 331(2-3):251-290, 2005. [doi]

2004

Models and Temporal Logics for Timed Component ConnectorsFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. sefm 2004: 198-207 [doi]

Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3188 of Lecture Notes in Computer Science, Springer, 2004.

PrefaceFrank S. de Boer, Marcello M. Bonsangue. ENTCS, 101:1-2, 2004. [doi]

A Timed Linda Language and its Denotational SemanticsFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo. FUIN, 63(4):309-330, 2004. [doi]

A Fully Abstract Semantics for UML ComponentsFrank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám. FMCO 2005: 49-69 [doi]

Proving correctness of timed concurrent constraint programsFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo. tocl, 5(4):706-731, 2004. [doi]

A Logical Viewpoint on ArchitecturesFrank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre. edoc 2004: 73-83 [doi]

Using XML Transformations for Enterprise ArchitecturesJoost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert van der Torre. isola 2004: 67-73

On Message Specifications in OCLMarcel Kyas, Frank S. de Boer. ENTCS, 101:73-93, 2004. [doi]

Modularity and the Rule of AdaptationCees Pierik, Frank S. de Boer. amast 2004: 394-408 [doi]

Modeling and Verification of Reactive Systems using RebecaMarjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer. FUIN, 63(4):385-410, 2004. [doi]

Using XML Transformations for Enterprise ArchitecturesAndries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre. isola 2006: 42-56 [doi]

Dynamic Logic for Plan Revision in Intelligent AgentsM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer. clima 2005: 16-32 [doi]

Semantics of Plan Revision in Intelligent AgentsM. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer. amast 2004: 426-442 [doi]

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

Object Connectivity and Full Abstraction for a Concurrent Calculus of ClassesErika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. ictac 2005: 37-51 [doi]

2003

Programming agent deliberation: an approach illustrated using the 3APL languageMehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer. atal 2003: 97-104 [doi]

Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 2852 of Lecture Notes in Computer Science, Springer, 2003.

Coordinating Agents in OOFrank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer. dagstuhl 2004: 8-25 [doi]

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

How to Cook a Complete Hoare Logic for Your Pet OO LanguageFrank S. de Boer, Cees Pierik. FMCO 2004: 111-133 [doi]

A Syntax-Directed Hoare Logic for Object-Oriented Programming ConceptsCees Pierik, Frank S. de Boer. fmoods 2003: 64-78 [doi]

A Channel-based Coordination Model for ComponentsJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. ENTCS, 68(3), 2003. [doi]

A Verification Framework for Agent CommunicationRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. AAMAS, 6(2):185-219, 2003.

Process Algebra for Agent Communication: A General Semantic ApproachRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 2003: 113-128 [doi]

Inductive Proof Outlines for Monitors in JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. fmoods 2003: 155-169 [doi]

A Compositional Operational Semantics for Java::MT::Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. BIRTHDAY 2003: 290-303 [doi]

2002

MoCha: A Middleware Based on Mobile ChannelsFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue. compsac 2002: 667-673 [doi]

A Hoare logic for dynamic networks of asynchronously communicating deterministic processesFrank S. de Boer. TCS, 274(1-2):3-41, 2002. [doi]

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

Proving Correctness of Timed Concurrent Constraint ProgramsFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo. fossacs 2002: 37-51 [doi]

Verification for Java s Reentrant Multithreading ConceptErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen. fossacs 2002: 5-20 [doi]

A Tool-Supported Proof System for Multithreaded JavaErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen. FMCO 2003: 1-32 [doi]

2001

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

Concurrency Verification: Introduction to Compositional and Noncompositional MethodsWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers. Volume 54 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.

Modal Logic with Bounded Quantification over WorldsRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. logcom, 11(5):701-715, 2001. [doi]

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

PreviousNext