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
- 2025
[c199]Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Three Ways of Proving Termination of Loops. The Combined Power of Research, Education, and Dissemination 2025: 280-301- 2024
- [j69]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) - [j68]Frank S. de Boer
, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Proving Correctness of Parallel Implementations of Transition System Models. ACM Trans. Program. Lang. Syst. 46(3): 9:1-9:50 (2024) - [c198]Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer:
History-Based Reasoning About Behavioral Subtyping. ICTAC 2024: 331-349 - [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]