Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrank 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
- 2022
[j68]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)- [c192]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 - [c191]Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian:
Footprint Logic for Object-Oriented Components. FACS 2022: 141-160 - 2021
- [j67]Frank S. de Boer, Marcello M. Bonsangue:
Symbolic execution formally explained. Formal Aspects Comput. 33(4-5): 617-636 (2021) - [j66]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) - [c190]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
- [j65]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) - [j64]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) - [c189]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 - [c188]Frank S. de Boer, Hans-Dieter A. Hiep:
History-based specification and verification of Java collections in KeY (keynote). FTfJP@ECOOP 2020: 2-3 - [c187]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 - [c186]Vlad Nicolae Serbanescu, Frank S. de Boer:
On the nature of cooperative scheduling in active objects. SAC 2020: 1322-1329 - [c185]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
- [j63]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) - [c184]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 - [c183]Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. FM 2019: 64-80 - [c182]Frank S. de Boer, Hans-Dieter A. Hiep:
Axiomatic Characterization of Trace Reachability for Concurrent Objects. IFM 2019: 157-174 - [c181]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 - [c180]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
- [j62]Frank S. de Boer, Nikolaj S. Bjørner:
Preface for the special issue "FM15". Acta Informatica 55(6): 459-460 (2018) - [j61]Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield:
Editorial. Formal Aspects Comput. 30(5): 493-494 (2018) - [j60]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) - [c179]Frank S. de Boer, Stijn de Gouw:
Compositional Semantics for Concurrent Object Groups in ABS. Principled Software Development 2018: 87-98 - [c178]Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
ASCOOP: Actors in Scala with Cooperative Scheduling. CSE 2018: 19-28 - [c177]Vlad Serbanescu, Frank S. de Boer, Mohammad Mahdi Jaghoori:
Actors with Coroutine Support in Java. FACS 2018: 237-255 - [c176]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [c175]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
- [j59]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) - [j58]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) - [c174]Nikolaos Bezirgiannis, Frank S. de Boer, Stijn de Gouw:
Human-in-the-Loop Simulation of Cloud Services. ESOCC 2017: 143-158 - [c173]Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer:
On Futures for Streaming Data in ABS - (Short Paper). FORTE 2017: 67-73 - [c172]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
- [j57]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) - [j56]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) - [c171]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 - [c170]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 - [c169]Frank S. de Boer, Stijn de Gouw:
Run-Time Checking Multi-threaded Java Programs. SOFSEM 2016: 217-228 - [c168]Nikolaos Bezirgiannis, Frank S. de Boer:
ABS: A High-Level Modeling Language for Cloud-Aware Programming. SOFSEM 2016: 433-444 - [c167]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
- [j55]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) - [j54]Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot:
It is pointless to point in bounded heaps. Sci. Comput. Program. 112: 102-118 (2015) - [j53]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) - [c166]Frank S. de Boer, Stijn de Gouw:
Being and Change: Reasoning About Invariance. Correct System Design 2015: 191-204 - [c165]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 - [c164]Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer:
Formal Verification of Service Level Agreements Through Distributed Monitoring. ESOCC 2015: 125-140 - [c163]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
- [j52]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014) - [j51]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) - [j50]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) - [j49]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) - [j48]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) - [c162]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 - [c161]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 - [c160]Behrooz Nobakht, Frank S. de Boer:
Programming with Actors in Java 8. ISoLA (2) 2014: 37-53 - [c159]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 - [c158]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
- [j47]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) - [j46]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) - [c157]Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori:
The Future of a Missed Deadline. COORDINATION 2013: 181-195 - [c156]Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue:
Unbounded Allocation in Bounded Heaps. FSEN 2013: 1-16 - [c155]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c154]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 - [c153]Frank S. de Boer, Stijn de Gouw, Peter Y. H. Wong:
Run-Time Verification of Coboxes. SEFM 2013: 259-273 - [c152]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 - [c151]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
- [j45]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) - [j44]Frank S. de Boer, Immo Grabe, Martin Steffen:
Termination detection for active objects. J. Log. Algebraic Methods Program. 81(4): 541-557 (2012) - [j43]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) - [c150]Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot:
Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163 - [c149]Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi:
Scheduling and Analysis of Real-Time Software Families. COMPSAC 2012: 680-689 - [c148]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. CONCUR 2012: 562-577 - [c147]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 - [c146]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 - [c145]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 - [c144]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 - [c143]Frank S. de Boer, Michiel Helvensteijn, Joost Winter:
A modal logic for abstract delta modeling. SPLC (2) 2012: 45-52 - [c142]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 - [c141]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
- [j42]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) - [c140]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
Strategic executions of choreographed timed normative multi-agent systems. AAMAS 2010: 965-972 - [c139]Frank S. de Boer:
Reasoning about Recursive Processes in Shared-Variable Concurrency. Concurrency, Compositionality, and Correctness 2010: 127-141 - [c138]Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen:
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. CONCUR 2010: 1-18 - [c137]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 - [c136]Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw:
Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70 - [c135]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 - [j41]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) - [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) - [c134]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358 - [c133]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21 - [c132]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34 - [c131]Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe:
Abstract Object Creation in Dynamic Logic. FM 2009: 612-627 - [c130]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 - [c129]Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori:
Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227 - [c128]