Prof. Dr. Bernhard Bauer

Professor
Professur für Softwaremethodik für verteilte Systeme
Telefon: +49 821 598 - 2118
Fax: +49 821 598 - 142118
E-Mail:
Raum: 3001 (N)
Sprechzeiten: Anmeldung per E-Mail
Adresse: Universitätsstraße 6a, 86159 Augsburg

Hochschulausbildung

WS 1987/88 bis November 1992 - Universität Passau Studium der Informatik mit Nebenfach Mathematik, Abschluss: Diplom-Informatiker (Univ.);  

Berufspraxis

Februar 1993 bis April 1997 - Wissenschaftlicher Mitarbeiter am Lehrstuhl Prof. Dr. Eickel, Institut für Informatik, Technische Universität München (TUM)

 

19. Dezember 1996 - Promotion (Dr. rer. nat.) am Institut für Informatik, TUM
Thema: "Attributed Algebraic Specifications";

 

April 1997 bis Dezember 2002 - Fachzentrum "Intelligente Autonome Systeme" der Corporate Technology der Siemens AG München (CT IC 6), zuletzt Principal Research Scientist:  

  • Internet-Technologien und Middleware, inklusive Software-Engineering und Komponenten für Multi-Agenten-Systeme
  • Reiseassistenz-Systeme und Telematik, mobile Anwendungen und Ubiquitous Computing
  • Agentenstandardisierung FIPA
  • Technologiebeurteilung, Projektleitung und Recruiter für CT
  • Gutachter für die Europäische Kommission z.B. im Bereich Middleware, Grid Computing, Networked Businesses

 

Seit Januar 2003 - Professur für „Programmierung verteilter Systeme" bzw. „Softwaremethodik für verteilte Systeme“ am Institut für Informatik der Universität Augsburg 

 

2004–2011 - Studiendekan der Fakultät für Angewandte Informatik;
Mitglied im Bibliotheksausschuss, Mitglied im Ausschuss für Etat, Raum- und Bauangelegenheiten  

 

Seit 2011 -     Dekan der Fakultät für Angewandte Informatik

   

Gutachtertätigkeiten

  • Gutachter, Mitglied in Programmkomitees für Workshops, Konferenzen und Journale im Bereich Agententechnologie, CPS, Softwaretechnik und Autonome Systeme.  
  • Gutachter und Experte für die Europäische Kommission, Bundesministerien, DAAD etc.

Publikationen

2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1996 | 1995 | 1994 | 1993

2024

Vivian Grünherz, Alanna Ebigbo, Miriam Elia, Alessandra Brunner, Tamara Krafft, Leo Pöller, Pia Schneider, Fabian Stieler, Bernhard Bauer, Anna Muzalyova, Helmut Messmann and Sandra Nagl. 2024. Automatic three-dimensional reconstruction of the oesophagus in achalasia patients undergoing POEM: an innovative approach for evaluating treatment outcomes. DOI: 10.1136/bmjgast-2024-001396
PDF | BibTeX | RIS | DOI

2023

Miriam Elia and Bernhard Bauer. 2023. A methodology based on quality gates for certifiable AI in medicine: towards a reliable application of metrics in machine learning. DOI: 10.5220/0012121300003538
PDF | BibTeX | RIS | DOI

Fabian Stieler and Bernhard Bauer. 2023. Git workflow for active learning - a development methodology proposal for data-centric AI projects. DOI: 10.5220/0011988400003464
PDF | BibTeX | RIS | DOI

Fabian Stieler, Miriam Elia, Benjamin Weigell, Bernhard Bauer, Peter Kienle, Anton Roth, Gregor Müllegger, Marius Nann and Sarah Dopfer. 2023. LIFEDATA - a framework for traceable active learning projects. DOI: 10.1109/REW57809.2023.00088
PDF | BibTeX | RIS | DOI

Miriam Elia, Tobias Peter, Fabian Stieler, Bernhard Bauer, Sandra Nagl, Alanna Ebigbo and Vivien Grünherz. in press. Precision medicine for achalasia diagnosis: a multi-modal and interdisciplinary approach for training data generation [Abstract].
PDF | BibTeX | RIS | URL

Dominik Mueller, Silvan Mertes, Niklas Schroeter, Fabio Hellmann, Miriam Elia, Bernhard Bauer, Wolfgang Reif, Elisabeth André and Frank Kramer. 2023. Towards automated COVID-19 presence and severity classification. DOI: 10.3233/shti230309
PDF | BibTeX | RIS | DOI

Dennis Rall, Bernhard Bauer and Thomas Fraunholz. 2023. Towards democratizing AI: a comparative analysis of AI as a service platforms and the open space for machine learning approach. DOI: 10.1145/3616131.3616136
PDF | BibTeX | RIS | DOI

2022

Fabian Stieler, Marius Nann and Bernhard Bauer. 2022. Vertrauenswürdige KI in der Medizin - von effizienter Datenannotation bis intuitiver Modellerklärung.
BibTeX | RIS

2021

Reinhard Pröll, Noël Hagemann and Bernhard Bauer. 2021. Abstract test execution for early testing activities in model-driven scenarios. DOI: 10.1007/978-3-030-67445-8_12
PDF | BibTeX | RIS | DOI

Julia Rauscher and Bernhard Bauer. 2021. Adaptation of architecture analyses: an IoT safety and security flaw assessment approach. DOI: 10.5220/0010206303200327
PDF | BibTeX | RIS | DOI

Fabian Stieler, Fabian Rabe and Bernhard Bauer. 2021. Towards domain-specific explainable AI: model interpretation of a skin image classifier using a human approach. DOI: 10.1109/CVPRW53098.2021.00199
PDF | BibTeX | RIS | DOI

2020

Katja Ludwig, Andrea Fendt and Bernhard Bauer. 2020. An efficient online heuristic for mobile network slice embedding. DOI: 10.1109/icin48450.2020.9059440
PDF | BibTeX | RIS | DOI

