Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank S. de Boer
@book{DBLP:books/sp/24/BoerDHJK24,
editor = {Frank S. de Boer and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Eduard Kamburjan},
title = {Active Object Languages: Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {14360},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-51060-1},
doi = {10.1007/978-3-031-51060-1},
isbn = {978-3-031-51059-5},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/24/BoerDHJK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BoerHG23,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Revantha Ramanayake and
Josef Urban},
title = {The Logic of Separation Logic: Models and Proofs},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {407--426},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_22},
doi = {10.1007/978-3-031-43513-3\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BoerHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-08962,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep and
Stijn de Gouw},
editor = {Marie Kerjean and
Paul Blain Levy},
title = {Dynamic Separation Logic},
booktitle = {Proceedings of the 39th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXIX, Indiana University, Bloomington,
IN, USA, June 21-23, 2023},
series = {{EPTICS}},
volume = {3},
publisher = {EpiSciences},
year = {2023},
url = {https://doi.org/10.46298/entics.12297},
doi = {10.46298/ENTICS.12297},
timestamp = {Wed, 03 Jan 2024 15:36:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04661,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Violet Ka I Pun and
Silvia Lizeth Tapia Tarifa},
title = {Proving Correctness of Parallel Implementations of Transition System
Specifications},
journal = {CoRR},
volume = {abs/2302.04661},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04661},
doi = {10.48550/ARXIV.2302.04661},
eprinttype = {arXiv},
eprint = {2302.04661},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BianHBG22,
author = {Jinting Bian and
Hans{-}Dieter A. Hiep and
Frank S. de Boer and
Stijn de Gouw},
title = {Integrating ADTs in KeY and their application to history-based reasoning
about collection},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {1},
pages = {63--89},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00426-x},
doi = {10.1007/S10703-023-00426-X},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BianHBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HiepMBBG22,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Stijn de Gouw},
title = {Verifying OpenJDK's LinkedList using KeY (extended paper)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {5},
pages = {783--802},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00679-7},
doi = {10.1007/S10009-022-00679-7},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/HiepMBBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG20,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Reasoning About Active Objects: {A} Sound and Complete Assertional
Proof Method},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {173--192},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_9},
doi = {10.1007/978-3-031-08166-8\_9},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoerG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerGHB22,
author = {Frank S. de Boer and
Stijn de Gouw and
Hans{-}Dieter A. Hiep and
Jinting Bian},
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {Footprint Logic for Object-Oriented Components},
booktitle = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
pages = {141--160},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0\_9},
doi = {10.1007/978-3-031-20872-0\_9},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BoerGHB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoerB21,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Symbolic execution formally explained},
journal = {Formal Aspects Comput.},
volume = {33},
number = {4-5},
pages = {617--636},
year = {2021},
url = {https://doi.org/10.1007/s00165-020-00527-y},
doi = {10.1007/S00165-020-00527-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoerB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BoerH21,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep},
title = {Completeness and Complexity of Reasoning about Call-by-Value in Hoare
Logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {43},
number = {4},
pages = {17:1--17:35},
year = {2021},
url = {https://doi.org/10.1145/3477143},
doi = {10.1145/3477143},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BoerH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BianHBG21,
author = {Jinting Bian and
Hans{-}Dieter A. Hiep and
Frank S. de Boer and
Stijn de Gouw},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Integrating ADTs in KeY and Their Application to History-Based Reasoning},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {255--272},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_14},
doi = {10.1007/978-3-030-90870-6\_14},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BianHBG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertBBM20,
author = {Elvira Albert and
Nikolaos Bezirgiannis and
Frank S. de Boer and
Enrique Martin{-}Martin},
title = {A Formal, Resource Consumption-Preserving Translation from Actors
with Cooperative Scheduling to Haskell},
journal = {Fundam. Informaticae},
volume = {177},
number = {3-4},
pages = {203--234},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1988},
doi = {10.3233/FI-2020-1988},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlbertBBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AzadbakhtBBV20,
author = {Keyvan Azadbakht and
Frank S. de Boer and
Nikolaos Bezirgiannis and
Erik P. de Vink},
title = {A formal actor-based model for streaming the future},
journal = {Sci. Comput. Program.},
volume = {186},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102341},
doi = {10.1016/J.SCICO.2019.102341},
timestamp = {Thu, 12 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AzadbakhtBBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerJSTT20,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
Lars Tveito},
editor = {Frank S. de Boer and
Jacopo Mauro},
title = {Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded
Command Languages},
booktitle = {Recent Developments in the Design and Implementation of Programming
Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
series = {OASIcs},
volume = {86},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.10},
doi = {10.4230/OASICS.GABBRIELLI.10},
timestamp = {Sun, 07 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BoerJSTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BoerH20,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep},
editor = {Wytse Oortwijn},
title = {History-based specification and verification of Java collections in
KeY (keynote)},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {2--3},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3432349},
doi = {10.1145/3427761.3432349},
timestamp = {Thu, 04 Nov 2021 14:41:50 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BoerH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HiepBBG20,
author = {Hans{-}Dieter A. Hiep and
Jinting Bian and
Frank S. de Boer and
Stijn de Gouw},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {History-Based Specification and Verification of Java Collections in
KeY},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {199--217},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_11},
doi = {10.1007/978-3-030-63461-2\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/HiepBBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SerbanescuB20,
author = {Vlad Nicolae Serbanescu and
Frank S. de Boer},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {On the nature of cooperative scheduling in active objects},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {1322--1329},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3373896},
doi = {10.1145/3341105.3373896},
timestamp = {Thu, 02 Apr 2020 17:08:04 +0200},
biburl = {https://dblp.org/rec/conf/sac/SerbanescuB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HiepMBBEG20,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Marko C. J. D. van Eekelen and
Stijn de Gouw},
editor = {Armin Biere and
David Parker},
title = {Verifying OpenJDK's LinkedList using KeY},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {217--234},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_13},
doi = {10.1007/978-3-030-45237-7\_13},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HiepMBBEG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HiepBBG20,
author = {Hans{-}Dieter A. Hiep and
Jinting Bian and
Frank S. de Boer and
Stijn de Gouw},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {A Tutorial on Verifying LinkedList Using KeY},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {221--245},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_9},
doi = {10.1007/978-3-030-64354-6\_9},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/HiepBBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BoerBJPTT20,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Einar Broch Johnsen and
Violet Ka I Pun and
Silvia Lizeth Tapia Tarifa and
Lars Tveito},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {SymPaths: Symbolic Execution Meets Partial Order Reduction},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {313--338},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_13},
doi = {10.1007/978-3-030-64354-6\_13},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/BoerBJPTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2020gabbrielli,
editor = {Frank S. de Boer and
Jacopo Mauro},
title = {Recent Developments in the Design and Implementation of Programming
Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
series = {OASIcs},
volume = {86},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-171-9},
isbn = {978-3-95977-171-9},
timestamp = {Fri, 05 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2020gabbrielli.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2020,
editor = {Frank S. de Boer and
Antonio Cerone},
title = {Software Engineering and Formal Methods - 18th International Conference,
{SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12310},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58768-0},
doi = {10.1007/978-3-030-58768-0},
isbn = {978-3-030-58767-3},
timestamp = {Mon, 14 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GouwBBHRS19,
author = {Stijn de Gouw and
Frank S. de Boer and
Richard Bubel and
Reiner H{\"{a}}hnle and
Jurriaan Rot and
Dominic Steinh{\"{o}}fel},
title = {Verifying OpenJDK's Sort Method for Generic Collections},
journal = {J. Autom. Reason.},
volume = {62},
number = {1},
pages = {93--126},
year = {2019},
url = {https://doi.org/10.1007/s10817-017-9426-4},
doi = {10.1007/S10817-017-9426-4},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GouwBBHRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BezirgiannisBJP19,
author = {Nikolaos Bezirgiannis and
Frank S. de Boer and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Implementing {SOS} with Active Objects: {A} Case Study of a Multicore
Memory System},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {332--350},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_20},
doi = {10.1007/978-3-030-16722-6\_20},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BezirgiannisBJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BoerB19,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {On the Nature of Symbolic Execution},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {64--80},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_6},
doi = {10.1007/978-3-030-30942-8\_6},
timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
biburl = {https://dblp.org/rec/conf/fm/BoerB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoerH19,
author = {Frank S. de Boer and
Hans{-}Dieter A. Hiep},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Axiomatic Characterization of Trace Reachability for Concurrent Objects},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {157--174},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_9},
doi = {10.1007/978-3-030-34968-4\_9},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/BoerH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BoerJPT19,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa},
editor = {Javier C{\'{a}}mara and
Martin Steffen},
title = {From {SOS} to Asynchronously Communicating Actors},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2019 Collocated Workshops:
CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12226},
pages = {269--275},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57506-9\_20},
doi = {10.1007/978-3-030-57506-9\_20},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BoerJPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BoerB19,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {On the Nature of Symbolic Execution},
booktitle = {21st International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2019, Timisoara, Romania, September
4-7, 2019},
pages = {4--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SYNASC49474.2019.00009},
doi = {10.1109/SYNASC49474.2019.00009},
timestamp = {Wed, 15 Apr 2020 15:27:07 +0200},
biburl = {https://dblp.org/rec/conf/synasc/BoerB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-06215,
author = {Krzysztof R. Apt and
Frank S. de Boer},
title = {Reasoning about call-by-value: a missing result in the history of
Hoare's logic},
journal = {CoRR},
volume = {abs/1909.06215},
year = {2019},
url = {http://arxiv.org/abs/1909.06215},
eprinttype = {arXiv},
eprint = {1909.06215},
timestamp = {Wed, 18 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-06215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04195,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Marko C. J. D. van Eekelen and
Stijn de Gouw},
title = {Verifying OpenJDK's LinkedList using KeY},
journal = {CoRR},
volume = {abs/1911.04195},
year = {2019},
url = {http://arxiv.org/abs/1911.04195},
eprinttype = {arXiv},
eprint = {1911.04195},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BoerB18,
author = {Frank S. de Boer and
Nikolaj S. Bj{\o}rner},
title = {Preface for the special issue "FM15"},
journal = {Acta Informatica},
volume = {55},
number = {6},
pages = {459--460},
year = {2018},
url = {https://doi.org/10.1007/s00236-018-0323-z},
doi = {10.1007/S00236-018-0323-Z},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BoerB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BjornerBB18,
author = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer and
Andrew Butterfield},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {493--494},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0463-5},
doi = {10.1007/S00165-018-0463-5},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BjornerBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BoerBLZ18,
author = {Frank S. de Boer and
Mario Bravetti and
Matias David Lee and
Gianluigi Zavattaro},
title = {A Petri Net Based Modeling of Active Objects and Futures},
journal = {Fundam. Informaticae},
volume = {159},
number = {3},
pages = {197--256},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1663},
doi = {10.3233/FI-2018-1663},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BoerBLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG18,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Compositional Semantics for Concurrent Object Groups in {ABS}},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {87--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_6},
doi = {10.1007/978-3-319-98047-8\_6},
timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BoerG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/SerbanescuBJ18,
author = {Vlad Serbanescu and
Frank S. de Boer and
Mohammad Mahdi Jaghoori},
editor = {Florin Pop and
Catalin Negru and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez and
Jacek Rak},
title = {{ASCOOP:} Actors in Scala with Cooperative Scheduling},
booktitle = {2018 {IEEE} International Conference on Computational Science and
Engineering, {CSE} 2018, Bucharest, Romania, October 29-31, 2018},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CSE.2018.00010},
doi = {10.1109/CSE.2018.00010},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/SerbanescuBJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/SerbanescuBJ18,
author = {Vlad Serbanescu and
Frank S. de Boer and
Mohammad Mahdi Jaghoori},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Actors with Coroutine Support in Java},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {237--255},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_12},
doi = {10.1007/978-3-030-02146-7\_12},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/SerbanescuBJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AzadbakhtBV18,
author = {Keyvan Azadbakht and
Frank S. de Boer and
Erik P. de Vink},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Deadlock Detection for Actor-Based Coroutines},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {39--54},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_3},
doi = {10.1007/978-3-319-95582-7\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AzadbakhtBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-10040,
author = {Frank S. de Boer and
Elena Giachino and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve and
Ka I Pun and
Gianluigi Zavattaro},
editor = {Davide Ancona and
Gordon Pace},
title = {Analysis of {SLA} Compliance in the Cloud - An Automated, Model-based
Approach},
booktitle = {Proceedings of the Second Workshop on Verification of Objects at RunTime
EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July
2018},
series = {{EPTCS}},
volume = {302},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.302.1},
doi = {10.4204/EPTCS.302.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018arbab,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6},
doi = {10.1007/978-3-319-90089-6},
isbn = {978-3-319-90088-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2018arbab.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JaghooriBLCS17,
author = {Mohammad Mahdi Jaghoori and
Frank S. de Boer and
Delphine Longuet and
Tom Chothia and
Marjan Sirjani},
title = {Compositional schedulability analysis of real-time actor-based systems},
journal = {Acta Informatica},
volume = {54},
number = {4},
pages = {343--378},
year = {2017},
url = {https://doi.org/10.1007/s00236-015-0254-x},
doi = {10.1007/S00236-015-0254-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/JaghooriBLCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BoerSHHRDJSKFY17,
author = {Frank S. de Boer and
Vlad Serbanescu and
Reiner H{\"{a}}hnle and
Ludovic Henrio and
Justine Rochas and
Crystal Chang Din and
Einar Broch Johnsen and
Marjan Sirjani and
Ehsan Khamespanah and
Kiko Fernandez{-}Reyes and
Albert Mingkun Yang},
title = {A Survey of Active Object Languages},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {5},
pages = {76:1--76:39},
year = {2017},
url = {https://doi.org/10.1145/3122848},
doi = {10.1145/3122848},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BoerSHHRDJSKFY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/BezirgiannisBG17,
author = {Nikolaos Bezirgiannis and
Frank S. de Boer and
Stijn de Gouw},
editor = {Flavio De Paoli and
Stefan Schulte and
Einar Broch Johnsen},
title = {Human-in-the-Loop Simulation of Cloud Services},
booktitle = {Service-Oriented and Cloud Computing - 6th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2017, Oslo, Norway, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10465},
pages = {143--158},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67262-5\_11},
doi = {10.1007/978-3-319-67262-5\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/esocc/BezirgiannisBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AzadbakhtBB17,
author = {Keyvan Azadbakht and
Nikolaos Bezirgiannis and
Frank S. de Boer},
editor = {Ahmed Bouajjani and
Alexandra Silva},
title = {On Futures for Streaming Data in {ABS} - (Short Paper)},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
as Part of the 12th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {67--73},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_5},
doi = {10.1007/978-3-319-60225-7\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/AzadbakhtBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AzadbakhtBB17,
author = {Keyvan Azadbakht and
Nikolaos Bezirgiannis and
Frank S. de Boer},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Distributed Network Generation Based on Preferential Attachment in
{ABS}},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {103--115},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_9},
doi = {10.1007/978-3-319-51963-0\_9},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AzadbakhtBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/LankhorstTPABB17,
author = {Marc M. Lankhorst and
Leon van der Torre and
Henderik A. Proper and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Marc M. Lankhorst},
title = {Foundations},
booktitle = {Enterprise Architecture at Work - Modelling, Communication and Analysis,
Fourth Editiontion},
pages = {41--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-53933-0\_3},
doi = {10.1007/978-3-662-53933-0\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/LankhorstTPABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/IacobJTBBSLQA17,
author = {Maria{-}Eugenia Iacob and
Henk Jonkers and
Leon van der Torre and
Frank S. de Boer and
Marcello M. Bonsangue and
Andries W. Stam and
Marc M. Lankhorst and
Dick A. C. Quartel and
Adina Aldea},
editor = {Marc M. Lankhorst},
title = {Architecture Analysis},
booktitle = {Enterprise Architecture at Work - Modelling, Communication and Analysis,
Fourth Editiontion},
pages = {215--252},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-53933-0\_9},
doi = {10.1007/978-3-662-53933-0\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/IacobJTBBSLQA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BoerG17,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {Run-Time Deadlock Detection},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {245--264},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_10},
doi = {10.1007/978-3-319-48628-4\_10},
timestamp = {Wed, 14 Nov 2018 10:12:22 +0100},
biburl = {https://dblp.org/rec/books/sp/17/BoerG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/SerbanescuABNN16,
author = {Vlad Serbanescu and
Keyvan Azadbakht and
Frank S. de Boer and
Chetan Nagarajagowda and
Behrooz Nobakht},
title = {A design pattern for optimizations in data intensive applications
using {ABS} and {JAVA} 8},
journal = {Concurr. Comput. Pract. Exp.},
volume = {28},
number = {2},
pages = {374--385},
year = {2016},
url = {https://doi.org/10.1002/cpe.3480},
doi = {10.1002/CPE.3480},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/SerbanescuABNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GouwBAB16,
author = {Stijn de Gouw and
Frank S. de Boer and
Wolfgang Ahrendt and
Richard Bubel},
title = {Integrating deductive verification and symbolic execution for abstract
object creation in dynamic logic},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {1117--1140},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0446-9},
doi = {10.1007/S10270-014-0446-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/GouwBAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertBBM16,
author = {Elvira Albert and
Nikolaos Bezirgiannis and
Frank S. de Boer and
Enrique Martin{-}Martin},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {A Formal, Resource Consumption-Preserving Translation of Actors to
Haskell},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {21--37},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_2},
doi = {10.1007/978-3-319-63139-4\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertBBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AzadbakhtBBA16,
author = {Keyvan Azadbakht and
Nikolaos Bezirgiannis and
Frank S. de Boer and
Sadegh Aliakbary},
editor = {Sascha Ossowski},
title = {A high-level and scalable approach for generating scale-free graphs
using active objects},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1244--1250},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851722},
doi = {10.1145/2851613.2851722},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/AzadbakhtBBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BoerG16,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Run-Time Checking Multi-threaded Java Programs},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {217--228},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_18},
doi = {10.1007/978-3-662-49192-8\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BoerG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BezirgiannisB16,
author = {Nikolaos Bezirgiannis and
Frank S. de Boer},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {{ABS:} {A} High-Level Modeling Language for Cloud-Aware Programming},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {433--444},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_35},
doi = {10.1007/978-3-662-49192-8\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BezirgiannisB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AzadbakhtBS16,
author = {Keyvan Azadbakht and
Frank S. de Boer and
Vlad Serbanescu},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Multi-Threaded Actors},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {51--66},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.4},
doi = {10.4204/EPTCS.223.4},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AzadbakhtBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ccn/SerbanescuAB16,
author = {Vlad Serbanescu and
Keyvan Azadbakht and
Frank S. de Boer},
editor = {Florin Pop and
Joanna Kolodziej and
Beniamino Di Martino},
title = {A Java-Based Distributed Approach for Generating Large-Scale Social
Network Graphs},
booktitle = {Resource Management for Big Data Platforms - Algorithms, Modelling,
and High-Performance Computing Techniques},
series = {Computer Communications and Networks},
pages = {401--417},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44881-7\_19},
doi = {10.1007/978-3-319-44881-7\_19},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ccn/SerbanescuAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GouwBR16,
author = {Stijn de Gouw and
Frank S. de Boer and
Jurriaan Rot},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Peter H. Schmitt and
Mattias Ulbrich},
title = {Verification of Counting Sort and Radix Sort},
booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice},
series = {Lecture Notes in Computer Science},
volume = {10001},
pages = {609--618},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49812-6\_19},
doi = {10.1007/978-3-319-49812-6\_19},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/GouwBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbertBBM16,
author = {Elvira Albert and
Nikolaos Bezirgiannis and
Frank S. de Boer and
Enrique Martin{-}Martin},
title = {A Formal, Resource Consumption-Preserving Translation of Actors to
Haskell},
journal = {CoRR},
volume = {abs/1608.02896},
year = {2016},
url = {http://arxiv.org/abs/1608.02896},
eprinttype = {arXiv},
eprint = {1608.02896},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlbertBBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AsavoaeBBLR15,
author = {Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu and
Jurriaan Rot},
title = {Model checking recursive programs interacting via the heap},
journal = {Sci. Comput. Program.},
volume = {100},
pages = {61--83},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.009},
doi = {10.1016/J.SCICO.2014.09.009},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AsavoaeBBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoerBR15,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Jurriaan Rot},
title = {It is pointless to point in bounded heaps},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {102--118},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.06.007},
doi = {10.1016/J.SCICO.2015.06.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BoerBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WongBBGGHMS15,
author = {Peter Y. H. Wong and
Richard Bubel and
Frank S. de Boer and
Miguel G{\'{o}}mez{-}Zamalloa and
Stijn de Gouw and
Reiner H{\"{a}}hnle and
Karl Meinke and
Muddassar Azam Sindhu},
title = {Testing abstract behavioral specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {107--119},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0301-x},
doi = {10.1007/S10009-014-0301-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/WongBBGGHMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG15,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Being and Change: Reasoning About Invariance},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {191--204},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_13},
doi = {10.1007/978-3-319-23506-6\_13},
timestamp = {Mon, 02 Sep 2019 16:45:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoerG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GouwRBBH15,
author = {Stijn de Gouw and
Jurriaan Rot and
Frank S. de Boer and
Richard Bubel and
Reiner H{\"{a}}hnle},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad
and the Worst Case},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {273--289},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_16},
doi = {10.1007/978-3-319-21690-4\_16},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/GouwRBBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/NobakhtGB15,
author = {Behrooz Nobakht and
Stijn de Gouw and
Frank S. de Boer},
editor = {Schahram Dustdar and
Frank Leymann and
Massimo Villari},
title = {Formal Verification of Service Level Agreements Through Distributed
Monitoring},
booktitle = {Service Oriented and Cloud Computing - 4th European Conference, {ESOCC}
2015, Taormina, Italy, September 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9306},
pages = {125--140},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24072-5\_9},
doi = {10.1007/978-3-319-24072-5\_9},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/NobakhtGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AzadbakhtSB15,
author = {Keyvan Azadbakht and
Vlad Serbanescu and
Frank S. de Boer},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {High Performance Computing Applications Using Parallel Data Processing
Units},
booktitle = {Fundamentals of Software Engineering - 6th International Conference,
{FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9392},
pages = {191--206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24644-4\_13},
doi = {10.1007/978-3-319-24644-4\_13},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AzadbakhtSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015,
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9},
doi = {10.1007/978-3-319-19249-9},
isbn = {978-3-319-19248-2},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GouwB15,
author = {Stijn de Gouw and
Frank S. de Boer},
title = {Fixing the Sorting Algorithm for Android, Java and Python},
journal = {{ERCIM} News},
volume = {2015},
number = {102},
year = {2015},
url = {http://ercim-news.ercim.eu/en102/r-i/fixing-the-sorting-algorithm-for-android-java-and-python},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GouwB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoerJLZ14,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Cosimo Laneve and
Gianluigi Zavattaro},
title = {Decidability Problems for Actor Systems},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:5)2014},
doi = {10.2168/LMCS-10(4:5)2014},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoerJLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GouwBR14,
author = {Stijn de Gouw and
Frank S. de Boer and
Jurriaan Rot},
title = {Proof Pearl: The KeY to Correct and Stable Sorting},
journal = {J. Autom. Reason.},
volume = {53},
number = {2},
pages = {129--139},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9300-y},
doi = {10.1007/S10817-013-9300-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GouwBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NobakhtBBGJ14,
author = {Behrooz Nobakht and
Frank S. de Boer and
Marcello M. Bonsangue and
Stijn de Gouw and
Mohammad Mahdi Jaghoori},
title = {Monitoring method call sequences using annotations},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {362--378},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.030},
doi = {10.1016/J.SCICO.2013.11.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/NobakhtBBGJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/AlbertBHJSTW14,
author = {Elvira Albert and
Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
Peter Y. H. Wong},
title = {Formal modeling and analysis of resource management for cloud architectures:
an industrial case study using Real-Time {ABS}},
journal = {Serv. Oriented Comput. Appl.},
volume = {8},
number = {4},
pages = {323--339},
year = {2014},
url = {https://doi.org/10.1007/s11761-013-0148-0},
doi = {10.1007/S11761-013-0148-0},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/soca/AlbertBHJSTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/BoerGJKW14,
author = {Frank S. de Boer and
Stijn de Gouw and
Einar Broch Johnsen and
Andreas Kohn and
Peter Y. H. Wong},
title = {Run-Time Assertion Checking of Data- and Protocol-Oriented Properties
of Java Programs: An Industrial Case Study},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {11},
pages = {1--26},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-55099-7\_1},
doi = {10.1007/978-3-642-55099-7\_1},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/BoerGJKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoerG14,
author = {Frank S. de Boer and
Maurizio Gabbrielli},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Leaving Traces: {A} Note on a Sound and Complete Trace Logic for Concurrent
Constraint Programs},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {168--179},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_8},
doi = {10.1007/978-3-319-06880-0\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoerG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BonsangueRABR14,
author = {Marcello M. Bonsangue and
Jurriaan Rot and
Davide Ancona and
Frank S. de Boer and
Jan J. M. M. Rutten},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {A Coalgebraic Foundation for Coinductive Union Types},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {62--73},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_6},
doi = {10.1007/978-3-662-43951-7\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BonsangueRABR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NobakhtB14,
author = {Behrooz Nobakht and
Frank S. de Boer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming with Actors in Java 8},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {37--53},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_4},
doi = {10.1007/978-3-662-45231-8\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/NobakhtB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SerbanescuNABN14,
author = {Vlad Serbanescu and
Chetan Nagarajagowda and
Keyvan Azadbakht and
Frank S. de Boer and
Behrooz Nobakht},
editor = {Florin Pop and
Maria Potop{-}Butucaru},
title = {Towards Type-Based Optimizations in Distributed Applications Using
{ABS} and {JAVA} 8},
booktitle = {Adaptive Resource Management and Scheduling for Cloud Computing -
First International Workshop, {ARMS-CC} 2014, held in Conjunction
with {ACM} Symposium on Principles of Distributed Computing, {PODC}
2014, Paris, France, July 15, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8907},
pages = {103--112},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13464-2\_8},
doi = {10.1007/978-3-319-13464-2\_8},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/SerbanescuNABN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BoerG14,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
title = {Combining Monitoring with Run-Time Assertion Checking},
booktitle = {Formal Methods for Executable Software Models - 14th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8483},
pages = {217--262},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0\_6},
doi = {10.1007/978-3-319-07317-0\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BoerG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/ArbabJB14,
author = {Farhad Arbab and
Sung{-}Shik Jongmans and
Frank S. de Boer},
title = {High-Level Protocol Engineering without Performance Penalty for Multi-Core},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/special/high-level-protocol-engineering-without-performance-penalty-for-multi-core},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/ArbabJB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BoerJCDYW14,
author = {Frank S. de Boer and
Einar Broch Johnsen and
Dave Clarke and
Sophia Drossopoulou and
Nobuko Yoshida and
Tobias Wrigstad},
title = {Scaling Future Software: The Manycore Challenge},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/challenges-for-icst/scaling-future-software-the-manycore-challenge},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BoerJCDYW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BjorkBJST13,
author = {Joakim Bj{\o}rk and
Frank S. de Boer and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
title = {User-defined schedulers for real-time concurrent objects},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {29--43},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0184-5},
doi = {10.1007/S11334-012-0184-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/BjorkBJST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AstefanoaeiBDM13,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani and
John{-}Jules Ch. Meyer},
title = {A weakest precondition calculus for BUnity},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1278--1293},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.009},
doi = {10.1016/J.SCICO.2012.05.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AstefanoaeiBDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/NobakhtBJ13,
author = {Behrooz Nobakht and
Frank S. de Boer and
Mohammad Mahdi Jaghoori},
editor = {Rocco De Nicola and
Christine Julien},
title = {The Future of a Missed Deadline},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {181--195},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_13},
doi = {10.1007/978-3-642-38493-6\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/NobakhtBJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/RotBB13,
author = {Jurriaan Rot and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Unbounded Allocation in Bounded Heaps},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_1},
doi = {10.1007/978-3-642-40213-5\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/RotBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordicloud/AlbertBHJL13,
author = {Elvira Albert and
Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Cosimo Laneve},
editor = {Arnor Solberg and
Muhammad Ali Babar and
Marlon Dumas and
Carlos E. Cuesta},
title = {Engineering virtualized services},
booktitle = {Second Nordic Symposium on Cloud Computing {\&} Internet Technologies,
NordiCloud '13, Oslo, Norway, September 1-3, 2013},
series = {{ACM} International Conference Proceeding Series},
volume = {826},
pages = {59--63},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2513534.2513545},
doi = {10.1145/2513534.2513545},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/nordicloud/AlbertBHJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GouwBJW13,
author = {Stijn de Gouw and
Frank S. de Boer and
Einar Broch Johnsen and
Peter Y. H. Wong},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Run-time checking of data- and protocol-oriented properties of Java
programs: an industrial case study},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1573--1578},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480656},
doi = {10.1145/2480362.2480656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GouwBJW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BoerGW13,
author = {Frank S. de Boer and
Stijn de Gouw and
Peter Y. H. Wong},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Run-Time Verification of Coboxes},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {259--273},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_18},
doi = {10.1007/978-3-642-40561-7\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BoerGW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GouwBAB13,
author = {Stijn de Gouw and
Frank S. de Boer and
Wolfgang Ahrendt and
Richard Bubel},
editor = {Peter van Emde Boas and
Frans C. A. Groen and
Giuseppe F. Italiano and
Jerzy R. Nawrocki and
Harald Sack},
title = {Weak Arithmetic Completeness of Object-Oriented First-Order Assertion
Networks},
booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
Conference on Current Trends in Theory and Practice of Computer Science,
{\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7741},
pages = {207--219},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35843-2\_19},
doi = {10.1007/978-3-642-35843-2\_19},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GouwBAB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JaghooriJBPFRH13,
author = {Mohammad Mahdi Jaghoori and
Sung{-}Shik T. Q. Jongmans and
Frank S. de Boer and
Julio E. Peironcely and
Jean{-}Loup Faulon and
Theo H. Reijmers and
Thomas Hankemeier},
editor = {Emanuela Merelli and
Angelo Troina},
title = {{PMG:} Multi-core Metabolite Identification},
booktitle = {Proceedings of the fourth International Workshop on Interactions between
Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6,
2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {299},
pages = {53--60},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.11.005},
doi = {10.1016/J.ENTCS.2013.11.005},
timestamp = {Tue, 22 Nov 2022 13:29:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JaghooriJBPFRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2011,
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35887-6},
doi = {10.1007/978-3-642-35887-6},
isbn = {978-3-642-35886-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2012,
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40615-7},
doi = {10.1007/978-3-642-40615-7},
isbn = {978-3-642-40614-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AptBOG12,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog and
Stijn de Gouw},
title = {Verification of object-oriented programs: {A} transformational approach},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {823--852},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.002},
doi = {10.1016/J.JCSS.2011.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AptBOG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BoerGS12,
author = {Frank S. de Boer and
Immo Grabe and
Martin Steffen},
title = {Termination detection for active objects},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {4},
pages = {541--557},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.03.009},
doi = {10.1016/J.JLAP.2012.03.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BoerGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MengAAABR12,
author = {Sun Meng and
Farhad Arbab and
Bernhard K. Aichernig and
Lacramioara Astefanoaei and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Connectors as designs: Modeling, refinement and test case generation},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {799--822},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.04.002},
doi = {10.1016/J.SCICO.2011.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MengAAABR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoerBR12,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Jurriaan Rot},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Automated Verification of Recursive Programs with Pointers},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {149--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_14},
doi = {10.1007/978-3-642-31365-3\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BoerBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SabouriJBK12,
author = {Hamideh Sabouri and
Mohammad Mahdi Jaghoori and
Frank S. de Boer and
Ramtin Khosravi},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {Scheduling and Analysis of Real-Time Software Families},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {680--689},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSAC.2012.95},
doi = {10.1109/COMPSAC.2012.95},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SabouriJBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerJLZ12,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Cosimo Laneve and
Gianluigi Zavattaro},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Decidability Problems for Actor Systems},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {562--577},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_39},
doi = {10.1007/978-3-642-32940-1\_39},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerJLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/BoerHJSW12,
author = {Frank S. de Boer and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Rudolf Schlatte and
Peter Y. H. Wong},
editor = {Flavio De Paoli and
Ernesto Pimentel and
Gianluigi Zavattaro},
title = {Formal Modeling of Resource Management for Cloud Architectures: An
Industrial Case Study},
booktitle = {Service-Oriented and Cloud Computing - First European Conference,
{ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7592},
pages = {91--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33427-6\_7},
doi = {10.1007/978-3-642-33427-6\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/BoerHJSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerBGLSZ12,
author = {Frank S. de Boer and
Mario Bravetti and
Immo Grabe and
Matias David Lee and
Martin Steffen and
Gianluigi Zavattaro},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {A Petri Net Based Analysis of Deadlocks for Active Objects and Futures},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {110--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_7},
doi = {10.1007/978-3-642-35861-6\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoerBGLSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoerG12,
author = {Frank S. de Boer and
Stijn de Gouw},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Run-Time Verification of Black-Box Components Using Behavioral Specifications:
An Experience Report on Tool Development},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {128--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_8},
doi = {10.1007/978-3-642-35861-6\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BoerG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NobakhtBJS12,
author = {Behrooz Nobakht and
Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Rudolf Schlatte},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Programming and deployment of active objects with application-level
scheduling},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1883--1888},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232086},
doi = {10.1145/2245276.2232086},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/NobakhtBJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BoerHW12,
author = {Frank S. de Boer and
Michiel Helvensteijn and
Joost Winter},
editor = {Eduardo Santana de Almeida and
Christa Schwanninger and
David Benavides},
title = {A modal logic for abstract delta modeling},
booktitle = {16th International Software Product Line Conference, {SPLC} '12, Salvador,
Brazil - September 2-7, 2012, Volume 2},
pages = {45--52},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364412.2364421},
doi = {10.1145/2364412.2364421},
timestamp = {Wed, 28 Oct 2020 08:39:41 +0100},
biburl = {https://dblp.org/rec/conf/splc/BoerHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AsavoaeBBLR12,
author = {Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu and
Jurriaan Rot},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Bounded Model Checking of Recursive Programs with Pointers in {K}},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {59--76},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_4},
doi = {10.1007/978-3-642-37635-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AsavoaeBBLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3879,
author = {Jurriaan Rot and
Irina Mariuca Asavoae and
Frank S. de Boer and
Marcello M. Bonsangue and
Dorel Lucanu},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Interacting via the Heap in the Presence of Recursion},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {99--113},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.9},
doi = {10.4204/EPTCS.104.9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2010,
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25271-6},
doi = {10.1007/978-3-642-25271-6},
isbn = {978-3-642-25270-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2012,
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7},
doi = {10.1007/978-3-642-33475-7},
isbn = {978-3-642-33474-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AstefanoaeiBD10,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Strategic executions of choreographed timed normative multi-agent
systems},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {965--972},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838336},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AstefanoaeiBD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Boer10,
author = {Frank S. de Boer},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Reasoning about Recursive Processes in Shared-Variable Concurrency},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {127--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_9},
doi = {10.1007/978-3-642-11512-7\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Boer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerJJ10,
author = {Frank S. de Boer and
Mohammad Mahdi Jaghoori and
Einar Broch Johnsen},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {1--18},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_1},
doi = {10.1007/978-3-642-15375-4\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerJJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BoerGV10,
author = {Frank S. de Boer and
Stijn de Gouw and
Jurgen J. Vinju},
title = {Prototyping a tool environment for run-time assertion checking in
{JML} with communication histories},
booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1924520.1924526},
doi = {10.1145/1924520.1924526},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BoerGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/NobakhtBBG10,
author = {Behrooz Nobakht and
Marcello M. Bonsangue and
Frank S. de Boer and
Stijn de Gouw},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Monitoring Method Call Sequences Using Annotations},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {53--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_4},
doi = {10.1007/978-3-642-27269-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/NobakhtBBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BoerG10,
author = {Frank S. de Boer and
Immo Grabe},
editor = {Jan van Leeuwen and
Anca Muscholl and
David Peleg and
Jaroslav Pokorn{\'{y}} and
Bernhard Rumpe},
title = {Automated Deadlock Detection in Synchronized Reentrant Multithreaded
Call-Graphs},
booktitle = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5901},
pages = {200--211},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11266-9\_17},
doi = {10.1007/978-3-642-11266-9\_17},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BoerG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2009,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17071-3},
doi = {10.1007/978-3-642-17071-3},
isbn = {978-3-642-17070-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4656,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Object-Oriented Programs: a Transformational Approach},
journal = {CoRR},
volume = {abs/1004.4656},
year = {2010},
url = {http://arxiv.org/abs/1004.4656},
eprinttype = {arXiv},
eprint = {1004.4656},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txcs/AptBO09,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Sequential and Concurrent Programs},
series = {Texts in Computer Science},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-745-5},
doi = {10.1007/978-1-84882-745-5},
isbn = {978-1-84882-744-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txcs/AptBO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijris/VriesMBH09,
author = {Wieke de Vries and
John{-}Jules Ch. Meyer and
Frank S. de Boer and
Wiebe van der Hoek},
title = {A coordination language for agents interacting in distributed plan-execute
cycles},
journal = {Int. J. Reason. based Intell. Syst.},
volume = {1},
number = {1/2},
pages = {4--17},
year = {2009},
url = {https://doi.org/10.1504/IJRIS.2009.026713},
doi = {10.1504/IJRIS.2009.026713},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijris/VriesMBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JaghooriBCS09,
author = {Mohammad Mahdi Jaghoori and
Frank S. de Boer and
Tom Chothia and
Marjan Sirjani},
title = {Schedulability of asynchronous real-time concurrent objects},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {5},
pages = {402--416},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.02.009},
doi = {10.1016/J.JLAP.2009.02.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JaghooriBCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AstefanoaeiDMB09,
author = {Lacramioara Astefanoaei and
Mehdi Dastani and
John{-}Jules Ch. Meyer and
Frank S. de Boer},
title = {On the Semantics and Verification of Normative Multi-Agent Systems},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {13},
pages = {2629--2652},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-13-2629},
doi = {10.3217/JUCS-015-13-2629},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AstefanoaeiDMB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Boer09,
author = {Frank S. de Boer},
title = {A shared-variable concurrency analysis of multi-threaded object-oriented
programs},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {2-3},
pages = {128--141},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.024},
doi = {10.1016/J.TCS.2008.09.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Boer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AstefanoaeiBD09,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {On coordination, autonomy and time},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {1357--1358},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558292},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AstefanoaeiBD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AptBO09,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Orna Grumberg and
Michael Kaminski and
Shmuel Katz and
Shuly Wintner},
title = {Modular Verification of Recursive Programs},
booktitle = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5533},
pages = {1--21},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01748-3\_1},
doi = {10.1007/978-3-642-01748-3\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AptBO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AstefanoaeiBD09,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani},
editor = {Matteo Baldoni and
Jamal Bentahar and
M. Birna van Riemsdijk and
John Lloyd},
title = {The Refinement of Choreographed Multi-Agent Systems},
booktitle = {Declarative Agent Languages and Technologies VII, 7th International
Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5948},
pages = {20--34},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11355-0\_2},
doi = {10.1007/978-3-642-11355-0\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AstefanoaeiBD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AhrendtBG09,
author = {Wolfgang Ahrendt and
Frank S. de Boer and
Immo Grabe},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Abstract Object Creation in Dynamic Logic},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {612--627},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_39},
doi = {10.1007/978-3-642-05089-3\_39},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/AhrendtBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrabeJKKSBBABG09,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Andries Stam and
Christel Baier and
Tobias Blechmann and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The Credo Methodology - (Extended Version)},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {41--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_3},
doi = {10.1007/978-3-642-17071-3\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GrabeJKKSBBABG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BoerCJ09,
author = {Frank S. de Boer and
Tom Chothia and
Mohammad Mahdi Jaghoori},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Modular Schedulability Analysis of Concurrent Objects in Creol},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {212--227},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_12},
doi = {10.1007/978-3-642-11623-0\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BoerCJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/AstefanoaeiBD09,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani},
title = {Rewriting Agent Societies Strategically},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, Milan, Italy, 15-18 September 2009},
pages = {441--444},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.321},
doi = {10.1109/WI-IAT.2009.321},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/AstefanoaeiBD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BoerGJSY09,
author = {Frank S. de Boer and
Immo Grabe and
Mohammad Mahdi Jaghoori and
Andries Stam and
Wang Yi},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Modeling and Analysis of Thread-Pools in an Industrial Communication
Platform},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {367--386},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_19},
doi = {10.1007/978-3-642-10373-5\_19},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BoerGJSY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AstefanoaeiBR09,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
M. Birna van Riemsdijk},
editor = {Danny De Schreye},
title = {Using Rewrite Strategies for Testing BUpL Agents},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {143--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_11},
doi = {10.1007/978-3-642-12592-8\_11},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AstefanoaeiBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AichernigAAB0R09,
author = {Bernhard K. Aichernig and
Farhad Arbab and
Lacramioara Astefanoaei and
Frank S. de Boer and
Sun Meng and
Jan J. M. M. Rutten},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Fault-Based Test Case Generation for Component Connectors},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {147--154},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.14},
doi = {10.1109/TASE.2009.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/AichernigAAB0R09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Bernhard K. Aichernig and
Christel Baier and
Tobias Blechmann and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Marcel Kyas and
Wolfgang Leister and
Rudolf Schlatte and
Andries Stam and
Martin Steffen and
Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
in Credo},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {33--48},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.047},
doi = {10.1016/J.ENTCS.2010.08.047},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2008,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04167-9},
doi = {10.1007/978-3-642-04167-9},
isbn = {978-3-642-04166-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-4316,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Modular Verification of Recursive Programs},
journal = {CoRR},
volume = {abs/0907.4316},
year = {2009},
url = {http://arxiv.org/abs/0907.4316},
eprinttype = {arXiv},
eprint = {0907.4316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-4316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbrahamBRS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
title = {A Deductive Proof System for Multithreaded Java with Exceptions},
journal = {Fundam. Informaticae},
volume = {82},
number = {4},
pages = {391--463},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-4-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbrahamBRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AstefanoaeiB08,
author = {Lacramioara Astefanoaei and
Frank S. de Boer},
editor = {Lin Padgham and
David C. Parkes and
J{\"{o}}rg P. M{\"{u}}ller and
Simon Parsons},
title = {Model-checking agent refinement},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
2},
pages = {705--712},
publisher = {{IFAAMAS}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1402322},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AstefanoaeiB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SchlatteABGJ08,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Testing Concurrent Objects with Application-Specific Schedulers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {319--333},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_22},
doi = {10.1007/978-3-540-85762-4\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/SchlatteABGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/ArbabABDMT08,
author = {Farhad Arbab and
Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani and
John{-}Jules Ch. Meyer and
Nick A. M. Tinnemeier},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {Reo Connectors as Coordination Artifacts in 2APL Systems},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {42--53},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_8},
doi = {10.1007/978-3-540-89674-6\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/ArbabABDMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/AstefanoaeiDMB08,
author = {Lacramioara Astefanoaei and
Mehdi Dastani and
John{-}Jules Ch. Meyer and
Frank S. de Boer},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {A Verification Framework for Normative Multi-Agent Systems},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {54--65},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_9},
doi = {10.1007/978-3-540-89674-6\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/AstefanoaeiDMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/JaghooriLBC08,
author = {Mohammad Mahdi Jaghoori and
Delphine Longuet and
Frank S. de Boer and
Tom Chothia},
title = {Schedulability and Compatibility of Real Time Asynchronous Objects},
booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
2008, Barcelona, Spain, 30 November - 3 December 2008},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTSS.2008.28},
doi = {10.1109/RTSS.2008.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/JaghooriLBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoerBGS09,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Java Test Driver Generation from Object-Oriented Interaction Traces},
booktitle = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
pages = {33--47},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.004},
doi = {10.1016/J.ENTCS.2009.07.004},
timestamp = {Thu, 09 Mar 2023 13:49:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoerBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2007,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92188-2},
doi = {10.1007/978-3-540-92188-2},
isbn = {978-3-540-92187-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2008,
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1},
doi = {10.1007/978-3-540-68863-1},
isbn = {978-3-540-68862-4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisaij/ArbabBBLPT07,
author = {Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue and
Marc M. Lankhorst and
Erik Proper and
Leendert W. N. van der Torre},
title = {Integrating Architectural Models - Symbolic, Semantic and Subjective
Models in Enterprise Architecture},
journal = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.},
volume = {2},
number = {1},
pages = {40--57},
year = {2007},
url = {https://doi.org/10.18417/emisa.2.1.4},
doi = {10.18417/EMISA.2.1.4},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/emisaij/ArbabBBLPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BoerHHM07,
author = {Frank S. de Boer and
Koen V. Hindriks and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {A verification framework for agent programming with declarative goals},
journal = {J. Appl. Log.},
volume = {5},
number = {2},
pages = {277--302},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2005.12.014},
doi = {10.1016/J.JAL.2005.12.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BoerHHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ArbabBBR07,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Models and temporal logical specifications for timed component connectors},
journal = {Softw. Syst. Model.},
volume = {6},
number = {1},
pages = {59--82},
year = {2007},
url = {https://doi.org/10.1007/s10270-006-0009-9},
doi = {10.1007/S10270-006-0009-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/ArbabBBR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BoerCJ07,
author = {Frank S. de Boer and
Dave Clarke and
Einar Broch Johnsen},
editor = {Rocco De Nicola},
title = {A Complete Guide to the Future},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {316--330},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_22},
doi = {10.1007/978-3-540-71316-6\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BoerCJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Boer07,
author = {Frank S. de Boer},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded
Java Programs},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {252--268},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_16},
doi = {10.1007/978-3-540-72952-5\_16},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Boer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2006,
editor = {Vladimir Mencl and
Frank S. de Boer},
title = {Proceedings of the Third International Workshop on Formal Aspects
of Component Software, {FACS} 2006, Prague, Czech Republic, September
20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {182},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/182/suppl/C},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2006,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74792-5},
doi = {10.1007/978-3-540-74792-5},
isbn = {978-3-540-74791-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ScholtenABB06,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {A Component Coordination Model Based on Mobile Channels},
journal = {Fundam. Informaticae},
volume = {73},
number = {4},
pages = {561--582},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ScholtenABB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RiemsdijkBM06,
author = {M. Birna van Riemsdijk and
Frank S. de Boer and
John{-}Jules Ch. Meyer},
title = {Dynamic Logic for Plan Revision in Agent Programming},
journal = {J. Log. Comput.},
volume = {16},
number = {3},
pages = {375--402},
year = {2006},
url = {https://doi.org/10.1093/logcom/exi084},
doi = {10.1093/LOGCOM/EXI084},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RiemsdijkBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RiemsdijkMB06,
author = {M. Birna van Riemsdijk and
John{-}Jules Ch. Meyer and
Frank S. de Boer},
title = {Semantics of plan revision in intelligent agents},
journal = {Theor. Comput. Sci.},
volume = {351},
number = {2},
pages = {240--257},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.09.070},
doi = {10.1016/J.TCS.2005.09.070},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RiemsdijkMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerB06,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {365},
number = {1-2},
pages = {1},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.028},
doi = {10.1016/J.TCS.2006.07.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BoerB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RiemsdijkDMB06,
author = {M. Birna van Riemsdijk and
Mehdi Dastani and
John{-}Jules Ch. Meyer and
Frank S. de Boer},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Goal-oriented modularity in agent programming},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {1271--1278},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160864},
doi = {10.1145/1160633.1160864},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/RiemsdijkDMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RiemsdijkBDM06,
author = {M. Birna van Riemsdijk and
Frank S. de Boer and
Mehdi Dastani and
John{-}Jules Ch. Meyer},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {Prototyping 3APL in the Maude term rewriting language},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {1279--1281},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160865},
doi = {10.1145/1160633.1160865},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/RiemsdijkBDM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/RiemsdijkBDM06,
author = {M. Birna van Riemsdijk and
Frank S. de Boer and
Mehdi Dastani and
John{-}Jules Ch. Meyer},
editor = {Katsumi Inoue and
Ken Satoh and
Francesca Toni},
title = {Prototyping 3APL in the Maude Term Rewriting Language},
booktitle = {Computational Logic in Multi-Agent Systems, 7th International Workshop,
{CLIMA} VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4371},
pages = {95--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69619-3\_6},
doi = {10.1007/978-3-540-69619-3\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/RiemsdijkBDM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenclB07,
author = {Vladimir Mencl and
Frank S. de Boer},
editor = {Vladimir Mencl and
Frank S. de Boer},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Formal Aspects
of Component Software, {FACS} 2006, Prague, Czech Republic, September
20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {182},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.011},
doi = {10.1016/J.ENTCS.2007.04.011},
timestamp = {Tue, 24 Jan 2023 13:47:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MenclB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2005,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11804192},
doi = {10.1007/11804192},
isbn = {3-540-36749-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/BoerVMEH05,
author = {Frank S. de Boer and
Wieke de Vries and
John{-}Jules Ch. Meyer and
Rogier M. van Eijk and
Wiebe van der Hoek},
title = {Process algebra and constraint programming for modeling interactions
in {MAS}},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {16},
number = {2-3},
pages = {113--150},
year = {2005},
url = {https://doi.org/10.1007/s00200-005-0173-0},
doi = {10.1007/S00200-005-0173-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/BoerVMEH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniMSB05,
author = {Marjan Sirjani and
Ali Movaghar and
Amin Shali and
Frank S. de Boer},
title = {Model Checking, Automated Abstraction, and Compositional Verification
of Rebeca Models},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {6},
pages = {1054--1082},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-06-1054},
doi = {10.3217/JUCS-011-06-1054},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SirjaniMSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SirjaniBM05,
author = {Marjan Sirjani and
Frank S. de Boer and
Ali Movaghar{-}Rahimabadi},
title = {Modular Verification of a Component-Based Actor Language},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1695--1717},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1695},
doi = {10.3217/JUCS-011-10-1695},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SirjaniBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KyasBR05,
author = {Marcel Kyas and
Frank S. de Boer and
Willem P. de Roever},
title = {A Compositional Trace Logic for Behavioural Interface Specifications},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {116--132},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/KyasBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoerB05,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.009},
doi = {10.1016/J.SCICO.2004.05.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BoerB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbrahamBRS05,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
title = {An assertion-based proof system for multithreaded Java},
journal = {Theor. Comput. Sci.},
volume = {331},
number = {2-3},
pages = {251--290},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.09.019},
doi = {10.1016/J.TCS.2004.09.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbrahamBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerB05,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {343},
number = {3},
pages = {283--284},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.011},
doi = {10.1016/J.TCS.2005.06.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BoerB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PierikB05,
author = {Cees Pierik and
Frank S. de Boer},
title = {A proof outline logic for object-oriented programming},
journal = {Theor. Comput. Sci.},
volume = {343},
number = {3},
pages = {413--442},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.018},
doi = {10.1016/J.TCS.2005.06.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PierikB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SirjaniBMS05,
author = {Marjan Sirjani and
Frank S. de Boer and
Ali Movaghar and
Amin Shali},
title = {Extended Rebeca: {A} Component-Based Actor Language with Synchronous
Message Passing},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {212--221},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.12},
doi = {10.1109/ACSD.2005.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SirjaniBMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DastaniAB05,
author = {Mehdi Dastani and
Farhad Arbab and
Frank S. de Boer},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {Coordination and composition in multi-agent systems},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {439--446},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082540},
doi = {10.1145/1082473.1082540},
timestamp = {Fri, 26 Apr 2019 14:26:42 +0200},
biburl = {https://dblp.org/rec/conf/atal/DastaniAB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabBBRS05,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten and
Marjan Sirjani},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Synthesis of Reo Circuits for Implementation of Component-Connector
Automata Specifications},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {236--251},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_16},
doi = {10.1007/11417019\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabBBRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PierikCB05,
author = {Cees Pierik and
Dave Clarke and
Frank S. de Boer},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Controlling Object Allocation Using Creation Guards},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {59--74},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_6},
doi = {10.1007/11526841\_6},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/PierikCB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BoerBJST05,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Joost Jacob and
Andries Stam and
Leendert W. N. van der Torre},
title = {Enterprise Architecture Analysis with {XML}},
booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38}
2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HICSS.2005.242},
doi = {10.1109/HICSS.2005.242},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/BoerBJST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BoerBGSST05,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Luuk Groenewegen and
Andries Stam and
S. Stevens and
Leendert W. N. van der Torre},
editor = {Du Zhang and
Taghi M. Khoshgoftaar and
Mei{-}Ling Shyu},
title = {Change impact analysis of enterprise architectures},
booktitle = {Proceedings of the 2005 {IEEE} International Conference on Information
Reuse and Integration, {IRI} - 2005, August 15-17, 2005, Las Vegas
Hilton, Las Vegas, NV, {USA}},
pages = {177--181},
publisher = {{IEEE} Systems, Man, and Cybernetics Society},
year = {2005},
url = {https://doi.org/10.1109/IRI-05.2005.1506470},
doi = {10.1109/IRI-05.2005.1506470},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/BoerBGSST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Guillen-ScholtenABB05,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {MoCha-pi, an exogenous coordination calculus based on mobile channels},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {436--442},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066778},
doi = {10.1145/1066677.1066778},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Guillen-ScholtenABB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FecherKRB06,
author = {Harald Fecher and
Marcel Kyas and
Willem P. de Roever and
Frank S. de Boer},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Compositional Operational Semantics of a UML-Kernel-Model Language},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {79--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.08.008},
doi = {10.1016/J.ENTCS.2005.08.008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FecherKRB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB06,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Carlos Canal and
Mirko Viroli},
title = {Modeling the Exogenous Coordination of Mobile Channel-based Systems
with Petri Nets},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {121--138},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.036},
doi = {10.1016/J.ENTCS.2005.12.036},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guillen-ScholtenABB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbrahamBRS06,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Inductive Proof Outlines for Exceptions in Multithreaded Java},
booktitle = {Proceedings of the First {IPM} International Workshop on Foundations
of Software Engineering, {FSEN} 2005, Tehran, Iran, October 1-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {159},
pages = {281--297},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.072},
doi = {10.1016/J.ENTCS.2005.12.072},
timestamp = {Thu, 15 Dec 2022 16:21:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbrahamBRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2004,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561163},
doi = {10.1007/11561163},
isbn = {3-540-29131-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BoerGM04,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {A Timed Linda Language and its Denotational Semantics},
journal = {Fundam. Informaticae},
volume = {63},
number = {4},
pages = {309--330},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BoerGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SirjaniMSB04,
author = {Marjan Sirjani and
Ali Movaghar and
Amin Shali and
Frank S. de Boer},
title = {Modeling and Verification of Reactive Systems using Rebeca},
journal = {Fundam. Informaticae},
volume = {63},
number = {4},
pages = {385--410},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-4-05},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SirjaniMSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BoerGM04,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {Proving correctness of timed concurrent constraint programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {4},
pages = {706--731},
year = {2004},
url = {https://doi.org/10.1145/1024922.1024926},
doi = {10.1145/1024922.1024926},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BoerGM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/PierikB04,
author = {Cees Pierik and
Frank S. de Boer},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Modularity and the Rule of Adaptation},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {394--408},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_31},
doi = {10.1007/978-3-540-27815-3\_31},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/PierikB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/RiemsdijkMB04,
author = {Birna van Riemsdijk and
John{-}Jules Ch. Meyer and
Frank S. de Boer},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Semantics of Plan Revision in Intelligent Agents},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {426--442},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_33},
doi = {10.1007/978-3-540-27815-3\_33},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/RiemsdijkMB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/RiemsdijkBM04,
author = {M. Birna van Riemsdijk and
Frank S. de Boer and
John{-}Jules Ch. Meyer},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {Dynamic Logic for Plan Revision in Intelligent Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {16--32},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_2},
doi = {10.1007/11533092\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clima/RiemsdijkBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/BoerBJST04,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Joost Jacob and
Andries Stam and
Leendert W. N. van der Torre},
title = {A Logical Viewpoint on Architectures},
booktitle = {8th International Enterprise Distributed Object Computing Conference
{(EDOC} 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
pages = {73--83},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10026},
doi = {10.1109/EDOC.2004.10026},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/BoerBJST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerBSA04,
author = {Frank S. de Boer and
Marcello M. Bonsangue and
Martin Steffen and
Erika {\'{A}}brah{\'{a}}m},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Fully Abstract Semantics for {UML} Components},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {49--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_3},
doi = {10.1007/11561163\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BoerBSA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AbrahamBBGS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Andreas Gr{\"{u}}ner and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Observability, Connectivity, and Replay in a Sequential Calculus of
Classes},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {296--316},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_13},
doi = {10.1007/11561163\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AbrahamBBGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AbrahamBBS04,
author = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Martin Steffen},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Object Connectivity and Full Abstraction for a Concurrent Calculus
of Classes},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {37--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_5},
doi = {10.1007/978-3-540-31862-0\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AbrahamBBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/StamJBBT04,
author = {Andries Stam and
Joost Jacob and
Frank S. de Boer and
Marcello M. Bonsangue and
Leendert W. N. van der Torre},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Using {XML} Transformations for Enterprise Architectures},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {42--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_4},
doi = {10.1007/11925040\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/StamJBBT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JacobBBST04,
author = {Joost Jacob and
Frank S. de Boer and
Marcello M. Bonsangue and
Andries Stam and
Leendert W. N. van der Torre},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Using {XML} Transformations for Enterprise Architectures},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {67--73},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Tue, 07 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JacobBBST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ArbabBBR04,
author = {Farhad Arbab and
Christel Baier and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Models and Temporal Logics for Timed Component Connectors},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {198--207},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.27},
doi = {10.1109/SEFM.2004.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ArbabBBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KyasFBJHZAK05,
author = {Marcel Kyas and
Harald Fecher and
Frank S. de Boer and
Joost Jacob and
Jozef Hooman and
Mark van der Zwaag and
Tamarah Arons and
Hillel Kugler},
editor = {Gerald L{\"{u}}ttgen and
Natividad Mart{\'{\i}}nez Madrid and
Michael Mendler},
title = {Formalizing {UML} Models and {OCL} Constraints in {PVS}},
booktitle = {Proceedings of the Second Workshop on Semantic Foundations of Engineering
Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {115},
pages = {39--47},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.027},
doi = {10.1016/J.ENTCS.2004.09.027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KyasFBJHZAK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2003,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100112},
doi = {10.1007/B100112},
isbn = {3-540-22942-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uml/2003cvuml,
editor = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Proceedings of the Workshop on the Compositional Verification of {UML}
Models, {CVUML} 2003, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {101},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/101/suppl/C},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uml/2003cvuml.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/EijkBHM03,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {A Verification Framework for Agent Communication},
journal = {Auton. Agents Multi Agent Syst.},
volume = {6},
number = {2},
pages = {185--219},
year = {2003},
url = {https://doi.org/10.1023/A:1021836202093},
doi = {10.1023/A:1021836202093},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/EijkBHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerEHM03,
author = {Frank S. de Boer and
Rogier M. van Eijk and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {A fully abstract model for the exchange of information in multi-agent
systems},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {3},
pages = {1753--1773},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00078-6},
doi = {10.1016/S0304-3975(02)00078-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BoerEHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DastaniBDM03,
author = {Mehdi Dastani and
Frank S. de Boer and
Frank Dignum and
John{-}Jules Ch. Meyer},
title = {Programming agent deliberation: an approach illustrated using the
3APL language},
booktitle = {The Second International Joint Conference on Autonomous Agents {\&}
Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria,
Australia, Proceedings},
pages = {97--104},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860575.860592},
doi = {10.1145/860575.860592},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/DastaniBDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EijkBHM03,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Marc{-}Philippe Huget},
title = {Process Algebra for Agent Communication: {A} General Semantic Approach},
booktitle = {Communication in Multiagent Systems, Agent Communication Languages
and Conversation Policies},
series = {Lecture Notes in Computer Science},
volume = {2650},
pages = {113--128},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-44972-0\_5},
doi = {10.1007/978-3-540-44972-0\_5},
timestamp = {Fri, 27 Mar 2020 17:54:01 +0100},
biburl = {https://dblp.org/rec/conf/atal/EijkBHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Nachum Dershowitz},
title = {A Compositional Operational Semantics for Java\({}_{\mbox{MT}}\)},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {290--303},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_13},
doi = {10.1007/978-3-540-39910-0\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BoerPEM03,
author = {Frank S. de Boer and
Cees Pierik and
Rogier M. van Eijk and
John{-}Jules Ch. Meyer},
editor = {Mark Dermot Ryan and
John{-}Jules Ch. Meyer and
Hans{-}Dieter Ehrich},
title = {Coordinating Agents in {OO}},
booktitle = {Objects, Agents, and Features, International Seminar, Dagstuhl Castle,
Germany, February 2003, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2975},
pages = {8--25},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25930-5\_2},
doi = {10.1007/978-3-540-25930-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BoerPEM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/JonkersBABBBDGSHIJLLPSTZ03,
author = {Henk Jonkers and
Ren{\'{e}} van Buuren and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue and
Hans Bosma and
Hugo W. L. ter Doest and
Luuk Groenewegen and
Juan Guillen Scholten and
Stijn Hoppenbrouwers and
Maria{-}Eugenia Iacob and
Wil Janssen and
Marc M. Lankhorst and
Diederik van Leeuwen and
Erik Proper and
Andries Stam and
Leendert W. N. van der Torre and
Gert Veldhuijzen van Zanten},
title = {Towards a Language for Coherent Enterprise Architecture Descriptions},
booktitle = {7th International Enterprise Distributed Object Computing Conference
{(EDOC} 2003), 16-19 September 2003, Brisbane, Australia, Proceedings},
pages = {28--39},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EDOC.2003.1233835},
doi = {10.1109/EDOC.2003.1233835},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/JonkersBABBBDGSHIJLLPSTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BoerP03,
author = {Frank S. de Boer and
Cees Pierik},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {How to Cook a Complete Hoare Logic for Your Pet {OO} Language},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {111--133},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_5},
doi = {10.1007/978-3-540-30101-1\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BoerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PierikB03,
author = {Cees Pierik and
Frank S. de Boer},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {64--78},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_5},
doi = {10.1007/978-3-540-39958-2\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/PierikB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {Inductive Proof Outlines for Monitors in Java},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {155--169},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_11},
doi = {10.1007/978-3-540-39958-2\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoerB04,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {Preface},
booktitle = {Proceedings of the Workshop on the Compositional Verification of {UML}
Models, {CVUML} 2003, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {101},
pages = {1--2},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.03.001},
doi = {10.1016/J.ENTCS.2004.03.001},
timestamp = {Thu, 08 Dec 2022 23:10:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoerB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KyasB04,
author = {Marcel Kyas and
Frank S. de Boer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue},
title = {On Message Specifications in {OCL}},
booktitle = {Proceedings of the Workshop on the Compositional Verification of {UML}
Models, {CVUML} 2003, San Francisco, CA, USA, October 21, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {101},
pages = {73--93},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.017},
doi = {10.1016/J.ENTCS.2004.02.017},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KyasB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2002,
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b14033},
doi = {10.1007/B14033},
isbn = {3-540-20303-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Boer02,
author = {Frank S. de Boer},
title = {A Hoare logic for dynamic networks of asynchronously communicating
deterministic processes},
journal = {Theor. Comput. Sci.},
volume = {274},
number = {1-2},
pages = {3--41},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00304-2},
doi = {10.1016/S0304-3975(00)00304-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Boer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ArbabBSB02,
author = {Farhad Arbab and
Frank S. de Boer and
Juan Guillen Scholten and
Marcello M. Bonsangue},
title = {MoCha: {A} Middleware Based on Mobile Channels},
booktitle = {26th International Computer Software and Applications Conference {(COMPSAC}
2002), Prolonging Software Life: Development and Redevelopment, 26-29
August 2002, Oxford, England, Proceedings},
pages = {667--673},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CMPSAC.2002.1045079},
doi = {10.1109/CMPSAC.2002.1045079},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ArbabBSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Tool-Supported Proof System for Multithreaded Java},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {1--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_1},
doi = {10.1007/978-3-540-39656-7\_1},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BoerP02,
author = {Frank S. de Boer and
Cees Pierik},
editor = {Bart Jacobs and
Arend Rensink},
title = {Computer-aided Specification and Verification of Annotated Object-Oriented
Programs},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {163--177},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BoerP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Abraham-MummBRS02,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Verification for Java's Reentrant Multithreading Concept},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {5--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_2},
doi = {10.1007/3-540-45931-6\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Abraham-MummBRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BoerGM02,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Proving Correctness of Timed Concurrent Constraint Programs},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {37--51},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_4},
doi = {10.1007/3-540-45931-6\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BoerGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ScholtenABB02,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Antonio Brogi and
Ernesto Pimentel},
title = {Mobile Channels, Implementation Within and Outside Components},
booktitle = {Formal Methods and Component Interaction 2002, {ICALP} 2002 Satellite
Workshop, M{\'{a}}laga, Spain, July 12, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {4},
pages = {56--66},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80449-3},
doi = {10.1016/S1571-0661(04)80449-3},
timestamp = {Tue, 06 Dec 2022 10:35:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ScholtenABB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Guillen-ScholtenABB03,
author = {Juan Guillen Scholten and
Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet},
title = {A Channel-based Coordination Model for Components},
booktitle = {Foundations of Coordination Languages and Software Architectures,
{FOCLASA} 2002, Satellite Workshop of {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {3},
pages = {419--438},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80381-0},
doi = {10.1016/S1571-0661(05)80381-0},
timestamp = {Tue, 06 Dec 2022 11:05:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Guillen-ScholtenABB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0207008,
author = {Frank S. de Boer and
Koen V. Hindriks and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {Agent Programming with Declarative Goals},
journal = {CoRR},
volume = {cs.AI/0207008},
year = {2002},
url = {https://arxiv.org/abs/cs/0207008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0207008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0208042,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {Proving correctness of Timed Concurrent Constraint Programs},
journal = {CoRR},
volume = {cs.LO/0208042},
year = {2002},
url = {https://arxiv.org/abs/cs/0208042},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0208042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/RoeverBH2001,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
title = {Concurrency Verification: Introduction to Compositional and Noncompositional
Methods},
series = {Cambridge Tracts in Theoretical Computer Science},
volume = {54},
publisher = {Cambridge University Press},
year = {2001},
isbn = {0-521-80608-9},
timestamp = {Fri, 20 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/RoeverBH2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MeyerBEHH01,
author = {John{-}Jules Ch. Meyer and
Frank S. de Boer and
Rogier M. van Eijk and
Koen V. Hindriks and
Wiebe van der Hoek},
title = {On Programming {KARO} Agents},
journal = {Log. J. {IGPL}},
volume = {9},
number = {2},
pages = {245--256},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.2.245},
doi = {10.1093/JIGPAL/9.2.245},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MeyerBEHH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/EijkBHM01,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {On dynamically generated ontology translators in agent communication},
journal = {Int. J. Intell. Syst.},
volume = {16},
number = {5},
pages = {587--607},
year = {2001},
url = {https://doi.org/10.1002/int.1025},
doi = {10.1002/INT.1025},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/EijkBHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/EijkBHM01,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {Modal Logic with Bounded Quantification over Worlds},
journal = {J. Log. Comput.},
volume = {11},
number = {5},
pages = {701--715},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.5.701},
doi = {10.1093/LOGCOM/11.5.701},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/EijkBHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BoerGM01,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Proving correctness of timed concurrent constraint programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {213--228},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/23.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BoerGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/VriesBHHM01,
author = {Wieke de Vries and
Frank S. de Boer and
Koen V. Hindriks and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Barbara Dunin{-}Keplicz and
Edward Nawarecki},
title = {A Programming Language for Coordinating Group Actions},
booktitle = {From Theory to Practice in Multi-Agent Systems, Second International
Workshop of Central and Eastern Europe on Multi-Agent Systems, {CEEMAS}
2001 Cracow, Poland, September 26-29, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2296},
pages = {313--321},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45941-3\_33},
doi = {10.1007/3-540-45941-3\_33},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/VriesBHHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BoerE01,
author = {Frank S. de Boer and
Rogier M. van Eijk},
editor = {Laurent Fribourg},
title = {Decidable Navigation Logics for Object Structures},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {324--338},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_23},
doi = {10.1007/3-540-44802-0\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BoerE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BoerGM01,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {A Denotational Semantics for Timed Linda},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {28--36},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773188},
doi = {10.1145/773184.773188},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BoerGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/VriesBHM01,
author = {Wieke de Vries and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Soe{-}Tsyr Yuan and
Makoto Yokoo},
title = {A Truly Concurrent Model for Interacting Agents},
booktitle = {Intelligent Agents: Specification, Modeling, and Applications, 4th
Pacific Rim International Workshop on Multi-Agents, {PRIMA} 2001,
Taipei, Taiwan, July 28-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2132},
pages = {16--30},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44637-0\_2},
doi = {10.1007/3-540-44637-0\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/VriesBHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BoerGM01,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {A Temporal Logic for reasoning about Timed Concurrent Constraint Programs},
booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
pages = {227--233},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TIME.2001.930721},
doi = {10.1109/TIME.2001.930721},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BoerGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BoerGM00,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
title = {A Timed Concurrent Constraint Language},
journal = {Inf. Comput.},
volume = {161},
number = {1},
pages = {45--83},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2879},
doi = {10.1006/INCO.1999.2879},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BoerGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agentCL/HindriksBHM00,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Frank Dignum and
Mark Greaves},
title = {Semantics of Communicating Agents Based on Deduction and Abduction},
booktitle = {Issues in Agent Communication},
series = {Lecture Notes in Computer Science},
volume = {1916},
pages = {63--79},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722777\_5},
doi = {10.1007/10722777\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/agentCL/HindriksBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agentCL/EijkBHM00,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Frank Dignum and
Mark Greaves},
title = {Operational Semantics for Agent Communication Languages},
booktitle = {Issues in Agent Communication},
series = {Lecture Notes in Computer Science},
volume = {1916},
pages = {80--95},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722777\_6},
doi = {10.1007/10722777\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agentCL/EijkBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HindriksBHM00,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Cristiano Castelfranchi and
Yves Lesp{\'{e}}rance},
title = {Agent Programming with Declarative Goals},
booktitle = {Intelligent Agents {VII.} Agent Theories Architectures and Languages,
7th International Workshop, {ATAL} 2000, Boston, MA, USA, July 7-9,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1986},
pages = {228--243},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44631-1\_16},
doi = {10.1007/3-540-44631-1\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/HindriksBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EijkBHM00,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Cristiano Castelfranchi and
Yves Lesp{\'{e}}rance},
title = {Generalised Object-Oriented Concepts for Inter-agent Communication},
booktitle = {Intelligent Agents {VII.} Agent Theories Architectures and Languages,
7th International Workshop, {ATAL} 2000, Boston, MA, USA, July 7-9,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1986},
pages = {260--274},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44631-1\_18},
doi = {10.1007/3-540-44631-1\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/EijkBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerEHM00,
author = {Frank S. de Boer and
Rogier M. van Eijk and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Catuscia Palamidessi},
title = {Failure Semantics for the Exchange of Information in Multi-Agent Systems},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {214--228},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_17},
doi = {10.1007/3-540-44618-4\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerEHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Abraham-MummB00,
author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and
Frank S. de Boer},
editor = {Catuscia Palamidessi},
title = {Proof-Outlines for Threads in Java},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {229--242},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_18},
doi = {10.1007/3-540-44618-4\_18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Abraham-MummB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ArbabBB00,
author = {Farhad Arbab and
Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {A Logical Interface Description Language for Components},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {249--266},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_16},
doi = {10.1007/3-540-45263-X\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/ArbabBB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BoerGM00,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {A Timed Linda Language},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {299--304},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_19},
doi = {10.1007/3-540-45263-X\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BoerGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/HindriksBHM00,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {A Programming Logic for Part of the Agent Language 3APL},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {78--89},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_6},
doi = {10.1007/3-540-45484-5\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/HindriksBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RoeverBHHLPZ00,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Basic Principles of a textbook on the compositional and noncompositional
verification of concurrent programs},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {3--5},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RoeverBHHLPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EijkBHM00,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Modal Logic for Network Topologies},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {269--283},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_19},
doi = {10.1007/3-540-40006-0\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EijkBHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoerB00,
author = {Frank S. de Boer and
Marcello M. Bonsangue},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {A Compositional Model for Confluent Dynamic Data-Flow Networks},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {212--221},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_17},
doi = {10.1007/3-540-44612-5\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoerB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ArbabBB00,
author = {Farhad Arbab and
Marcello M. Bonsangue and
Frank S. de Boer},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {A Coordination Lanuage for Mobile Components},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 1},
pages = {166--173},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/335603.335734},
doi = {10.1145/335603.335734},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/ArbabBB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/HindriksBHM99,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
title = {Agent Programming in 3APL},
journal = {Auton. Agents Multi Agent Syst.},
volume = {2},
number = {4},
pages = {357--401},
year = {1999},
url = {https://doi.org/10.1023/A:1010084620690},
doi = {10.1023/A:1010084620690},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/HindriksBHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EijkBHM99,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Nicholas R. Jennings and
Yves Lesp{\'{e}}rance},
title = {Open Multi-agent Systems: Agent Communication and Integration},
booktitle = {Intelligent Agents VI, Agent Theories, Architectures, and Languages
(ATAL), 6th International Workshop, {ATAL} '99, Orlando, Florida,
USA, July 15-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1757},
pages = {218--232},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10719619\_16},
doi = {10.1007/10719619\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/EijkBHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerZ99,
author = {Frank S. de Boer and
Gianluigi Zavattaro},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Generic Process Algebras for Asynchronous Communication},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {226--241},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_17},
doi = {10.1007/3-540-48320-9\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Boer99,
author = {Frank S. de Boer},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Object-Oriented and Constraint Programming for Time Critical Applications},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {255--266},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46589-8\_15},
doi = {10.1007/3-540-46589-8\_15},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/Boer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BoerEHM99,
author = {Frank S. de Boer and
Rogier M. van Eijk and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Failure Semantics for the Exchange of Information in Multi-agent Systems},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {265},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 22 Apr 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BoerEHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BoerHR99,
author = {Frank S. de Boer and
Ulrich Hannemann and
Willem P. de Roever},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable
Concurrency: {A} Semantic Approach},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1245--1265},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_16},
doi = {10.1007/3-540-48118-4\_16},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BoerHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Boer99,
author = {Frank S. de Boer},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Reasoning about Histories in Object-based Distributed Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/Boer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Boer99,
author = {Frank S. de Boer},
editor = {Wolfgang Thomas},
title = {A WP-calculus for {OO}},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {135--149},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_10},
doi = {10.1007/3-540-49019-1\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Boer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoerRH99,
author = {Frank S. de Boer and
Willem P. de Roever and
Ulrich Hannemann},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {The Semantic Foundations of a Compositional Proof Method for Synchronously
Communicating Processes},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {343--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_31},
doi = {10.1007/3-540-48340-3\_31},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoerRH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/EijkBHM98,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Fausto Giunchiglia},
title = {Constructing Translations Between Individual Vocabularies in Multi-Agent
Systems},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {240--253},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057449},
doi = {10.1007/BFB0057449},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/EijkBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EijkBHM98,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Munindar P. Singh and
Anand S. Rao},
title = {Information-Passing and Belief Revision in Multi-Agent Systems},
booktitle = {Intelligent Agents V, Agent Theories, Architectures, and Languages,
5th International Workshop, {ATAL} '98, Paris, France, July 4-7, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1555},
pages = {29--45},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49057-4\_3},
doi = {10.1007/3-540-49057-4\_3},
timestamp = {Tue, 29 Dec 2020 18:27:45 +0100},
biburl = {https://dblp.org/rec/conf/atal/EijkBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HindriksBHM98,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Munindar P. Singh and
Anand S. Rao},
title = {Control Structures of Rule-Based Agent Languages},
booktitle = {Intelligent Agents V, Agent Theories, Architectures, and Languages,
5th International Workshop, {ATAL} '98, Paris, France, July 4-7, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1555},
pages = {381--396},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49057-4\_25},
doi = {10.1007/3-540-49057-4\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/HindriksBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/HindriksBHM98,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Grigoris Antoniou and
John K. Slaney},
title = {A Formal Embedding of AgentSpeak(L) in 3APL},
booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia,
July 13-17, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1502},
pages = {155--166},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095049},
doi = {10.1007/BFB0095049},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/HindriksBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Boer98,
author = {Frank S. de Boer},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Reasoning about Asynchronous Communication in Dynamically Evolving
Object Structures},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {285--300},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055629},
doi = {10.1007/BFB0055629},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Boer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EijkBHM98,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Henri Prade},
title = {Systems of Communicating Agents},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {293--297},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EijkBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/EijkBHM98,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Yves Demazeau},
title = {Information-Passing and Belief Revision in Multi-Agent Systems},
booktitle = {Proceedings of the Third International Conference on Multiagent Systems,
{ICMAS} 1998, Paris, France, July 3-7, 1998},
pages = {473--474},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICMAS.1998.699292},
doi = {10.1109/ICMAS.1998.699292},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmas/EijkBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BoerFHS98,
author = {Frank S. de Boer and
Nissim Francez and
M. van Hulst and
Frank A. Stomp},
editor = {David Gries and
Willem P. de Roever},
title = {A proof theory of asynchronously communicating sequential processes},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {49--67},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Fri, 05 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/procomet/BoerFHS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EijkBHM98,
author = {Rogier M. van Eijk and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Translations of Vocabularies in Systems of Communicating Agents},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {1},
pages = {23},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80589-4},
doi = {10.1016/S1571-0661(05)80589-4},
timestamp = {Fri, 11 Nov 2022 14:28:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EijkBHM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoerG98,
author = {Frank S. de Boer and
Maurizio Gabbrielli},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {1},
pages = {60},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80592-4},
doi = {10.1016/S1571-0661(05)80592-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BoerG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cotic/1998,
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {1},
publisher = {Elsevier},
year = {1998},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/16/issue/1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cotic/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BoerPP97,
author = {Frank S. de Boer and
Alessandra Di Pierro and
Catuscia Palamidessi},
title = {An Algebraic Perspective of Constraint Logic Programming},
journal = {J. Log. Comput.},
volume = {7},
number = {1},
pages = {1--38},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.1.1},
doi = {10.1093/LOGCOM/7.1.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BoerPP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BoerGMP97,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Elena Marchiori and
Catuscia Palamidessi},
title = {Proving Concurrent Constraint Programs Correct},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {5},
pages = {685--725},
year = {1997},
url = {https://doi.org/10.1145/265943.265954},
doi = {10.1145/265943.265954},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BoerGMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BoerGM97,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Semantics and Expressive Power of a Timed Concurrent Constraint Language},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {235--246},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/BoerGM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HindriksBHM97,
author = {Koen V. Hindriks and
Frank S. de Boer and
Wiebe van der Hoek and
John{-}Jules Ch. Meyer},
editor = {Munindar P. Singh and
Anand S. Rao and
Michael J. Wooldridge},
title = {Formal Semantics for an Abstract Agent Programming Language},
booktitle = {Intelligent Agents IV, Agent Theories, Architectures, and Languages,
4th International Workshop, {ATAL} '97, Providence, Rhode Island,
USA, July 24-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1365},
pages = {215--229},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026761},
doi = {10.1007/BFB0026761},
timestamp = {Tue, 29 Dec 2020 18:27:45 +0100},
biburl = {https://dblp.org/rec/conf/atal/HindriksBHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/BoerR97,
author = {Frank S. de Boer and
Willem P. de Roever},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Compositional Proof Methods for Concurrency: {A} Semantic Approach},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {632--646},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_25},
doi = {10.1007/3-540-49213-5\_25},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/BoerR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BestBP97,
author = {Eike Best and
Frank S. de Boer and
Catuscia Palamidessi},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Partial Order and {SOS} Semantics for Linear Constraint Programs},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {256--273},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_85},
doi = {10.1007/3-540-63383-9\_85},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BestBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BoerGM97,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Gert Smolka},
title = {Semantics and Expressive Power of a Timed Concurrent Constraint Language},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {47--61},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017429},
doi = {10.1007/BFB0017429},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BoerGM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BoerHR97,
author = {Frank S. de Boer and
Ulrich Hannemann and
Willem P. de Roever},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {A Compositional Proof System for Shared Variable Concurrency},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {515--532},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_27},
doi = {10.1007/3-540-63533-5\_27},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/BoerHR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BoerHR97,
author = {Frank S. de Boer and
Ulrich Hannemann and
Willem P. de Roever},
editor = {S. Ramesh and
G. Sivakumar},
title = {Hoare-Style Compositional Proof Systems for Reactive Shared Variable
Concurency},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1346},
pages = {267--283},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0058036},
doi = {10.1007/BFB0058036},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BoerHR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BoerG97,
author = {Frank S. de Boer and
Maurizio Gabbrielli},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Infinite computations in concurrent constraint programming},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {103--118},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80167-7},
doi = {10.1016/S1571-0661(05)80167-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BoerG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BoerH96,
author = {Frank S. de Boer and
M. van Hulst},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Local Nondeterminism in Asynchronously Communicating Processes},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {367--384},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_97},
doi = {10.1007/3-540-60973-3\_97},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BoerH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerTRH96,
author = {Frank S. de Boer and
H. Tej and
Willem P. de Roever and
M. van Hulst},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Compositionality in Real-Time Shared Variable Concurrency},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {420--439},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_54},
doi = {10.1007/3-540-61648-9\_54},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoerTRH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoerGP96,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Catuscia Palamidessi},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Proving Correctness of Constraint Logic Programs with Dynamic Scheduling},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {83--97},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_35},
doi = {10.1007/3-540-61739-6\_35},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BoerGP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerPP95,
author = {Frank S. de Boer and
Alessandra Di Pierro and
Catuscia Palamidessi},
title = {Nondeterminism and Infinite Computations in Constraint Programming},
journal = {Theor. Comput. Sci.},
volume = {151},
number = {1},
pages = {37--78},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00047-Z},
doi = {10.1016/0304-3975(95)00047-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoerPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BoerG95,
author = {Frank S. de Boer and
Maurizio Gabbrielli},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {Modeling Real-Time in Concurrent Constraint Programming},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {101--112},
year = {1995},
timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/BoerG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccp2/BoerPB95,
author = {Frank S. de Boer and
Catuscia Palamidessi and
Eike Best},
editor = {Agostino Cortesi and
Philippe Codognet},
title = {Concurrent Constraint Programming with Information Removal},
booktitle = {First International Workshop on Concurrent Constraint Programming,
{CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
pages = {1:1--1:13},
publisher = {{INRIA} Rocquencourt},
year = {1995},
timestamp = {Tue, 18 Apr 2023 16:18:59 +0200},
biburl = {https://dblp.org/rec/conf/ccp2/BoerPB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BoerH95,
author = {Frank S. de Boer and
M. van Hulst},
editor = {Bernhard M{\"{o}}ller},
title = {A Compositional Proof System for Asynchronously Communicating Processes},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {197--213},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_11},
doi = {10.1007/3-540-60117-1\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BoerH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerG95,
author = {Frank S. de Boer and
Maurizio Gabbrielli},
editor = {John W. Lloyd},
title = {Modelling Real-Time in Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {528--542},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299993},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/BoerG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AmericaB94,
author = {Pierre America and
Frank S. de Boer},
title = {Reasoning about Dynamically Evolving Process Structures},
journal = {Formal Aspects Comput.},
volume = {6},
number = {3},
pages = {269--316},
year = {1994},
url = {https://doi.org/10.1007/BF01215408},
doi = {10.1007/BF01215408},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AmericaB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BoerP94,
author = {Frank S. de Boer and
Catuscia Palamidessi},
title = {Embedding as a Tool for Language Comparison},
journal = {Inf. Comput.},
volume = {108},
number = {1},
pages = {128--157},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1004},
doi = {10.1006/INCO.1994.1004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BoerP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerGMP94,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Elena Marchiori and
Catuscia Palamidessi},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Proving correctness of Concurrent Constraint Programs},
booktitle = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerGMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoerH94,
author = {Frank S. de Boer and
M. van Hulst},
editor = {Igor Pr{\'{\i}}vara and
Branislav Rovan and
Peter Ruzicka},
title = {A Proof System for Asynchronously Communicating Deterministic Processes},
booktitle = {Mathematical Foundations of Computer Science 1994, 19th International
Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {841},
pages = {256--265},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58338-6\_72},
doi = {10.1007/3-540-58338-6\_72},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoerH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BoerGMP94,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Elena Marchiori and
Catuscia Palamidessi},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Proving Concurrent Constraint Programs Correct},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {98--108},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.176925},
doi = {10.1145/174675.176925},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BoerGMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Boer94,
author = {Frank S. de Boer},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Compositionality in the Inductive Assertion Method for Concurrent
Systems},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {289--305},
publisher = {North-Holland},
year = {1994},
timestamp = {Wed, 20 Mar 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Boer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w2,
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1994w2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerKPR93,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Dale Miller},
title = {Non-monotonic Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {315--334},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/BoerKPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerKPR92,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
title = {From Failure to Success: Comparing a Denotational and a Declarative
Semantics for Horn Clause Logic},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {239--263},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90051-G},
doi = {10.1016/0304-3975(92)90051-G},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoerKPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/BoerP92,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Krysia Broda},
title = {On the Semantics of Concurrent Constraint Programming},
booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
pages = {145--173},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3421-3\_9},
doi = {10.1007/978-1-4471-3421-3\_9},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/BoerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BoerH92,
author = {Frank S. de Boer and
Jozef Hooman},
editor = {Jan Vytopil},
title = {The Real-Time Behaviour of Asynchronously Communicating Processes},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
International Symposium, Nijmegen, The Netherlands, January 8-10,
1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {571},
pages = {451--472},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55092-5\_25},
doi = {10.1007/3-540-55092-5\_25},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BoerH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerP92,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Krzysztof R. Apt},
title = {A Process Algebra of Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {463--477},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BoerKP92,
author = {Frank S. de Boer and
Jan Willem Klop and
Catuscia Palamidessi},
title = {Asynchronous Communication in Process Algebra},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {137--147},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185528},
doi = {10.1109/LICS.1992.185528},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BoerKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/napaw/BoerCG92,
author = {Frank S. de Boer and
J. Coenen and
Rob Gerth},
editor = {S. Purushothaman and
Amy E. Zwarico},
title = {Exception Handling in Process Algebra},
booktitle = {{NAPAW} 92, Proceedings of the First North American Process Algebra
Workshop, Stony Brook, New York, USA, 28 Agust 1992},
series = {Workshops in Computing},
pages = {86--100},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3217-2\_6},
doi = {10.1007/978-1-4471-3217-2\_6},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/napaw/BoerCG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BoerKPR92,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {On Blocks: Locality and Asynchronous Communication (Extended Abstract)},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {73--90},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_29},
doi = {10.1007/3-540-56596-5\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/BoerKPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerRKP91,
author = {Frank S. de Boer and
Jan J. M. M. Rutten and
Joost N. Kok and
Catuscia Palamidessi},
title = {Semantic Models for Concurrent Logic Languages},
journal = {Theor. Comput. Sci.},
volume = {86},
number = {1},
pages = {3--33},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90003-K},
doi = {10.1016/0304-3975(91)90003-K},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoerRKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerKPR91,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {The Failure of Failures in a Paradigm for Asynchronous Communication},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {111--126},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_84},
doi = {10.1007/3-540-54430-5\_84},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerKPR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerP91,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Embedding as a Tool for Language Comparison: On the {CSP} Hierarchy},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {127--141},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_85},
doi = {10.1007/3-540-54430-5\_85},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Boer91,
author = {Frank S. de Boer},
title = {A Compositional Proof System for Dynamic Process Creation},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {399--405},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151663},
doi = {10.1109/LICS.1991.151663},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Boer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BoerP91,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {A Fully Abstract Model for Concurrent Constraint Programming},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {296--319},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_17},
doi = {10.1007/3-540-53982-4\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BoerP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Boer90,
author = {Frank S. de Boer},
title = {Compositionality in the temporal logic of concurrent systems (extended
abstract)},
journal = {Future Gener. Comput. Syst.},
volume = {6},
number = {3},
pages = {287--299},
year = {1990},
url = {https://doi.org/10.1016/0167-739X(90)90025-9},
doi = {10.1016/0167-739X(90)90025-9},
timestamp = {Tue, 11 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/Boer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AmericaB90,
author = {Pierre America and
Frank S. de Boer},
title = {Proving Total Correctness of Recursive Procedures},
journal = {Inf. Comput.},
volume = {84},
number = {2},
pages = {129--162},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90037-I},
doi = {10.1016/0890-5401(90)90037-I},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AmericaB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerP90,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {On the Asynchronous Nature of Communication in Concurrent Logic Languages:
{A} Fully Abstract Model Based on Sequences},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {99--114},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039054},
doi = {10.1007/BFB0039054},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Boer90,
author = {Frank S. de Boer},
editor = {Mike Paterson},
title = {A Proof System for the Parallel Object-Oriented Language {POOL}},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {572--585},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032059},
doi = {10.1007/BFB0032059},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Boer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/AmericaB90,
author = {Pierre America and
Frank S. de Boer},
editor = {Manfred Broy and
Cliff B. Jones},
title = {A Proof System for Process Creation},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {303--332},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/AmericaB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Boer90,
author = {Frank S. de Boer},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {A Proof System for the Language {POOL}},
booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
The Netherlands, May 28 - June 1, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {489},
pages = {124--150},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019442},
doi = {10.1007/BFB0019442},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Boer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerP90,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Concurrent Logic Programming: Asynchronism and Language Comparison},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {175--194},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BoerP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerKPR89,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Semantic Models for a Version of {PARLOG}},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {621--636},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerKPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoerKPR89,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {Control Flow versus Logic: {A} Denotational and a Declarative Model
for Guarded Horn Clauses},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {165--176},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_64},
doi = {10.1007/3-540-51486-4\_64},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoerKPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Boer89,
author = {Frank S. de Boer},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {Compositionality in the Temporal Logic of Concurrent Systems (extended
abstract)},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {366},
pages = {406--423},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51285-3\_55},
doi = {10.1007/3-540-51285-3\_55},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Boer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Boer87,
author = {Frank S. de Boer},
editor = {Martin Wirsing},
title = {A proof rule for process-creation},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {23--52},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Boer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
