Wissenschaftliche Veröffentlichungen

2008

• The Meaning of Semiochemicals to the Design of Self-Organizing Systems
  Holger Kasinger, Jörg Denzinger and Bernhard Bauer
  Proccedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), Isola di San Servolo (Venice), Italy, October 20-24, 2008, pp. 139-148
• Digital Semiochemical Coordination
  Holger Kasinger, Jörg Denzinger and Bernhard Bauer
  Communications of SIWN, Volume 4, June 2008, pp. 133-139 *** Best Student Paper SIWN 2008 ***
• Translation of QVT Relations into QVT Operational Mappings
  Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer
  Proceedings of the International Conference on Model Transformation (ICMT 2008), pp. 137-151, Zurich, Switzerland, July 2008
• Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space
  Stephan Roser, Bernhard Bauer
  to appear in Journal on Data Semantics, Springer LNCS
• Decentralized business process modeling and enactment: ICT architecture topologies and decision methods
  Bernhard Bauer, Jörg P. Müller, Stephan Roser
  Programming Multi-Agent Systems: Fifth International Workshop (ProMAS'07), Revised and Invited Papers, Honolulu, USA, May 2008, LNAI 4908, pp. 1-26
• Semantic Business Process Modeling - Benefits and Capability
  Florian Lautenbacher, Bernhard Bauer, Christian Seitz
  AAAI 2008 Stanford Spring Symposium - AI Meets Business Rules and Process Management (AIBR), Stanford University, California, USA, March 26-28, 2008
• MDSD light for ERP
  Stephan Roser, Florian Lautenbacher, Bernhard Bauer
  23rd Annual ACM Symposium on Applied Computing, Track on Enterprise Information Systems - EIS, Fortaleza, Brazil, March 2008, ACM, pp. 1042-1047
• Semantic-Based Planning of Process Models
  Matthias Henneberger, Bernd Heinrich, Florian Lautenbacher, Bernhard Bauer
  Multikonferenz Wirtschaftsinformatik (MKWI) - Semantic Web Technology in Business Information Systems Track (SWEBIS), February 26-28, 2008, Garching/Munich, Germany

2007

• Generation of Workflow Code from DSMs
  Stephan Roser, Florian Lautenbacher, Bernhard Bauer
  Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling, Montreal, Canada, October 2007
• Linguistic Modeling Methods and Ontologies in Requirements Engineering
  Florian Lautenbacher, Tanja Sieber, Alejandro Cabral, Bernhard Bauer
  Proceedings of the International Workshop on Semantic-Based Software Development, Montreal, Canada, October 2007.
• Modeling Semantic Web Services using UML 2
  Florian Lautenbacher, Bernhard Bauer
  Proceedings of the Third International Workshop on Model-Driven Enterprise Information Systems (MDEIS) in the context of the 9th International Conference on Enterprise Information Systems (ICEIS), 12-16th June 2007, Funchal, Madeira, Portugal.
• A Survey on Workflow Annotation & Composition Approaches
  Florian Lautenbacher, Bernhard Bauer
  Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SemBPM) in the context of the European Semantic Web Conference (ESWC), pp. 12-23, 7th June 2007, Innsbruck, Austria
• Towards Semantically-Enhanced Distributed Service Discovery
  Raphael Romeikat, Bernhard Bauer
  Proceedings of the Second International Conference on Internet and Web Applications (ICIW 2007), Le Morne, Mauritius, May 2007
• Improving Interoperability in Collaborative Modelling
  Stephan Roser, Bernhard Bauer
  Proceedings of 3rd International Conference on Interoperability of Enterprise Systems and Architecture (I-ESA’2007), Funchal, Portugal, In: R. J. Gonçalves, J. Müller, K. Mertins, M. Zelm (Eds). Enterprise Interoperability II - New Challenges and Approaches, pp. 139-150, Springer, 2007
• Creating a Meta-Model for Semantic Web Service Standards
  Florian Lautenbacher, Bernhard Bauer
  Proceedings of the Third International Conference on Web Information Systems and Technologies (WEBIST) - Web Interfaces and Applications, pp. 376-381, INSTICC, March 2007, Barcelona, Spain
• "AgilPro": Modellierung, Simulation und Ausführung agiler Prozesse
  Bernhard Bauer, Florian Lautenbacher, Günther Palfinger, Stephan Roser
  OBJEKTspektrum - Die Zeitschrift für Software-Engineering und Management, Ausgabe Januar/Februar 2007

2006

• AOSE and Organic Computing - How Can They Benefit From Each Other? (Revised version)
  Bernhard Bauer, Holger Kasinger
  Agent Oriented Information Systems III, Lecture Notes in Computer Science (LNCS), Volume 3529/2006, Springer Verlag Berlin/Heidelberg, pp. 154-167