Julia Rauscher and Bernhard Bauer. 2020. Design optimization of IoT models: structured safety and security flaw identification. DOI: 10.1007/978-3-030-52306-0_6
PDF | BibTeX | RIS | DOI

Andrea Fendt, Christian Mannweiler, Katja Ludwig, Lars Christoph Schmelz and Bernhard Bauer. 2020. End-to-end mobile network slice embedding leveraging edge computing. DOI: 10.1109/NOMS47738.2020.9110442
PDF | BibTeX | RIS | DOI

Fabian Stieler, Fabian Rabe and Bernhard Bauer. 2020. Federated medical data - how much can deep learning models benefit? [Poster].
PDF | BibTeX | RIS

Christoph Etzel and Bernhard Bauer. 2020. Modeling and analysis of partitions on functional architectures using EAST-ADL. DOI: 10.1007/978-3-030-37873-8_13
PDF | BibTeX | RIS | DOI

Noël Hagemann, Reinhard Pröll and Bernhard Bauer. 2020. Towards abstract test execution in early stages of model-driven software development. DOI: 10.5220/0008934802160226
PDF | BibTeX | RIS | DOI

Christoph Etzel, Florian Hofhammer and Bernhard Bauer. 2020. Towards metrics for analyzing system architectures modeled with EAST-ADL. DOI: 10.5220/0009165704410448
PDF | BibTeX | RIS | DOI | URL

2019

Adrian Rumpold and Bernhard Bauer. 2019. A metamodel and model-based design rule checking DSL for verification and validation of electronic circuit designs. DOI: 10.5220/0007381303170324
PDF | BibTeX | RIS | DOI

Andrea Fendt, Lars Christoph Schmelz, Wieslawa Wajda, Simon Lohmüller and Bernhard Bauer. 2019. A network slice resource allocation process in 5G mobile networks. DOI: 10.1007/978-3-319-93554-6_68
PDF | BibTeX | RIS | DOI

Andrea Fendt, Christian Mannweiler, Lars Christoph Schmelz and Bernhard Bauer. 2019. An efficient model for mobile network slice embedding under resource uncertainty. DOI: 10.1109/ISWCS.2019.8877372
PDF | BibTeX | RIS | DOI | URL

Christian Saad, Bernhard Bauer, Ulrich R. Mansmann and Jian Li. 2019. AutoAnalyze in Systems Biology. DOI: 10.1177/1177932218818458
PDF | BibTeX | RIS | DOI

Julian Schiele, Fabian Rabe, Maximilian Schmitt, Manuel Glaser, Franziska Haring, Jens O. Brunner, Bernhard Bauer, Björn Schuller, Claudia Traidl-Hoffmann and Athanasios Damialis. 2019. Automated classification of airborne pollen using neural networks. DOI: 10.1109/embc.2019.8856910
PDF | BibTeX | RIS | DOI

Jian Li, Kathrin Halfter, Mengying Zhang, Christian Saad, Kai Xu, Bernhard Bauer, Yijiang Huang, Lei Shi and Ulrich R. Mansmann. 2019. Computational analysis of receptor tyrosine kinase inhibitors and cancer metabolism: implications for treatment and discovery of potential therapeutic signatures. DOI: 10.1186/s12885-019-5804-0
PDF | BibTeX | RIS | DOI

Christoph Etzel and Bernhard Bauer. 2019. Extending EAST-ADL for modeling and analysis of partitions on functional architectures. DOI: 10.5220/0007688301690178
PDF | BibTeX | RIS | DOI

Philipp Lohmüller, Julia Rauscher and Bernhard Bauer. 2019. Failure and change impact analysis for safety-critical systems: applied on a medical use case. DOI: 10.1007/978-3-030-24854-3_4
PDF | BibTeX | RIS | DOI

Philipp Lohmüller and Bernhard Bauer. 2019. Software product line engineering for safety-critical systems. DOI: 10.5220/0007246102110218
PDF | BibTeX | RIS | DOI

2018

Andrea Fendt, Christian Mannweiler, Lars Christoph Schmelz and Bernhard Bauer. 2018. A formal optimization model for 5G mobile network slice resource allocation. DOI: 10.1109/iemcon.2018.8615049
PDF | BibTeX | RIS | DOI

Melanie Langermeier and Bernhard Bauer. 2018. A model-based method for the evaluation of project proposal compliance within EA planning. DOI: 10.1109/edocw.2018.00024
PDF | BibTeX | RIS | DOI

Reinhard Pröll and Bernhard Bauer. 2018. A model-based test case management approach for integrated sets of domain-specific models. DOI: 10.1109/icstw.2018.00048
PDF | BibTeX | RIS | DOI

Andrea Fendt, Simon Lohmüller, Lars Christoph Schmelz and Bernhard Bauer. 2018. A network slice resource allocation and optimization model for end-to-end mobile networks. DOI: 10.1109/5gwf.2018.8517075
PDF | BibTeX | RIS | DOI

Reinhard Pröll, Adrian Rumpold and Bernhard Bauer. 2018. Applying integrated domain-specific modeling for multi-concerns development of complex systems. DOI: 10.1007/978-3-319-94764-8_11
PDF | BibTeX | RIS | DOI

Mengying Zhang, Christian Saad, Lien Le, Kathrin Halfter, Bernhard Bauer, Ulrich R. Mansmann and Jian Li. 2018. Computational modeling of methionine cycle-based metabolism and DNA methylation and the implications for anti-cancer drug response prediction. DOI: 10.18632/oncotarget.24547
PDF | BibTeX | RIS | DOI

Oliver Kohlbacher, Ulrich Mansmann, Bernhard Bauer, Klaus Kuhn and Fabian Prasser. 2018. Data Integration for Future Medicine (DIFUTURE): An Architectural and Methodological Overview. DOI: 10.3414/me17-02-0022
PDF | BibTeX | RIS | DOI

