default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrank S. de Boer
Person information
- affiliation: CWI, The Netherlands
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j68]Frank S. de Boer, Antonio Cerone:
Guest editorial for the special section on SEFM 2020 and 2021. Softw. Syst. Model. 23(2): 285-287 (2024)- [e22]Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5 [contents] - 2023
- [c197]Frank S. de Boer, Hans-Dieter A. Hiep
, Stijn de Gouw:
The Logic of Separation Logic: Models and Proofs. TABLEAUX 2023: 407-426 - [c196]Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw:
Dynamic Separation Logic. MFPS 2023 - [i11]Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR abs/2302.04661 (2023) - 2022
- [j67]Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw:
Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. 61(1): 63-89 (2022) - [j66]Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw:
Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. 24(5): 783-802 (2022) - [c195]Frank S. de Boer, Stijn de Gouw:
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods 2022: 173-192 - [c194]Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian:
Footprint Logic for Object-Oriented Components. FACS 2022: 141-160 - 2021
- [j65]Frank S. de Boer, Marcello M. Bonsangue:
Symbolic execution formally explained. Formal Aspects Comput. 33(4-5): 617-636 (2021) - [j64]Frank S. de Boer, Hans-Dieter A. Hiep:
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. ACM Trans. Program. Lang. Syst. 43(4): 17:1-17:35 (2021) - [c193]Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw:
Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM 2021: 255-272 - 2020
- [j63]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae 177(3-4): 203-234 (2020) - [j62]Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink:
A formal actor-based model for streaming the future. Sci. Comput. Program. 186 (2020) - [c192]Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito:
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift 2020: 10:1-10:18 - [c191]Frank S. de Boer, Hans-Dieter A. Hiep:
History-based specification and verification of Java collections in KeY (keynote). FTfJP@ECOOP 2020: 2-3 - [c190]Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw:
History-Based Specification and Verification of Java Collections in KeY. IFM 2020: 199-217 - [c189]Vlad Nicolae Serbanescu, Frank S. de Boer:
On the nature of cooperative scheduling in active objects. SAC 2020: 1322-1329 - [c188]Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw:
Verifying OpenJDK's LinkedList using KeY. TACAS (2) 2020: 217-234 - [p7]Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw:
A Tutorial on Verifying LinkedList Using KeY. 20 Years of KeY 2020: 221-245 - [p6]Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito:
SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY 2020: 313-338 - [e21]Frank S. de Boer, Jacopo Mauro:
Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. OASIcs 86, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-171-9 [contents] - [e20]Frank S. de Boer, Antonio Cerone:
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science 12310, Springer 2020, ISBN 978-3-030-58767-3 [contents]
2010 – 2019
- 2019
- [j61]Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel:
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62(1): 93-126 (2019) - [c187]Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE 2019: 332-350 - [c186]Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. FM 2019: 64-80 - [c185]Frank S. de Boer, Hans-Dieter A. Hiep:
Axiomatic Characterization of Trace Reachability for Concurrent Objects. IFM 2019: 157-174 - [c184]Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
From SOS to Asynchronously Communicating Actors. SEFM Workshops 2019: 269-275 - [c183]Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. SYNASC 2019: 4-5 - [i10]Krzysztof R. Apt, Frank S. de Boer:
Reasoning about call-by-value: a missing result in the history of Hoare's logic. CoRR abs/1909.06215 (2019) - [i9]Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw:
Verifying OpenJDK's LinkedList using KeY. CoRR abs/1911.04195 (2019) - 2018
- [j60]Frank S. de Boer, Nikolaj S. Bjørner:
Preface for the special issue "FM15". Acta Informatica 55(6): 459-460 (2018) - [j59]Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield:
Editorial. Formal Aspects Comput. 30(5): 493-494 (2018) - [j58]Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro:
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159(3): 197-256 (2018) - [c182]Frank S. de Boer, Stijn de Gouw:
Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development 2018: 87-98 - [c181]Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
ASCOOP: Actors in Scala with Cooperative Scheduling. CSE 2018: 19-28 - [c180]Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
Actors with Coroutine Support in Java. FACS 2018: 237-255 - [c179]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [c178]Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro:
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA 2018: 1-15 - [e19]Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten:
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, Springer 2018, ISBN 978-3-319-90088-9 [contents] - 2017
- [j57]Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani:
Compositional schedulability analysis of real-time actor-based systems. Acta Informatica 54(4): 343-378 (2017) - [j56]Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang:
A Survey of Active Object Languages. ACM Comput. Surv. 50(5): 76:1-76:39 (2017) - [c177]Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw:
Human-in-the-Loop Simulation of Cloud Services. ESOCC 2017: 143-158 - [c176]Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer:
On Futures for Streaming Data in ABS - (Short Paper). FORTE 2017: 67-73 - [c175]Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer:
Distributed Network Generation Based on Preferential Attachment in ABS. SOFSEM 2017: 103-115 - [p5]Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Foundations. Enterprise Architecture at Work, 4th ed. 2017: 41-58 - [p4]Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea:
Architecture Analysis. Enterprise Architecture at Work, 4th ed. 2017: 215-252 - [p3]Frank S. de Boer, Stijn de Gouw:
Run-Time Deadlock Detection. Provably Correct Systems 2017: 245-264 - 2016
- [j55]Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer, Chetan Nagarajagowda, Behrooz Nobakht:
A design pattern for optimizations in data intensive applications using ABS and JAVA 8. Concurr. Comput. Pract. Exp. 28(2): 374-385 (2016) - [j54]Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel:
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. 15(4): 1117-1140 (2016) - [c174]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. LOPSTR 2016: 21-37 - [c173]Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer, Sadegh Aliakbary:
A high-level and scalable approach for generating scale-free graphs using active objects. SAC 2016: 1244-1250 - [c172]Frank S. de Boer, Stijn de Gouw:
Run-Time Checking Multi-threaded Java Programs. SOFSEM 2016: 217-228 - [c171]Nikolaos Bezirgiannis, Frank S. de Boer:
ABS: A High-Level Modeling Language for Cloud-Aware Programming. SOFSEM 2016: 433-444 - [c170]Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu:
Multi-Threaded Actors. ICE 2016: 51-66 - [p2]Vlad Serbanescu, Keyvan Azadbakht, Frank S. de Boer:
A Java-Based Distributed Approach for Generating Large-Scale Social Network Graphs. Resource Management for Big Data Platforms 2016: 401-417 - [p1]Stijn de Gouw, Frank S. de Boer, Jurriaan Rot:
Verification of Counting Sort and Radix Sort. Deductive Software Verification 2016: 609-618 - [i8]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. CoRR abs/1608.02896 (2016) - 2015
- [j53]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot:
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100: 61-83 (2015) - [j52]Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot:
It is pointless to point in bounded heaps. Sci. Comput. Program. 112: 102-118 (2015) - [j51]Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu:
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 107-119 (2015) - [c169]Frank S. de Boer, Stijn de Gouw:
Being and Change: Reasoning About Invariance. Correct System Design 2015: 191-204 - [c168]Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle:
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) 2015: 273-289 - [c167]Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer:
Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC 2015: 125-140 - [c166]Keyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer:
High Performance Computing Applications Using Parallel Data Processing Units. FSEN 2015: 191-206 - [e18]Nikolaj S. Bjørner, Frank S. de Boer:
FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9109, Springer 2015, ISBN 978-3-319-19248-2 [contents] - [i7]Stijn de Gouw, Frank S. de Boer:
Fixing the Sorting Algorithm for Android, Java and Python. ERCIM News 2015(102) (2015) - 2014
- [j50]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014) - [j49]Stijn de Gouw, Frank S. de Boer, Jurriaan Rot:
Proof Pearl: The KeY to Correct and Stable Sorting. J. Autom. Reason. 53(2): 129-139 (2014) - [j48]Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori:
Monitoring method call sequences using annotations. Sci. Comput. Program. 94: 362-378 (2014) - [j47]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong:
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [j46]Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong:
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. LNCS Trans. Aspect Oriented Softw. Dev. 11: 1-26 (2014) - [c165]Frank S. de Boer, Maurizio Gabbrielli:
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind 2014: 168-179 - [c164]Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten:
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) 2014: 62-73 - [c163]Behrooz Nobakht, Frank S. de Boer:
Programming with Actors in Java 8. ISoLA (2) 2014: 37-53 - [c162]Vlad Serbanescu, Chetan Nagarajagowda, Keyvan Azadbakht, Frank S. de Boer, Behrooz Nobakht:
Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. ARMS-CC@PODC 2014: 103-112 - [c161]Frank S. de Boer, Stijn de Gouw:
Combining Monitoring with Run-Time Assertion Checking. SFM 2014: 217-262 - [i6]Farhad Arbab, Sung-Shik Jongmans, Frank S. de Boer:
High-Level Protocol Engineering without Performance Penalty for Multi-Core. ERCIM News 2014(99) (2014) - [i5]Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad:
Scaling Future Software: The Manycore Challenge. ERCIM News 2014(99) (2014) - 2013
- [j45]Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1): 29-43 (2013) - [j44]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
A weakest precondition calculus for BUnity. Sci. Comput. Program. 78(9): 1278-1293 (2013) - [c160]Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori:
The Future of a Missed Deadline. COORDINATION 2013: 181-195 - [c159]Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue:
Unbounded Allocation in Bounded Heaps. FSEN 2013: 1-16 - [c158]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c157]Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong:
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. SAC 2013: 1573-1578 - [c156]Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong:
Run-Time Verification of Coboxes. SEFM 2013: 259-273 - [c155]Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel:
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM 2013: 207-219 - [c154]Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank S. de Boer, Julio E. Peironcely, Jean-Loup Faulon, Theo H. Reijmers, Thomas Hankemeier:
PMG: Multi-core Metabolite Identification. CS2Bio 2013: 53-60 - [e17]Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents] - [e16]Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Lecture Notes in Computer Science 7866, Springer 2013, ISBN 978-3-642-40614-0 [contents] - 2012
- [j43]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw:
Verification of object-oriented programs: A transformational approach. J. Comput. Syst. Sci. 78(3): 823-852 (2012) - [j42]Frank S. de Boer, Immo Grabe, Martin Steffen:
Termination detection for active objects. J. Log. Algebraic Methods Program. 81(4): 541-557 (2012) - [j41]Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten:
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012) - [c153]Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot:
Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163 - [c152]Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi:
Scheduling and Analysis of Real-Time Software Families. COMPSAC 2012: 680-689 - [c151]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. CONCUR 2012: 562-577 - [c150]Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong:
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC 2012: 91-106 - [c149]Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro:
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS 2012: 110-127 - [c148]Frank S. de Boer, Stijn de Gouw:
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. FACS 2012: 128-133 - [c147]Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori, Rudolf Schlatte:
Programming and deployment of active objects with application-level scheduling. SAC 2012: 1883-1888 - [c146]Frank S. de Boer, Michiel Helvensteijn, Joost Winter:
A modal logic for abstract delta modeling. SPLC (2) 2012: 45-52 - [c145]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot:
Bounded Model Checking of Recursive Programs with Pointers in K. WADT 2012: 59-76 - [c144]Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu:
Interacting via the Heap in the Presence of Recursion. ICE 2012: 99-113 - [e15]Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Lecture Notes in Computer Science 6957, Springer 2012, ISBN 978-3-642-25270-9 [contents] - [e14]Jos C. M. Baeten, Thomas Ball, Frank S. de Boer:
Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7604, Springer 2012, ISBN 978-3-642-33474-0 [contents] - 2010
- [c143]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
Strategic executions of choreographed timed normative multi-agent systems. AAMAS 2010: 965-972 - [c142]Frank S. de Boer:
Reasoning about Recursive Processes in Shared-Variable Concurrency. Concurrency, Compositionality, and Correctness 2010: 127-141 - [c141]Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen:
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18 - [c140]Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju:
Prototyping a tool environment for run-time assertion checking in JML with communication histories. FTfJP@ECOOP 2010: 6:1-6:7 - [c139]Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw:
Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70 - [c138]Frank S. de Boer, Immo Grabe:
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM 2010: 200-211 - [e13]Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel:
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6286, Springer 2010, ISBN 978-3-642-17070-6 [contents] - [i4]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Object-Oriented Programs: a Transformational Approach. CoRR abs/1004.4656 (2010)
2000 – 2009
- 2009
- [b2]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-744-8, pp. i-xxiii, 1-502 - [j40]Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek:
A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. 1(1/2): 4-17 (2009) - [j39]Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani:
Schedulability of asynchronous real-time concurrent objects. J. Log. Algebraic Methods Program. 78(5): 402-416 (2009) - [j38]Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
On the Semantics and Verification of Normative Multi-Agent Systems. J. Univers. Comput. Sci. 15(13): 2629-2652 (2009) - [j37]Frank S. de Boer:
A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. 410(2-3): 128-141 (2009) - [c137]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358 - [c136]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21 - [c135]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34 - [c134]Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe:
Abstract Object Creation in Dynamic Logic. FM 2009: 612-627 - [c133]Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer:
The Credo Methodology - (Extended Version). FMCO 2009: 41-69 - [c132]Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori:
Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227 - [c131]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops 2009: 441-444 - [c130]Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi:
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386 - [c129]Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk:
Using Rewrite Strategies for Testing BUpL Agents. LOPSTR 2009: 143-157 - [c128]Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154 - [c127]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 2009: 33-48 - [e12]Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine:
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751, Springer 2009, ISBN 978-3-642-04166-2 [contents] - [i3]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. CoRR abs/0907.4316 (2009) - 2008
- [j36]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae 82(4): 391-463 (2008) - [c126]Lacramioara Astefanoaei, Frank S. de Boer:
Model-checking agent refinement. AAMAS (2) 2008: 705-712 - [c125]Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333 - [c124]Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53 - [c123]Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65 - [c122]Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia:
Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS 2008: 70-79 - [c121]Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen:
Java Test Driver Generation from Object-Oriented Interaction Traces. TTSS 2008: 33-47 - [e11]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, ISBN 978-3-540-92187-5 [contents] - [e10]Gilles Barthe, Frank S. de Boer:
Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science 5051, Springer 2008, ISBN 978-3-540-68862-4 [contents] - 2007
- [j35]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre:
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 2(1): 40-57 (2007) - [j34]Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
A verification framework for agent programming with declarative goals. J. Appl. Log. 5(2): 277-302 (2007) - [j33]Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten:
Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1): 59-82 (2007) - [c120]Frank S. de Boer, Dave Clarke, Einar Broch Johnsen:
A Complete Guide to the Future. ESOP 2007: 316-330 - [c119]Frank S. de Boer:
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. FMOODS 2007: 252-268 - [e9]Vladimir Mencl, Frank S. de Boer:
Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006. Electronic Notes in Theoretical Computer Science 182, Elsevier 2007 [contents] - [e8]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8 [contents] - 2006
- [j32]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Component Coordination Model Based on Mobile Channels. Fundam. Informaticae 73(4): 561-582 (2006) - [j31]M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. 16(3): 375-402 (2006) - [j30]M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer:
Semantics of plan revision in intelligent agents. Theor. Comput. Sci. 351(2): 240-257 (2006) - [j29]Frank S. de Boer, Marcello M. Bonsangue:
Preface. Theor. Comput. Sci. 365(1-2): 1 (2006) - [c118]M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278 - [c117]M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
Prototyping 3APL in the Maude term rewriting language. AAMAS 2006: 1279-1281 - [c116]M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
Prototyping 3APL in the Maude Term Rewriting Language. CLIMA 2006: 95-114 - [c115]Vladimir Mencl, Frank S. de Boer:
Preface. FACS 2006: 1-2 - [e7]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111, Springer 2006, ISBN 3-540-36749-7 [contents] - 2005
- [j28]Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek:
Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005) - [j27]Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. Univers. Comput. Sci. 11(6): 1054-1082 (2005) - [j26]Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi:
Modular Verification of a Component-Based Actor Language. J. Univers. Comput. Sci. 11(10): 1695-1717 (2005) - [j25]Marcel Kyas, Frank S. de Boer, Willem P. de Roever:
A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005) - [j24]Frank S. de Boer, Marcello M. Bonsangue:
Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005) - [j23]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331(2-3): 251-290 (2005) - [j22]Frank S. de Boer, Marcello M. Bonsangue:
Preface. Theor. Comput. Sci. 343(3): 283-284 (2005) - [j21]Cees Pierik, Frank S. de Boer:
A proof outline logic for object-oriented programming. Theor. Comput. Sci. 343(3): 413-442 (2005) - [c114]Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali:
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221 - [c113]Mehdi Dastani, Farhad Arbab, Frank S. de Boer:
Coordination and composition in multi-agent systems. AAMAS 2005: 439-446 - [c112]Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani:
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251 - [c111]Cees Pierik, Dave Clarke, Frank S. de Boer:
Controlling Object Allocation Using Creation Guards. FM 2005: 59-74 - [c110]Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre:
Enterprise Architecture Analysis with XML. HICSS 2005 - [c109]Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre:
Change impact analysis of enterprise architectures. IRI 2005: 177-181 - [c108]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC 2005: 436-442 - [c107]Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer:
Compositional Operational Semantics of a UML-Kernel-Model Language. SOS@ICALP 2005: 79-96 - [c106]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. FOCLASA 2005: 121-138 - [c105]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN 2005: 281-297 - [e6]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657, Springer 2005, ISBN 3-540-29131-8 [contents] - 2004
- [j20]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Timed Linda Language and its Denotational Semantics. Fundam. Informaticae 63(4): 309-330 (2004) - [j19]Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
Modeling and Verification of Reactive Systems using Rebeca. Fundam. Informaticae 63(4): 385-410 (2004) - [j18]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004) - [c104]Cees Pierik, Frank S. de Boer:
Modularity and the Rule of Adaptation. AMAST 2004: 394-408 - [c103]Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442 - [c102]M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA 2004: 16-32 - [c101]Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre:
A Logical Viewpoint on Architectures. EDOC 2004: 73-83 - [c100]Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám:
A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69 - [c99]Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen:
Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316 - [c98]Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen:
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC 2004: 37-51 - [c97]Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre:
Using XML Transformations for Enterprise Architectures. ISoLA 2004: 42-56 - [c96]Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre:
Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) 2004: 67-73 - [c95]Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten:
Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207 - [c94]Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler:
Formalizing UML Models and OCL Constraints in PVS. SFEDL@ETAPS 2004: 39-47 - [e5]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science 3188, Springer 2004, ISBN 3-540-22942-6 [contents] - [e4]Frank S. de Boer, Marcello M. Bonsangue:
Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003. Electronic Notes in Theoretical Computer Science 101, Elsevier 2004 [contents] - 2003
- [j17]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. 6(2): 185-219 (2003) - [j16]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003) - [c93]Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer:
Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS 2003: 97-104 - [c92]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems 2003: 113-128 - [c91]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice 2003: 290-303 - [c90]Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer:
Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25 - [c89]Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten:
Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39 - [c88]Frank S. de Boer, Cees Pierik:
How to Cook a Complete Hoare Logic for Your Pet OO Language. FMCO 2003: 111-133 - [c87]Cees Pierik, Frank S. de Boer:
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. FMOODS 2003: 64-78 - [c86]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169 - [c85]Frank S. de Boer, Marcello M. Bonsangue:
Preface. CVUML 2003: 1-2 - [c84]Marcel Kyas, Frank S. de Boer:
On Message Specifications in OCL. CVUML 2003: 73-93 - [e3]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, ISBN 3-540-20303-6 [contents] - 2002
- [j15]Frank S. de Boer:
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Theor. Comput. Sci. 274(1-2): 3-41 (2002) - [c83]Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue:
MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673 - [c82]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32 - [c81]Frank S. de Boer, Cees Pierik:
Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS 2002: 163-177 - [c80]Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20 - [c79]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51 - [c78]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
Mobile Channels, Implementation Within and Outside Components. Formal Methods and Component Interaction @ ICALP 2002: 56-66 - [c77]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Channel-based Coordination Model for Components. FOCLASA 2002: 419-438 - [i2]Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. CoRR cs.AI/0207008 (2002) - [i1]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving correctness of Timed Concurrent Constraint Programs. CoRR cs.LO/0208042 (2002) - 2001
- [b1]Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press 2001, ISBN 0-521-80608-9 - [j14]John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek:
On Programming KARO Agents. Log. J. IGPL 9(2): 245-256 (2001) - [j13]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001) - [j12]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. 11(5): 701-715 (2001) - [c76]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Proving correctness of timed concurrent constraint programs. APPIA-GULP-PRODE 2001: 213-228 - [c75]Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Language for Coordinating Group Actions. CEEMAS 2001: 313-321 - [c74]Frank S. de Boer, Rogier M. van Eijk:
Decidable Navigation Logics for Object Structures. CSL 2001: 324-338 - [c73]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Denotational Semantics for Timed Linda. PPDP 2001: 28-36 - [c72]Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Truly Concurrent Model for Interacting Agents. PRIMA 2001: 16-30 - [c71]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233 - 2000
- [j11]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000) - [c70]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000: 63-79 - [c69]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000: 80-95 - [c68]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. ATAL 2000: 228-243 - [c67]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000: 260-274 - [c66]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000: 214-228 - [c65]Erika Ábrahám-Mumm, Frank S. de Boer:
Proof-Outlines for Threads in Java. CONCUR 2000: 229-242 - [c64]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Logical Interface Description Language for Components. COORDINATION 2000: 249-266 - [c63]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Timed Linda Language. COORDINATION 2000: 299-304 - [c62]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Logic for Part of the Agent Language 3APL. FAABS 2000: 78-89 - [c61]Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers:
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5 - [c60]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Modal Logic for Network Topologies. JELIA 2000: 269-283 - [c59]Frank S. de Boer, Marcello M. Bonsangue:
A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000: 212-221 - [c58]Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer:
A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173
1990 – 1999
- 1999
- [j10]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in 3APL. Auton. Agents Multi Agent Syst. 2(4): 357-401 (1999) - [c57]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999: 218-232 - [c56]Frank S. de Boer, Gianluigi Zavattaro:
Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241 - [c55]Frank S. de Boer:
Object-Oriented and Constraint Programming for Time Critical Applications. ECOOP Workshops 1999: 255-266 - [c54]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999: 265 - [c53]Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever:
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods 1999: 1245-1265 - [c52]Frank S. de Boer:
Reasoning about Histories in Object-based Distributed Systems. FMOODS 1999 - [c51]Frank S. de Boer:
A WP-calculus for OO. FoSSaCS 1999: 135-149 - [c50]Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann:
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS 1999: 343-353 - 1998
- [c49]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA 1998: 240-253 - [c48]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998: 29-45 - [c47]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Control Structures of Rule-Based Agent Languages. ATAL 1998: 381-396 - [c46]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998: 155-166 - [c45]Frank S. de Boer:
Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. CONCUR 1998: 285-300 - [c44]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Systems of Communicating Agents. ECAI 1998: 293-297 - [c43]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS 1998: 473-474 - [c42]Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp:
A proof theory of asynchronously communicating sequential processes. PROCOMET 1998: 49-67 - [c41]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents. COTIC 1998: 23 - [c40]Frank S. de Boer, Maurizio Gabbrielli:
Preface. COTIC 1998: 60 - [e2]Frank S. de Boer, Maurizio Gabbrielli:
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. Electronic Notes in Theoretical Computer Science 16(1), Elsevier 1998 [contents] - 1997
- [j9]Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi:
An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7(1): 1-38 (1997) - [j8]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997) - [c39]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246 - [c38]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formal Semantics for an Abstract Agent Programming Language. ATAL 1997: 215-229 - [c37]Frank S. de Boer, Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997: 632-646 - [c36]Eike Best, Frank S. de Boer, Catuscia Palamidessi:
Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997: 256-273 - [c35]Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61 - [c34]Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever:
A Compositional Proof System for Shared Variable Concurrency. FME 1997: 515-532 - [c33]Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever:
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997: 267-283 - [c32]Frank S. de Boer, Maurizio Gabbrielli:
Infinite computations in concurrent constraint programming. MFPS 1997: 103-118 - 1996
- [c31]Frank S. de Boer, M. van Hulst:
Local Nondeterminism in Asynchronously Communicating Processes. FME 1996: 367-384 - [c30]Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439 - [c29]Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi:
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97 - 1995
- [j7]Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi:
Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151(1): 37-78 (1995) - [c28]Frank S. de Boer, Maurizio Gabbrielli:
Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112 - [c27]Frank S. de Boer, Catuscia Palamidessi, Eike Best:
Concurrent Constraint Programming with Information Removal. CCP 1995: 1:1-1:13 - [c26]Frank S. de Boer, M. van Hulst:
A Compositional Proof System for Asynchronously Communicating Processes. MPC 1995: 197-213 - [c25]Frank S. de Boer, Maurizio Gabbrielli:
Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542 - 1994
- [j6]Pierre America, Frank S. de Boer:
Reasoning about Dynamically Evolving Process Structures. Formal Aspects Comput. 6(3): 269-316 (1994) - [j5]Frank S. de Boer, Catuscia Palamidessi:
Embedding as a Tool for Language Comparison. Inf. Comput. 108(1): 128-157 (1994) - [c24]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving correctness of Concurrent Constraint Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c23]Frank S. de Boer, M. van Hulst:
A Proof System for Asynchronously Communicating Deterministic Processes. MFCS 1994: 256-265 - [c22]Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108 - [c21]Frank S. de Boer:
Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET 1994: 289-305 - [e1]Frank S. de Boer, Maurizio Gabbrielli:
ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994 [contents] - 1993
- [c20]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming. ILPS 1993: 315-334 - 1992
- [j4]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. Theor. Comput. Sci. 101(2): 239-263 (1992) - [c19]Frank S. de Boer, Catuscia Palamidessi:
On the Semantics of Concurrent Constraint Programming. ALPUK 1992: 145-173 - [c18]Frank S. de Boer, Jozef Hooman:
The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472 - [c17]Frank S. de Boer, Catuscia Palamidessi:
A Process Algebra of Concurrent Constraint Programming. JICSLP 1992: 463-477 - [c16]Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi:
Asynchronous Communication in Process Algebra. LICS 1992: 137-147 - [c15]Frank S. de Boer, J. Coenen, Rob Gerth:
Exception Handling in Process Algebra. NAPAW 1992: 86-100 - [c14]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop 1992: 73-90 - 1991
- [j3]Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi:
Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. 86(1): 3-33 (1991) - [c13]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR 1991: 111-126 - [c12]Frank S. de Boer, Catuscia Palamidessi:
Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR 1991: 127-141 - [c11]Frank S. de Boer:
A Compositional Proof System for Dynamic Process Creation. LICS 1991: 399-405 - [c10]Frank S. de Boer, Catuscia Palamidessi:
A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 1991: 296-319 - 1990
- [j2]Frank S. de Boer:
Compositionality in the temporal logic of concurrent systems (extended abstract). Future Gener. Comput. Syst. 6(3): 287-299 (1990) - [j1]Pierre America, Frank S. de Boer:
Proving Total Correctness of Recursive Procedures. Inf. Comput. 84(2): 129-162 (1990) - [c9]Frank S. de Boer, Catuscia Palamidessi:
On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR 1990: 99-114 - [c8]Frank S. de Boer:
A Proof System for the Parallel Object-Oriented Language POOL. ICALP 1990: 572-585 - [c7]Pierre America, Frank S. de Boer:
A Proof System for Process Creation. Programming Concepts and Methods 1990: 303-332 - [c6]Frank S. de Boer:
A Proof System for the Language POOL. REX Workshop 1990: 124-150 - [c5]Frank S. de Boer, Catuscia Palamidessi:
Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP 1990: 175-194
1980 – 1989
- 1989
- [c4]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Semantic Models for a Version of PARLOG. ICLP 1989: 621-636 - [c3]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS 1989: 165-176 - [c2]Frank S. de Boer:
Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). PARLE (2) 1989: 406-423 - 1987
- [c1]Frank S. de Boer:
A proof rule for process-creation. Formal Description of Programming Concepts 1987: 23-52
Coauthor Index
Erika Ábrahám
aka: Erika Ábrahám-Mumm
aka: Erika Ábrahám-Mumm
[j65] [p6] [c186] [c183] [e19] [p5] [p4] [j53] [j52] [j48] [c164] [c159] [e17] [e16] [c153] [c145] [c144] [e15] [c139] [e13] [e12] [c121] [e11] [j35] [e8] [j32] [j29] [e7] [j24] [j22] [c110] [c109] [c108] [c106] [e6] [c101] [c100] [c99] [c98] [c97] [c96] [e5] [e4] [c89] [c85] [e3] [c83] [c78] [c77] [c64] [c59] [c58]
M. Birna van Riemsdijk
aka: Birna van Riemsdijk
aka: Birna van Riemsdijk
Jan Rutten
aka: Jan J. M. M. Rutten
aka: Jan J. M. M. Rutten
Vlad Serbanescu 0001
aka: Vlad Nicolae Serbanescu
aka: Vlad Nicolae Serbanescu
Leon van der Torre
aka: Leendert W. N. van der Torre
aka: Leendert W. N. van der Torre
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 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:
