Bernhard Bauer

Orcid: 0000-0002-7931-1105

Affiliations:
  • University of Augsburg, Department of Computer Science
  • Siemens Corporate Technology, Munich
  • Technical University of Munich, Institute for Computer Science


According to our database1, Bernhard Bauer authored at least 170 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Trustworthy Integrated Circuits: From Safety to Security and Beyond.
IEEE Access, 2024

GraphVault: A Temporal Graph Persistence Engine.
Proceedings of the 26th International Conference on Enterprise Information Systems, 2024

Towards a Framework for Interdisciplinary Studies in Explainable Artificial Intelligence.
Proceedings of the Artificial Intelligence in HCI, 2024

Towards Certifiable AI in Medicine: Illustrated for Multi-label ECG Classification Performance Metrics.
Proceedings of the IEEE International Conference on Evolving and Adaptive Intelligent Systems, 2024

Automating Side-Channel Testing for Embedded Systems: A Continuous Integration Approach.
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023
Using High-Resolution UAV Imaging to Measure Canopy Height of Diverse Cover Crops and Predict Biomass.
Remote. Sens., March, 2023

LIFEDATA - A Framework for Traceable Active Learning Projects.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Evaluation of Selected Autoencoders in the Context of End-User Experience Management.
Proceedings of the Machine Learning, Optimization, and Data Science, 2023

Towards Automated COVID-19 Presence and Severity Classification.
Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023

A Methodology Based on Quality Gates for Certifiable AI in Medicine: Towards a Reliable Application of Metrics in Machine Learning.
Proceedings of the 18th International Conference on Software Technologies, 2023

Towards Democratizing AI: A Comparative Analysis of AI as a Service Platforms and the Open Space for Machine Learning Approach.
Proceedings of the 7th International Conference on Cloud and Big Data Computing, 2023

Git Workflow for Active Learning: A Development Methodology Proposal for Data-Centric AI Projects.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Gloss-ViBe: Early Medieval Glosses and the Digital Humanities.
Proceedings of the Annual International Conference of the Alliance of Digital Humanities Organizations, 2023

2022
On the Dependability Lifecycle of Electrical/Electronic Product Development: The Dual-Cone V-Model.
Computer, 2022

Wissenstransfer durch integrative Lernkonzepte.
Proceedings of the 42. GIL-Jahrestagung, 2022

Endpoint-Performance-Monitoring for a better End-User Experience.
Proceedings of the 3rd European Symposium on Software Engineering, 2022

Projektpräsentation "Early Medieval Glosses And The Question Of Their Genesis: A Case Study On The Vienna Bede" (Gloss-ViBe).
Proceedings of the 8. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, 2022

2021
Digitales Experimentierfeld Diabek.
Proceedings of the 41. GIL-Jahrestagung, 2021

Towards Domain-Specific Explainable AI: Model Interpretation of a Skin Image Classifier Using a Human Approach.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

Bridging the Gap Between Structural and Behavioral Models in a Software-Centric Environment.
Proceedings of the Business Modeling and Software Design - 11th International Symposium, 2021

Adaptation of Architecture Analyses: An IoT Safety and Security Flaw Assessment Approach.
Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020
End-to-End Mobile Network Slice Embedding Leveraging Edge Computing.
Proceedings of the NOMS 2020, 2020

Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios.
Proceedings of the Model-Driven Engineering and Software Development, 2020

Towards Abstract Test Execution in Early Stages of Model-driven Software Development.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

An Efficient Online Heuristic for Mobile Network Slice Embedding.
Proceedings of the 23rd Conference on Innovation in Clouds, 2020

Digitales Experimentierfeld Diabek.
Proceedings of the 40. GIL-Jahrestagung, Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Digitalisierung für Mensch, Umwelt und Tier, 17., 2020

Design Optimization of IoT Models: Structured Safety and Security Flaw Identification.
Proceedings of the Business Modeling and Software Design - 10th International Symposium, 2020

2019
A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Software Product Line Engineering for Safety-critical Systems.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Modeling and Analysis of Partitions on Functional Architectures Using EAST-ADL.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

An Efficient Model for Mobile Network Slice Embedding under Resource Uncertainty.
Proceedings of the 16th International Symposium on Wireless Communication Systems, 2019