Melanie Langermeier and Bernhard Bauer. 2018. Evaluating project compliance during EA planning: a model-based semi automatic method for enterprise architecture planning. DOI: 10.1145/3183440.3195016
PDF | BibTeX | RIS | DOI

Thomas Engel, Melanie Langermeier, Bernhard Bauer and Alexander Hofmann. 2018. Evaluation of microservice architectures: a metric and tool-based approach. DOI: 10.1007/978-3-319-92901-9_8
BibTeX | RIS | DOI

Philipp Lohmüller, Andrea Fendt and Bernhard Bauer. 2018. Multi-concerns engineering for safety-critical systems. DOI: 10.5220/0006631705040510
PDF | BibTeX | RIS | DOI

Simon Lohmüller, Fabian Rabe, Andrea Fendt, Bernhard Bauer and Lars Christoph Schmelz. 2018. SON function performance prediction in a cognitive SON management system. DOI: 10.1109/wcncw.2018.8368999
PDF | BibTeX | RIS | DOI

Julia Rauscher and Bernhard Bauer. 2018. Safety and security architecture analyses framework for the internet of things of medical devices. DOI: 10.1109/healthcom.2018.8531121
PDF | BibTeX | RIS | DOI

Reinhard Pröll and Bernhard Bauer. 2018. Toward a consistent and strictly model-based interpretation of the ISO/IEC/IEEE 29119 for early testing activities. DOI: 10.5220/0006749606990706
PDF | BibTeX | RIS | DOI

2017

Adrian Rumpold, Reinhard Pröll and Bernhard Bauer. 2017. A domain-aware framework for integrated model-based system analysis and design. DOI: 10.5220/0006206301570168
PDF | BibTeX | RIS | DOI

Julia Rauscher, Melanie Langermeier and Bernhard Bauer. 2017. Classification and definition of an enterprise architecture analyses language. DOI: 10.1007/978-3-319-57222-2_6
PDF | BibTeX | RIS | DOI

Melanie Langermeier and Bernhard Bauer. 2017. Generic EA analysis framework for the definition and automatic execution of analyses. DOI: 10.5220/0006379003160327
PDF | BibTeX | RIS | DOI

Sven Beckmann, Stefanie Lahmer, Moritz Markgraf, Oliver Meindl, Julia Rauscher, Christian Regal, Henner Gimpel and Bernhard Bauer. 2017. Generic sensor framework enabling personalized healthcare. DOI: 10.1109/lsc.2017.8268149
PDF | BibTeX | RIS | DOI

Julian Kienberger, Stefan Schmidhuber, Christian Saad, Stefan Kuntz and Bernhard Bauer. 2017. Parallelizing highly complex engine management systems. DOI: 10.1002/cpe.4115
PDF | BibTeX | RIS | DOI

Julia Rauscher and Bernhard Bauer. 2017. Smart data integration within a wellbeing application platform.
PDF | BibTeX | RIS

2016

Andreas Kurtz, Bernhard Bauer and Marcel Koeberl. 2016. A Method for an Integrated Software-Based Virtualisation of System Inputs. DOI: 10.1007/978-3-319-32345-9_8
BibTeX | RIS | DOI

Yaguang Sun and Bernhard Bauer. 2016. A novel heuristic method for improving the fitness of mined business process models. DOI: 10.1007/978-3-319-46295-0_33
PDF | BibTeX | RIS | DOI

Julia Rauscher, Melanie Langermeier and Bernhard Bauer. 2016. Characteristics of enterprise architecture analyses. DOI: 10.5220/0006222701040113
PDF | BibTeX | RIS | DOI

Andreas Kurtz, Bernhard Bauer and Marcel Köberl. 2016. Comparing system- and test model with integrated software-based signal simulation. DOI: 10.5220/0005751006560662
PDF | BibTeX | RIS | DOI

Christian Mannweiler, Lars Christoph Schmelz, Simon Lohmüller and Bernhard Bauer. 2016. Cross-domain 5G network management for seamless industrial communications. DOI: 10.1109/noms.2016.7502917
PDF | BibTeX | RIS | DOI

Hermann Kaindl, Roberto Meli, Andreas Kurtz, Bernhard Bauer and Petre Dini. 2016. Developing Software for Mobile Devices: How to Do That Best.
BibTeX | RIS | URL

Julian Kienberger, Christian Saad, Stefan Kuntz and Bernhard Bauer. 2016. Efficient parallelization of complex automotive systems. DOI: 10.1145/2883404.2883421
PDF | BibTeX | RIS | DOI

Thomas Driessen and Bernhard Bauer. 2016. Shifting temporal and communicational aspects into design phase via AADL and RTSJ. DOI: 10.1109/dasc.2016.7778056
PDF | BibTeX | RIS | DOI

Andreas Kurtz, Bernhard Bauer and Marcel Köberl. 2016. Software Based Test Automation Approach Using Integrated Signal Simulation.
BibTeX | RIS | URL

2015

Bernhard Bauer, Melanie Langermeier and Christian Saad. 2015. A flow analysis approach for service-oriented architectures. DOI: 10.1007/978-3-319-15545-6_27
PDF | BibTeX | RIS | DOI

Melanie Langermeier, Christian Saad and Bernhard Bauer. 2015. Adaptive approach for impact analysis in enterprise architectures. DOI: 10.1007/978-3-319-20052-1_2
BibTeX | RIS | DOI

Peter Rosina and Bernhard Bauer. 2015. Enterprise methods management using semantic web technologies. DOI: 10.5220/0005885400460055
PDF | BibTeX | RIS | DOI

Philipp Diefenthaler, Melanie Langermeier and Bernhard Bauer. 2015. Interactive transformation path generation using business support maps. DOI: 10.1007/978-3-319-24626-0_15
BibTeX | RIS | DOI

Thomas Driessen, Bernhard Bauer, Benjamin Honke and Marcus Kuhnmunch. 2015. Layered-V. DOI: 10.1109/dasc.2015.7311655
PDF | BibTeX | RIS | DOI

Christoph Frenzel, Bernhard Bauer, Christoph Schmelz and Henning Sanneck. 2015. Objective-driven coordination in self-organizing networks. DOI: 10.1109/pimrc.2015.7343527
PDF | BibTeX | RIS | DOI

Christoph Frenzel, Tsvetko Tsvetkov, Henning Sanneck, Bernhard Bauer and Georg Carle. 2015. Operational Troubleshooting-Enabled Coordination in Self-Organizing Networks. DOI: 10.1007/978-3-319-16292-8_11
BibTeX | RIS | DOI

Heiner Oberkampf, Sonja Zillner, James A. Overton, Bernhard Bauer, Alexander Cavallaro, Michael Uder and Matthias Hammon. 2015. Semantic representation of reported measurements in radiology. DOI: 10.1186/s12911-016-0248-9
PDF | BibTeX | RIS | DOI

Maximilian Osenberg, Melanie Langermeier and Bernhard Bauer. 2015. Using semantic web technologies for enterprise architecture analysis. DOI: 10.1007/978-3-319-18818-8_41
PDF | BibTeX | RIS | DOI

2014

Melanie Langermeier, Christian Saad and Bernhard Bauer. 2014. A unified framework for enterprise architecture analysis. DOI: 10.1109/edocw.2014.42
PDF | BibTeX | RIS | DOI

Julian Kienberger, Pascal Minnerup, Stefan Kuntz and Bernhard Bauer. 2014. Analysis and validation of AUTOSAR models. DOI: 10.5220/0004701002740281
PDF | BibTeX | RIS | DOI

Melanie Langermeier, Thomas Driessen, Heiner Oberkampf, Peter Rosina and Bernhard Bauer. 2014. Change and version management in variability models for modular ontologies. DOI: 10.5220/0004953603830390
PDF | BibTeX | RIS | DOI

Melanie Langermeier, Christian Saad and Bernhard Bauer. 2014. Context-sensitive impact analysis for enterprise architecture management. DOI: 10.5220/0005424200470055
PDF | BibTeX | RIS | DOI

Claudia Bretschneider, Heiner Oberkampf, Sonja Zillner, Bernhard Bauer and Matthias Hammon. 2014. Corpus-based Translation of Ontologies for Improved Multilingual Semantic Annotation. DOI: 10.3115/v1/w14-6201
PDF | BibTeX | RIS | DOI

Christoph Frenzel, Tsvetko Tsvetkov, Henning Sanneck, Bernhard Bauer and Georg Carle. 2014. Detection and resolution of ineffective function behavior in Self-Organizing Networks. DOI: 10.1109/wowmom.2014.6919014
PDF | BibTeX | RIS | DOI

Philipp Diefenthaler and Bernhard Bauer. 2014. From Gaps to Transformation Paths in Enterprise Architecture Planning. DOI: 10.1007/978-3-319-09492-2_28
BibTeX | RIS | DOI

Heiner Oberkampf, Claudia Bretschneider, Sonja Zillner, Bernhard Bauer and Matthias Hammon. 2014. Knowledge-based extraction of measurement-entity relations from German radiology reports. DOI: 10.1109/ichi.2014.27
PDF | BibTeX | RIS | DOI

Melanie Langermeier, Peter Rosina, Heiner Oberkampf, Thomas Driessen and Bernhard Bauer. 2014. Management of variability in modular ontology development. DOI: 10.1007/978-3-319-06859-6_20
PDF | BibTeX | RIS | DOI

Philipp Diefenthaler and Bernhard Bauer. 2014. Using gap analysis to support feedback loops for enterprise architecture management.
BibTeX | RIS | URL

2013

Christoph Frenzel, Henning Sanneck and Bernhard Bauer. 2013. A fuzzy, utility-based approach for proactive policy-based management. DOI: 10.1007/978-3-642-39617-5_11
PDF | BibTeX | RIS | DOI

Melanie Langermeier, Arne-Jørgen Berre and Bernhard Bauer. 2013. A model driven approach for open distributed systems using an enterprise architecture framework. DOI: 10.5220/0004438502840291
PDF | BibTeX | RIS | DOI

Heiner Oberkampf, Sonja Zillner, Bernhard Bauer and Matthias Hammon. 2013. An OGMS-based model for clinical information.
PDF | BibTeX | RIS | URL

Philipp Grosselfinger, Jorg Denzinger and Bernhard Bauer. 2013. An advisor concept for distributed self-organizing systems acting in highly connected environments. DOI: 10.1109/saso.2013.15
PDF | BibTeX | RIS | DOI

Christian Saad and Bernhard Bauer. 2013. Data-flow based model analysis and its applications. DOI: 10.1007/978-3-642-41533-3_43
PDF | BibTeX | RIS | DOI

Philipp Diefenthaler and Bernhard Bauer. 2013. Gap analysis in enterprise architecture using semantic web technologies. DOI: 10.5220/0004439702110220
PDF | BibTeX | RIS | DOI

Florian Lautenbacher, Philipp Diefenthaler, Melanie Langermeier, Mariana Mykhashchuk and Bernhard Bauer. 2013. Planning support for enterprise changes. DOI: 10.1007/978-3-642-41641-5_5
PDF | BibTeX | RIS | DOI

Christoph Frenzel, Henning Sanneck and Bernhard Bauer. 2013. Rational policy system for network management.
PDF | BibTeX | RIS | URL

2012

Christoph Frenzel, Henning Sanneck and Bernhard Bauer. 2012. Automated rational recovery selection for self-healing in mobile networks. DOI: 10.1109/iswcs.2012.6328326
PDF | BibTeX | RIS | DOI

Heiner Oberkampf, Sonja Zillner, Bernhard Bauer and Matthias Hammon. 2012. Interpreting patient data using medical background knowledge.
PDF | BibTeX | RIS | URL

