[86] B. Müller. The Future of Everything is Distributed – A Plea for Reliable, Responsible, and Resilient Systems Engineering. In Proceedings of IDC 2023. To be published in LNCS, Springer, 2024.
[85] C. Rees, B. Müller. Models and tools for extreme right imagery detection. Accepted for: Society for Terrorism Research 15th Annual International Conference Terrorism Research in a Polarized World. Lisbon, Portugal, July 2023
[84] C. Rees, B. Müller. All That Glitters is not Gold: Trustworthy and Ethical AI Principles. AI and Ethics, Springer Nature, 2022.
[83] V. R. R. Kovvuri, S. Liu, M. Seisenberger, X. Fan, B. Müller, and H. Fu. On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. In: Proceedings of the 16th International Conference on INnovations in Intelligent SysTems and Applications (INISTA 2022). IEEE, 2022. (DOI: 10.1109/INISTA55318.2022.9894147)
[82] S. Williams , J.M. Ware , and B. Müller. Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. In: F. Koch et al. (Eds.): AIH 2018, LNAI 11326, pp. 1–19, Springer Nature, Switzerland, 2019.
[81] S. Williams, J.M. Ware, B. Müller. Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. Proceedings of the First Joint Workshop on AI in Health organised as part of the Federated AI Meeting (FAIM 2018), co-located with AAMAS 2018, ICML 2018, IJCAI 2018 and ICCBR 2018. 2018 (available from: http://ceur-ws.org/Vol-2142/paper14.pdf)
[80] B. Müller. Chapter: Technology futures. In: Securing the future: planning health and care for every generation. Pages 26-31. Future Care Capital, 2017. (available from: https://futurecarecapital.org.uk/policy/securing-the-future/)
[79] S. Williams, B. Müller. Agents and Dementia – Smart Risk Assessment. In: Multi-Agent Systems and Agreement Technologies. LNAI 10207, pages 277-284, Springer. 2017.
[78] I.J. Abdullahi, B. Müller. Towards Efficient Verification of Elementary Object Systems. Proc. Concurrency, Specification, and Programming (CS&P 2016). CEUR Workshop Proceedings, Vol-1698 (urn:nbn:de:0074-1698-4), pages 86-100. ISSN 1613-0073. 2016.
[77] J. Betts, B. Müller. A Component-based C++ Framework for Developing BDI Agents. Proc. SAI Intelligent Systems Conference. 877-883. IEEE, 2015. (DOI 10.1109/IntelliSys.2015.7361246)
[76] J. Betts, B. Müller. Engineering MAS – A Device Integration Framework for Smart Home Environments. (Extended version) Fundamenta Informaticae, 135:4, pages 341-353. 2014. (DOI 10.3233/FI-2014-1127)
[75] J. Betts and B. Müller. Incorporating BDI-agent concepts into object-oriented programming. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, 2014. CEUR – Workshop Proceedings Vol-1269 (urn:nbn:de:0074-1269-2), pages 138-149. 2014.
[74] B.Müller, M. Fitting (Eds.). Fundamenta Informaticae 130 (2014) DOI 10.3233/FI-2014-979 IOS Press. Logics, Agents, and Mobility. Extended Papers from the International Workshops LAM’10 and LAM’11.
[73] J. Betts and B. Müller. A multi-agent system framework for smart-home environments. In M. Köhler- Bußmeier, editor, LAM’13, 6th International Workshop on Logics, Agents, and Mobility. Symposium at the University of Applied Science Hamburg, Germany, 22 November 2013, pages 4–8, 2013.
[72] J. Betts, B. Müller. Engineering MAS – A Device Integration Framework for Smart Home Environments. In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013). Eds.: M. Szczuka, L. Czaja, M. Kacprzak. CEUR Workshop Proceedings vol. 1032, pages 15-26, 2013. (Extended version in Fundamenta Informaticae, 2014)
[71] B. Müller. Observations from Current and Past Projects: 1. Shaping the Intelligent Home of the Future, 2. Settlers of Catan. In: Agent-oriented programming, multiagent systems, Software methodologies for distributed systems, Programming distributed systems, Empirical evaluation. Dagstuhl Reports, Volume 2, Issue 8, pages 84-85, 2012.
All of the following publications authored as Berndt Farwer:
[70] N. Bulling and B. Farwer. On the (Un-)Decidability of Model-Checking Resource-Bounded Agents. In Proc, 19th European Conference on Artificial Intelligence (ECAI), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 567–572. IOS Press, 2010.
[69] R. Bordini, L. Dennis, B. Farwer, M. Fisher. Directions for Agent Model Checking. Book chapter in: Specification and Verification of Multi-agent Systems. Pages 103-124, Springer. 2010.
[68] N. Bulling and B. Farwer. On the decidability of verifying resource-bounded agents. Technical Report IfI-10-05, Clausthal University of Technology, May 2010.
[67] N. Bulling and B. Farwer. Expressing properties of resource-bounded systems: The logics RTL and RTL* (revised and extended version). In J. Dix et al, editors, Computational Logic in Multi-Agent Systems. Post-Proceedings of CLIMA X. Volume 6214 of LNAI, pages 22-45, Springer 2010.
[66] N. Bulling and B. Farwer. Expressing properties of resource-bounded systems: The logics RTL and RTL*. In J. Dix et al, editors, Pre-Proceedings of CLIMA X, Hamburg, Germany, September 2009.
[65] N. Bulling and B. Farwer. Towards modelling and reasoning about resource-bounded systems. In B. Farwer, editor, Proceedings of Logics, Agents, and Mobility (LAM’09), Los Angeles, USA, August 2009.
[64] T. Behrens and B. Farwer. An infrastructure of hierarchy and processes for multiple agents in games AI. In B. Farwer, editor, Proceedings of Logics, Agents, and Mobility (LAM’09), Los Angeles, USA, August 2009.
[63] B. Farwer. Task suspension in agent systems. In R. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni, editors, Programming Multi-Agent Systems, number 08361 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Germany.
[62] B. Farwer. Towards a theory of task suspension (Part I: Petri nets and agent systems). In Proceedings of Concurrency, Specification, and Programming CS&P’2008 , volume 1, pages 128–137. Groß Väter, Germany, 2008.
[61] R. H. Bordini, L. A. Dennis, B. Farwer, and M. Fisher. Automated verification of multi-agent programs. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pages 69–78, 2008.
[60] B. Farwer, M. Jantzen, M. Kudlek, H. Rölke, and G. Zetzsche. Petri Net Controlled Finite Automata. Fundamenta Informaticae, 85 (1-4) 2008:111-121, 2008.
[59] L. Dennis, B. Farwer. Gwendolen: A BDI Language for Verifiable Agents. AISB 2008 Symposium: Logic and the Simulation of Interaction and Reasoning, Aberdeen, Scotland, pages 16–23. 2008.
[58] P. Shaw, B. Farwer, R. Bordini. Theoretical and Experimental Results on the Goal-Plan Tree Problem (Short Paper).AAMAS’08, Estoril, Portugal, pages 1379–1382, 2008.
[57] L. Dennis, B. Farwer, R. Bordini, M. Fisher. A Flexible Framework for Verifiable Agent Programming (Short Paper). AAMAS’08, Estoril, Portugal, pages 1303-1306, 2008.
[56] B. Farwer and L. Dennis. Translating into an intermediate agent layer: A prototype in Maude. In Proceedings of Concurrency, Specification, and Programming CS&P’2007, Lagow, Poland, pages 168-179, 2007.
[55] B. Farwer, M. Jantzen, M. Kudlek, H. Rölke, and G. Zetzsche. On concurrent finite automata. In Proceedings of Concurrency, Specification, and Programming CS&P’2007, Lagow, Poland, pages 180-190, 2007.
[54] B. Farwer and M. Köhler. Object nets for mobility. In J. Kleijn and A. Yakolev, editors, Petri Nets and Other Models of Concurrency – ICATPN 2007, volume 4546 of Lecture Notes in Computer Science, pages 244–262. Springer-Verlag, 2007.
[53] B. Farwer, M. Kudlek, and H. Rölke. Concurrent Turing machines. Fundamenta Informaticae, 79(3–4):303–317, 2007.
[52] L. Dennis, B. Farwer, R. Bordini, M. Fisher, and M. Wooldridge. A common semantic basis for BDI languages. In M. Dastani, A. E. F. Seghrouchni, A. Ricci, and M. Winikoff, editors, Proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS 2007), pages 88–103, May 2007.
[51] B. Farwer, M. Kudlek, and H. Rölke. Petri-net-controlled machine models. Technical Report FBI-HH-B-274/06, Fachbereich Informatik, Universität Hamburg, Germany, 2006.
[50] B. Farwer. Recovery and Reset in Object Petri Nets with Process Markings. Proceedings of Concurrency, Specification, and Programming CS&P’2006, 2006.
[49] B. Farwer, M. Kudlek, H. Rölke. Concurrent Turing Machines as Rewrite Theories. Proceedings of Concurrency, Specification, and Programming CS&P’2006, 2006.
[48] B. Farwer, M. Köhler. Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundamenta Informaticae, 72(1–3):109–122, 2006.
[47] B. Farwer, M. Varea. Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Fundamenta Informaticae, 72(1–3):123–137, 2006.
[45] B. Farwer, M. Varea. Transforming Dual Flow Nets into Object Petri Nets. Proceedings of Concurrency, Specification, and Programming CS&P’2005, Ruciane-Nida, Poland, 2005.
[46] B. Farwer, S. Kohl. Object Systems with Process Markings. In: Festschrift zum sechzigsten Geburtstag von Prof. Dr. Rüdiger Valk, Fachbereich Informatik, Universität Hamburg, 2005. Published also as: Technical Report FBI-HH-B-265/05, Fachbereich Informatik, Universität Hamburg, pages 1–11, 2005
[44] B. Farwer, M. Köhler. Modelling Global and Local Namespaces for Mobile Agents Using Object Nets. Proceedings of Concurrency, Specification, and Programming CS&P’2005, Ruciane-Nida, Poland, 2005.
[43] B. Farwer, M. Varea. Object-based Control/Data-flow Analysis. Technical Report DSSE-TR-2005-1, ECS, University of Southampton, 2005.
[42] B. Farwer, M. Köhler. Petri Net Processes for Zero-Safe Nets. Fundamenta Informaticae, 67:1-11, 2005
[41] B. Farwer, D. Schradick. Execution and analysis of P/T nets and object Petri nets with B. In: G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suray (Eds.), Concurrency, Specification, and Programming CS&P’2004. vol. 1, Informatik-Bericht Nr. 170, 28-39, Humboldt Universität, Berlin, 2004.
[40] B. Farwer, M. Köhler. Net processes for zero-safe nets. In: G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suray (Eds.), Concurrency, Specification, and Programming CS&P’2004. vol. 1, Informatik-Bericht Nr. 170, 40-51, Humboldt Universität, Berlin, 2004.
[39] B. Farwer, M. Leuschel. Model checking object Petri nets in Maude and Prolog. Technical Report FBI-HH-B-258/04, Fachbereich Informatik, Universität Hamburg, 2004
[38] B. Farwer (Ed.). Proceedings of the1st Workshop on Analysing Security Protocols WASP’04, Hamburg, 12.-13.07.2004.
[37] Berndt Farwer, Manfred Kudlek. A new synchronisation model for multi-level object Petri nets. Fundamenta Informaticae, 60(1–4):131–142, 2004.
[36] B. Farwer, M. Köhler. Mobile object-net systems and their processes. Fundamenta Informaticae, 60(1–4):113–129, 2004.
[35] B. Farwer, M. Leuschel. Model checking object Petri nets in Prolog. In Proceedings of Principles and Practice of Declarative Programming (PPDP’04), Verona, Italy, 24–26 August 2004, pages 20–31. ACM, 2004.
[34] B. Farwer, M. Leuschel. Model checking object Petri nets in Prolog. Technical Report DSSE-TR-2003-4, Declarative Systems and Software Engineering Group, School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK, 2003.
[33] B. Farwer, K. Misra. Dynamic modification of system structures using LLPNs (extended version). In Perspectives Of System Informatics, Proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, pages 274–293. LNCS 2890. Springer-Verlag, 2003.
[32] B. Farwer, K. Misra. Dynamic modification of system structures using LLPNs. In Proceedings of Andrei Ershov Fifth International Conference Perspectives Of System Informatics, pages 177–190. July 2003.
[31] B. Farwer, S. Kalvala, K. Misra. Controller synthesis for object Petri nets. In Proceedings of ICFEM 2003, pages 432–451. LNCS 2885. Springer-Verlag, 2003.
[30] B. Farwer, K. Misra. Modelling with hierarchical object Petri nets. Fundamenta Informaticae, 55(2): 129–147, 2003.
[29] B. Farwer, M. Kudlek, K. Misra. Some considerations on higher order Petri nets. Fundamenta Informaticae, 54(2–3): 185–193, 2003.
[28] B. Farwer, M. Kudlek. On synchronisation in multi-level object Petri nets. In L. Czaja, editor, Concurrency, Specification, and Programming CS&P’2003 (Volume 1), pages 150–156. Warsaw University, 2003.
[27] B. Farwer, M. Köhler. Mobile object-net systems and their processes. In L. Czaja, editor, Concurrency, Specification, and Programming CS&P’2003 (Volume 1), pages 134–149. Warsaw University, 2003.
[26] B. Farwer. A logic of enablement. In R. Valk, C. Girault, editors, Petri Nets for Systems Engineering – A Guide to Modeling, Verification, and Applications, pages 361–370. Springer-Verlag, 2003.
[25] B. Farwer. Linear logic and Petri nets. In R. Valk, C. Girault, editors, Petri Nets for Systems Engineering – A Guide to Modeling, Verification, and Applications, pages 370–382. Springer-Verlag, 2003.
[24] B. Farwer, D. Moldt, F. García-Vallés. An approach to modelling FMS with dynamic object Petri nets. In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1–6. Hammamet, Tunisia, 6–9 October 2002.
[23] B. Farwer, K. Misra. Object net modification using LLPNs. Presentation at LL’2002 of FLoC’02, Copenhagen, 2002. Revised version to appear in: Proceedings of the International Conference on Perspectives of System Informatics, Novosibirsk, July 2003.
[22] B. Farwer, K. Misra. Hierarchical object systems. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P.Starke, editors, Concurrency, Specification, and Programming CS&P’2002 (Volume 1), pages 143–163 (16 pages). Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.
[21] B. Farwer, M. Kudlek, K. Misra. Some considerations on higher order Petri nets. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P.Starke, editors, Concurrency, Specification, and Programming CS&P’2002 (Volume 1), pages 129–142 (9 pages). Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.
[20] B. Farwer. ω-(omega-)Automata. In E.Grädel, W. Thomas, Th. Wilke, editors, Automata, Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer Science, pages 3–21. Springer-Verlag, 2002.
[19] B. Farwer. Dynamic modification of object Petri nets. an application to modelling protocols with fork-join structures. Fundamenta Informaticae, 51(1,2): 91–101, 2002.
[18] B. Farwer, I. Lomazova. A systematic approach towards object-based Petri net formalisms. In Proceedings of Andrei Ershov Fourth International Conference Perspectives Of System Informatics, pages 141–146. July 2001.
[17] B. Farwer, I. Lomazova. A systematic approach towards object-based Petri net formalisms. In D. Bjorner, A. Zamulin, editors, Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, pages 255–267. LNCS 2244. Springer-Verlag, 2001.
[16] B. Farwer. Modelling protocols by object-based Petri nets. In L. Czaja, editor, Concurrency Specification and Programming (CSP’01), Proceedings, pages 87–96. University of Warsaw, 2001.
[15] B. Farwer. Comparing concepts of object Petri net formalisms. Fundamenta Informaticae, 47(3–4): 247–258, 2001.
[14] B. Farwer. Relating formalisms for non-object-oriented object Petri nets. In P. Starke L. Czaja, editor, Concurrency, Specification, and Programming (CSP’2000). Proceedings. Volume 1, pages 53–64. Humboldt-Universität, Berlin, 2000.
[13] B. Farwer. A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae, 43(1–4): 61–79, 2000.
[12] B. Farwer. Linear Logic Based Calculi for Object Petri Nets. Logos Verlag, ISBN 3-89722-539-5, Berlin, 2000. [13] B. Farwer. A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae, 43(1–4): 61–79, 2000.
[11] B. Farwer. Towards a linear logic based calculus for structural modifications of Petri nets. In H.-D. Burkhard, L. Czaja, H.S. Nguyen, P. Starke, editors, Concurrency Specification and Programming (CSP’99), Proceedings, pages 47–58. University of Warsaw, 1999.
[10] B. Farwer. A linear logic view of object Petri nets. Fundamenta Informaticae, 37(3): 225–246, 1999.
[9] B. Farwer. Linear Logic Based Calculi for Object Petri Nets. Ph.D. thesis, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Str. 30, D-22527 Hamburg, 1999.
[8] B. Farwer. Towards linear logic Petri nets – From P/T-nets to object systems. Technical report, FBI-HH-B-211/98, Fachbereich Informatik, Universität Hamburg, 1998.
[7] B. Farwer. A logic of enablement, 1998. Lecture Notes of the MATCH summer school 1998. System Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation.
[6] B. Farwer. A linear logic view of object systems. In H.-D. Burkhard, L. Czaja, P. Starke, editors, Concurrency Specification and Programming (CSP’98), Proceedings, pages 76–87. Humboldt-Universität, Berlin, 1998.
[5] B. Farwer. Linear logic and Petri nets, 1998. Lecture Notes of the MATCH summer school 1998. System Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation.
[4] B. Farwer. Relating object systems to formulae of infinitary linear logic, 1996. Talk given at the Third Seminar on Algebra, Logic, and Geometry in Informatics (ALGI 3), Tokyo.
[3] B. Farwer, P.-A. Kasten, A. Köster, M. Kopka. ω-(omega-)Sprachen. Studienarbeit, Fachbereich Informatik, Universität Hamburg, 1993.
[2] B. Farwer, P.-A. Kasten, A. Köster, M. Kopka. Nichtklassische Logiken. Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1993.
[1] B. Farwer, P.-A. Kasten, A. Köster. Parallele Algorithmen – Einführung und Bibliographie. Manuscript, Fachbereich Informatik, Universität Hamburg, 1992.