ISAR: An Interactive System for Algebraic Implementation Proofs. - Bernhard Bauer 001; Rolf Hennicker (LPAR, 1992)

Proving the Correctness of Algebraic Implementations by the ISAR System. - Bernhard Bauer 001; Rolf Hennicker (DISCO, 1993)

Proving the Correctness of Formal User Interface Specifications . - Bernhard Bauer 001 (DSV-IS, 1995)

Generating User Interfaces from Formal Specifications of the Application. - Bernhard Bauer 001 (CADUI, 1996)

Attributed algebraic specifications. - Bernhard Bauer 001 (Utz, Wiss. Verlag, 1996)

Übersetzung objektorientierter Programmiersprachen - Konzepte, abstrakte Maschinen und Praktikum Java-Compiler. - Bernhard Bauer 001; Riitta Höllerer (Springer, 1998)

JACK - Java Constraint Kit. - Luis Mandel; Marcelo Campo; Analía Amandi; Thom W. Frühwirth; Bernd Meyer 001; Slim Abdennadher; Bernhard Bauer 001 (German-Argentinian Workshop on Information Technology, 1999)

A Multi-agent Solution for Advanced Call Centers. - Bernhard Bauer 001; Cornel Klein (IEA/AIE, 1999)

Representing Agent Interaction Protocols in UML. - James Odell; H. Van Dyke Parunak; Bernhard Bauer 001 (AOSE, 2000)

An Extension of UML by Protocols for Multiagent Interaction. - Bernhard Bauer 001; Jörg P. Müller; James Odell (ICMAS, 2000)

UML classes diagrams and agent-based systems. - Bernhard Bauer 001 (Agents, 2001)

UML Class Diagrams Revisited in the Context of Agent-Based Systems. - Bernhard Bauer 001 (AOSE, 2001)

Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? - Bernhard Bauer 001; Federico Bergenti; Philippe Massonet; James Odell (AOSE, 2001)

Software Agents for Electronic Business: Opportunities and Challenges. - Jörg P. Müller; Bernhard Bauer 001; Michael Berger 001 (Multi-Agent-Systems and Applications, 2001)

Towards an Agent-Based Infrastructure for Distributed Virtual Organizations. - Michael Berger 001; Bernhard Bauer 001; Michael Watzke (WETICE, 2001)

Agent UML: A Formalism for Specifying Multiagent Software Systems. - Bernhard Bauer 001; Jörg P. Müller; James Odell (Int. J. Softw. Eng. Knowl. Eng., 2001)

Software agents in mobile telecommunication services. - Bernhard Bauer 001; Jörg P. Müller (Softw. Focus, 2001)

Agent-Oriented Software Technologies: Flaws and Remedies. - Jörg P. Müller; Bernhard Bauer 001 (AOSE, 2002)

Multi Agent Systems Using Constrains Handling Rules for Problem Solving. - Christian Seitz; Bernhard Bauer 001; Michael Berger 001 (IC-AI, 2002)

Using UML in the Context of Agent-Oriented Software Engineering: State of the Art. - Bernhard Bauer 001; Jörg P. Müller (AOSE, 2003)

An Agent-Based Personalized Producer/Consumer Scenario. - Christian Seitz; Bernhard Bauer 001 (CEEMAS, 2003)

Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective. - Jörg P. Müller; Bernhard Bauer 001; Thomas Friese (PROMAS, 2003)

A Multiagent Approach for Logistics Performance Prediction Using Historical and Context Information. - Yutao Guo; Jörg P. Müller; Bernhard Bauer 001 (AAMAS, 2004)

MDA Applied: From Sequence Diagrams to Web Service Choreography. - Bernhard Bauer 001; Jörg P. Müller (ICWE, 2004)

A Model-Driven Approach to Designing Cross-Enterprise Business Processes. - Bernhard Bauer 001; Jörg P. Müller; Stephan Roser (OTM Workshops, 2004)

MPDG - Mobile Profile based Distributed Grouping. - Christian Seitz; Michael Berger 001; Bernhard Bauer 001 (PerCom Workshops, 2004)

Modelling web service composition with UML 2.0. - Bernhard Bauer 001; Marc-Philippe Huget (Int. J. Web Eng. Technol., 2004)

AOSE and Organic Computing - How Can They Benefit from Each Other? - Bernhard Bauer 001; Holger Kasinger (AOIS, 2005)