Bernhard Bauer, Thomas Eisenbarth, Christoph Frenzel and Benjamin Honke. 2012. Resource-oriented consistency analysis of engineering processes. DOI: 10.5220/0003984302060211
PDF | BibTeX | RIS | DOI

Heiner Oberkampf, Sonja Zillner, Bernhard Bauer and Matthias Hammon. 2012. Towards a Ranking of Likely Diseases in Terms of Precision and Recall.
BibTeX | RIS | URL

2011

Stephan Roser, Jörg P. Müller and Bernhard Bauer. 2011. An evaluation and decision method for ICT architectures for cross-organizational business process coordination. DOI: 10.1007/s10257-010-0141-5
PDF | BibTeX | RIS | DOI

Raphael Romeikat, Bernhard Bauer and Henning Sanneck. 2011. Automated refinement of policies for network management. DOI: 10.1109/apcc.2011.6152849
PDF | BibTeX | RIS | DOI

Wolf Fischer and Bernhard Bauer. 2011. Cognitive-linguistics-based request answer system. DOI: 10.1007/978-3-642-18449-9_12
PDF | BibTeX | RIS | DOI

Martin Salfer, Sven Wohlgemuth, Sebastian Schrittwieser, Bernhard Bauer and Isao Echizen. 2011. Data provenance with watermarks for usage control monitors at disaster recovery. DOI: 10.1109/ithings/cpscom.2011.129
PDF | BibTeX | RIS | DOI

Jonathan Hudson, Jorg Denzinger, Holger Kasinger and Bernhard Bauer. 2011. Dependable risk-aware efficiency improvement for self-organizing emergent systems. DOI: 10.1109/saso.2011.12
PDF | BibTeX | RIS | DOI

Raphael Romeikat and Bernhard Bauer. 2011. Formal specification of domain-specific ECA policy models. DOI: 10.1109/tase.2011.29
PDF | BibTeX | RIS | DOI

Raphael Romeikat, Bernhard Bauer and Henning Sanneck. 2011. Modeling of Domain-Specific ECA Policies.
BibTeX | RIS

Christoph Frenzel, Bijan Parsia, Ulrike Sattler and Bernhard Bauer. 2011. Mooop - a hybrid integration of OWL and Java. DOI: 10.1007/978-3-642-22056-2_47
PDF | BibTeX | RIS | DOI

Wolf Fischer and Bernhard Bauer. 2011. Ontology based spreading activation for NLP related scenarios.
BibTeX | RIS | URL

Torsten Steiner, Jörg Denzinger, Holger Kasinger and Bernhard Bauer. 2011. Pro-active advice to improve the efficiency of self-organizing emergent systems. DOI: 10.1109/ease.2011.11
PDF | BibTeX | RIS | DOI

Raphael Romeikat and Bernhard Bauer. 2011. Specification and refinement of domain-specific ECA policies. DOI: 10.1007/978-3-642-22056-2_21
PDF | BibTeX | RIS | DOI

Christian Saad and Bernhard Bauer. 2011. The Model Analysis Framework - An IDE for Static Model Analysis.
BibTeX | RIS

2010

Holger Kasinger, Bernhard Bauer, Jörg Denzinger and Tom Holvoet. 2010. Adapting environment-mediated self-organizing emergent systems by exception rules. DOI: 10.1145/1809036.1809045
PDF | BibTeX | RIS | DOI

Christian Saad and Bernhard Bauer. 2010. Analyzing dynamic models using a data-flow based approach.
PDF | BibTeX | RIS | URL

Christian Saad and Bernhard Bauer. 2010. Applying data-flow analysis to models a novel approach for model analysis. DOI: 10.1145/1878537.1878788
PDF | BibTeX | RIS | DOI

Wolf Fischer and Bernhard Bauer. 2010. Combining Ontologies and Natural Language.
BibTeX | RIS

Christian Saad and Bernhard Bauer. 2010. Data-flow Based Model Analysis.
BibTeX | RIS | URL

Florian Dotsch, Jorg Denzinger, Holger Kasinger and Bernhard Bauer. 2010. Decentralized real-time control of water distribution networks using self-organizing multi-agent systems. DOI: 10.1109/saso.2010.20
PDF | BibTeX | RIS | DOI

Wolf Fischer and Bernhard Bauer. 2010. Domain dependent semantic requirement engineering.
PDF | BibTeX | RIS | URL

Jonathan Hudson, Jörg Denzinger, Holger Kasinger and Bernhard Bauer. 2010. Efficiency testing of self-adapting systems by Learning of Event sequences.
BibTeX | RIS

Jan-Philipp Steghöfer, Jörg Denzinger, Holger Kasinger and Bernhard Bauer. 2010. Improving the efficiency of self-organizing emergent systems by an advisor. DOI: 10.1109/ease.2010.16
PDF | BibTeX | RIS | DOI

Florian Lauterbacher, Bernhard Bauer, Tanja Sieber and Alejandro Cabral. 2010. Linguistics-based modeling methods and ontologies in requirements engineering. DOI: 10.4018/jeis.2010120202
PDF | BibTeX | RIS | DOI

T. Bandh, G. Carle, H. Sanneck, L. C. Schmelz, R. Romeikat and Bernhard Bauer. 2010. Optimized network configuration parameter assignment based on graph coloring. DOI: 10.1109/noms.2010.5488432
PDF | BibTeX | RIS | DOI

Raphael Romeikat, Bernhard Bauer, Tobias Bandh, Georg Carle, Henning Sanneck and Lars Christoph Schmelz. 2010. Policy-driven workflows for mobile network management automation. DOI: 10.1145/1815396.1815650
PDF | BibTeX | RIS | DOI

Benjamin Honke, Bernhard Bauer, Holger Seemüller and Holger Voos. 2010. Situational method engineering applied for the enactment of development processes - an agent based approach. DOI: 10.5220/0003021603990405
PDF | BibTeX | RIS | DOI