Automated Classification of Airborne Pollen using Neural Networks.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

Failure and Change Impact Analysis for Safety-Critical Systems - Applied on a Medical Use Case.
Proceedings of the Business Modeling and Software Design - 9th International Symposium, 2019

2018
SON function performance prediction in a cognitive SON management system.
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference Workshops, 2018

Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing Activities.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Multi-Concerns Engineering for Safety-Critical Systems.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

A Network Slice Resource Allocation Process in 5G Mobile Networks.
Proceedings of the Innovative Mobile and Internet Services in Ubiquitous Computing, 2018

A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Evaluating project compliance during EA planning: a model-based semi automatic method for enterprise architecture planning.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Safety and Security Architecture Analyses Framework for the Internet of Things of Medical Devices.
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

Chronologicon Hibernicum: A Probabilistic Chronological Framework for Dating Early Irish Language Developments and Literature.
Proceedings of the Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, 2018

A Model-Based Method for the Evaluation of Project Proposal Compliance within EA Planning.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Workshop, 2018

Evaluation of Microservice Architectures: A Metric and Tool-Based Approach.
Proceedings of the Information Systems in the Big Data Era, 2018

A Network Slice Resource Allocation and Optimization Model for End-to-End Mobile Networks.
Proceedings of the IEEE 5G World Forum, 2018

2017
Parallelizing highly complex engine management systems.
Concurr. Comput. Pract. Exp., 2017

Generic Management of Availability in Fail-Operational Automotive Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2017

A Domain-aware Framework for Integrated Model-based System Analysis and Design.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Compound Trace Clustering to Generate Accurate and Simple Sub-Process Models.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Generic EA Analysis Framework for the Definition and Automatic Execution of Analyses.
Proceedings of the ICEIS 2017, 2017

2016
Semantic representation of reported measurements in radiology.
BMC Medical Informatics Decis. Mak., 2016

Efficient Parallelization of Complex Automotive Systems.
Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, 2016

Cross-domain 5G network management for seamless industrial communications.
Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Comparing System- and Test Model with Integrated Software-based Signal Simulation.
Proceedings of the MODELSWARD 2016, 2016

A Novel Heuristic Method for Improving the Fitness of Mined Business Process Models.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

A Graph and Trace Clustering-based Approach for Abstracting Mined Business Process Models.
Proceedings of the ICEIS 2016, 2016

A Novel Fitness Improvement Method for Mined Business Process Models.
Proceedings of the CAiSE'16 Forum, 2016

Classification and Definition of an Enterprise Architecture Analyses Language.
Proceedings of the Business Modeling and Software Design - 6th International Symposium, 2016

2015
Objective-driven coordination in self-organizing networks.
Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015

Function-based Case Classification for Improving Business Process Mining.
Proceedings of the ICEIS 2015, 2015

Using Semantic Web Technologies for Enterprise Architecture Analysis.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

A Novel Top-Down Approach for Clustering Traces.
Proceedings of the Advanced Information Systems Engineering, 2015

Interactive Transformation Path Generation Using Business Support Maps.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

Semantic Technologies for the Integration of Methods into an Enterprise Architecture.
Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

A Flow Analysis Approach for Service-Oriented Architectures.
Proceedings of the Software, 2015

2014
Detection and resolution of ineffective function behavior in Self-Organizing Networks.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Operational Troubleshooting-Enabled Coordination in Self-Organizing Networks.
Proceedings of the Mobile Networks and Management - 6th International Conference, 2014

Analysis and Validation of AUTOSAR Models.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Using Gap Analysis to Support Feedback Loops for Enterprise Architecture Management.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2014

Knowledge-Based Extraction of Measurement-Entity Relations from German Radiology Reports.
Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Change and Version Management in Variability Models for Modular Ontologies.
Proceedings of the ICEIS 2014, 2014

A Unified Framework for Enterprise Architecture Analysis.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Adaptive Approach for Impact Analysis in Enterprise Architectures.
Proceedings of the Business Modeling and Software Design - 4th International Symposium, 2014

Corpus-based Translation of Ontologies for Improved Multilingual Semantic Annotation.
Proceedings of the Third Workshop on Semantic Web and Information Extraction, 2014