• An Approach to Automatically Generated Model Transformation Using Ontology Engineering Space
  Stephan Roser, Bernhard Bauer
  2nd International Workshop on Semantic Web Enabled Software Engineering (SWESE), 2006 ***Best Paper***
• AgilPro LiMo - AgilPro Light Modeller
  Bernhard Bauer, Florian Lautenbacher, Günther Palfinger, Stephan Roser
  1. GI-Workshop "openBPM - Open Source Business Process Modeller", Hamburg, 2006
• Semantic-enabled Software Engineering and Development
  Bernhard Bauer, Stephan Roser
  INFORMATIK 2006 - Informatik für Menschen, Christian Hochberger and Rüdiger Liskowsky (Eds.), Lecture Notes in Informatics (LNI), volume P-94, pp. 293-296, Bonner Köllen Verlag, 2006
• Beyond Swarm Intelligence: Building Self-Managing Systems Based on Pollination
  Holger Kasinger, Bernhard Bauer
  INFORMATIK 2006 - Informatik für Menschen, Christian Hochberger and Rüdiger Liskowsky (Eds.), Lecture Notes in Informatics (LNI), volume P-93, pp. 169-176, Bonner Köllen Verlag, 2006
• Pollination - A Biologically Inspired Paradigm for Self-Managing Systems
  Holger Kasinger, Bernhard Bauer
  Journal of International Transactions on Systems Science and Applications, Volume 2, Number 2, 2006, pp. 147-156
• Model- and Architecture-Driven Development in the Context of Cross-Enterprise Business Process Engineering
  Stephan Roser, Bernhard Bauer, Jörg P. Müller
  IEEE International Conference on Services Computing, Chicago, USA, September 2006, IEEE, pp. 119-126
• The Utility of Pollination for Autonomic Computing
  Holger Kasinger, Bernhard Bauer
  IFIP International Federation for Information Processing, Volume 216, Biologically Inspired Cooperative Computing, eds. Pan, Y., Rammig, F., Schmeck, H., Solar, M. (Boston: Springer), pp. 55-64
• Semantic Reference and Business Process Modeling Enables an Automatic Synthesis
  Florian Lautenbacher, Bernhard Bauer
  Proceedings of Semantics for Business Process Management Workshop (SBPM) of the European Semantic Web Conference (ESWC), 2006, Budva, Montenegro
• Automatic Synthesis of Reference Processes Applying Semantic Concepts
  Florian Lautenbacher, Bernhard Bauer
  Poster at Second International Conference I-ESA’2006: Interoperability for Enterprise Software and Applications, Bordeaux, 2006
• A Decentralized Broker Architecture for Collaborative Business Process Modelling and Enactment
  Bernhard Bauer, Jörg P. Müller, Stephan Roser
  Proceedings of 2nd International Conference on Interoperability of Enterprise Systems and Architecture (I-ESA’2006), Bordeaux, France, In: G. Doumeingts, J. Müller, G. Morel and B. Vallespir (Eds). Enterprise Interoperability - New Challenges and Approaches, pp. 115-126, Springer, 2006

2005

• AOSE and Organic Computing - How Can They Benefit From Each Other?
  Bernhard Bauer, Holger Kasinger
  Proceedings of the 7th International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS 2005), Klagenfurt, Austria, October 24-28, 2005, Springer Verlag, LNCS 3770, pp. 109-118
• Ontology-based Model Transformation
  Stephan Roser, Bernhard Bauer
  ACM/IEEE 8th International Conference On Model Driven Engineering Languages And Systems (MoDELS/UML-2005) - Posters, Montego Bay, Jamaica, October 2-7, 2005
• Ontology-based Model Transformation
  Stephan Roser, Bernhard Bauer
  Proceedings of Satellite Events at the MoDELS 2005 Conference, Montego Bay, Jamaica, October 2-7, 2005, LNCS, pp. 355-356
• Combining Multi-Agent-System Methodologies for Organic Computing Systems
  Holger Kasinger, Bernhard Bauer
  Proceedings of the 3rd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS 05), Copenhagen, Denmark, August 22-26, 2005, IEEE Computer Society, pp. 160-164
• A Categorization of Collaborative Business Process Modeling Techniques
  Stephan Roser, Bernhard Bauer
  Proceedings of Workshop on Service oriented Solutions for Cooperative Organizations in 7th International IEEE Conference on E-Commerce Technology, Munich, Germany, July 19-22, 2005, IEEE, pp. 43-51
• Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems
  Holger Kasinger, Bernhard Bauer
  Proceedings of the 4th IASTED International Conference on Computational Intelligence (CI 2005), Calgary, Alberta, Canada, July 4-6, 2005, IASTED/ACTA Press, pp. 141-146
• Adaptive Design of Cross-Organizational Business Processes Using a Model-Driven Architecture
  Bernhard Bauer, Jörg P. Müller, Stephan Roser
  Proceedings of 7. Internationale Tagung der Wirtschaftsinformatik, Bamberg, Germany, February 23-25, 2005, Physica-Verlag, pp. 103-121
• UML 2.0 and Agents: How to Build Agent-based Systems with the new UML Standard
  Bauer, B., Odell, J.
  Special issue on Agent-oriented Software Development of the EAAI journal, 2005.

2004

• A Model-driven Approach to Designing Cross-Enterprise Business Processes
  Bernhard Bauer, Jörg P. Müller, Stephan Roser
  Proceedings of Workshop on Modeling Inter-Organizational Systems in OTM Conference, Agia Napa, Cyprus, Ocotber 25-29, 2004, LNCS, pp. 544-555
• Combining history-based and context-driven reasoning for supply chain decision-making assistance
  Guo, Y., Müller, J.P., Bauer, B.
  Proc. Third International Joint Conference on Autonomous Agents and Multi Agent Systems, 2004
• Programming software agents as designing executable business processes: a model-driven perspective
  Müller, J.P., Bauer, B., Friese, Th.
  Proceeding of the International Workshop on Programming Multiagent Systems (PROMAS) 2003
• MopiMine - Mobile Profile Mining
  Christian Seitz, Michael Berger, Bernhard Bauer
  Proceedings of the International Workshop on Wireless Ad hoc Networks (IWWAN '04), Centre of Wireless Communications, University of Oulu, Finland, June 2004.
• MPDG - Mobile Profile based Distributed Grouping.
  Christian Seitz, Michael Berger, Bernhard Bauer
  Proceedings of the 2nd IEEE International Conference on Pervasive Computing and Communications - Workshop on Mobile Peer-to-Peer Computing, Orlando, Florida, USA, March 2004.
• MoPiDiG
  Seitz, C., Berger, M., Bauer B.
  Proceedings of the First International Workshop on Mobile Peer-to-Peer Computing, Orlando, Florida, USA, März 2004
• MDA applied: From Sequence Diagrams to Web Service Choreography
  Bauer, B.
  International Conference on Web Engineering, München

2003

• An Agent-based Personalized Producer/Consumer Scenario
  Christian Seitz, Bernhard Bauer
  Proceedings of the Third International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS03), Prague, Czech Republic, June 2003.
• Modelling Web Service Composition with (Agent) UML
  Bauer, B., Marc-Philippe Huget
  Special Issue of Journal of Web Engineering, 2003
• A personalized and cooperative shop floor scenario for e-manufacturing
  Christian Seitz, Bernhard Bauer
  Proceedings of the Seventh International Conference on Automation Technologies (Automation 2003), National Chung Cheng University, Taiwan, May 2003.
• State of the Art in Using UML for AOSE
  Bauer, B. Müller, J.P., Odell, J.
  eingeladenes Paper bei Agent-Oriented Software Engineering 2003, AOSE 2003

2002

• UML and Agents: Current Trends and Future Directions
  Huget, M.-P., Odell, J., Bauer, B.
  OOPSLA Workshop Agent Oriented Methodologies, 2002
• Agent-oriented Software Technologies: Flaws and Remedies, Position Paper
  Müller, J.P., Bauer, B.
  Proceedings of Workshop on Agent Oriented Software Engineering (AOSE 2002), Bologna, 2002