2009

Adrian Klein, Fuyuki Ishikawa and Bernhard Bauer. 2009. A probabilistic approach to service selection with conditional contracts and usage patterns. DOI: 10.1007/978-3-642-10383-4_17
PDF | BibTeX | RIS | DOI

Christian Saad, Florian Lautenbacher and Bernhard Bauer. 2009. An attribute-based approach to the analysis of model characteristics. DOI: 10.5220/0002196200130022
PDF | BibTeX | RIS | DOI

Jörg Müller, Stephan Roser and Bernhard Bauer. 2009. Architectures for Cross-Enterprise Business Integration. DOI: 10.1201/9781420078220-c14
BibTeX | RIS | DOI | URL

Holger Kasinger, Jörg Denzinger and Bernhard Bauer. 2009. Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. DOI: 10.1145/1529282.1529557
PDF | BibTeX | RIS | DOI

Holger Kasinger, Bernhard Bauer and Jörg Denzinger. 2009. Design pattern for self-organizing emergent systems based on digital infochemicals. DOI: 10.1109/ease.2009.8
PDF | BibTeX | RIS | DOI

Florian Lautenbacher, Christian Saad and Bernhard Bauer. 2009. Geschäftsprozesse ausführen mit Eclipse JWT.
BibTeX | RIS

Jan-Philipp Steghöfer, Jörg Denzinger, Holger Kasinger and Bernhard Bauer. 2009. Learning Task Patterns to Improve Efficiency and Coordination in Decentralized Autonomic Computing Systems.
PDF | BibTeX | RIS

Florian Lautenbacher, Bernhard Bauer and Sebastian Forg. 2009. Process mining for semantic business process modeling. DOI: 10.1109/edocw.2009.5332017
PDF | BibTeX | RIS | DOI

Florian Lautenbacher, Thomas Eisenbarth and Bernhard Bauer. 2009. Process model adaptation using semantic technologies. DOI: 10.1109/edocw.2009.5331985
PDF | BibTeX | RIS | DOI

Mathias Gotz, Stephan Roser, Florian Lautenbacher and Bernhard Bauer. 2009. Token analysis of graph-oriented process models. DOI: 10.1109/edocw.2009.5332020
PDF | BibTeX | RIS | DOI

Michael Rambold, Holger Kasinger, Florian Lautenbacher and Bernhard Bauer. 2009. Towards autonomic service discovery - a survey and comparison. DOI: 10.1109/scc.2009.59
PDF | BibTeX | RIS | DOI

Raphael Romeikat, Markus Sinsel and Bernhard Bauer. 2009. Transformation of graphical ECA policies into executable PonderTalk Code. DOI: 10.1007/978-3-642-04985-9_19
PDF | BibTeX | RIS | DOI

2008

Stephan Roser and Bernhard Bauer. 2008. Automatic generation and evolution of model transformations using ontology engineering space. DOI: 10.1007/978-3-540-92148-6_2
PDF | BibTeX | RIS | DOI

Bernhard Bauer, Jörg P. Müller and Stephan Roser. 2008. Decentralized business process modeling and enactment: ICT architecture topologies and decision methods. DOI: 10.1007/978-3-540-79043-3_1
PDF | BibTeX | RIS | DOI

Holger Kasinger, Jörg Denzinger and Bernhard Bauer. 2008. Digital Semiochemical Coordination.
BibTeX | RIS

Stephan Roser, Florian Lautenbacher and Bernhard Bauer. 2008. MDSD light for ERP. DOI: 10.1145/1363686.1363930
PDF | BibTeX | RIS | DOI

Florian Lautenbacher, Bernhard Bauer and Christian Seitz. 2008. Semantic business process modeling - benefits and capability.
PDF | BibTeX | RIS | URL

Matthias Henneberger, Bernd Heinrich, Florian Lautenbacher and Bernhard Bauer. 2008. Semantic-based planning of process models.
PDF | BibTeX | RIS | URL

Holger Kasinger, Bernhard Bauer and Jörg Denzinger. 2008. The meaning of semiochemicals to the design of self-organizing systems. DOI: 10.1109/saso.2008.51
PDF | BibTeX | RIS | DOI

Raphael Romeikat, Stephan Roser, Pascal Müllender and Bernhard Bauer. 2008. Translation of QVT relations into QVT operational mappings. DOI: 10.1007/978-3-540-69927-9_10
PDF | BibTeX | RIS | DOI

Mathias Götz, Stephan Roser, Florian Lautenbacher and Bernhard Bauer. 2008. Using Token Analysis to Transform Graph-Oriented Process Models to BPEL.
PDF | BibTeX | RIS

2007

Bernhard Bauer, Florian Lautenbacher, Günther Palfinger and Stephan Roser. 2007. "AgilPro" : Modellierung, Simulation und Ausführung agiler Prozesse.
BibTeX | RIS | URL

Bernhard Bauer, Jörg Müller and Stephan Roser. 2007. A decentralized broker architecture for collaborative business process modelling and enactment.
PDF | BibTeX | RIS

Florian Lautenbacher and Bernhard Bauer. 2007. A survey on workflow annotation & composition approaches.
PDF | BibTeX | RIS | URL

Christian Seitz and Bernhard Bauer. 2007. An agent-based personalized producer/consumer scenario. DOI: 10.1007/3-540-45023-8_53
PDF | BibTeX | RIS | DOI

Florian Lautenbacher and Bernhard Bauer. 2007. Creating a meta-model for semantic web service standards. DOI: 10.5220/0001266203760381
PDF | BibTeX | RIS | DOI

Stephan Roser, Florian Lautenbacher and Bernhard Bauer. 2007. Generation of workflow code from DSMs.
BibTeX | RIS | URL

Bernhard Bauer and Stephan Roser. 2007. Improving interoperability in collaborative modelling. DOI: 10.1007/978-1-84628-858-6_14
BibTeX | RIS | DOI