Combining Multi-Agent-System Methodologies for Organic Computing Systems. - Holger Kasinger; Bernhard Bauer 001 (DEXA Workshops, 2005)

AOSE and Organic Computing - How Can They Benefit from Each Other? Position Paper. - Bernhard Bauer 001; Holger Kasinger (ER (Workshops), 2005)

Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems. - Holger Kasinger; Bernhard Bauer 001 (Computational Intelligence, 2005)

Ontology-Based Model Transformation. - Stephan Roser; Bernhard Bauer 001 (MoDELS (Satellite Events), 2005)

A Categorization of Collaborative Business Process Modeling Techniques. - Stephan Roser; Bernhard Bauer 001 (CEC Workshops, 2005)

Adaptive Design of Cross-Organizational Business Processes Using a Model-Driven Architecture. - Bernhard Bauer 001; Jörg P. Müller; Stephan Roser (Wirtschaftsinformatik, 2005)

UML 2.0 and agents: how to build agent-based systems with the new UML standard. - Bernhard Bauer 001; James Odell (Eng. Appl. Artif. Intell., 2005)

Model- and Architecture-Driven Development in the Context of Cross-Enterprise Business Process Engineering. - Stephan Roser; Bernhard Bauer 001; Jörg P. Müller (IEEE SCC, 2006)

Semantic-enabled Software Engineering and Development. - Bernhard Bauer 001; Stephan Roser (GI Jahrestagung (2), 2006)

Beyond Swarm Intelligence: Building Self-Managing Systems Based on Pollination. - Holger Kasinger; Bernhard Bauer 001 (GI Jahrestagung (1), 2006)

A Decentralized Broker Architecture for Collaborative Business Process Modelling and Enactment. - Bernhard Bauer 001; Jörg P. Müller; Stephan Roser (I-ESA, 2006)

The Utility of Pollination for Autonomic Computing. - Holger Kasinger; Bernhard Bauer 001 (BICC, 2006)

Pollination - A Biologically Inspired Paradigm for Self-Managing Systems. - Holger Kasinger; Bernhard Bauer 001 (Int. Trans. Syst. Sci. Appl., 2006)

HiSbase: Informationsfusion in P2P Netzwerken. - Tobias Scholl; Bernhard Bauer 001; Richard Kuntschke; Daniel Weber 015; Angelika Reiser; Alfons Kemper (BTW, 2007)

A Survey on Workflow Annotation & Composition Approaches. - Florian Lautenbacher; Bernhard Bauer 001 (SBPM, 2007)

Towards Semantically-Enhanced Distributed Service Discovery. - Raphael Romeikat; Bernhard Bauer 001 (ICIW, 2007)

Improving Interoperability in Collaborative Modelling. - Stephan Roser; Bernhard Bauer 001 (IESA, 2007)

Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods. - Bernhard Bauer 001; Jörg P. Müller; Stephan Roser (PROMAS, 2007)

HiSbase: Histogram-based P2P Main Memory Data Management. - Tobias Scholl; Bernhard Bauer 001; Benjamin Gufler; Richard Kuntschke; Daniel Weber 015; Angelika Reiser; Alfons Kemper (VLDB, 2007)

Creating a Meta-Model for Semantic Web Service Standards. - Florian Lautenbacher; Bernhard Bauer 001 (WEBIST (2), 2007)

Semantic Business Process Modeling - Benefits and Capability. - Florian Lautenbacher; Bernhard Bauer 001; Christian Seitz (AAAI Spring Symposium: AI Meets Business Rules and Process Management, 2008)

Translation of QVT Relations into QVT Operational Mappings. - Raphael Romeikat; Stephan Roser; Pascal Müllender; Bernhard Bauer 001 (ICMT@TOOLS, 2008)

Semantic-Based Planning of Process Models. - Matthias Henneberger; Bernd Heinrich; Florian Lautenbacher; Bernhard Bauer 001 (Multikonferenz Wirtschaftsinformatik, 2008)

MDSD light for ERP. - Stephan Roser; Florian Lautenbacher; Bernhard Bauer 001 (SAC, 2008)

The Meaning of Semiochemicals to the Design of Self-Organizing Systems. - Holger Kasinger; Bernhard Bauer 001; Jörg Denzinger (SASO, 2008)

Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space. - Stephan Roser; Bernhard Bauer 001 (J. Data Semant., 2008)

