Universiteit Leiden

nl en

Frank de Boer

Hoogleraar Software correctheid

Naam
Prof.dr. F.S. de Boer
Telefoon
+31 71 527 7095
E-mail
f.s.de.boer@liacs.leidenuniv.nl

 -

Meer informatie over Frank de Boer

Hoogleraar Software correctheid

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 157a

Contact

  • Azadbakht K. & Boer F.S. de (2017), Multi-Threaded Actors. In: Proceedings ICE 2016.. 51-66.congresbijdrage (refereed)
  • Serbanescu V., Adzadbakht K., Boer F.S. de, Nagarajagowda C. & Nobakht B. (2016), A design pattern for optimizations in data intensive applications using ABS and JAVA 8, Concurrency and Computaton: Practice and Experience 28(2): 374-385.artikel in tijdschrift (refereed)
  • Gouw S. de, Boer F.S. de, Ahrendt W. & Bubel R. (2016), Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic, Software and Systems Modeling 15(4): 1117-1140.artikel in tijdschrift (refereed)
  • Azadbakht K., Bezirgiannis N., Boer F.S. de & Aliakbary S. (2016), A higher-level and scalable approach for generating scale-free graphs using active objects. In: Proceedings SAC 2016. New York, U.S.A.: ACM. 1244-1250.congresbijdrage (refereed)
  • Boer F.S. de & Gouw S. de (2016), Run-Time Checking Multi-threaded Java Programs. In: Freivalds R., Engels G., Catania B. (red.) Proceedings SOFSEM 2016. nr. 9587 Berlin, Heidelberg: Springer. 217-228.congresbijdrage (refereed)
  • Bezirgiannis N. & Boer F.S. de (2016), ABS: A High-Level Modeling Language for Cloud-Aware Programming. In: Freivalds R., Engels G., Catania B. (red.) Proceedings SOFSEM 2016. nr. 9587 Berlin, Heidelberg: Springer. 433-444.congresbijdrage (refereed)
  • Gouw S. de, Boer F.S. de & Rot J. (2016), Verification of Counting Sort and Radix Sort. In: Ahrendt W., Beckert B., Bubel R., Hahnle R., Schmitt P.H., Ulbrich M. (red.) Proceedings Deductive Software Verfication 2016. nr. 10001: Springer. 609-618.congresbijdrage (refereed)
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J.C. (2015), Model Checking Recursive Programs Interacting via the Heap, Science of Computer Programming 100: 61-83.artikel in tijdschrift (refereed)
  • Boer F.S. de, Bonsangue M.M. & Rot J.C. (2015), It is Pointless to Point in Bounded Heaps, Science of Computer Programming 112(1): 102-118.artikel in tijdschrift (refereed)
  • Wong P.Y.H., Bubel R., Boer F.S. de, Gómez-Zamalloa M., Gouw C. de, Hähnle R., Meinke K. & Sindhu M.A. (2015), Testing abstract behavioral specifications, International Journal on Software Tools for Technology Transfer 17(1): 107-119.artikel in tijdschrift (refereed)
  • Boer F.S. de & Gouw C. de (2015), Being and Change: Reasoning About Invariance. In: Proceedings Correct System Design 2015 - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. nr. 9360: Springer. 191-204.boekdeel
  • Gouw C. de, Rot J.C., Boer F.S. de, Bubel R. & Hähnle R. (2015), OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. In: Proceedings Computer Aided Verification 2015. nr. LNCS 9206. 273-289.congresbijdrage (refereed)
  • Nobakht B., Gouw C. de & Boer F.S. de (2015), Formal Verification of Service Level Agreements Through Distributed Monitoring. In: Proceedings Service Oriented and Cloud Computing - 4th European Conference (ESOCC 2015). nr. LNCS 9306. 125-140.congresbijdrage (refereed)
  • Azadbakht K., Serbanescu V. & Boer F.S. de (2015), High Performance Computing Applications Using Parallel Data Processing Units. In: Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 - Revised Selected Papers. nr. LNCS 9392: Springer. 191-206.congresbijdrage (refereed)
  • Bjorner N. & Boer F.S. de (red.) (2015), Proceedings 20th International Symposium on Formal Methods (FM 2015) Lecture notes in computer science nr. 9109: Springer.boekredactie
  • Gouw C. de & Boer F.S. de (2015), Fixing the Sorting Algorithm for Android, Java and Python, ERCIM News 102.artikel in tijdschrift
  • Bonsangue M.M., Rot J.C., Ancona D., Boer F.S. de & Rutten J.J.M.M. (2014), A Coalgebraic Foundation for Coinductive Union Types. In: Proceedings ICALP 2014 nr. LNCS 8573: Springer. 62-73.congresbijdrage (refereed)
  • Gouw C. de, Boer F.S. de & Rot J.C. (2014), ProofPearl: the KeY to Correct and Stable Sorting, Journal of Automated Reasoning 53(2): 129-139.artikel in tijdschrift (refereed)
  • Nobakht B., Bonsangue M.M., Boer F.S. de, Gouw S. de & Jaghoori M.M. (2014), Method Call Sequences using Annotations, Science of Computer Programming 94(3): 362-378.artikel in tijdschrift (refereed)
  • Boer F.S. de & Gabbrielli M. (2014), Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. In: Horizons of the Mind nr. LNCS 8464: Springer. 168-179.boekdeel
  • Nobakht B. & Boer F.S. de (2014), Programming with Actors in Java 8. In: Proceedings ISoLA (2) 2014 nr. LNCS 8803. 37-53.congresbijdrage (refereed)
  • Serbanescu V., Nagarajagowda C. Azadbakht K. Boer F.S. de & Nobakht B. (2014), Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8. In: Adaptive Resource Management and Scheduling for Cloud Computing - First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Revised Selected Papers nr. LNCS 8907: Springer. 103-112.congresbijdrage (refereed)
  • Boer F.S. de & Gouw S. de (2014), Combining Monitoring with Run-Time Assertion Checking. In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Advanced Lectures nr. LNCS 8483. 217-262.congresbijdrage (refereed)
  • Albert E., Boer F.S. de, Hähnle R., Broch Johnsen E., Schlatte R., Tapia Tarifa S.L. & Wong P.Y.H. (2014), Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS, Service Oriented Computing and Applications 8(4): 323-339.artikel in tijdschrift (refereed)
  • Arbab F., Jongmans S.T.Q. & Boer F.S. de (2014), High-Level Protocol Engineering without Performance Penalty for Multi-Core, ERCIM News (99).bijdrage in dag-/weekblad of tijdschrift
  • Boer F.S. de, Jaghoori M.M., Laneve C. & Zavattaro G. (2014), Decidability Problems for Actor Systems, Logical Methods in Computer Science 10(4).artikel in tijdschrift (refereed)
  • Boer F.S. de, Broch Johnsen E., Clarke D., Drossopoulou S., Yoshida N. & Wrigstad T. (2014), Scaling Future Software: The Manycore Challenge, ERCIM News (99).bijdrage in dag-/weekblad of tijdschrift
  • Boer F.S. de & Gouw S. de (2013), Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development. In: Pasareanu C.S., Salaün G. (Red.) Formal Aspects of Component Software 2012, 9th International Symposium 2012 Lecture Notes in Computer Science. 128-133.congresbijdrage (refereed)
  • Gouw S. de, Boer F.S. de, Ahrendt W. & Bubel R. (2013), Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. In: Emde Boas P. van, Groen F.C.A., Italiano G.P., Nawrocki J., Sack H. (Red.) SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science Lecture Notes in Computer Science. 207-219.congresbijdrage (refereed)
  • Gouw S. de, Boer F.S. de, Broch Johnsen E. & Wong Peter Y.H. (2013), Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. In: Proceedings SAC. 1573-1578.congresbijdrage (refereed)
  • Haenle R., Giachino E., Boer F.S. de & Bonsangue M.M. (Red.) (2013), Formal Methods for Components and Objects, 11th International Symposium, FMCO 2012, Proceedings HATS summer school 2012, State-of-the-Art Survey nr. LNCS 7866: Springer-Verlag.boekredactie
  • Rot J.C., Boer F.S. de & Bonsangue M.M. (2013), Unbounded Allocation in Bounded Heaps. In: Proceedings of Fundamentals of Software Engineering (FSEN 2013) nr. LNCS 8161: Springer-Verlag. 5-20.congresbijdrage (refereed)
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J.C. (2013), Bounded Model Checking of Recursive Programs with Pointers in K. In: Post-proceedings 21st International Workshop on Algebraic Development Techniques (WADT 2012) nr. LNCS 7841: Springer-Verlag. 59-76.congresbijdrage (refereed)
  • Jaghoori M.M., Jongmans S.T.Q., Boer F.S. de, Peironcely J.E., Faulon J.-L., Reijmers T.H. & Hankemeier T. (2013), PMG: Multi-core Metabolite Identification, Electronic Notes in Theoretical Computer Science 299: 53-60.artikel in tijdschrift (refereed)
  • Bjørk J., Boer F.S. de, Johnsen E. Broch, Schlatte R., Lizeth S. & Tarifa T. (2013), User-defined schedulers for real-time concurrent objects, Innovations in Systems and Software Engineering 9(1): 29-43.artikel in tijdschrift (refereed)
  • Astefanoaei L., Boer F.S. de, Dastani M. & Meyer J.-J.Ch. (2013), A weakest precondition calculus for BUnity, Science of Computer Programming 78(9): 1278-1293.artikel in tijdschrift (refereed)
  • Nobakht B., Boer F.S. de & Jaghoori M.M. (2013), The Future of a Missed Deadline. In: Proceedings Coordination Models and Languages, 15th International Conference, COORDINATION 2013 nr. LNCS 7890: Springer-Verlag. 181-195.congresbijdrage (refereed)
  • Albert E., Boer F.S. de, Hähnle R., Johnsen E. Broch & Laneve C. (2013), Engineering virtualized services. In: Proceedings ACM Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13. 59-63.congresbijdrage (refereed)
  • Boer F.S. de, Gouw C.P.T. de & Wong P.Y.H. (2013), Run-Time Verification of Coboxes. In: Proceedings 11th International Conference on Software Engineering and Formal Methods (SEFM 2013) nr. LNCS 8137: Springer-Verlag. 259-273.congresbijdrage (refereed)
  • Beckert B., Damiani F., Boer F.S. de & Bonsauge M.M. (Red.) (2013), Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Lectures notes in computer science nr. 7542: Springer-Verlag.boekredactie
  • Aichernig B.K., Boer F.S. de & Bonsangue M.M. (Red.) (2012), Ninth International Symposium on Formal Methods for Components and Objects (FMCO 2010). Heidelberg: Springer.boekredactie
  • Apt K.R., Boer F.S. de, Olderog E.-R. & Gouw S. de (2012), Verification of Object-Oriented Programs: A Transformational Approach, Journal of Computer and System Sciences 78: 823-852.artikel in tijdschrift (refereed)
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Model Checking Programs with Dynamic Linked Structures: LIACS, Universiteit Leiden.rapport
  • Boer F.S. de, Bonsangue M.M. & Rot J. (2012), Automated Verification of Recursive Programs with Pointers. In: Gramlich B., Miller D., Sattler U. (Red.) Automated Reasoning - 6th International Joint Conference, IJCAR 2012 Lecture Notes in Computer Science: Springer. 149-163.congresbijdrage (refereed)
  • Beckert F., Damiani F., Boer F.S. de & Bonsangue M.M. (2012), Formal Methods for Components and Objects, 10th International Symposium FMCO 2011, State-of-the-Art Survey. Heidelberg, Berlin: Springer.boek
  • Rot J., Asavoae I.M., Boer F.S. de, Bonsangue M.M. & Lucanu D. (2012), Interacting via the Heap in the Presence of Recursion. In: Carbone M., Lanese I., Silva A., Sokolova A. (Red.) Proceedings of the 5th Interaction and Concurrency Experience (ICE 2012) Electronic Proceedings in Theoretical Computer Science. 99-113.congresbijdrage (refereed)
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Program with Pointers in K, abstract in Pre proceedings of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012): Tallinn University of Technology.rapport
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Programs with Pointers in K: Universidad Complutense de Madrid.rapport
  • Boer F.S. de, Helvensteijn M. & Winter Joost (2012), A Modal Logic for Abstract Delta Modeling. In: Proceedings of the 16th International Software Product Line Conference. 45-52.congresbijdrage (refereed)
  • Meng S., Arbab F., Aichernig B.K., Astefanoaei L., Boer F.S. de & Rutten J.J.M.M. (2012), Connectors as Designs: Modelling, Refinement and Test Case Generation, Science of Computer Programming 77: 799-822.artikel in tijdschrift (refereed)
  • Boer F.S. de, Grabe I. & Steffen M. (2012), Termination detection for active objects, Journal Logic Algebraic Programming 81(4): 541-557.artikel in tijdschrift (refereed)
  • Sabouri H., Jaghoori M.M., Boer F.S. de & Khosravi R. (2012), Scheduling and Analysis of Real-Time Software Families. In: Proceedings COMPSAC 2012. 680-689.congresbijdrage (refereed)
  • Boer F.S. de, Jaghoori M.M., Laneve C. & Zavattaro G. (2012), Decidability Problems for Actor Systems. In: Proceedings CONCUR 2012. 562-577.congresbijdrage (refereed)
  • Boer F.S. de, Hähnle R., Broch Johnsen E., Schlatte R. & Wong Peter Y.H. (2012), Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. In: Proceedings ESOCC 2012 Lecture notes in Computer Science. 90-106.congresbijdrage (refereed)
  • Nobakht B., Boer F.S. de, Jaghoori M.M. & Schlatte R. (2012), Programming and Deployment of Active Objects with Application-Level Scheduling. In: Proceedings SAC 2012. 1883-1888.congresbijdrage (refereed)
  • Baeten J.C.M., Ball T. & Boer F.S. de (2012), Theoretical Computer Science - 7th IFIP TC1/WB 2.2 International Conferenc (TCS 2012=. Heidelberg: Springer.boek
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Model Checking Programs with Dynamic Linked Structures: LIACS, Leiden University.rapport
  • Astefanoaei L., Boer F.S. de, Dastani M. & Meyer J.-J.Ch. (2012), A weakest precondition calculus for BUnity, Science of Computer Programming.artikel in tijdschrift (refereed)
  • Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Program with Pointers in K Abstract. In: Pre-proceedings Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012).congresbijdrage (refereed)
  • Nobakht B., Bonsangue M.M., Boer F.S. de & Gouw S. de (2011), Monitoring Method Call Sequences Using Annotations. In: Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010) Lecture Notes in Computer Science: Springer Verlag.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Hallerstede S. & Leuschel M. (2010), Formal Methods for Components and Objects, 8th International Symposium FMCO 2009 - State of the Art Survey. Heidelberg Berlin: Springer.boek
  • Rot J., Boer F.S. de & Bonsangue M.M. (2010), A Pushdown System Representation for Unbounded Object Creation (Position Paper/Work in Progress). In: B. Beckert C. Marche (Red.) Papers presented at the first International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) Karlsruhe Institute of Technology Reports in Informatics 2010.congresbijdrage (refereed)
  • Boer F.S. de, Gouw S. de & Vinju J. (2010), Prototyping a tool environment for run-time assertion checking in JML with communication histories. In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs: ACM. art. 6.congresbijdrage (refereed)
  • Astefanoaei L., Boer F.S. de & Dastani M. (2010), Strategic executions of choreographed timed normative multi-agent systems. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). 965-972.congresbijdrage (refereed)
  • Boer F.S. de, Jaghoori M.M. & Broch Johnsen E. (2010), Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. In: CONCUR 2010 - Concurrency Theory, 21th International Conference Lecture notes in Computer Science: Springer. 1-18.congresbijdrage (refereed)
  • Boer F.S. de & Grabe I. (2010), Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. In: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science Lecture notes in Computer Science: Springer. 200-211.congresbijdrage (refereed)
  • Grabe I., Jaghoori M.M., Aichernig B.K., Baier C., Blechmann T., Boer F.S. de, Griesmayer A., Broch Johnsen E., Klein J, Klüppenholz S., Kyas M., Leister W., Schlatte R., Stam A., Steffen M., Tschirner S., Xuedong L. & Yi W (2010), Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo, Electronic Notes in Theoretical Computer Science (ENTCS) 266: 33-48.artikel in tijdschrift (refereed)
  • Astefanoaei L., Boer F.S. de & Dastani M. (2009), On coordination, autonomy and time. In: Proceedings AAMAS'09. 1357-1358.congresbijdrage (refereed)
  • Apt K.R., Boer F.S. de & Olderog E.-R. (2009), Modular Verification of Recursive Programs. In: Languages: From Formal to Natural 2009 Lecture notes in Computer Science: Springer. 1-21.congresbijdrage (refereed)
  • Astefanoaei L., Boer F.S. de & Dastani M. (2009), The Refinement of choreographed Multi-Agent Systems. In: Declarative Agent Languages and Technologies VII Lecture notes in Computer Science: Springer. 20-34.congresbijdrage (refereed)
  • Ahrendt W., Boer F.S. de & Grabe I. (2009), Abstract Object Creation in Dynamic Logic. In: FM 2009: Formal Methods, Second World Congress Lecture notes in Computer Science: Springer. 612-627.congresbijdrage (refereed)
  • Boer F.S. de, Chothia T. & Jaghoori M.M. (2009), Modular Schedulability Analysis of concurrent Objects in Creol.. In: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009 Lecture notes in Computer Science: Springer. 212-227.congresbijdrage (refereed)
  • Boer F.S. de, Grabe I., Jaghoori M.M., Stam A. & Yi W (2009), Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009 Lecture notes in Computer Science: Springer. 367-386.congresbijdrage (refereed)
  • Jaghoori M.M., Boer F.S. de, Chothia T. & Sirjani M. (2009), Schedulability of asynchronous real-time concurrent objects, J. Log. Algebr. Program. (JLP) 78(5): 402-416.artikel in tijdschrift (refereed)
  • Aichernig B.K., Arbab F., Boer F.S. de, Meng S. & Rutten J.J.M.M. (2009), Fault-Based Test Case Generation for Component Connectors. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering: IEEE Computer Society. 147-154.congresbijdrage (refereed)
  • Boer F.S. de (2009), A shared-variable concurrency analysis of multi-threaded object-oriented programs, Theoretical Computer Science 410(2-3): 128-141.artikel in tijdschrift (refereed)
  • Astefanoaei L., Boer F.S. de & Dastani M. (2009), Rewriting Agent Societies Strategically. In: Web Intelligence/IAT Workshops 2009. 441-444.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M. & Madelaine E. (2009), Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008. Heidelberg: Springer.boek
  • Arbab F., Astefanoaei L., Boer F.S. de, Dastanil M., Meyer J.-J. & Tinnermeier N. (2008), Reo Connectors as Coordination Artifacts in 2APL Systems. In: proceedings of The 11th Pacific Rim International Conference on Multi-Agents. 42-53.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Gruener A. & Steffen M. (2008), Java Test Driver Generation from Object-Oriented Interaction Traces. In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software TTSS'08.congresbijdrage (refereed)
  • Astefanoae L. & Boer F.S. de (2008), Model-checking agent refinement. In: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: International Foundation for Autonomous Agents and Multiagent Systems. 705-712.congresbijdrage (refereed)
  • Schlatte R., Aichernig B.K., Boer F.S. de, Griesmayer A. & Johnsen E.B. (2008), Testing Concurrent Objects with Application-Specific Schedulers. In: J. Fitzgerald and A. Haxthausen (Red.) International Colloquium on Theoretical Aspects of Computing Lecture notes in Computer Science. Berlin/Heidelberg: Springer.congresbijdrage (refereed)
  • Ábrahám E., Boer F.S. de, Roever W.-P. de & Steffen M. (2008), A Deductive Proof System for Multithreaded Java with Exceptions, Fundamenta informaticae 82(4): 391-463.artikel in tijdschrift (refereed)
  • Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), State-of-the-Art Survey. In: F. de Boer, M.M. Bonsangue, S. Graf and W.-P. de Roever (Red.) Proceedings of FMCO 2007 Lecture notes in Computer Science: Springer. 1-320.congresbijdrage (refereed)
  • Barthe G. & Boer F.S. de (2008), Formal Methods for Open Object-Based Distributed Systems. In: G. Barthe, F.S. de Boer (Red.) 10th IFIP WG 6.1 International Conference, FMOODS 2008 Lecture notes in Computer Science. Berlin/Heidelberg: Springer.congresbijdrage (refereed)
  • Astefanoaei L., Dastani M., Meyer J.-J.C. & Boer F.S. de (2008), A Verification Framework for Normative Multi-Agent Systems. In: . PRIMA 2008. 54-65.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), Formal Methods for Components and Objects. In: Boer, F.S. de, Bonsnague, M.M. (Red.) 6th International Symposium, FMCO 2007: Springer. 1-168.boekdeel
  • Arbab F., Baier C., Boer F.S. de & Rutten J. (2007), Models and temporal logical specifications for timed component connectors, Software and Systems Modeling 6(1): 59-82.artikel in tijdschrift (refereed)
  • Bonsangue M.M., Boer F.S. de, Arbab F., Torre L. van der, Proper E. & Lankhorst M. (2007), Integrating Architectural Models: Symbolic Semantics and Subjective Models in Enterprise Architecture, SIG-MoBIS 1(2): 40-57.artikel in tijdschrift (refereed)
  • Boer F.S. de (2007), A Sound and Complete Shared-Variable concurrency Model for Multi-threaded Java Programs. In: Bonsangue, M.M., Johnsen, E.B. (Red.) Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007 Lecture notes in Computer Science: Springer. 252-268.congresbijdrage (refereed)
  • Boer F.S. de, Clarke D. & Johnsen E.B. (2007), A Complete Guide to the Future. In: Nicola, R. de (Red.) Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007 Lecture notes in Computer Science: Springer. 316-330.congresbijdrage (refereed)
  • Boer F.S. de, Hindriks K.V., Hoek W. van der & Meyer J.-J.C. (2007), A verification framework for agent programming with declarative goals, Journal of Applied Logic 5(2): 277-302.artikel in tijdschrift (refereed)
  • Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2007), Formal Methods for Components and Objects Lecture notes in Computer Science. Amsterdam: Springer.boek
  • Abraham E., Boer F.S. de, Roever W.-P. de & Steffen M. (2006), Inductive Proof Outlines for Exceptions in Multithreaded Java, Electronic Notes in Theoretical Computer Science (ENTCS) 159: 281-297.artikel in tijdschrift (refereed)
  • Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), From object to mobile channels. In: Zhiming Liu and He Jifeng (Red.) Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis: the World Scientific.boekdeel
  • Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2006), Proceedings of FMCO 2005 -- revised lectures. In: Boer, F., Bonsangue, M.M., Graf, S., Roever, W.-P. (Red.) Proceedings of FMCO 2005 -- revised lectures Lecture notes in Computer Science: Springer. 1-447.boekdeel
  • Boer F.S. de & Bonsangue M.M. (2006), Formal Methods for Components and Objects. In: Boer, F.S. de, Bonsnague, M.M. (Red.) Theoretical Computer Science: Elsevier Science. 1-168.boekdeel
  • Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), Component Coordination: From Objects to Mobile Channels. In: He Jifeng and Zhiming Liu (Red.) Mathematical Frameworks for Component Software - Models for Analysis and Synthesis: World Scientific.boekdeel
  • Boer F.S. de & Bonsangue M.M. (2006), Preface, Theoretical Computer Science 365: 1-2.artikel in tijdschrift (refereed)
  • Fecher H., Kyas M., Roever W.-P. de & Boer F.S. de (2006), Compositional Operational Semantics of a UML-Kernel-Model Language, Electronic Notes in Theoretical Computer Science (ENTCS) 156(1): 79-96.artikel in tijdschrift (refereed)
  • Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), A component coordination model based on mobile channels, Fundamenta informaticae 73: 561-582.artikel in tijdschrift (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets. In: C. Canal and M. Viroli (Red.) Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005) Electronic Notes in Theoretical Computer Science: Elsevier Science. 121-138.congresbijdrage (refereed)
  • ‹Ábraham E., Boer F.S. de, Roever W.-P. de & Steffen M. (2005), An assertion-based proof system for multithreaded Java, Theoretical Computer Science 331(2-3): 251-290.artikel in tijdschrift (refereed)
  • Kyas M., Boer F.S. de & Roever W.-P. de (2005), A Compositional Trace Logic for Behavioural Interface Specifications, Nordic Journal of Computing 12(2): 116-132.artikel in tijdschrift (refereed)
  • Kyas M., Fecher H., Boer F.S. de, Jacob J., Hooman J., Zwaag M. van der, Arons T. & Kugler H. (2005), Formalizing UML Models and OCL Constraints in PVS, Electronic Notes in Theoretical Computer Science (ENTCS) 115: 39-47.artikel in tijdschrift (refereed)
  • Pierik C. & Boer F.S. de (2005), A proof outline logic for object-oriented programming, Theoretical Computer Science 343(3): 413-442.artikel in tijdschrift (refereed)
  • Sirjani M., Movaghar A., Shali A. & Boer F.S. de (2005), Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models, Journal of Universal Computer Science 11: 1054-1082.artikel in tijdschrift (refereed)
  • Ábraham E., Bonsangue M.M., Boer F.S. de, Grüner A. & Steffen M. (2005), Observability, Connectivity, and Replay in a Sequential Calculus of Classes. In: Proceedings of FMCO 2004: revised lectures: Springer-Verlag. 296-316.congresbijdrage (refereed)
  • Arbab F., Baier C., Boer F.S. de, Rutten J. & Sirjani M. (2005), Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005). 236-251.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Groenewegen L.P.J., Stam A., Stevens S. & Torre L. van der (2005), Change impact analysis of enterprise architectures. In: Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005).congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Jacob J., Stam A. & Torre L. van der (2005), Enterprise architecture analysis in xml. In: Proceedings of the Hawaii International Conference on System Sciences (HICSS-38).congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Steffen M. & Abraham E. (2005), A fully abstract semantics for UML Components. In: Proceedings of FMCO 2004: revised lectures. 49-69.congresbijdrage (refereed)
  • Dastani M., Arbab F. & Boer F.S. de (2005), Coordination and composition in multi-agent systems. In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (AAMAS'05). 439-446.congresbijdrage (refereed)
  • Guillen-Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2005), MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels. In: Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005): ACM press. 13-17.congresbijdrage (refereed)
  • Pierik C., Clarke D. & Boer F.S. de (2005), Controlling Object Allocation Using Creation Guards. In: Proceedings of the International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005: Springer-Verlag. 59-74.congresbijdrage (refereed)
  • Riemsdijk M.B. van, Boer F.S. de & Meijer J.-J.Ch. (2005), Dynamic Logic for Plan Revision in Intelligent Agents. In: Proceedings of the Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V): Springer-Verlag. 16-32.congresbijdrage (refereed)
  • Sirjani M., Boer F.S. de, Movaghar A. & Shali A. (2005), Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. In: Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD2005). 213-221.congresbijdrage (refereed)
  • Arbab F., Boer F.S. de, Bonsangue M.M. & Guillen Scholten J.V. (2002), A channel based coordination model for components. In: Brogi, A., Jacquet, J.-M. (Red.) Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science. 3.congresbijdrage (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), MoCha: a Middleware Based on Mobile Channels. In: Proc. of 26th International conference on Computer Software and Application Conference IEEE Computer Society. 667-673.congresbijdrage (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), Mobile Channels, Implementation Within and Outside Components. In: Brogi, A., Pimintel, E. (Red.) Proc. of Formal Methods and Component Interaction Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science.congresbijdrage (refereed)

Geen relevante nevenwerkzaamheden