Florian Lautenbacher, Tanja Sieber, Alejandro Cabral and Bernhard Bauer. 2007. Linguistic modeling methods and ontologies in requirements engineering.
BibTeX | RIS

Florian Lautenbacher and Bernhard Bauer. 2007. Modeling semantic web services using UML 2. DOI: 10.5220/0002421800090018
PDF | BibTeX | RIS | DOI

Raphael Romeikat and Bernhard Bauer. 2007. Towards semantically-enhanced distributed service discovery. DOI: 10.1109/iciw.2007.65
PDF | BibTeX | RIS | DOI

2006

Bernhard Bauer and Holger Kasinger. 2006. AOSE and organic computing - how can they benefit from each other?. DOI: 10.1007/11916291_11
PDF | BibTeX | RIS | DOI

Bernhard Bauer, Florian Lautenbacher, Günther Palfinger and Stephan Roser. 2006. AgilPro - Modellierung, Simulation und Ausführung agiler Prozesse.
BibTeX | RIS

Stephan Roser and Bernhard Bauer. 2006. An Approach to Automatically Generated Model Transformation Using Ontology Engineering Space.
BibTeX | RIS | URL

Florian Lautenbacher and Bernhard Bauer. 2006. Automatic Synthesis of Reference Processes Applying Semantic Concepts [Poster].
BibTeX | RIS

Holger Kasinger and Bernhard Bauer. 2006. Beyond swarm intelligence: building self-managing systems based on pollination.
PDF | BibTeX | RIS | URL

Stephan Roser, Bernhard Bauer and Jörg Müller. 2006. Model- and architecture-driven development in the context of cross-enterprise business process engineering. DOI: 10.1109/SCC.2006.72
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Stephan Roser. 2006. Ontology-based model transformation. DOI: 10.1007/11663430_42
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Holger Kasinger. 2006. Pollination - a biologically inspired paradigm for self-managing systems.
BibTeX | RIS

Florian Lautenbacher and Bernhard Bauer. 2006. Semantic reference- and business process modeling enables an automatic synthesis.
BibTeX | RIS | URL

Bernhard Bauer and Stephan Roser. 2006. Semantic-enabled software engineering and development.
PDF | BibTeX | RIS | URL

Jörg Müller, Bernhard Bauer, Thomas Friese, Stephan Roser and Roland Zimmermann. 2006. Software agents for electronic business : opportunities and challenges (2005 Re-mix). DOI: 10.1007/978-3-540-33876-5_3
BibTeX | RIS | DOI

Bernhard Bauer and Holger Kasinger. 2006. The utility of pollination for autonomic computing. DOI: 10.1007/978-0-387-34733-2_6
PDF | BibTeX | RIS | DOI

C. Seitz, M. Berger and Bernhard Bauer. 2006. moPiMine - mobile profile mining. DOI: 10.1109/iwwan.2004.1525552
PDF | BibTeX | RIS | DOI

2005

Bernhard Bauer and Stephan Roser. 2005. A categorization of collaborative business process modeling techniques.
BibTeX | RIS

Bernhard Bauer and Holger Kasinger. 2005. AOSE and organic computing - how can they benefit from each other? Position paper. DOI: 10.1007/11568346_13
PDF | BibTeX | RIS | DOI

Bernhard Bauer, Jörg Müller and Stephan Roser. 2005. Adaptive design of cross-organizational business processes using a model-driven architecture. DOI: 10.1007/3-7908-1624-8_6
BibTeX | RIS | DOI

Holger Kasinger and Bernhard Bauer. 2005. Combining multi-agent-system methodologies for organic computing systems. DOI: 10.1109/DEXA.2005.62
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Rolf Hennicker. 2005. ISAR: An interactive system for algebraic implementation proofs. DOI: 10.1007/bfb0013084
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Rolf Hennicker. 2005. Proving the correctness of algebraic implementations by the ISAR system. DOI: 10.1007/bfb0013164
PDF | BibTeX | RIS | DOI

Christian Seitz, Michael Berger and Bernhard Bauer. 2005. Towards a general approach to mobile profile based distributed grouping. DOI: 10.1007/s00779-004-0313-8
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Holger Kasinger. 2005. Towards a model-driven software engineering methodology for organic computing systems.
BibTeX | RIS

Bernhard Bauer and James Odell. 2005. UML 2.0 and agents: how to build agent-based systems with the new UML standard. DOI: 10.1016/j.engappai.2004.11.016
BibTeX | RIS | DOI

2004

Yutao Guo, Jörg Müller and Bernhard Bauer. 2004. A Multiagent Approach for Logistics Performance Prediction Using Historical and Context Information. DOI: 10.1109/AAMAS.2004.24
BibTeX | RIS | DOI

Bernhard Bauer, Jörg Müller and Stephan Roser. 2004. A model-driven approach to designing cross-enterprise business processes. DOI: 10.1007/978-3-540-30470-8_67
PDF | BibTeX | RIS | DOI

Yutao Guo, Jörg Müller and Bernhard Bauer. 2004. Combining history-based and context-driven reasoning for supply chain decision-making assistance.
BibTeX | RIS

Bernhard Bauer and Jörg P. Müller. 2004. MDA applied: from sequence diagrams to web service choreography. DOI: 10.1007/978-3-540-27834-4_16
PDF | BibTeX | RIS | DOI

C. Seitz, M. Berger and Bernhard Bauer. 2004. MPDG - mobile profile based distributed grouping. DOI: 10.1109/percomw.2004.1276906
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Jörg P. Müller. 2004. Methodologies and Modelling Languages.
BibTeX | RIS

Bernhard Bauer and Marc-Philippe Huget. 2004. Modelling web service composition with UML 2.0. DOI: 10.1504/ijwet.2004.006272
BibTeX | RIS | DOI