Towards Autonomic Service Discovery A Survey and Comparison. - Michael Rambold; Holger Kasinger; Florian Lautenbacher; Bernhard Bauer 001 (IEEE SCC, 2009)

Cognitive-Linguistics-Based Request Answer System. - Wolf Fischer; Bernhard Bauer 001 (Adaptive Multimedia Retrieval, 2009)

Workload-aware data partitioning in community-driven data grids. - Tobias Scholl; Bernhard Bauer 001; Jessica Müller; Benjamin Gufler; Angelika Reiser; Alfons Kemper (EDBT, 2009)

Token analysis of graph-oriented process models. - M. Gotz; Stephan Roser; Florian Lautenbacher; Bernhard Bauer 001 (EDOCW, 2009)

Process mining for semantic business process modeling. - Florian Lautenbacher; Bernhard Bauer 001; S. Forg (EDOCW, 2009)

Process model adaptation using semantic technologies. - Florian Lautenbacher; Thomas Eisenbarth 002; Bernhard Bauer 001 (EDOCW, 2009)

A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns. - Adrian Klein; Fuyuki Ishikawa; Bernhard Bauer 001 (ICSOC/ServiceWave, 2009)

Transformation of Graphical ECA Policies into Executable PonderTalk Code. - Raphael Romeikat; Markus Sinsel; Bernhard Bauer 001 (RuleML, 2009)

Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. - Holger Kasinger; Jörg Denzinger; Bernhard Bauer 001 (SAC, 2009)

Scalable community-driven data sharing in e-science grids. - Tobias Scholl; Bernhard Bauer 001; Benjamin Gufler; Richard Kuntschke; Angelika Reiser; Alfons Kemper (Future Gener. Comput. Syst., 2009)

Adapting environment-mediated self-organizing emergent systems by exception rules. - Holger Kasinger; Bernhard Bauer 001; Jörg Denzinger; Tom Holvoet (SOAR@ICAC, 2010)

Situational Method Engineering Applied for the Enactment of Development Processes - An Agent based Approach. - Holger Seemueller; Holger Voos; Benjamin Honke; Bernhard Bauer 001 (ICEIS (3), 2010)

Policy-driven workflows for mobile network management automation. - Raphael Romeikat; Bernhard Bauer 001; Tobias Bandh; Georg Carle; Henning Sanneck; Lars-Christoph Schmelz (IWCMC, 2010)

Data-flow Based Model Analysis. - Christian Saad; Bernhard Bauer 001 (NASA Formal Methods, 2010)

Optimized network configuration parameter assignment based on graph coloring. - Tobias Bandh; Georg Carle; Henning Sanneck; Lars-Christoph Schmelz; Raphael Romeikat; Bernhard Bauer 001 (NOMS, 2010)

Decentralized Real-Time Control of Water Distribution Networks Using Self-Organizing Multi-agent Systems. - Florian Dötsch; Jörg Denzinger; Holger Kasinger; Bernhard Bauer 001 (SASO, 2010)

Applying data-flow analysis to models a novel approach for model analysis. - Christian Saad; Bernhard Bauer 001 (SpringSim, 2010)

Linguistics-Based Modeling Methods and Ontologies in Requirements Engineering. - Florian Lautenbacher; Bernhard Bauer 001; Tanja Sieber; Alejandro Cabral (Int. J. Enterp. Inf. Syst., 2010)

Automated refinement of policies for network management. - Raphael Romeikat; Bernhard Bauer 001; Henning Sanneck (APCC, 2011)

Mooop - A Hybrid Integration of OWL and Java. - Christoph Frenzel; Bijan Parsia; Ulrike Sattler; Bernhard Bauer 001 (CAiSE Workshops, 2011)

Data Provenance with Watermarks for Usage Control Monitors at Disaster Recovery. - Martin Salfer; Sven Wohlgemuth; Sebastian Schrittwieser; Bernhard Bauer 001; Isao Echizen (iThings/CPSCom, 2011)

Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems. - Jonathan Hudson; Jörg Denzinger; Holger Kasinger; Bernhard Bauer 001 (SASO, 2011)

Modeling of Domain-Specific ECA Policies. - Raphael Romeikat; Bernhard Bauer 001; Henning Sanneck (SEKE, 2011)

