
Frank S. de Boer
Person information
- affiliation: CWI, The Netherlands
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j76]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) - [j75]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) - [c175]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 - [c174]Vlad Nicolae Serbanescu, Frank S. de Boer:
On the nature of cooperative scheduling in active objects. SAC 2020: 1322-1329 - [c173]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 - [e17]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
- [j74]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) - [c172]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 - [c171]Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. FM 2019: 64-80 - [c170]Frank S. de Boer, Hans-Dieter A. Hiep
:
Axiomatic Characterization of Trace Reachability for Concurrent Objects. IFM 2019: 157-174 - [c169]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 - [c168]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
- [j73]Frank S. de Boer, Nikolaj Bjørner:
Preface for the special issue "FM15". Acta Informatica 55(6): 459-460 (2018) - [j72]Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield:
Editorial. Formal Aspects Comput. 30(5): 493-494 (2018) - [j71]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) - [c167]Frank S. de Boer, Stijn de Gouw:
Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development 2018: 87-98 - [c166]Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
ASCOOP: Actors in Scala with Cooperative Scheduling. CSE 2018: 19-28 - [c165]Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
Actors with Coroutine Support in Java. FACS 2018: 237-255 - [c164]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [c163]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 - [e16]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
- [j70]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) - [j69]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) - [c162]Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw
:
Human-in-the-Loop Simulation of Cloud Services. ESOCC 2017: 143-158 - [c161]Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer:
On Futures for Streaming Data in ABS - (Short Paper). FORTE 2017: 67-73 - [c160]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
- [j68]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) - [j67]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) - [c159]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 - [c158]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 - [c157]Frank S. de Boer, Stijn de Gouw
:
Run-Time Checking Multi-threaded Java Programs. SOFSEM 2016: 217-228 - [c156]Nikolaos Bezirgiannis, Frank S. de Boer:
ABS: A High-Level Modeling Language for Cloud-Aware Programming. SOFSEM 2016: 433-444 - [c155]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
- [j66]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) - [j65]Frank S. de Boer, Marcello M. Bonsangue
, Jurriaan Rot:
It is pointless to point in bounded heaps. Sci. Comput. Program. 112: 102-118 (2015) - [j64]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) - [c154]Frank S. de Boer, Stijn de Gouw
:
Being and Change: Reasoning About Invariance. Correct System Design 2015: 191-204 - [c153]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 - [c152]Behrooz Nobakht, Stijn de Gouw
, Frank S. de Boer:
Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC 2015: 125-140 - [c151]Keyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer:
High Performance Computing Applications Using Parallel Data Processing Units. FSEN 2015: 191-206 - [e15]Nikolaj 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
- [j63]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014) - [j62]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) - [j61]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) - [j60]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) - [j59]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) - [c150]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 - [c149]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 - [c148]Behrooz Nobakht, Frank S. de Boer:
Programming with Actors in Java 8. ISoLA (2) 2014: 37-53 - [c147]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 - [c146]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
- [j58]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. Electron. Notes Theor. Comput. Sci. 299: 53-60 (2013) - [j57]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) - [j56]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) - [c145]Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori:
The Future of a Missed Deadline. COORDINATION 2013: 181-195 - [c144]Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
:
Unbounded Allocation in Bounded Heaps. FSEN 2013: 1-16 - [c143]Elvira Albert, Frank S. de Boer, Reiner Hähnle
, Einar Broch Johnsen
, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c142]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 - [c141]Frank S. de Boer, Stijn de Gouw
, Peter Y. H. Wong:
Run-Time Verification of Coboxes. SEFM 2013: 259-273 - [c140]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 - [e14]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] - [e13]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
- [j55]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) - [j54]Frank S. de Boer, Immo Grabe, Martin Steffen:
Termination detection for active objects. J. Log. Algebraic Methods Program. 81(4): 541-557 (2012) - [j53]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) - [c139]Frank S. de Boer, Marcello M. Bonsangue
, Jurriaan Rot:
Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163 - [c138]Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi:
Scheduling and Analysis of Real-Time Software Families. COMPSAC 2012: 680-689 - [c137]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. CONCUR 2012: 562-577 - [c136]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 - [c135]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 - [c134]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 - [c133]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 - [c132]Frank S. de Boer, Michiel Helvensteijn, Joost Winter:
A modal logic for abstract delta modeling. SPLC (2) 2012: 45-52 - [c131]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 - [c130]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 - [e12]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] - [e11]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
- [j52]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. Electron. Notes Theor. Comput. Sci. 266: 33-48 (2010) - [c129]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
Strategic executions of choreographed timed normative multi-agent systems. AAMAS 2010: 965-972 - [c128]Frank S. de Boer:
Reasoning about Recursive Processes in Shared-Variable Concurrency. Concurrency, Compositionality, and Correctness 2010: 127-141 - [c127]Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
:
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18 - [c126]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 - [c125]Behrooz Nobakht, Marcello M. Bonsangue
, Frank S. de Boer, Stijn de Gouw
:
Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70 - [c124]Frank S. de Boer, Immo Grabe:
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM 2010: 200-211 - [e10]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 - [j51]Frank S. de Boer, Marcello M. Bonsangue
, Andreas Grüner, Martin Steffen:
Java Test Driver Generation from Object-Oriented Interaction Traces. Electron. Notes Theor. Comput. Sci. 243: 33-47 (2009) - [j50]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) - [j49]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) - [j48]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) - [j47]Frank S. de Boer:
A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. 410(2-3): 128-141 (2009) - [c123]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358 - [c122]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21 - [c121]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34 - [c120]Wolfgang Ahrendt
, Frank S. de Boer, Immo Grabe:
Abstract Object Creation in Dynamic Logic. FM 2009: 612-627 - [c119]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 - [c118]Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori:
Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227 - [c117]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops 2009: 441-444 - [c116]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 - [c115]Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk:
Using Rewrite Strategies for Testing BUpL Agents. LOPSTR 2009: 143-157 - [c114]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 - [e9]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
- [j46]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) - [c113]Lacramioara Astefanoaei, Frank S. de Boer:
Model-checking agent refinement. AAMAS (2) 2008: 705-712 - [c112]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 - [c111]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 - [c110]Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65 - [c109]Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia:
Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS 2008: 70-79 - [e8]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] - [e7]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
- [j45]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) - [j44]Vladimir Mencl
, Frank S. de Boer:
Preface. Electron. Notes Theor. Comput. Sci. 182: 1-2 (2007) - [j43]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) - [j42]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.