Jörg P. Müller, Bernhard Bauer and Thomas Friese. 2004. Programming software agents as designing executable business processes: a model-driven perspective. DOI: 10.1007/978-3-540-25936-7_3
PDF | BibTeX | RIS | DOI

Marc-Philippe Huget, James Odell and Bernhard Bauer. 2004. The AUML Approach. DOI: 10.1007/1-4020-8058-1_15
BibTeX | RIS | DOI

Bernhard Bauer and Jörg Müller. 2004. Using UML in the context of agent-oriented software engineering: state of the art. DOI: 10.1007/978-3-540-24620-6_1
PDF | BibTeX | RIS | DOI

2003

Christian Seitz and Bernhard Bauer. 2003. A personalized and cooperative shop floor scenario for e-manufacturing.
BibTeX | RIS

Jörg P. Müller and Bernhard Bauer. 2003. Agent-oriented software technologies: flaws and remedies. DOI: 10.1007/3-540-36540-0_17
PDF | BibTeX | RIS | DOI

2002

Bernhard Bauer, Federico Bergenti, Philippe Massonet and James J. Odell. 2002. Agents and the UML: a unified notation for agents and multi-agent systems?. DOI: 10.1007/3-540-70657-7_10
PDF | BibTeX | RIS | DOI

Bernhard Bauer, J. P. Müller and J. Odell. 2002. An extension of UML by protocols for multi-agent interaction. DOI: 10.1109/icmas.2000.858455
PDF | BibTeX | RIS | DOI

Christian Seitz, Bernhard Bauer and Michael Berger. 2002. Multi Agent Systems Using Constraint Handling Rules for Problem Solving.
BibTeX | RIS

Jörg P. Müller, Bernhard Bauer and Michael Berger. 2002. Software agents for electronic business: opportunities and challenges. DOI: 10.1007/3-540-45982-0_3
PDF | BibTeX | RIS | DOI

M. Berger, Bernhard Bauer and M. Watzke. 2002. Towards an agent-based infrastructure for distributed virtual organizations. DOI: 10.1109/enabl.2001.953443
PDF | BibTeX | RIS | DOI

Marc-Philippe Huget, James Odell and Bernhard Bauer. 2002. UML and Agents: Current Trends and Future Directions.
BibTeX | RIS | URL

Bernhard Bauer. 2002. UML class diagrams revisited in the context of agent-based systems. DOI: 10.1007/3-540-70657-7_7
PDF | BibTeX | RIS | DOI

2001

Michael Berger, Bernhard Bauer and Michael Watzke. 2001. A Scalable Agent Infrastructure.
BibTeX | RIS | URL

Bernhard Bauer, Jörg P. Müller and James Odell. 2001. Agent UML: a formalism for specifying multiagent software systems. DOI: 10.1007/3-540-44564-1_6
PDF | BibTeX | RIS | DOI

Michael Berger and Bernhard Bauer. 2001. LEAP – A scalable Agent Platform enabling next generation Distributed Information Systems.
BibTeX | RIS

James J. Odell, H. Van Dyke Parunak and Bernhard Bauer. 2001. Representing agent interaction protocols in UML. DOI: 10.1007/3-540-44564-1_8
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Jörg Müller. 2001. Software agents in mobile telecommunication services. DOI: 10.1002/swf.32
PDF | BibTeX | RIS | DOI

Bernhard Bauer and Michael Berger. 2001. Travel Support – Anywhere and AnyTime.
BibTeX | RIS

Bernhard Bauer. 2001. UML classes diagrams and agent-based systems. DOI: 10.1145/375735.376010
PDF | BibTeX | RIS | DOI

2000

Bernhard Bauer, J. Odell and H. v. D. Paranuk. 2000. AUML - first steps.
BibTeX | RIS

Bernhard Bauer and M. Berger. 2000. Agent-based personal travel assistance.
BibTeX | RIS

J. Odell, H. v. D. Paranuk and Bernhard Bauer. 2000. Extending UML for agents.
BibTeX | RIS

Bernhard Bauer. 2000. MoTiV: Agenten verbessern die Mobilität.
BibTeX | RIS

Bernhard Bauer. 2000. MoTiV: agents are improving mobility.
BibTeX | RIS

1999

Bernhard Bauer and Cornel Klein. 1999. A Multi-agent Solution for Advanced Call Centers. DOI: 10.1007/978-3-540-48765-4_49
PDF | BibTeX | RIS | DOI

Christian Gerber, Bernhard Bauer and Donald Steiner. 1999. Resource Adaptation for a Scalable Agent Society in the MoTiV-PTA Domain. DOI: 10.1007/978-3-642-58418-3_7
BibTeX | RIS | DOI

1998

Bernhard Bauer and Riitta Höllerer. 1998. Übersetzung objektorientierter Programmiersprachen: Konzepte, abstrakte Maschinen und Praktikum "Java-Compiler". DOI: 10.1007/978-3-642-58871-6
BibTeX | RIS | DOI

1996

Bernhard Bauer. 1996. Attributed algebraic specifications.
PDF | BibTeX | RIS

Bernhard Bauer. 1996. Generating user interfaces from formal specifications of the application.
PDF | BibTeX | RIS | URL

1995

Bernhard Bauer. 1995. Proving the Correctness of Formal User Interface Specifications. DOI: 10.1007/978-3-7091-9437-9_14
BibTeX | RIS | DOI

1994

Bernhard Bauer. 1994. Attributed term induction - a proof principle for attribute grammars.
BibTeX | RIS

Bernhard Bauer and Rolf Hennicker. 1994. Behavioural program development with the ISAR system.
BibTeX | RIS

Bernhard Bauer. 1994. Proving properties over attribute grammars.
BibTeX | RIS

1993

Bernhard Bauer. 1993. An interactive system for algebraic implementation proofs: the ISAR system from the user's point of view.
BibTeX | RIS

Bernhard Bauer and Rolf Hennicker. 1993. Proving the correctness of algebraic implementations by the ISAR system.
BibTeX | RIS

Suche