Berndt Müller

According to our database, Berndt Müller authored at least 41 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Designing for Situated AI-Human Decision Making: Lessons Learned from a Primary Care Deployment Ben Wilson.

Ben Wilson, Darren Scott, Matt J. Roach, Emily Esther Nielsen, Berndt Müller

Proceedings of the 1st International Workshop on Designing and Building Hybrid Human-AI Systems co-located with 17th International Conference on Advanced Visual Interfaces (AVI 2024), 2024

2023

All that glitters is not gold: trustworthy and ethical AI principles.

Connor Rees, Berndt Müller

AI Ethics, November, 2023

Future Proofing Systems Engineering: Reliability, Responsibility, and Resilience.

Berndt Müller

Proceedings of the Intelligent Distributed Computing XVI, 2023

2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.

Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Berndt Müller, Xiuyi Fan

CoRR, 2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.

Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Xiuyi Fan, Berndt Müller, Hsuan Fu

Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

2021

SLIDR and SLOPPR: flexible identification of spliced leader trans-splicing and prediction of eukaryotic operons from RNA-Seq data.

Marius A. Wenzel, Berndt Müller, Jonathan Pettitt

BMC Bioinform., 2021

2018

Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia.

Steve Williams, John Mark Ware, Berndt Müller

Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity.

Steve Williams, John Mark Ware, Berndt Müller

Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

2016

Agents and Dementia - Smart Risk Assessment.

Steve Williams, Berndt Müller

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Towards Efficient Verification of Elementary Object Systems.

Ismaila Jihad Abdullahi, Berndt Müller

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Editorial.

Berndt Müller

Connect. Sci., 2015

2014

Preface.

Berndt Müller, Melvin Fitting

Fundam. Informaticae, 2014

Engineering MAS - A Device Integration Framework for Smart Home Environments.

Jack Betts, Berndt Müller

Fundam. Informaticae, 2014

Incorporating BDI-Agent Concepts into Object-Oriented Programming.

Berndt Müller, Jack Betts

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2010

On the (Un-)Decidability of Model Checking Resource-Bounded Agents.

Nils Bulling, Berndt Farwer

Proceedings of the ECAI 2010, 2010

2009

Expressing Properties of Resource-Bounded Systems: The Logics RTL^* and RTL.

Nils Bulling, Berndt Farwer

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008

Petri Net Controlled Finite Automata.

Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche

Fundam. Informaticae, 2008

Automated Verification of Multi-Agent Programs.

Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Task Suspension in Agent Systems.

Berndt Farwer

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Theoretical and experimental results on the goal-plan tree problem.

Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A flexible framework for verifying agent programs.

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Concurrent Turing Machines.

Berndt Farwer, Manfred Kudlek, Heiko Rölke

Fundam. Informaticae, 2007

A Common Semantic Basis for BDI Languages.

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Object Nets for Mobility.

Michael Köhler, Berndt Farwer

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets.

Berndt Farwer, Mauricio Varea

Fundam. Informaticae, 2006

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.

Berndt Farwer, Michael Köhler

Fundam. Informaticae, 2006

2005

Petri Net Processes for Zero-Safe Nets.

Berndt Farwer, Michael Köhler

Fundam. Informaticae, 2005

2004

A New Synchronisation Model for Multi-Level Object Petri Nets.

Berndt Farwer, Manfred Kudlek

Fundam. Informaticae, 2004

Mobile Object-Net Systems and their Processes.

Berndt Farwer, Michael Köhler

Fundam. Informaticae, 2004

Model checking object petri nets in prolog.

Berndt Farwer, Michael Leuschel

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Modelling with Hierarchical Object Petri Nets.

Berndt Farwer, Kundan Misra

Fundam. Informaticae, 2003

Some Considerations on Higher-Order Petri Nets.

Berndt Farwer, Manfred Kudlek, Kundan Misra

Fundam. Informaticae, 2003

Controller Synthesis for Object Petri Nets.

Berndt Farwer, Saraswati Kalvala, Kundan Misra

Proceedings of the Formal Methods and Software Engineering, 2003

Dynamic Modification of System Structures Using LLPNs.

Berndt Farwer, Kundan Misra

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures.

Berndt Farwer

Fundam. Informaticae, 2002

2001

Comparing Concepts of Object Petri Net Formalisms.

Berndt Farwer

Fundam. Informaticae, 2001

A Systematic Approach towards Object-Based Petri Net Formalisms.

Berndt Farwer, Irina A. Lomazova

Proceedings of the Perspectives of System Informatics, 2001

omega-Automata.

Berndt Farwer

Proceedings of the Automata, 2001

2000

A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.

Berndt Farwer

Fundam. Informaticae, 2000

Linear logic based calculi for object Petri nets.

Berndt Farwer

Logos, ISBN: 978-3-89722-539-8, 2000

1999

A Linear Logic View of Object Petri Nets.

Berndt Farwer

Fundam. Informaticae, 1999