Formal Specification of Domain-Specific ECA Policy Models. - Raphael Romeikat; Bernhard Bauer 001 (TASE, 2011)

Adaptation of Process Models - A Semantic-based Approach. - Thomas Eisenbarth 002; Florian Lautenbacher; Bernhard Bauer 001 (J. Res. Pract. Inf. Technol., 2011)

An evaluation and decision method for ICT architectures for cross-organizational business process coordination. - Stephan Roser; Jörg P. Müller; Bernhard Bauer 001 (Inf. Syst. E Bus. Manag., 2011)

Interpreting Patient Data using Medical Background Knowledge. - Heiner Oberkampf; Sonja Zillner; Bernhard Bauer 001 (ICBO, 2012)

Resource-oriented Consistency Analysis of Engineering Processes. - Bernhard Bauer 001; Thomas Eisenbarth 002; Christoph Frenzel; Benjamin Honke (ICEIS (3), 2012)

Automated rational recovery selection for self-healing in mobile networks. - Christoph Frenzel; Henning Sanneck; Bernhard Bauer 001 (ISWCS, 2012)

An OGMS-based Model for Clinical Information (MCI). - Heiner Oberkampf; Sonja Zillner; Bernhard Bauer 001; Matthias Hammon (ICBO, 2013)

Gap Analysis in Enterprise Architecture using Semantic Web Technologies. - Philipp Diefenthaler; Bernhard Bauer 001 (ICEIS (3), 2013)

From Gaps to Transformation Paths in Enterprise Architecture Planning. - Philipp Diefenthaler; Bernhard Bauer 001 (ICEIS, 2013)

A Model Driven Approach for Open Distributed Systems using an Enterprise Architecture Framework. - Melanie Langermeier; Arne-Jørgen Berre; Bernhard Bauer 001 (ICEIS (3), 2013)

Management of Variability in Modular Ontology Development. - Melanie Langermeier; Peter Rosina; Heiner Oberkampf; Thomas Driessen; Bernhard Bauer 001 (ICSOC Workshops, 2013)

Planning Support for Enterprise Changes. - Florian Lautenbacher; Philipp Diefenthaler; Melanie Langermeier; Mariana Mykhashchuk; Bernhard Bauer 001 (PoEM, 2013)

Rational Policy System for Network Management. - Christoph Frenzel; Henning Sanneck; Bernhard Bauer 001 (IM, 2013)

Data-Flow Based Model Analysis and Its Applications. - Christian Saad; Bernhard Bauer 001 (MoDELS, 2013)

A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management. - Christoph Frenzel; Henning Sanneck; Bernhard Bauer 001 (RuleML, 2013)

An Advisor Concept for Distributed Self-organizing Systems Acting in Highly Connected Environments. - Philipp Grosselfinger; Jörg Denzinger; Bernhard Bauer 001 (SASO, 2013)

Generating Model Transformations Using Ontology Engineering Space. - Stephan Roser; Bernhard Bauer 001 (Semantic Web Enabled Software Engineering, 2014)

Corpus-based Translation of Ontologies for Improved Multilingual Semantic Annotation. - Claudia Bretschneider; Heiner Oberkampf; Sonja Zillner; Bernhard Bauer 001; Matthias Hammon (SWAIE@COLING, 2014)

Adaptive Approach for Impact Analysis in Enterprise Architectures. - Melanie Langermeier; Christian Saad; Bernhard Bauer 001 (BMSD, 2014)

A Unified Framework for Enterprise Architecture Analysis. - Melanie Langermeier; Christian Saad; Bernhard Bauer 001 (EDOC Workshops, 2014)

Change and Version Management in Variability Models for Modular Ontologies. - Melanie Langermeier; Thomas Driessen; Heiner Oberkampf; Peter Rosina; Bernhard Bauer 001 (ICEIS (2), 2014)

Knowledge-Based Extraction of Measurement-Entity Relations from German Radiology Reports. - Heiner Oberkampf; Claudia Bretschneider; Sonja Zillner; Bernhard Bauer 001; Matthias Hammon (ICHI, 2014)

Using Gap Analysis to Support Feedback Loops for Enterprise Architecture Management. - Philipp Diefenthaler; Bernhard Bauer 001 (MKWI, 2014)

Analysis and Validation of AUTOSAR Models. - Julian Kienberger; Pascal Minnerup; Stefan Kuntz; Bernhard Bauer 001 (MODELSWARD, 2014)

