Publications

[79] S. Williams, B. Müller. Agents and Dementia – Smart Risk Assessment. Proc. 14th European Conference on Multi-Agent Systems (EUMAS 2016). To be published 2016.

[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.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s