Search results for "Frank S. de Boer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Frank S. de Boer, Immo Grabe, Martin Steffen	Termination detection for active objects.	J. Log. Algebr. Program.	2012	DBLP DOI BibTeX RDF
1	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.	2012	DBLP DOI BibTeX RDF
1	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.	2012	DBLP DOI BibTeX RDF
1	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	FMCO	2012	DBLP DOI BibTeX RDF
1	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.	2010	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog	Verification of Object-Oriented Programs: a Transformational Approach	CoRR	2010	DBLP BibTeX RDF
1	Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen	Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.	CONCUR	2010	DBLP DOI BibTeX RDF
1	B. Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw	Monitoring Method Call Sequences Using Annotations.	FACS	2010	DBLP DOI BibTeX RDF
1	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	FMCO	2010	DBLP DOI BibTeX RDF
1	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani	Strategic executions of choreographed timed normative multi-agent systems.	AAMAS	2010	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Immo Grabe	Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.	SOFSEM	2010	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani	Schedulability of asynchronous real-time concurrent objects.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Frank S. de Boer	A shared-variable concurrency analysis of multi-threaded object-oriented programs.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer	On the Semantics and Verification of Normative Multi-Agent Systems.	J. UCS	2009	DBLP BibTeX RDF
1	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.	2009	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog	Modular Verification of Recursive Programs	CoRR	2009	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori	Modular Schedulability Analysis of Concurrent Objects in Creol.	FSEN	2009	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani	The Refinement of Choreographed Multi-Agent Systems.	DALT	2009	DBLP DOI BibTeX RDF
1	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	FMCO	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani	Rewriting Agent Societies Strategically.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe	Abstract Object Creation in Dynamic Logic.	FM	2009	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog	Modular Verification of Recursive Programs.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani	On coordination, autonomy and time.	AAMAS	2009	DBLP DOI BibTeX RDF	timed coordination, multi-agent systems, autonomy
1	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	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk	Using Rewrite Strategies for Testing BUpL Agents.	LOPSTR	2009	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Deductive Proof System for Multithreaded Java with Exceptions.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	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	FMOODS	2008	DBLP BibTeX RDF
1	Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen	Testing Concurrent Objects with Application-Specific Schedulers.	ICTAC	2008	DBLP DOI BibTeX RDF
1	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	FMCO	2008	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Frank S. de Boer	Model-checking agent refinement.	AAMAS	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer	A Verification Framework for Normative Multi-Agent Systems.	PRIMA	2008	DBLP DOI BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF	1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2
1	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	2007	DBLP BibTeX RDF
1	Vladimir Mencl, Frank S. de Boer	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF
1	Frank S. de Boer	A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.	FMOODS	2007	DBLP DOI BibTeX RDF
1	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	FMCO	2007	DBLP BibTeX RDF
1	Frank S. de Boer, Dave Clarke, Einar Broch Johnsen	A Complete Guide to the Future.	ESOP	2007	DBLP DOI BibTeX RDF
1	M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer	Semantics of plan revision in intelligent agents.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue	Preface.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	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.	2006	DBLP DOI BibTeX RDF
1	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.	2006	DBLP DOI BibTeX RDF
1	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.	2006	DBLP DOI BibTeX RDF
1	M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer	Dynamic Logic for Plan Revision in Agent Programming.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
1	Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue	A Component Coordination Model Based on Mobile Channels.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
1	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	FMCO	2006	DBLP BibTeX RDF
1	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude term rewriting language.	AAMAS	2006	DBLP DOI BibTeX RDF	prototyping, term rewriting, agent programming languages
1	M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer	Goal-oriented modularity in agent programming.	AAMAS	2006	DBLP DOI BibTeX RDF	semantics, modularity, agent programming languages, declarative goals
1	Frank S. de Boer, Marcello M. Bonsangue	Preface.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	An assertion-based proof system for multithreaded Java.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Cees Pierik, Frank S. de Boer	A proof outline logic for object-oriented programming.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue	Preface.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer	Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.	J. UCS	2005	DBLP BibTeX RDF
1	Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi	Modular Verification of a Component-Based Actor Language.	J. UCS	2005	DBLP BibTeX RDF
1	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.	2005	DBLP DOI BibTeX RDF
1	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.	2005	DBLP DOI BibTeX RDF
1	Marcel Kyas, Frank S. de Boer, Willem P. de Roever	A Compositional Trace Logic for Behavioural Interface Specifications.	Nord. J. Comput.	2005	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali	Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.	ACSD	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue	MoCha-pi, an exogenous coordination calculus based on mobile channels.	SAC	2005	DBLP DOI BibTeX RDF	distributed mobile channels, coordination, calculus
1	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	FMCO	2005	DBLP BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre	Enterprise Architecture Analysis with XML.	HICSS	2005	DBLP DOI BibTeX RDF
1	Cees Pierik, Dave Clarke, Frank S. de Boer	Controlling Object Allocation Using Creation Guards.	FM	2005	DBLP DOI BibTeX RDF	verification, object-oriented programming, specification, invariants, object allocation
1	Mehdi Dastani, Farhad Arbab, Frank S. de Boer	Coordination and composition in multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, coordination, composition
1	Frank S. de Boer, Marcello M. Bonsangue	Preface.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Marcel Kyas, Frank S. de Boer	On Message Specifications in OCL.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer	Modeling and Verification of Reactive Systems using Rebeca.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	A Timed Linda Language and its Denotational Semantics.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving correctness of timed concurrent constraint programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, reactive systems
1	M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer	Dynamic Logic for Plan Revision in Intelligent Agents.	CLIMA	2004	DBLP DOI BibTeX RDF
1	Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten	Models and Temporal Logics for Timed Component Connectors.	SEFM	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Cees Pierik, Frank S. de Boer	Modularity and the Rule of Adaptation.	AMAST	2004	DBLP DOI BibTeX RDF
1	Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer	Semantics of Plan Revision in Intelligent Agents.	AMAST	2004	DBLP DOI BibTeX RDF
1	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	FMCO	2004	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám	A Fully Abstract Semantics for UML Components.	FMCO	2004	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre	A Logical Viewpoint on Architectures.	EDOC	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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.	2003	DBLP DOI BibTeX RDF
1	Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue	A Channel-based Coordination Model for Components.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	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	2003	DBLP DOI BibTeX RDF
1	Cees Pierik, Frank S. de Boer	A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.	FMOODS	2003	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Inductive Proof Outlines for Monitors in Java.	FMOODS	2003	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer	Coordinating Agents in OO.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
1	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	FMCO	2003	DBLP BibTeX RDF
1	Frank S. de Boer, Cees Pierik	How to Cook a Complete Hoare Logic for Your Pet OO Language.	FMCO	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer	Programming agent deliberation: an approach illustrated using the 3APL language.	AAMAS	2003	DBLP DOI BibTeX RDF	agent deliberation, planning, agent programming
1	Frank S. de Boer	A Hoare logic for dynamic networks of asynchronously communicating deterministic processes.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF

Publications of "Frank S. de Boer" ( http://dblp.L3S.de/Authors/Frank_S._de_Boer )