Operational Troubleshooting-Enabled Coordination in Self-Organizing Networks. - Christoph Frenzel; Tsvetko Tsvetkov; Henning Sanneck; Bernhard Bauer 001; Georg Carle (MONAMI, 2014)

Detection and resolution of ineffective function behavior in Self-Organizing Networks. - Christoph Frenzel; Tsvetko Tsvetkov; Henning Sanneck; Bernhard Bauer 001; Georg Carle (WoWMoM, 2014)

A Flow Analysis Approach for Service-Oriented Architectures. - Bernhard Bauer 001; Melanie Langermeier; Christian Saad (Software, Services, and Systems, 2015)

Semantic Technologies for the Integration of Methods into an Enterprise Architecture. - Peter Rosina; Bernhard Bauer 001 (BMSD, 2015)

Interactive Transformation Path Generation Using Business Support Maps. - Philipp Diefenthaler; Melanie Langermeier; Bernhard Bauer 001 (EOMAS@CAiSE, 2015)

A Novel Top-Down Approach for Clustering Traces. - Yaguang Sun; Bernhard Bauer 001 (CAiSE, 2015)

Using Semantic Web Technologies for Enterprise Architecture Analysis. - Maximilian Osenberg; Melanie Langermeier; Bernhard Bauer 001 (ESWC, 2015)

Function-based Case Classification for Improving Business Process Mining. - Yaguang Sun; Bernhard Bauer 001 (ICEIS (1), 2015)

Objective-driven coordination in self-organizing networks. - Christoph Frenzel; Bernhard Bauer 001; Christoph Schmelz; Henning Sanneck (PIMRC, 2015)

Classification and Definition of an Enterprise Architecture Analyses Language. - Julia Rauscher; Melanie Langermeier; Bernhard Bauer 001 (BMSD, 2016)

A Novel Fitness Improvement Method for Mined Business Process Models. - Yaguang Sun; Bernhard Bauer 001 (CAiSE Forum, 2016)

A Graph and Trace Clustering-based Approach for Abstracting Mined Business Process Models. - Yaguang Sun; Bernhard Bauer 001 (ICEIS (1), 2016)

A Novel Heuristic Method for Improving the Fitness of Mined Business Process Models. - Yaguang Sun; Bernhard Bauer 001 (ICSOC, 2016)

Comparing System- and Test Model with Integrated Software-based Signal Simulation. - Andreas Kurtz 002; Bernhard Bauer 001; Marcel Koeberl (MODELSWARD, 2016)

Cross-domain 5G network management for seamless industrial communications. - Christian Mannweiler; Lars-Christoph Schmelz; Simon Lohmuller; Bernhard Bauer 001 (NOMS, 2016)

Efficient Parallelization of Complex Automotive Systems. - Julian Kienberger; Christian Saad; Stefan Kuntz; Bernhard Bauer 001 (PMAM@PPoPP, 2016)

Semantic representation of reported measurements in radiology. - Heiner Oberkampf; Sonja Zillner; James A. Overton; Bernhard Bauer 001; Alexander Cavallaro; Michael Uder; Matthias Hammon (BMC Medical Informatics Decis. Mak., 2016)

Generic EA Analysis Framework for the Definition and Automatic Execution of Analyses. - Melanie Langermeier; Bernhard Bauer 001 (ICEIS (3), 2017)

Compound Trace Clustering to Generate Accurate and Simple Sub-Process Models. - Yaguang Sun; Bernhard Bauer 001; Matthias Weidlich 001 (ICSOC, 2017)

Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems. - Reinhard Pröll; Adrian Rumpold; Bernhard Bauer 001 (MODELSWARD (Revised Selected Papers), 2017)

A Domain-aware Framework for Integrated Model-based System Analysis and Design. - Adrian Rumpold; Reinhard Pröll; Bernhard Bauer 001 (MODELSWARD, 2017)

Generic Management of Availability in Fail-Operational Automotive Systems. - Philipp Schleiss; Christian Drabek; Gereon Weiss; Bernhard Bauer 001 (SAFECOMP, 2017)

Parallelizing highly complex engine management systems. - Julian Kienberger; Stefan Schmidhuber; Christian Saad; Stefan Kuntz; Bernhard Bauer 001 (Concurr. Comput. Pract. Exp., 2017)