Generating Model Transformations Using Ontology Engineering Space.
Proceedings of the Semantic Web Enabled Software Engineering, 2014

2013
An Advisor Concept for Distributed Self-organizing Systems Acting in Highly Connected Environments.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management.
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

Data-Flow Based Model Analysis and Its Applications.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Rational Policy System for Network Management.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Planning Support for Enterprise Changes.
Proceedings of the Practice of Enterprise Modeling, 2013

Management of Variability in Modular Ontology Development.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

A Model Driven Approach for Open Distributed Systems using an Enterprise Architecture Framework.
Proceedings of the ICEIS 2013, 2013

From Gaps to Transformation Paths in Enterprise Architecture Planning.
Proceedings of the Enterprise Information Systems - 15th International Conference, 2013

Gap Analysis in Enterprise Architecture using Semantic Web Technologies.
Proceedings of the ICEIS 2013, 2013

An OGMS-based Model for Clinical Information (MCI).
Proceedings of the 4th International Conference on Biomedical Ontology, 2013

2012
Automated rational recovery selection for self-healing in mobile networks.
Proceedings of the 2012 International Symposium on Wireless Communication Systems (ISWCS), 2012

Resource-oriented Consistency Analysis of Engineering Processes.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 3, Wroclaw, Poland, 28 June, 2012

Interpreting Patient Data using Medical Background Knowledge.
Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO 2012), 2012

2011
An evaluation and decision method for ICT architectures for cross-organizational business process coordination.
Inf. Syst. E Bus. Manag., 2011

Adaptation of Process Models - A Semantic-based Approach.
J. Res. Pract. Inf. Technol., 2011

Formal Specification of Domain-Specific ECA Policy Models.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling of Domain-Specific ECA Policies.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Data Provenance with Watermarks for Usage Control Monitors at Disaster Recovery.
Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

Mooop - A Hybrid Integration of OWL and Java.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Automated refinement of policies for network management.
Proceedings of the IEEE 17th Asia-Pacific Conference on Communications, 2011

2010
Linguistics-Based Modeling Methods and Ontologies in Requirements Engineering.
Int. J. Enterp. Inf. Syst., 2010

Applying data-flow analysis to models a novel approach for model analysis.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Decentralized Real-Time Control of Water Distribution Networks Using Self-Organizing Multi-agent Systems.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Optimized network configuration parameter assignment based on graph coloring.
Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010

Data-flow Based Model Analysis.
Proceedings of the Second NASA Formal Methods Symposium, 2010

Policy-driven workflows for mobile network management automation.
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, 2010

Situational Method Engineering Applied for the Enactment of Development Processes - An Agent based Approach.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

Adapting environment-mediated self-organizing emergent systems by exception rules.
Proceedings of the Second International Workshop on Self-Organizing Architectures, 2010

2009
Scalable community-driven data sharing in e-science grids.
Future Gener. Comput. Syst., 2009

Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Transformation of Graphical ECA Policies into Executable PonderTalk Code.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Process model adaptation using semantic technologies.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Process mining for semantic business process modeling.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Token analysis of graph-oriented process models.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Workload-aware data partitioning in community-driven data grids.
Proceedings of the EDBT 2009, 2009

Cognitive-Linguistics-Based Request Answer System.
Proceedings of the Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User, 2009

Towards Autonomic Service Discovery A Survey and Comparison.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008
Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space.
J. Data Semant., 2008

The Meaning of Semiochemicals to the Design of Self-Organizing Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

MDSD light for ERP.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Semantic-Based Planning of Process Models.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2008

Translation of QVT Relations into QVT Operational Mappings.
Proceedings of the Theory and Practice of Model Transformations, 2008

Semantic Business Process Modeling - Benefits and Capability.
Proceedings of the AI Meets Business Rules and Process Management, 2008

2007
Creating a Meta-Model for Semantic Web Service Standards.
Proceedings of the WEBIST 2007, 2007

HiSbase: Histogram-based P2P Main Memory Data Management.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Improving Interoperability in Collaborative Modelling.
Proceedings of the Enterprise Interoperability II, 2007

Towards Semantically-Enhanced Distributed Service Discovery.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

A Survey on Workflow Annotation & Composition Approaches.
Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, 2007

