Staff Directory

Avatars3918

Contact Details

Log in to update your profile

Qualifications

Dipl. Inform., Dr. rer. nat. (PhD), FHEA

About

My surname is actually Müller. I was formerly known as Berndt Farwer.

I received my PhD on Linear Logic-Based Calculi for Object Petri Nets in the year 2000.

Starting in 2001 I got involved (as HPL) in teaching 1st and 2nd year courses in Theoretical CS, as well as advanced courses in many areas of Computer Science.

From September 2006 to September 2010, I worked in the Department of Computer Science (later: School of Engineering and Computing Sciences) at Durham University, first as RA and from 2008 as Teaching Fellow.

Currently I am Senior Lecturer in Computing at the University of South Wales. As of January 2014, I am Chair-elect of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) and will assume office in April 2014.

Personal homepage:
Berndt Müller’s Homepage

Workshops on Logics, Agents, and Mobility:
LAM’08 LAM’09 LAM’10 LAM’11 LAM’12

Responsibilities

Stage-2 Tutor

PhD supervisor
– Multi Agent Systems for Smart Home Environments

Module leader for
SE4S707: Network Security
CS2S504: Algorithms and Data Structures
IY2H454: Professional Skills for Forensics and Security

Publications

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.
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 following publications were 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. 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. Garcia-Valles. 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.

Memberships

AISB – The Society for the Study of Artificial Intelligence and Simulation of Behaviour
ASL – Association of Symbolic Logic
CIE – Computability in Europe
EATCS – European Association of Theoretical Computer Science
HEA – Fellow of the Higher Education Academy
IEEE

External

External Examiner for MRes at Durham University.

Refereeing for Journals and Conferences (since 2007):

- Information and Computation – International Journal
- SMCIEEE Transactions on Systems, Man, and Cybernetics
- Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
- FOSSACS 2011 – Foundations of Software Science and Computation Structures
- CSL’09 Computer Science Logic
- JAAMAS (Journal of Autonomous Agents and Multi-Agent Systems)
- FAW 2009 Frontiers of Algorithmics Workshop
- Discrete Event Dynamic Systems, International Journal
- Information and Computation, International Journal
- PNDS’08 International Workshop on Petri Nets and Distributed Systems
- ECAI 2008 European Conference on Artificial Intelligence
- IAT’07 IEEE / WIC / ACM International Conference on Intelligent Agent Technology
- AAMAS 2007 International Joint Conference on Autonomous Agents and Multi-Agent Systems
- DALT 2007 International Workshop on Declarative Agent Languages and Technologies
- Fundamenta Informaticae International Journal
- iFM 2007 Integrated Formal Methods

Recent Programme-Committee Memberships:

- PNSE’14 International Workshop on Petri Nets and Software Engineering
- MODBE’13 Modeling and Business Environments
- CompoNet 2012 Petri Nets Compositions
- LAM’12 International Workshop on Logics, Agents, and Mobility
- PNSE’12 International Workshop on Petri Nets and Software Engineering
- CompoNet 2011 1st workshop on Petri Net Compositions
- LAM’11 International Workshop on Logics, Agents, and Mobility
- ICAART’11 International Conference on Agents and Artificial Intelligence
- PNSE’10 International Workshop on Petri Nets and Software Engineering
- ProMAS’10 International Workshop on Programming of Multi Agent Systems
- LAM’10 International Workshop on Logics, Agents, and Mobility
- MSVVEIS’10 Workshop on Modelling, Simulation, Verification and Validation
- ICAART’10 International Conference on Agents and Artificial Intelligence
- MOCA’09 International Workshop on Modelling of Objects, Components, and Agents
- OrgMod’09 International Workshop on Organizational Modeling
- MSVVEIS 2009 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
- LAM’09 International Workshop on Logics for Agents and Mobility
- ProMAS’09 International Workshop on Programming Multi-Agent Systems
- PNSE’09 International Workshop on Petri Nets and Software Engineering
- AAMAS 2009 International Joint Conference on Autonomous Agents and Multi-Agent Systems
- ICAART 2009 International Conference on Agents and Artificial Intelligence
- PNTAP’08 International Workshop on Petri Nets, Tools, and Applications
- 10th European Agent Systems Summer School Student Session
- AAMAS 2008 International Joint Conference on Autonomous Agents and Multi-Agent Systems
- ESSLII-LAM’08 International Workshop on Logics for Agents and Mobility

Organisation of Workshops and Conferences:

- Organiser and PC chair of LAM’12 (Logics, Agents, and Mobility, International Workshop at Petri Nets & ACSD 2012),
- Organiser and PC chair of LAM’11 (Logics, Agents, and Mobility, International Workshop at CONCUR 2011),
- Organiser and PC chair of LAM’10 (Logics, Agents, and Mobility, International Workshop at LICS 2010),
- Organiser and PC chair of LAM’09 (Logics for Agents and Mobility, International Workshop at LICS 2009),
- Organiser and PC chair of LAM’08 (Logics for Agents and Mobility, International Workshop at ESSLLI 2008)
- Member of the Organising Committee of EASSS 2007
- Member of the Organising Committee of MALLOW 2007

Other Committees:

- AISB committee member (since December 2007); director and treasurer (since January 2009), Chair-elect (since January 2014)

Research

Logics for specification and verification of concurrent and dynamic systems
Multi-agent systems and agent programming languages
Combination of formal methods
Concurrency / Petri nets
Safety and security
(Alternative) Models of computation and complexity theory
Foundations of agents and multi-agent systems
Model checking
Type theory
Category theory
Maude / conditional rewriting logic
Non-classical logics and Linear Logic

Areas of Expertise

Agent & multi-agent modelling
High-level Petri nets
Formal methods
Logics

If you are a journalist on deadline and you need to speak with a member of university staff with a particular expertise please contact the Press Office on +44 (0)1443 483 362.