A Network Slice Resource Allocation and Optimization Model for End-to-End Mobile Networks. - Andrea Fendt; Simon Lohmuller; Lars-Christoph Schmelz; Bernhard Bauer 001 (5G World Forum, 2018)

Evaluation of Microservice Architectures: A Metric and Tool-Based Approach. - Thomas Engel 007; Melanie Langermeier; Bernhard Bauer 001; Alexander Hofmann (CAiSE Forum, 2018)

A Model-Based Method for the Evaluation of Project Proposal Compliance within EA Planning. - Melanie Langermeier; Bernhard Bauer 001 (EDOC Workshops, 2018)

Safety and Security Architecture Analyses Framework for the Internet of Things of Medical Devices. - Julia Rauscher; Bernhard Bauer 001 (HealthCom, 2018)

Evaluating project compliance during EA planning: a model-based semi automatic method for enterprise architecture planning. - Melanie Langermeier; Bernhard Bauer 001 (ICSE (Companion Volume), 2018)

A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models. - Reinhard Pröll; Bernhard Bauer 001 (ICST Workshops, 2018)

A Network Slice Resource Allocation Process in 5G Mobile Networks. - Andrea Fendt; Lars-Christoph Schmelz; Wieslawa Wajda; Simon Lohmüller; Bernhard Bauer 001 (IMIS, 2018)

Multi-Concerns Engineering for Safety-Critical Systems. - Philipp Lohmüller; Andrea Fendt; Bernhard Bauer 001 (MODELSWARD, 2018)

Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing Activities. - Reinhard Pröll; Bernhard Bauer 001 (MODELSWARD, 2018)

SON function performance prediction in a cognitive SON management system. - Simon Lohmuller; Fabian Rabe; Andrea Fendt; Bernhard Bauer 001; Lars-Christoph Schmelz (WCNC Workshops, 2018)

Failure and Change Impact Analysis for Safety-Critical Systems - Applied on a Medical Use Case. - Philipp Lohmüller; Julia Rauscher; Bernhard Bauer 001 (BMSD, 2019)

Automated Classification of Airborne Pollen using Neural Networks. - Julian Schiele; Fabian Rabe; Maximilian Schmitt; Manuel Glaser; Franziska Häring; Jens O. Brunner; Bernhard Bauer 001; Björn W. Schuller; Claudia Traidl-Hoffmann; Athanasios Damialis (EMBC, 2019)

An Efficient Model for Mobile Network Slice Embedding under Resource Uncertainty. - Andrea Fendt; Christian Mannweiler; Lars-Christoph Schmelz; Bernhard Bauer 001 (ISWCS, 2019)

Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures. - Christoph Etzel; Bernhard Bauer 001 (MODELSWARD, 2019)

Modeling and Analysis of Partitions on Functional Architectures Using EAST-ADL. - Christoph Etzel; Bernhard Bauer 001 (MODELSWARD (Revised Selected Papers), 2019)

Software Product Line Engineering for Safety-critical Systems. - Philipp Lohmüller; Bernhard Bauer 001 (MODELSWARD, 2019)

A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs. - Adrian Rumpold; Bernhard Bauer 001 (MODELSWARD, 2019)

Design Optimization of IoT Models: Structured Safety and Security Flaw Identification. - Julia Rauscher; Bernhard Bauer 001 (BMSD, 2020)

An Efficient Online Heuristic for Mobile Network Slice Embedding. - Katja Ludwig; Andrea Fendt; Bernhard Bauer 001 (ICIN, 2020)

Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL. - Christoph Etzel; Florian Hofhammer; Bernhard Bauer 001 (MODELSWARD, 2020)

Towards Abstract Test Execution in Early Stages of Model-driven Software Development. - Noël Hagemann; Reinhard Pröll; Bernhard Bauer 001 (MODELSWARD, 2020)

Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios. - Reinhard Pröll; Noël Hagemann; Bernhard Bauer 001 (MODELSWARD (Revised Selected Papers), 2020)

End-to-End Mobile Network Slice Embedding Leveraging Edge Computing. - Andrea Fendt; Christian Mannweiler; Katja Ludwig; Lars-Christoph Schmelz; Bernhard Bauer 001 (NOMS, 2020)

Adaptation of Architecture Analyses: An IoT Safety and Security Flaw Assessment Approach. - Julia Rauscher; Bernhard Bauer 001 (HEALTHINF, 2021)

