Bernhard Bauer

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.

[BibT_eX]

[DOI]

Adrian Rumpold

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Software Product Line Engineering for Safety-critical Systems.

[BibT_eX]

[DOI]

Philipp Lohmüller

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.

[BibT_eX]

[DOI]

Christoph Etzel

Proceedings of the Model-Driven Engineering and Software Development, 2019

Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures.

[BibT_eX]

[DOI]

Christoph Etzel

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.

[BibT_eX]

[DOI]

Christian Mannweiler

Proceedings of the 16th International Symposium on Wireless Communication Systems, 2019

Automated Classification of Airborne Pollen using Neural Networks.

[BibT_eX]

[DOI]

Claudia Traidl-Hoffmann

Athanasios Damialis

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.

[BibT_eX]

[DOI]

Philipp Lohmüller

Proceedings of the Business Modeling and Software Design - 9th International Symposium, 2019

2018

SON function performance prediction in a cognitive SON management system.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Multi-Concerns Engineering for Safety-Critical Systems.

[BibT_eX]

[DOI]

Philipp Lohmüller

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

A Network Slice Resource Allocation Process in 5G Mobile Networks.

[BibT_eX]

[DOI]

Wieslawa Wajda

Simon Lohmüller

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Workshop, 2018

Evaluation of Microservice Architectures: A Metric and Tool-Based Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Simon Lohmuller

Proceedings of the IEEE 5G World Forum, 2018

2017

Parallelizing highly complex engine management systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2017

Generic Management of Availability in Fail-Operational Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Domain-aware Framework for Integrated Model-based System Analysis and Design.

[BibT_eX]

[DOI]

Adrian Rumpold

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.

[BibT_eX]

[DOI]

Adrian Rumpold

Proceedings of the Model-Driven Engineering and Software Development, 2017

Compound Trace Clustering to Generate Accurate and Simple Sub-Process Models.

[BibT_eX]

[DOI]

Matthias Weidlich

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Generic EA Analysis Framework for the Definition and Automatic Execution of Analyses.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2017, 2017

2016

Semantic representation of reported measurements in radiology.

[BibT_eX]

[DOI]

BMC Medical Informatics Decis. Mak., 2016

Efficient Parallelization of Complex Automotive Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christian Mannweiler

Simon Lohmuller

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

Comparing System- and Test Model with Integrated Software-based Signal Simulation.

[BibT_eX]

[DOI]

Andreas Kurtz

Marcel Koeberl

Proceedings of the MODELSWARD 2016, 2016

A Novel Heuristic Method for Improving the Fitness of Mined Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

A Graph and Trace Clustering-based Approach for Abstracting Mined Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2016, 2016

A Novel Fitness Improvement Method for Mined Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'16 Forum, 2016

Classification and Definition of an Enterprise Architecture Analyses Language.

[BibT_eX]

[DOI]

Proceedings of the Business Modeling and Software Design - 6th International Symposium, 2016

2015

Objective-driven coordination in self-organizing networks.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015

Function-based Case Classification for Improving Business Process Mining.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2015, 2015

Using Semantic Web Technologies for Enterprise Architecture Analysis.

[BibT_eX]

[DOI]

Maximilian Osenberg

Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

A Novel Top-Down Approach for Clustering Traces.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2015

Interactive Transformation Path Generation Using Business Support Maps.

[BibT_eX]

[DOI]

Philipp Diefenthaler

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

Semantic Technologies for the Integration of Methods into an Enterprise Architecture.

[BibT_eX]

[DOI]

Peter Rosina

Proceedings of the Business Modeling and Software Design - 5th International Symposium, 2015

A Flow Analysis Approach for Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

Detection and resolution of ineffective function behavior in Self-Organizing Networks.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Operational Troubleshooting-Enabled Coordination in Self-Organizing Networks.

[BibT_eX]

[DOI]

Proceedings of the Mobile Networks and Management - 6th International Conference, 2014

Analysis and Validation of AUTOSAR Models.

[BibT_eX]

[DOI]

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

Knowledge-Based Extraction of Measurement-Entity Relations from German Radiology Reports.

[BibT_eX]

[DOI]

Heiner Oberkampf

Claudia Bretschneider

Sonja Zillner

Matthias Hammon

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Change and Version Management in Variability Models for Modular Ontologies.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2014, 2014

A Unified Framework for Enterprise Architecture Analysis.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Adaptive Approach for Impact Analysis in Enterprise Architectures.