HiSbase: Informationsfusion in P2P Netzwerken.
Proceedings of the Datenbanksysteme in Business, 2007

2006
Pollination - A Biologically Inspired Paradigm for Self-Managing Systems.
Int. Trans. Syst. Sci. Appl., 2006

The Utility of Pollination for Autonomic Computing.
Proceedings of the Biologically Inspired Cooperative Computing, 2006

A Decentralized Broker Architecture for Collaborative Business Process Modelling and Enactment.
Proceedings of the Enterprise Interoperability, 2006

Beyond Swarm Intelligence: Building Self-Managing Systems Based on Pollination.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Semantic-enabled Software Engineering and Development.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Model- and Architecture-Driven Development in the Context of Cross-Enterprise Business Process Engineering.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
UML 2.0 and agents: how to build agent-based systems with the new UML standard.
Eng. Appl. Artif. Intell., 2005

Adaptive Design of Cross-Organizational Business Processes Using a Model-Driven Architecture.
Proceedings of the Wirtschaftsinformatik 2005: eEconomy, eGovernment, eSociety, 7. Internationale Tagung Wirtschaftsinformatik 2005, Bamberg, 23.2.2005, 2005

A Categorization of Collaborative Business Process Modeling Techniques.
Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

Ontology-Based Model Transformation.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems.
Proceedings of the IASTED International Conference on Computational Intelligence, 2005

AOSE and Organic Computing - How Can They Benefit from Each Other? Position Paper.
Proceedings of the Perspectives in Conceptual Modeling, 2005

Combining Multi-Agent-System Methodologies for Organic Computing Systems.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

AOSE and Organic Computing - How Can They Benefit from Each Other?
Proceedings of the Agent-Oriented Information Systems III, 2005

2004
Modelling web service composition with UML 2.0.
Int. J. Web Eng. Technol., 2004

MPDG - Mobile Profile based Distributed Grouping.
Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

A Model-Driven Approach to Designing Cross-Enterprise Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

MDA Applied: From Sequence Diagrams to Web Service Choreography.
Proceedings of the Web Engineering - 4th International Conference, 2004

A Multiagent Approach for Logistics Performance Prediction Using Historical and Context Information.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003
Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective.
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

An Agent-Based Personalized Producer/Consumer Scenario.
Proceedings of the Multi-Agent Systems and Applications III, 2003

Using UML in the Context of Agent-Oriented Software Engineering: State of the Art.
Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

2002
Multi Agent Systems Using Constrains Handling Rules for Problem Solving.
Proceedings of the International Conference on Artificial Intelligence, 2002

Agent-Oriented Software Technologies: Flaws and Remedies.
Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001
Software agents in mobile telecommunication services.
Softw. Focus, 2001

Agent UML: A Formalism for Specifying Multiagent Software Systems.
Int. J. Softw. Eng. Knowl. Eng., 2001

Towards an Agent-Based Infrastructure for Distributed Virtual Organizations.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Software Agents for Electronic Business: Opportunities and Challenges.
Proceedings of the Multi-Agent-Systems and Applications II, 2001

Agents and the UML: A Unified Notation for Agents and Multi-agent Systems?
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

UML Class Diagrams Revisited in the Context of Agent-Based Systems.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

UML classes diagrams and agent-based systems.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
An Extension of UML by Protocols for Multiagent Interaction.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Representing Agent Interaction Protocols in UML.
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

1999
A Multi-agent Solution for Advanced Call Centers.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

JACK - Java Constraint Kit.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998
Übersetzung objektorientierter Programmiersprachen - Konzepte, abstrakte Maschinen und Praktikum Java-Compiler.
Springer, ISBN: 978-3-540-64256-5, 1998

1996
Attributed algebraic specifications.
PhD thesis, 1996

Generating User Interfaces from Formal Specifications of the Application.
Proceedings of the Computer-Aided Design of User Interfaces I, 1996

1995
Proving the Correctness of Formal User Interface Specifications .
Proceedings of the Design, 1995

1993
Proving the Correctness of Algebraic Implementations by the ISAR System.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992
ISAR: An Interactive System for Algebraic Implementation Proofs.
Proceedings of the Logic Programming and Automated Reasoning, 1992


  Loading...