Bridging the Gap Between Structural and Behavioral Models in a Software-Centric Environment. - Noël Hagemann; Bernhard Bauer 001 (BMSD, 2021)

Towards Domain-Specific Explainable AI: Model Interpretation of a Skin Image Classifier Using a Human Approach. - Fabian Stieler; Fabian Rabe; Bernhard Bauer 001 (CVPR Workshops, 2021)

Endpoint-Performance-Monitoring for a better End-User Experience. - Sven Beckmann; Jonas Till; Bernhard Bauer 001 (ESSE, 2022)

Git Workflow for Active Learning: A Development Methodology Proposal for Data-Centric AI Projects. - Fabian Stieler; Bernhard Bauer 001 (ENASE, 2023)

Towards Democratizing AI: A Comparative Analysis of AI as a Service Platforms and the Open Space for Machine Learning Approach. - Dennis Rall; Bernhard Bauer 001; Thomas Fraunholz (ICCBDC, 2023)

A Methodology Based on Quality Gates for Certifiable AI in Medicine: Towards a Reliable Application of Metrics in Machine Learning. - Miriam Elia; Bernhard Bauer 001 (ICSOFT, 2023)

Towards Automated COVID-19 Presence and Severity Classification. - Dominik Müller; Silvan Mertes; Niklas Schröter; Fabio Hellmann; Miriam Elia; Bernhard Bauer 001; Wolfgang Reif; Elisabeth André; Frank Kramer 001 (MIE, 2023)

Evaluation of Selected Autoencoders in the Context of End-User Experience Management. - Sven Beckmann; Bernhard Bauer 001 (LOD (2), 2023)

LIFEDATA - A Framework for Traceable Active Learning Projects. - Fabian Stieler; Miriam Elia; Benjamin Weigel; Bernhard Bauer 001; Peter Kienle; Anton Roth; Gregor Müllegger; Marius Nann; Sarah Dopfer (REW, 2023)

Automating Side-Channel Testing for Embedded Systems: A Continuous Integration Approach. - Philipp Schloyer; Peter Knauer; Bernhard Bauer 001; Dominik Merli (ARES, 2024)

Towards Certifiable AI in Medicine: Illustrated for Multi-label ECG Classification Performance Metrics. - Miriam Elia; Fabian Stieler; Fabian Ripke; Marius Nann; Sarah Dopfer; Bernhard Bauer 001 (EAIS, 2024)

Towards a Framework for Interdisciplinary Studies in Explainable Artificial Intelligence. - Paula Ziethmann; Fabian Stieler; Raphael Pfrommer; Kerstin Schlögl-Flierl; Bernhard Bauer 001 (HCI (51), 2024)

GraphVault: A Temporal Graph Persistence Engine. - Julian Bichl; Thomas Driessen; Melanie Langermeier; Bernhard Bauer 001 (ICEIS (1), 2024)

Go Where Energy Can be Saved: A Vision for a Green Infrastructure Evaluation, Optimization, and Alignment System. - Benjamin Weigel; Bernhard Bauer 001 (Go Where the Bugs Are, 2025)

All You Need is an AI Platform: A Proposal for a Complete Reference Architecture. - Benjamin Weigel; Fabian Stieler; Bernhard Bauer 001 (CAIN, 2025)

MQG4AI Towards Responsible High-risk AI - Illustrated for Transparency Focusing on Explainability Techniques. - Miriam Elia; Alba Maria Lopez; Katherin Alexandra Corredor; Bernhard Bauer 001; Esteban García-Cuesta (CoRR, 2025)

Clinical Decision Support Systems at the Intersection of Technology and Ethics: A Critical Analysis of the Ethical Guidelines Issued by the German Medical Association. - Paula Ziethmann; Miriam Elia; Fabian Stieler; Bernhard Bauer 001; Julia Welzel; Kerstin Schlögl-Flierl (Digit. Soc., 2025)

Approaching Principles of XAI: A Systematization. - Raphael Ronge; Bernhard Bauer 001; Benjamin Rathgeber (IEEE Trans. Artif. Intell., 2025)

Responsible AI, ethics, and the AI lifecycle: how to consider the human influence? - Miriam Elia; Paula Ziethmann; Julia Krumme; Kerstin Schlögl-Flierl; Bernhard Bauer 001 (AI Ethics, 2025)