Frank S. de Boer

315 papers A* 4A 10B 48C 15Misc 9Journal 83Unranked 117

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	History-based reasoning about behavioral subtyping (extended paper). Theor. Comput. Sci. Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer
2025	—	`conf`	Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs? Principles of Formal Quantitative Analysis Frank S. de Boer, Hans-Dieter A. Hiep
2025	J	`jnl`	First-order Hybrid Separation Logic. J. Autom. Reason. Frank S. de Boer, Hans-Dieter A. Hiep
2025	J	`jnl`	Footprint Logic for Object-Oriented Components (extended paper). Formal Aspects Comput. Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
2025	—	`conf`	Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out. Rebeca for Actor Analysis in Action Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Three Ways of Proving Termination of Loops. The Combined Power of Research, Education, and Dissemination Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2024	—	`book`	Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
2024	J	`jnl`	Guest editorial for the special section on SEFM 2020 and 2021. Softw. Syst. Model. Frank S. de Boer, Antonio Cerone
2024	C	`conf`	History-Based Reasoning About Behavioral Subtyping. ICTAC Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer
2024	J	`jnl`	Proving Correctness of Parallel Implementations of Transition System Models. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2023	B	`conf`	Dynamic Separation Logic. MFPS Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
2023	J	`jnl`	Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2023	B	`conf`	The Logic of Separation Logic: Models and Proofs. TABLEAUX Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
2022	—	`conf`	Footprint Logic for Object-Oriented Components. FACS Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
2022	J	`jnl`	Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
2022	—	`conf`	Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods Frank S. de Boer, Stijn de Gouw
2022	J	`jnl`	Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
2021	J	`jnl`	Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Hans-Dieter A. Hiep
2021	B	`conf`	Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
2021	J	`jnl`	Symbolic execution formally explained. Formal Aspects Comput. Frank S. de Boer, Marcello M. Bonsangue
2020	J	`jnl`	A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2020	—	`ch.`	A Tutorial on Verifying LinkedList Using KeY. 20 Years of KeY Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
2020	J	`jnl`	A formal actor-based model for streaming the future. Sci. Comput. Program. Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink
2020	B	`conf`	History-Based Specification and Verification of Java Collections in KeY. IFM Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
2020	—	`conf`	History-based specification and verification of Java collections in KeY (keynote). FTfJP@ECOOP Frank S. de Boer, Hans-Dieter A. Hiep
2020	—	`conf`	Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
2020	Misc	`conf`	On the nature of cooperative scheduling in active objects. SAC Vlad Nicolae Serbanescu, Frank S. de Boer
2020	—	`ed.`	Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, Italy, November 27, 2020 Gabbrielli's Festschrift Frank S. de Boer, Jacopo Mauro
2020	B	`ed.`	Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings SEFM Frank S. de Boer, Antonio Cerone
2020	—	`ch.`	SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito
2020	—	`conf`	Verifying OpenJDK's LinkedList using KeY. TACAS (2) Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
2019	B	`conf`	Axiomatic Characterization of Trace Reachability for Concurrent Objects. IFM Frank S. de Boer, Hans-Dieter A. Hiep
2019	—	`conf`	From SOS to Asynchronously Communicating Actors. SEFM Workshops Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	B	`conf`	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	B	`conf`	On the Nature of Symbolic Execution. FM Frank S. de Boer, Marcello M. Bonsangue
2019	Misc	`conf`	On the Nature of Symbolic Execution. SYNASC Frank S. de Boer, Marcello M. Bonsangue
2019	J	`jnl`	Reasoning about call-by-value: a missing result in the history of Hoare's logic. CoRR Krzysztof R. Apt, Frank S. de Boer
2019	J	`jnl`	Verifying OpenJDK's LinkedList using KeY. CoRR Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
2019	J	`jnl`	Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
2018	J	`jnl`	A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
2018	—	`conf`	ASCOOP: Actors in Scala with Cooperative Scheduling. CSE Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori
2018	—	`conf`	Actors with Coroutine Support in Java. FACS Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2018	—	`conf`	Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development Frank S. de Boer, Stijn de Gouw
2018	B	`conf`	Deadlock Detection for Actor-Based Coroutines. FM Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink
2018	J	`jnl`	Editorial. Formal Aspects Comput. Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield
2018	—	`ed.`	It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab It's All About Coordination Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten
2018	J	`jnl`	Preface for the special issue "FM15". Acta Informatica Frank S. de Boer, Nikolaj S. Bjørner
2017	J	`jnl`	A Survey of Active Object Languages. ACM Comput. Surv. Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
2017	—	`ch.`	Architecture Analysis. Enterprise Architecture at Work, 4th ed. Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea
2017	J	`jnl`	Compositional schedulability analysis of real-time actor-based systems. Acta Informatica Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
2017	B	`conf`	Distributed Network Generation Based on Preferential Attachment in ABS. SOFSEM Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
2017	—	`ch.`	Foundations. Enterprise Architecture at Work, 4th ed. Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2017	—	`conf`	Human-in-the-Loop Simulation of Cloud Services. ESOCC Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw
2017	C	`conf`	On Futures for Streaming Data in ABS - (Short Paper). FORTE Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
2017	—	`ch.`	Run-Time Deadlock Detection. Provably Correct Systems Frank S. de Boer, Stijn de Gouw
2016	C	`conf`	A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. LOPSTR Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2016	J	`jnl`	A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. CoRR Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2016	—	`ch.`	A Java-Based Distributed Approach for Generating Large-Scale Social Network Graphs. Resource Management for Big Data Platforms Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer
2016	J	`jnl`	A design pattern for optimizations in data intensive applications using ABS and JAVA 8. Concurr. Comput. Pract. Exp. Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer, Chetan Nagarajagowda, Behrooz Nobakht
2016	Misc	`conf`	A high-level and scalable approach for generating scale-free graphs using active objects. SAC Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer, Sadegh Aliakbary
2016	B	`conf`	ABS: A High-Level Modeling Language for Cloud-Aware Programming. SOFSEM Nikolaos Bezirgiannis, Frank S. de Boer
2016	J	`jnl`	Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2016	—	`conf`	Multi-Threaded Actors. ICE Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu
2016	B	`conf`	Run-Time Checking Multi-threaded Java Programs. SOFSEM Frank S. de Boer, Stijn de Gouw
2016	—	`ch.`	Verification of Counting Sort and Radix Sort. Deductive Software Verification Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
2015	—	`conf`	Being and Change: Reasoning About Invariance. Correct System Design Frank S. de Boer, Stijn de Gouw
2015	B	`ed.`	FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings FM Nikolaj S. Bjørner, Frank S. de Boer
2015	J	`jnl`	Fixing the Sorting Algorithm for Android, Java and Python. ERCIM News Stijn de Gouw, Frank S. de Boer
2015	—	`conf`	Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer
2015	—	`conf`	High Performance Computing Applications Using Parallel Data Processing Units. FSEN Keyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer
2015	J	`jnl`	It is pointless to point in bounded heaps. Sci. Comput. Program. Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
2015	J	`jnl`	Model checking recursive programs interacting via the heap. Sci. Comput. Program. Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2015	—	`conf`	OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
2015	J	`jnl`	Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu
2014	—	`conf`	A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
2014	—	`conf`	Combining Monitoring with Run-Time Assertion Checking. SFM Frank S. de Boer, Stijn de Gouw
2014	J	`jnl`	Decidability Problems for Actor Systems. Log. Methods Comput. Sci. Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2014	J	`jnl`	High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer
2014	—	`conf`	Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind Frank S. de Boer, Maurizio Gabbrielli
2014	J	`jnl`	Monitoring method call sequences using annotations. Sci. Comput. Program. Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
2014	—	`conf`	Programming with Actors in Java 8. ISoLA (2) Behrooz Nobakht, Frank S. de Boer
2014	J	`jnl`	Proof Pearl: The KeY to Correct and Stable Sorting. J. Autom. Reason. Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
2014	J	`jnl`	Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
2014	J	`jnl`	Scaling Future Software: The Manycore Challenge. ERCIM News Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad
2014	—	`conf`	Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. ARMS-CC@PODC Vlad Serbanescu, Chetan Nagarajagowda, Keyvan Azadbakht, Frank S. de Boer, Behrooz Nobakht
2013	J	`jnl`	A weakest precondition calculus for BUnity. Sci. Comput. Program. Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2013	—	`conf`	Engineering virtualized services. NordiCloud Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013	—	`ed.`	Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures FMCO Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
2013	—	`ed.`	Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers FMCO Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
2013	—	`conf`	PMG: Multi-core Metabolite Identification. CS2Bio Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank S. de Boer, Julio E. Peironcely, Jean-Loup Faulon, Theo H. Reijmers, Thomas Hankemeier
2013	B	`conf`	Run-Time Verification of Coboxes. SEFM Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong
2013	Misc	`conf`	Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong
2013	C	`conf`	The Future of a Missed Deadline. COORDINATION Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
2013	—	`conf`	Unbounded Allocation in Bounded Heaps. FSEN Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
2013	J	`jnl`	User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2013	B	`conf`	Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2012	—	`conf`	A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
2012	—	`conf`	A modal logic for abstract delta modeling. SPLC (2) Frank S. de Boer, Michiel Helvensteijn, Joost Winter
2012	A	`conf`	Automated Verification of Recursive Programs with Pointers. IJCAR Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
2012	—	`conf`	Bounded Model Checking of Recursive Programs with Pointers in K. WADT Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2012	J	`jnl`	Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
2012	B	`conf`	Decidability Problems for Actor Systems. CONCUR Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
2012	—	`ed.`	Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers FMCO Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
2012	—	`conf`	Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
2012	—	`conf`	Interacting via the Heap in the Presence of Recursion ICE Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
2012	Misc	`conf`	Programming and deployment of active objects with application-level scheduling. SAC Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte
2012	—	`conf`	Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. FACS Frank S. de Boer, Stijn de Gouw
2012	B	`conf`	Scheduling and Analysis of Real-Time Software Families. COMPSAC Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
2012	J	`jnl`	Termination detection for active objects. J. Log. Algebraic Methods Program. Frank S. de Boer, Immo Grabe, Martin Steffen
2012	—	`ed.`	Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings IFIP TCS Jos C. M. Baeten, Thomas Ball, Frank S. de Boer
2012	J	`jnl`	Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw
2010	B	`conf`	Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM Frank S. de Boer, Immo Grabe
2010	B	`conf`	Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
2010	—	`ed.`	Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers FMCO Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
2010	—	`conf`	Monitoring Method Call Sequences Using Annotations. FACS Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
2010	—	`conf`	Prototyping a tool environment for run-time assertion checking in JML with communication histories. FTfJP@ECOOP Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju
2010	—	`conf`	Reasoning about Recursive Processes in Shared-Variable Concurrency. Concurrency, Compositionality, and Correctness Frank S. de Boer
2010	A	`conf`	Strategic executions of choreographed timed normative multi-agent systems. AAMAS Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2010	J	`jnl`	Verification of Object-Oriented Programs: a Transformational Approach CoRR Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	J	`jnl`	A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek
2009	J	`jnl`	A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. Frank S. de Boer
2009	B	`conf`	Abstract Object Creation in Dynamic Logic. FM Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
2009	—	`conf`	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 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
2009	Misc	`conf`	Fault-Based Test Case Generation for Component Connectors. TASE Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
2009	—	`ed.`	Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine
2009	C	`conf`	Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
2009	—	`conf`	Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori
2009	J	`jnl`	Modular Verification of Recursive Programs CoRR Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	—	`conf`	Modular Verification of Recursive Programs. Languages: From Formal to Natural Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2009	—	`conf`	On coordination, autonomy and time. AAMAS (2) Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009	J	`jnl`	On the Semantics and Verification of Normative Multi-Agent Systems. J. Univers. Comput. Sci. Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2009	—	`conf`	Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009	J	`jnl`	Schedulability of asynchronous real-time concurrent objects. J. Log. Algebraic Methods Program. Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani
2009	—	`conf`	The Credo Methodology - (Extended Version). FMCO 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
2009	—	`conf`	The Refinement of Choreographed Multi-Agent Systems. DALT Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
2009	C	`conf`	Using Rewrite Strategies for Testing BUpL Agents. LOPSTR Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk
2009	—	`book`	Verification of Sequential and Concurrent Programs. Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
2008	J	`jnl`	A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2008	B	`conf`	A Verification Framework for Normative Multi-Agent Systems. PRIMA Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2008	—	`ed.`	Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2008	—	`ed.`	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 Gilles Barthe, Frank S. de Boer
2008	—	`conf`	Java Test Driver Generation from Object-Oriented Interaction Traces. TTSS Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen
2008	—	`conf`	Model-checking agent refinement. AAMAS (2) Lacramioara Astefanoaei, Frank S. de Boer
2008	B	`conf`	Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier
2008	A	`conf`	Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
2008	C	`conf`	Testing Concurrent Objects with Application-Specific Schedulers. ICTAC Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
2007	A	`conf`	A Complete Guide to the Future. ESOP Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
2007	—	`conf`	A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. FMOODS Frank S. de Boer
2007	J	`jnl`	A verification framework for agent programming with declarative goals. J. Appl. Log. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2007	—	`ed.`	Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2007	J	`jnl`	Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre
2007	J	`jnl`	Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2007	—	`ed.`	Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006 FACS Vladimir Mencl, Frank S. de Boer
2006	J	`jnl`	A Component Coordination Model Based on Mobile Channels. Fundam. Informaticae Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2006	J	`jnl`	Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
2006	—	`ed.`	Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2006	A	`conf`	Goal-oriented modularity in agent programming. AAMAS M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
2006	—	`conf`	Preface. FACS Vladimir Mencl, Frank S. de Boer
2006	J	`jnl`	Preface. Theor. Comput. Sci. Frank S. de Boer, Marcello M. Bonsangue
2006	—	`conf`	Prototyping 3APL in the Maude Term Rewriting Language. CLIMA M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2006	A	`conf`	Prototyping 3APL in the Maude term rewriting language. AAMAS M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
2006	J	`jnl`	Semantics of plan revision in intelligent agents. Theor. Comput. Sci. M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
2005	J	`jnl`	A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. Marcel Kyas, Frank S. de Boer, Willem P. de Roever
2005	J	`jnl`	A proof outline logic for object-oriented programming. Theor. Comput. Sci. Cees Pierik, Frank S. de Boer
2005	J	`jnl`	An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	Misc	`conf`	Change impact analysis of enterprise architectures. IRI Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre
2005	—	`conf`	Compositional Operational Semantics of a UML-Kernel-Model Language. SOS@ICALP Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
2005	B	`conf`	Controlling Object Allocation Using Creation Guards. FM Cees Pierik, Dave Clarke, Frank S. de Boer
2005	A	`conf`	Coordination and composition in multi-agent systems. AAMAS Mehdi Dastani, Farhad Arbab, Frank S. de Boer
2005	—	`conf`	Enterprise Architecture Analysis with XML. HICSS Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
2005	—	`conf`	Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
2005	—	`ed.`	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2005	—	`conf`	Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	Misc	`conf`	MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2005	J	`jnl`	Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. Univers. Comput. Sci. Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
2005	—	`conf`	Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. FOCLASA Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2005	J	`jnl`	Modular Verification of a Component-Based Actor Language. J. Univers. Comput. Sci. Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
2005	J	`jnl`	Preface. Sci. Comput. Program. Frank S. de Boer, Marcello M. Bonsangue
2005	J	`jnl`	Preface. Theor. Comput. Sci. Frank S. de Boer, Marcello M. Bonsangue
2005	J	`jnl`	Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek
2005	C	`conf`	Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
2004	—	`conf`	A Fully Abstract Semantics for UML Components. FMCO Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
2004	B	`conf`	A Logical Viewpoint on Architectures. EDOC Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
2004	J	`jnl`	A Timed Linda Language and its Denotational Semantics. Fundam. Informaticae Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2004	—	`conf`	Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
2004	—	`ed.`	Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2004	—	`conf`	Formalizing UML Models and OCL Constraints in PVS. SFEDL@ETAPS Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
2004	J	`jnl`	Modeling and Verification of Reactive Systems using Rebeca. Fundam. Informaticae Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
2004	B	`conf`	Models and Temporal Logics for Timed Component Connectors. SEFM Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
2004	—	`conf`	Modularity and the Rule of Adaptation. AMAST Cees Pierik, Frank S. de Boer
2004	C	`conf`	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
2004	—	`conf`	Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
2004	—	`ed.`	Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003 CVUML Frank S. de Boer, Marcello M. Bonsangue
2004	J	`jnl`	Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2004	—	`conf`	Semantics of Plan Revision in Intelligent Agents. AMAST Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
2004	—	`conf`	Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre
2004	C	`conf`	Using XML Transformations for Enterprise Architectures. ISoLA Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre
2003	—	`conf`	A Compositional Operational Semantics for Java Verification: Theory and Practice Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2003	—	`conf`	A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. FMOODS Cees Pierik, Frank S. de Boer
2003	J	`jnl`	A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	J	`jnl`	A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	—	`conf`	Coordinating Agents in OO. Objects, Agents, and Features Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
2003	—	`ed.`	Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2003	—	`conf`	How to Cook a Complete Hoare Logic for Your Pet OO Language. FMCO Frank S. de Boer, Cees Pierik
2003	—	`conf`	Inductive Proof Outlines for Monitors in Java. FMOODS Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2003	—	`conf`	On Message Specifications in OCL. CVUML Marcel Kyas, Frank S. de Boer
2003	—	`conf`	Preface. CVUML Frank S. de Boer, Marcello M. Bonsangue
2003	—	`conf`	Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2003	A	`conf`	Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer
2003	B	`conf`	Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 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
2002	—	`conf`	A Channel-based Coordination Model for Components. FOCLASA Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2002	J	`jnl`	A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Theor. Comput. Sci. Frank S. de Boer
2002	—	`conf`	A Tool-Supported Proof System for Multithreaded Java. FMCO Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2002	J	`jnl`	Agent Programming with Declarative Goals CoRR Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2002	—	`conf`	Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS Frank S. de Boer, Cees Pierik
2002	B	`conf`	MoCha: A Middleware Based on Mobile Channels. COMPSAC Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
2002	—	`conf`	Mobile Channels, Implementation Within and Outside Components. Formal Methods and Component Interaction @ ICALP Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2002	B	`conf`	Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2002	J	`jnl`	Proving correctness of Timed Concurrent Constraint Programs CoRR Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2002	B	`conf`	Verification for Java's Reentrant Multithreading Concept. FoSSaCS Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2001	C	`conf`	A Denotational Semantics for Timed Linda. PPDP Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001	—	`conf`	A Programming Language for Coordinating Group Actions. CEEMAS Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	C	`conf`	A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2001	B	`conf`	A Truly Concurrent Model for Interacting Agents. PRIMA Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	—	`book`	Concurrency Verification: Introduction to Compositional and Noncompositional Methods Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
2001	B	`conf`	Decidable Navigation Logics for Object Structures. CSL Frank S. de Boer, Rogier M. van Eijk
2001	J	`jnl`	Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	J	`jnl`	On Programming KARO Agents. Log. J. IGPL John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
2001	J	`jnl`	On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2001	—	`conf`	Proving correctness of timed concurrent constraint programs. APPIA-GULP-PRODE Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000	B	`conf`	A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS Frank S. de Boer, Marcello M. Bonsangue
2000	—	`conf`	A Coordination Lanuage for Mobile Components. SAC (1) Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer
2000	C	`conf`	A Logical Interface Description Language for Components. COORDINATION Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2000	B	`conf`	A Modal Logic for Network Topologies. JELIA Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	A Programming Logic for Part of the Agent Language 3APL. FAABS Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	J	`jnl`	A Timed Concurrent Constraint Language. Inf. Comput. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000	C	`conf`	A Timed Linda Language. COORDINATION Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
2000	—	`conf`	Agent Programming with Declarative Goals. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
2000	B	`conf`	Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	—	`conf`	Operational Semantics for Agent Communication Languages. Issues in Agent Communication Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
2000	B	`conf`	Proof-Outlines for Threads in Java. CONCUR Erika Ábrahám-Mumm, Frank S. de Boer
2000	—	`conf`	Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	B	`conf`	A WP-calculus for OO. FoSSaCS Frank S. de Boer
1999	J	`jnl`	Agent Programming in 3APL. Auton. Agents Multi Agent Syst. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`conf`	Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`conf`	Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1999	B	`conf`	Generic Process Algebras for Asynchronous Communication. CONCUR Frank S. de Boer, Gianluigi Zavattaro
1999	—	`conf`	Object-Oriented and Constraint Programming for Time Critical Applications. ECOOP Workshops Frank S. de Boer
1999	—	`conf`	Open Multi-agent Systems: Agent Communication and Integration. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1999	—	`conf`	Reasoning about Histories in Object-based Distributed Systems. FMOODS Frank S. de Boer
1999	B	`conf`	The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
1998	—	`conf`	A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	A proof theory of asynchronously communicating sequential processes. PROCOMET Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
1998	Misc	`conf`	Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Control Structures of Rule-Based Agent Languages. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Information-Passing and Belief Revision in Multi-Agent Systems. ATAL Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Preface. COTIC Frank S. de Boer, Maurizio Gabbrielli
1998	B	`conf`	Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. CONCUR Frank S. de Boer
1998	—	`ed.`	Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, COTIC 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998 COTIC Frank S. de Boer, Maurizio Gabbrielli
1998	A	`conf`	Systems of Communicating Agents. ECAI Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1998	—	`conf`	Translations of Vocabularies in Systems of Communicating Agents. COTIC Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	—	`conf`	A Compositional Proof System for Shared Variable Concurrency. FME Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1997	J	`jnl`	An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
1997	—	`conf`	Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS Frank S. de Boer, Willem P. de Roever
1997	—	`conf`	Formal Semantics for an Abstract Agent Programming Language. ATAL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
1997	—	`conf`	Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1997	B	`conf`	Infinite computations in concurrent constraint programming. MFPS Frank S. de Boer, Maurizio Gabbrielli
1997	C	`conf`	Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION Eike Best, Frank S. de Boer, Catuscia Palamidessi
1997	J	`jnl`	Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1997	—	`conf`	Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
1997	A	`conf`	Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
1996	—	`conf`	Compositionality in Real-Time Shared Variable Concurrency. FTRTFT Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
1996	—	`conf`	Local Nondeterminism in Asynchronously Communicating Processes. FME Frank S. de Boer, M. van Hulst
1996	B	`conf`	Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi
1995	B	`conf`	A Compositional Proof System for Asynchronously Communicating Processes. MPC Frank S. de Boer, M. van Hulst
1995	—	`conf`	Concurrent Constraint Programming with Information Removal. CCP Frank S. de Boer, Catuscia Palamidessi, Eike Best
1995	—	`conf`	Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE Frank S. de Boer, Maurizio Gabbrielli
1995	—	`conf`	Modelling Real-Time in Concurrent Constraint Programming. ILPS Frank S. de Boer, Maurizio Gabbrielli
1995	J	`jnl`	Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
1994	B	`conf`	A Proof System for Asynchronously Communicating Deterministic Processes. MFCS Frank S. de Boer, M. van Hulst
1994	—	`conf`	Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET Frank S. de Boer
1994	J	`jnl`	Embedding as a Tool for Language Comparison Inf. Comput. Frank S. de Boer, Catuscia Palamidessi
1994	—	`ed.`	ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994 ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Frank S. de Boer, Maurizio Gabbrielli
1994	A*	`conf`	Proving Concurrent Constraint Programs Correct. POPL Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1994	—	`conf`	Proving correctness of Concurrent Constraint Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1994	J	`jnl`	Reasoning about Dynamically Evolving Process Structures. Formal Aspects Comput. Pierre America, Frank S. de Boer
1993	—	`conf`	Non-monotonic Concurrent Constraint Programming. ILPS Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992	—	`conf`	A Process Algebra of Concurrent Constraint Programming. JICSLP Frank S. de Boer, Catuscia Palamidessi
1992	A*	`conf`	Asynchronous Communication in Process Algebra LICS Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi
1992	—	`conf`	Exception Handling in Process Algebra. NAPAW Frank S. de Boer, J. Coenen, Rob Gerth
1992	J	`jnl`	From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. Theor. Comput. Sci. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992	—	`conf`	On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992	—	`conf`	On the Semantics of Concurrent Constraint Programming. ALPUK Frank S. de Boer, Catuscia Palamidessi
1992	—	`conf`	The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT Frank S. de Boer, Jozef Hooman
1991	A*	`conf`	A Compositional Proof System for Dynamic Process Creation LICS Frank S. de Boer
1991	—	`conf`	A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 Frank S. de Boer, Catuscia Palamidessi
1991	B	`conf`	Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR Frank S. de Boer, Catuscia Palamidessi
1991	J	`jnl`	Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi
1991	B	`conf`	The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1990	—	`conf`	A Proof System for Process Creation. Programming Concepts and Methods Pierre America, Frank S. de Boer
1990	—	`conf`	A Proof System for the Language POOL. REX Workshop Frank S. de Boer
1990	A*	`conf`	A Proof System for the Parallel Object-Oriented Language POOL. ICALP Frank S. de Boer
1990	J	`jnl`	Compositionality in the temporal logic of concurrent systems (extended abstract). Future Gener. Comput. Syst. Frank S. de Boer
1990	—	`conf`	Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP Frank S. de Boer, Catuscia Palamidessi
1990	B	`conf`	On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR Frank S. de Boer, Catuscia Palamidessi
1990	J	`jnl`	Proving Total Correctness of Recursive Procedures Inf. Comput. Pierre America, Frank S. de Boer
1989	—	`conf`	Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). PARLE (2) Frank S. de Boer
1989	B	`conf`	Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1989	B	`conf`	Semantic Models for a Version of PARLOG. ICLP Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1987	—	`conf`	A proof rule for process-creation. Formal Description of Programming Concepts Frank S. de Boer