[BibT_eX]

[DOI]

Proceedings of the Business Modeling and Software Design - 4th International Symposium, 2014

Corpus-based Translation of Ontologies for Improved Multilingual Semantic Annotation.

[BibT_eX]

[DOI]

Claudia Bretschneider

Proceedings of the Third Workshop on Semantic Web and Information Extraction, 2014

Generating Model Transformations Using Ontology Engineering Space.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Enabled Software Engineering, 2014

2013

An Advisor Concept for Distributed Self-organizing Systems Acting in Highly Connected Environments.

[BibT_eX]

[DOI]

Philipp Grosselfinger

Jörg Denzinger

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.

[BibT_eX]

[DOI]

Christoph Frenzel

Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

Data-Flow Based Model Analysis and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Rational Policy System for Network Management.

[BibT_eX]

[DOI]

Christoph Frenzel

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Planning Support for Enterprise Changes.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling, 2013

Management of Variability in Modular Ontology Development.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

A Model Driven Approach for Open Distributed Systems using an Enterprise Architecture Framework.

[BibT_eX]

[DOI]

Arne-Jørgen Berre

Proceedings of the ICEIS 2013, 2013

From Gaps to Transformation Paths in Enterprise Architecture Planning.

[BibT_eX]

[DOI]

Philipp Diefenthaler

Proceedings of the Enterprise Information Systems - 15th International Conference, 2013

Gap Analysis in Enterprise Architecture using Semantic Web Technologies.

[BibT_eX]

[DOI]

Philipp Diefenthaler

Proceedings of the ICEIS 2013, 2013

An OGMS-based Model for Clinical Information (MCI).

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Biomedical Ontology, 2013

2012

Automated rational recovery selection for self-healing in mobile networks.

[BibT_eX]

[DOI]

Christoph Frenzel

Proceedings of the 2012 International Symposium on Wireless Communication Systems (ISWCS), 2012

Resource-oriented Consistency Analysis of Engineering Processes.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Heiner Oberkampf

Sonja Zillner

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.

[BibT_eX]

[DOI]

Inf. Syst. E Bus. Manag., 2011

Adaptation of Process Models - A Semantic-based Approach.

[BibT_eX]

[DOI]

Thomas Eisenbarth

J. Res. Pract. Inf. Technol., 2011

Formal Specification of Domain-Specific ECA Policy Models.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling of Domain-Specific ECA Policies.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Martin Salfer

Sven Wohlgemuth

Sebastian Schrittwieser

Isao Echizen

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.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Automated refinement of policies for network management.

[BibT_eX]

[DOI]

Proceedings of the IEEE 17th Asia-Pacific Conference on Communications, 2011

2010

Linguistics-Based Modeling Methods and Ontologies in Requirements Engineering.

[BibT_eX]

[DOI]

Int. J. Enterp. Inf. Syst., 2010

Applying data-flow analysis to models a novel approach for model analysis.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Decentralized Real-Time Control of Water Distribution Networks Using Self-Organizing Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Optimized network configuration parameter assignment based on graph coloring.

[BibT_eX]

[DOI]

Tobias Bandh

Georg Carle

Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010

Data-flow Based Model Analysis.

[BibT_eX]

Proceedings of the Second NASA Formal Methods Symposium, 2010

Policy-driven workflows for mobile network management automation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Self-Organizing Architectures, 2010

2009

Scalable community-driven data sharing in e-science grids.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2009

Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals.

[BibT_eX]

[DOI]

Jörg Denzinger

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Transformation of Graphical ECA Policies into Executable PonderTalk Code.

[BibT_eX]

[DOI]

Markus Sinsel

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns.

[BibT_eX]

[DOI]

Adrian Klein

Fuyuki Ishikawa

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Process model adaptation using semantic technologies.

[BibT_eX]

[DOI]

Thomas Eisenbarth

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Process mining for semantic business process modeling.

[BibT_eX]

[DOI]

S. Forg

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Token analysis of graph-oriented process models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

Cognitive-Linguistics-Based Request Answer System.

[BibT_eX]

[DOI]

Wolf Fischer

Proceedings of the Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User, 2009

Towards Autonomic Service Discovery A Survey and Comparison.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Data Semant., 2008

The Meaning of Semiochemicals to the Design of Self-Organizing Systems.

[BibT_eX]

[DOI]

Jörg Denzinger

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

MDSD light for ERP.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Semantic-Based Planning of Process Models.

