Bernhard Steffen

Bernhard Steffen is primarily affiliated with TU Dortmund University in Germany. Their research work spans various aspects of computer science, focusing particularly on artificial intelligence, software, computational theory and mathematics, information systems, and computer networks and communications.

The main fields of study for Bernhard Steffen encompass:

• Computer Science

Their work includes significant contributions to subfields such as:

• Artificial Intelligence
• Software
• Computational Theory and Mathematics
• Information Systems
• Computer Networks and Communications

Bernhard Steffen's research topics cover a wide range of areas, including:

• Software Testing and Debugging Techniques
• Formal Methods in Verification
• Machine Learning and Algorithms
• Model-Driven Software Engineering Techniques
• Explainable Artificial Intelligence (XAI)
• Advanced Software Engineering Methodologies
• Software Engineering Research

Recent published papers by Bernhard Steffen include:

• Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations, 2022, Collective Dynamics
• Algebraic aggregation of random forests: towards explainability and rapid evaluation, 2021, International Journal on Software Tools for Technology Transfer
• The molecular composition of extractable soil microbial compounds and their contribution to soil organic matter vary with soil depth and tree species, 2021, The Science of The Total Environment
• Towards Explainability in Machine Learning: The Formal Methods Way, 2020, IT Professional
• The RERS challenge: towards controllable and scalable benchmark synthesis, 2021, International Journal on Software Tools for Technology Transfer

Frequent co-authors collaborating with Bernhard Steffen include:

• Tiziana Margaria
• Alexander Bainczyk
• Daniel Busch
• Tim Tegeler
• Alnis Murtovi

Bernhard Steffen has published extensively in several venues, with frequent publications found in:

• International Journal on Software Tools for Technology Transfer
• arXiv (Cornell University)
• IT Professional
• Collective Dynamics
• The Science of The Total Environment

Their book publications are primarily associated with Springer Science+Business Media, including titles such as:

• Leveraging Applications of Formal Methods, Verification and Validation (2021)
• Bridging the Gap Between AI and Reality (2023)
• Leveraging Applications of Formal Methods, Verification and Validation. Practice (2022)
• Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (2020)
• Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (2020)
• Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (2021)
• Leveraging Applications of Formal Methods, Verification and Validation: Applications (2020)
• Variable Neighborhood Search (2020)
• Information Security and Cryptology - ICISC 2019 (2020)
• Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022)
• Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents (2021)
• Cross-Cultural Design. Applications in Arts, Learning, Well-being, and Social Development (2021)
• Model Checking, Synthesis, and Learning (2021)
• Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)
• Information Security and Cryptology (2021)

Additionally, Bernhard Steffen contributed to a publication by Centre National de la Recherche Scientifique titled Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (2024).