• Multi Agent Systems Using Constraint Handling Rules for Problem Solving
  Christian Seitz, Bernhard Bauer, Michael Berger
  Proceedings of the International Conference on Artificial Intelligence (IC-AI'02), Las Vegas, USA, 2002.

2001

• LEAP – A scalable Agent Platform enabling next generation Distributed Information Systems
  Berger, M., Bauer, B.
  Verbundtagung "Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (VertIS 2001)", Bamberg, 4. und 5. Oktober 2001, pp. 191-206
• Travel Support – Anywhere and AnyTime
  Bauer, B., Berger, M.
  APC 2001, Arbeitsplatzcomputer 2001, Fachtagung der GI/ITG Fachgruppe APS+PC zum Thema Pervasive Ubiquitous Computing, München, 2001, ITG-Fachbericht 168, S.79-86
• Software Agents in Telecommunication: Services, User Interfaces and Networks - A Survey -
  Bauer, B., Müller, J.P.
  Software Focus, 2(2), 2001, pp.37-43
• The Lightweight Extensible Agent Platform
  Bauer, B., Bonnefoy, D., Bergenti, F., Evans, R.
  Software Demonstration, Autonomous Agent 2001, Montreal
• A Scalable Agent Infrastructure
  Berger, M, Bauer, B, Watzke, M.
  Proceedings of the 2nd Workshop on Infrastructure for Agents, MAS, and Scalable MAS, Boston, 2001
• Towards an Agent based Infrastructure for Distributed Virtual Organizations
  Berger, M, Bauer, B, Watzke, M.
  Proceeding of the 3rd International WetICE Workshop on Web-Based Infrastructure and Coordination - Architectures for Collaborative Enterprises, MIT, Cambridge, 2001
• Beitrag zur Panel-Diskussion on "Promoting Agent Technologies to the Industry"
  Bauer, B.
  Workshop on Agent Oriented Software Engineering, Montreal, 29. Mai 2001
• Agents and the UML: A Unified Notation for Agents and Multi-Agent Systems
  Bauer, B.; Bergenti, F., Massonet, Ph., Odell, J.
  Proceeding of the AOSE 2001, Montreal
• UML Class Diagrams Revisited in the Context of Agent-Based Systems
  Bauer, B.
  Proceedings of the AOSE 2001, Montreal
• Industry and Information Agents: Status and Challenges for the SIG
  Bauer, B.; Bergenti, F.
  eingeladener Vortrag, AgentLink SIG, AgentLink, Amsterdam, 23.02.2001
• Agents in Industry, Standardization & AgentLink
  Bauer, B.
  eingeladener Vortrag, AgentLink, Amsterdam, 22.02.2001
• Agents in industry and academia - How can they profit from each other
  Bauer, B.
  eingeladener Beitrag zur Panel-Diskussion, AgentLink, Amsterdam, 22.02.2001
• Middleware und Software Agenten im Umfeld neuer Anwendungen
  Bauer, B.
  eingeladener Vortrag bei der Informationsveranstaltung, EU-Programm IST - Software Agents und Middleware, Zenith GmbH, Mülheim / Rühr, 8. Februar 2001
• Agents in Industry
  Bauer, B.
  KI-Oberseminarvortrag an der TU München, 18.1.2001
• Mobile Infrastructure for Nomadic Lifestyle
  Bauer, B.
  Vortrag beim "Mobility-Kolloquium" der Siemens AG, Corporate Technology, München, 17.1.2001
• UML Class Diagrams and Agent-Based Systems
  Bauer, B.
  Proceedings of the Autonomous Agents 2001, Montreal
• Towards a general approach to mobile profile based distributed grouping
  Seitz, Ch.; Berger, M.; Bauer, B.
  Journal Personal and Ubiquitous Computing, Vol. 9, No. 2
• UML 2.0 and Agents: How to Build Agent-based Systems with the new UML Standard
  Bauer, B., Odell, J.
  Special issue on Agent-oriented Software Development of the EAAI journal, 2005.

2000

• MoTiV: Agents are improving mobility
  Bauer, B.
  JustIn - Joint Users of Siemens Telecommunications, Ausgabe 2/2000, pp. 47/48
• Extending UML for Agents, Proc. of the Agent-Oriented Information Systems
  Odell, J.; Paranuk, H.v.D.; Bauer, B.
  Workshop, 17th National conference on Artificial Intelligence, Gerd Wagner, Yves Lesperance, and Eric Yu eds., Austin, TX, AOIS Workshop at AAAI 2000, pp. 3-17
• Agent-Based Personal Travel Assistance
  Bauer, B.; Berger, M.
  Proceedings of the International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA 2000), Wollongong, Australia, 2000
• An Extension of UML by Protocols for Multiagent Interaction
  Bauer, B.; Müller, J. P.; Odell, J.
  Proceedings of the Fourth International Conference on MultiAgent Systems, ICMAS 2000, Boston, IEEE Computer Society, 2000
• MoTiV: Agenten verbessern die Mobilität
  Bauer, B.
  Newsletter, Siemens, Corporate Technology, Juni 2000
• Representing Agent Interaction Protocols in UML
  James Odell, H. Van Dyke Parunak, Bernhard Bauer
  Proceedings of the Workshop on Agents in Industry, Autonomous Agents 2000
  Fundstelle: http://www.ca.sandia.gov/FIPAPDM/papers.html
• Representing Agent Interaction Protocols in UML
  Odell, J. J; Paranuk, H.v.D.; Bauer, B.
  International Workshop on Agent-Oriented Software Engineering, AOSE 2000, Limerick, 2000