[BibT_eX]

[DOI]

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2008

Translation of QVT Relations into QVT Operational Mappings.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

Semantic Business Process Modeling - Benefits and Capability.

[BibT_eX]

[DOI]

Proceedings of the AI Meets Business Rules and Process Management, 2008

2007

Creating a Meta-Model for Semantic Web Service Standards.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

HiSbase: Histogram-based P2P Main Memory Data Management.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Improving Interoperability in Collaborative Modelling.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Interoperability II, 2007

Towards Semantically-Enhanced Distributed Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

A Survey on Workflow Annotation & Composition Approaches.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, 2007

HiSbase: Informationsfusion in P2P Netzwerken.

[BibT_eX]

[DOI]

Proceedings of the Datenbanksysteme in Business, 2007

2006

Pollination - A Biologically Inspired Paradigm for Self-Managing Systems.

[BibT_eX]

Int. Trans. Syst. Sci. Appl., 2006

The Utility of Pollination for Autonomic Computing.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Cooperative Computing, 2006

A Decentralized Broker Architecture for Collaborative Business Process Modelling and Enactment.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Interoperability, 2006

Beyond Swarm Intelligence: Building Self-Managing Systems Based on Pollination.

[BibT_eX]

[DOI]

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Semantic-enabled Software Engineering and Development.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2005

Adaptive Design of Cross-Organizational Business Processes Using a Model-Driven Architecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

Ontology-Based Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems.

[BibT_eX]

Proceedings of the IASTED International Conference on Computational Intelligence, 2005

AOSE and Organic Computing - How Can They Benefit from Each Other? Position Paper.

[BibT_eX]

[DOI]

Proceedings of the Perspectives in Conceptual Modeling, 2005

Combining Multi-Agent-System Methodologies for Organic Computing Systems.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Information Systems III, 2005

2004

Modelling web service composition with UML 2.0.

[BibT_eX]

[DOI]

Marc-Philippe Huget

Int. J. Web Eng. Technol., 2004

MPDG - Mobile Profile based Distributed Grouping.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 4th International Conference, 2004

A Multiagent Approach for Logistics Performance Prediction Using Historical and Context Information.

[BibT_eX]

[DOI]

Yutao Guo

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.

[BibT_eX]

[DOI]

Thomas Friese

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

An Agent-Based Personalized Producer/Consumer Scenario.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

Using UML in the Context of Agent-Oriented Software Engineering: State of the Art.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

2002

Multi Agent Systems Using Constrains Handling Rules for Problem Solving.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

Agent-Oriented Software Technologies: Flaws and Remedies.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001

Software agents in mobile telecommunication services.

[BibT_eX]

[DOI]

Softw. Focus, 2001

Agent UML: A Formalism for Specifying Multiagent Software Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

Towards an Agent-Based Infrastructure for Distributed Virtual Organizations.

[BibT_eX]

[DOI]

Michael Watzke

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.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent-Systems and Applications II, 2001

Agents and the UML: A Unified Notation for Agents and Multi-agent Systems?

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

UML Class Diagrams Revisited in the Context of Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

UML classes diagrams and agent-based systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

An Extension of UML by Protocols for Multiagent Interaction.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Representing Agent Interaction Protocols in UML.

[BibT_eX]

[DOI]

H. Van Dyke Parunak

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

1999

A Multi-agent Solution for Advanced Call Centers.

[BibT_eX]

[DOI]

Cornel Klein

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

JACK - Java Constraint Kit.

[BibT_eX]

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

Übersetzung objektorientierter Programmiersprachen - Konzepte, abstrakte Maschinen und Praktikum Java-Compiler.

[BibT_eX]

[DOI]

Riitta Höllerer

Springer, ISBN: 978-3-540-64256-5, 1998

1996

Attributed algebraic specifications.

[BibT_eX]

[DOI]

PhD thesis, 1996

Generating User Interfaces from Formal Specifications of the Application.

[BibT_eX]

Proceedings of the Computer-Aided Design of User Interfaces I, 1996

1995

Proving the Correctness of Formal User Interface Specifications .

[BibT_eX]

[DOI]

Proceedings of the Design, 1995

1993

Proving the Correctness of Algebraic Implementations by the ISAR System.

[BibT_eX]

[DOI]

Rolf Hennicker

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

ISAR: An Interactive System for Algebraic Implementation Proofs.

[BibT_eX]

[DOI]