• Agent UML: A Formalism for Specifying Multiagent Software Systems
  Bauer, B.; Müller, J. P.; Odell, J.
  Proceedings of the ICSE 2000 Workshop on Agent-Oriented Software Engineering AOSE 2000, Limerick, pp.121-140
• AUML - First Steps
  Bauer, B.; Odell, J.; Paranuk
  Proceedings of the SCI/ISAS 2000, Orlando, FL, 2000

1999

• Agent-mediated Electronic Commerce
  Bauer, B.; Jörg P. Müller, J.P.; Völksen, G.
  Proceedings of the Siemens International Web Conference, München, August 1999
• A Multi-Agent Solution for Advanced Call Centers
  Bauer, B.; Klein, C.
  Proceedings of the Twelfth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE-99, 1999
• Software Agents and Standardization
  Bauer, B.
  Vortrag beim Oberseminar der LMU München, Juni 1999
• Intelligente Reiseassistenzsysteme mit Agententechnologie
  Bauer, B.
  eingeladener Vortrag beim Fuldaer Informatik-Kolloquium, Mai 1999
• UAML - First Steps
  Bauer, B.
  Vortrag bei der AgentLink SIG on Agentmethodologies, April 1999

1998

• Research Issues in Agent-based Software Engineering
  Klein, C.; Bauer, B.
  Vortrag bei der AgentLink SIG on Agent Methodologies, September 1998
• Die Agentenplattform MECCA
  Bauer, B.
  eingeladener Vortrag bei DaimlerChrysler Research, Berlin, Mai 1998

1996

• Generating User Interfaces from Formal Specifications of the Application
  Bauer, B.
  Proc. Computer-Aided Design of User Interfaces, CADUI 96, Namur, Belgien, 5.-7. Juni 1996, Ed.: J. Vanderdonckt, Namur: Presses Universitaires de Namur, pp. 141-158

1995

• Attributed Algebraic Specifications
  Bauer, B.
  Vortrag beim 11th ADT Workshop and 8th General Compass Meeting, Oslo, Norwegen, 19.-23. September 1995
• Proving Correctness of Formal User Interface Specifications
  Bauer, B.
  Specification, Proc. of the 2nd Eurographics Workshop on Design, Verification of Interactive Systems, Chateau de Bonas, Frankreich, Ed.: P. Palanque, R. Bastide, 6.-9. Juni 1995, Springer Computer Science, pp. 224-241
• Verification and Validation of Attribute Grammars
  Bauer, B.
  Vortrag beim British Colloquium on Theoretical Computer Science, BCTCS 11, Swansea, Wales, 2.-5. April 1995

1994

• Behavioural Program Development With the ISAR System
  Bauer, B., Hennicker, R
  Technischer Bericht, Systems for Computer-Aided Specification, Development and Verification, Workshop, Kiel, Deutschland, 4.-5. Juli 1994, Ed.: B. Buth, R. Berghammer, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, Bericht 9416
• Proving Properties over Attribute Grammars
  Bauer, B.
  Technischer Bericht, Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, Deutschland, 10.-11. März 1994, Ed.: U. Meyer, G. Snelting, Justus-Liebig-Universität Giessen, AG Informatik, Bericht 9402
• Attributed Term Induction - A Proof Principle for Attribute Grammars
  Bauer, B.
  Technischer Bericht, Technische Universität München, Institut für Informatik, 1994, p. 24 (Bericht 9403)

1993

• An Interactive System for Algebraic Implementation Proofs: The ISAR System from the User's Point of View
  Bauer, B.
  Technischer Bericht, Ludwig-Maximilians-Universität München, Institut für Informatik, 1993, p. 65 (Bericht 9313)
• Proving the Correctness of Algebraic Implementations by the ISAR System
  Bauer, B., Hennicker, R.
  Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems 93, Gmunden, Österreich, 15.-17. September 1993, Ed.: Alfonso Miola, Lecture Notes in Computer Science 722, pp. 2-16.
• Proving the Correctness of Algebraic Implementations by the ISAR System
  Bauer, B., Hennicker, R.
  Technischer Bericht, Ludwig-Maximilians-Universität München, Institut für Informatik, 1993, p. 16 (Bericht 9315)

1992

• ISAR: An Interactive System for Algebraic Implementation Proofs
  Bauer, B., Hennicker, R.
  Proceedings of the International Conference on Logic Programming and Automated Reasoning 92, St. Petersburg, Russland, 15.-20. Juli 1992, Ed.: A. Voronkov, Lecture Notes in Computer Science 624, pp. 451-453.