Claus Pahl
According to our database1,
Claus Pahl
authored at least 208 papers
between 1992 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at orcid.org
On csauthors.net:
Bibliography
2019
Cloud Container Technologies: A State-of-the-Art Review.
IEEE Trans. Cloud Computing, 2019
A semantic pattern for trusted orchestration in IoT edge clouds.
Internet Technol. Lett., 2019
Continuous Architecting with Microservices and DevOps: A Systematic Mapping Study.
CoRR, 2019
Right Scaling for Right Pricing: A Case Study on Total Cost of Ownership Measurement for Cloud Migration.
CoRR, 2019
Microservices Anti Patterns: A Taxonomy.
CoRR, 2019
A Didactic Module to Teach Software Engineering Principles in Middle Schools.
Proceedings of the 20th Annual SIG Conference on Information Technology Education, 2019
Combining Block-Based Programming and Hardware Prototyping to Foster Computational Thinking.
Proceedings of the 20th Annual SIG Conference on Information Technology Education, 2019
Self-Adaptive Healing for Containerized Cluster Architectures with Hidden Markov Models.
Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019
Detecting and Predicting Anomalies for Edge Cluster Environments using Hidden Markov Models.
Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019
About Computational Thinking Assessment: a Proposal for Primary School First Year from a Pedagogical Perspective (invited paper).
Proceedings of the 2nd Systems of Assessments for Computational Thinking Learning workshop (TACKLE 2019) co-located with 14th European Conference on Technology Enhanced Learning (EC-TEL 2019), 2019
Teaching Software Engineering Principles in Non-vocational Schools.
Proceedings of the 11th International Conference on Computer Supported Education, 2019
A Containerized Big Data Streaming Architecture for Edge Cloud Computing on Clustered Single-board Devices.
Proceedings of the 9th International Conference on Cloud Computing and Services Science, 2019
Trustworthy IoT: An Evidence Collection Approach Based on Smart Contracts.
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019
A Lightweight Container Middleware for Edge Cloud Architectures.
Proceedings of the Fog and Edge Computing, 2019
2018
Architectural Principles for Cloud Software.
ACM Trans. Internet Techn., 2018
A Classification and Comparison Framework for Cloud Service Brokerage Architectures.
IEEE Trans. Cloud Computing, 2018
Microservices: The Journey So Far and Challenges Ahead.
IEEE Software, 2018
Mining Patterns from Change Logs to Support Reuse-Driven Evolution of Software Architectures.
J. Comput. Sci. Technol., 2018
Fostering Software Engineering Principles in K-12 Through Non-Programming Activities.
Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018
COCONATS: Combining Computational Thinking Didactics and Software Engineering in K-12.
Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018
A Review of Distributed Ledger Technologies.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Leveraging Curricular Activities to Foster Software Engineering Principles in Non-Vocational Schools.
Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018
Improving Assessment of Computational Thinking Through a Comprehensive Framework.
Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018
Trustworthy Orchestration of Container Based Edge Computing Using Permissioned Blockchain.
Proceedings of the 2018 Fifth International Conference on Internet of Things: Systems, 2018
A Decision Framework for Blockchain Platforms for IoT and Edge Computing.
Proceedings of the 3rd International Conference on Internet of Things, 2018
A Performance Exploration of Architectural Options for a Middleware for Decentralised Lightweight Edge Cloud Architectures.
Proceedings of the 3rd International Conference on Internet of Things, 2018
End-User Software Engineering in K-12 by Leveraging Existing Curricular Activities.
Proceedings of the 13th International Conference on Software Technologies, 2018
An architecture pattern for trusted orchestration in IoT edge clouds.
Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018
Envisioning a Computational Thinking Assessment Tool.
Proceedings of the Joint Proceedings of the 1st Co-Creation in the Design, 2018
Continuous Architecting with Microservices and DevOps: A Systematic Mapping Study.
Proceedings of the Cloud Computing and Services Science - 8th International Conference, 2018
Architectural Patterns for Microservices: A Systematic Mapping Study.
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018
Right Scaling for Right Pricing: A Case Study on Total Cost of Ownership Measurement for Cloud Migration.
Proceedings of the Cloud Computing and Services Science - 8th International Conference, 2018
Making the Cloud Work for Software Producers: Linking Architecture, Operating Cost and Revenue.
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018
EthernityDB - Integrating Database Functionality into a Blockchain.
Proceedings of the New Trends in Databases and Information Systems, 2018
2017
Pattern-based multi-cloud architecture migration.
Softw., Pract. Exper., 2017
Cloud architecture continuity: Change models and change rules for sustainable cloud software architectures.
Journal of Software: Evolution and Process, 2017
Structural Process Pattern Matching Based on Graph Morphism Detection.
International Journal of Software Engineering and Knowledge Engineering, 2017
A Comparison of Reinforcement Learning Techniques for Fuzzy Cloud Auto-Scaling.
CoRR, 2017
Processes, Motivations, and Issues for Migrating to Microservices Architectures: An Empirical Investigation.
IEEE Cloud Computing, 2017
Microservices in agile software development: a workshop-based study into issues, advantages, and disadvantages.
Proceedings of the XP2017 Scientific Workshops, Cologne, Germany, May 22 - 26, 2017, 2017
Performance Engineering for Microservices: Research Challenges and Directions.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Software System Migration to Cloud-Native Architectures for SME-Sized Software Vendors.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017
A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability Model.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017
Benchmark Requirements for Microservices Architecture Research.
Proceedings of the 1st IEEE/ACM International Workshop on Establishing the Community-Wide Infrecaseructure for Architecture-Based Software Engineering, 2017
Testing and Comparing the Performance of Cloud Service Providers Using a Service Broker Architecture.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017
An Ontology-Based Architecture for an Adaptable Cloud Storage Broker.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017
A Fuzzy Load Balancer for Adaptive Fault Tolerance Management in Cloud Platforms.
Proceedings of the Service-Oriented and Cloud Computing, 2017
The Benefits of Using Experimental Exploration for Cloud Migration Analysis and Planning.
Proceedings of the Cloud Computing and Service Science - 7th International Conference, 2017
The Role of Experimental Exploration in Cloud Migration for SMEs.
Proceedings of the CLOSER 2017, 2017
A Framework for Generating Domain-specific Rule for Process Model Customisation.
Proceedings of the International Conference on Computer-Human Interaction Research and Applications, 2017
A Comparison of Reinforcement Learning Techniques for Fuzzy Cloud Auto-Scaling.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
2016
A distributed architecture for policy-customisable multi-tenant processes-as-a-service.
IJPEDS, 2016
An agility-oriented and fuzziness-embedded semantic model for collaborative cloud service search, retrieval and recommendation.
Future Generation Comp. Syst., 2016
Managing Uncertainty in Autonomic Cloud Elasticity Controllers.
IEEE Cloud Computing, 2016
Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures.
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016
Change Support to Maintain Quality in Learning Technology Systems.
Proceedings of the Emerging Technologies for Education - First International Symposium, 2016
A Pathway into Computational Thinking in Primary Schools.
Proceedings of the Emerging Technologies for Education - First International Symposium, 2016
A Container-Based Edge Cloud PaaS Architecture Based on Raspberry Pi Clusters.
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016
A Coordination-Based Brokerage Architecture for Multi-cloud Resource Markets.
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud Workshops, 2016
Cloud Migration Architecture and Pricing - Mapping a Licensing Business Model for Software Vendors to a SaaS Business Model.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016
An Auto-Scaling Cloud Controller Using Fuzzy Q-Learning - Implementation in OpenStack.
Proceedings of the Service-Oriented and Cloud Computing, 2016
Bringing the Cloud to Rural and Remote Areas via Cloudlets.
Proceedings of the 7th Annual Symposium on Computing for Development, 2016
Microservices: A Systematic Mapping Study.
Proceedings of the CLOSER 2016, 2016
A Task Orientated Requirements Ontology for Cloud Computing Services.
Proceedings of the CLOSER 2016, 2016
A Certification Technique for Cloud Security Adaptation.
Proceedings of the IEEE International Conference on Services Computing, 2016
2015
An extended ontology-based context model and manipulation calculus for dynamic Web service processes.
Service Oriented Computing and Applications, 2015
Service workload patterns for Qos-driven cloud resource management.
J. Cloud Computing, 2015
An approach to unified cloud service access, manipulation and dynamic orchestration via semantic cloud service operation specification framework.
J. Cloud Computing, 2015
Software Service Adaptation Based on Interface Localisation.
IJSSOE, 2015
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution.
CoRR, 2015
Containerization and the PaaS Cloud.
IEEE Cloud Computing, 2015
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution.
Proceedings of the 2015 International Conference on Cloud and Autonomic Computing, 2015
Containers and Clusters for Edge Cloud Architectures - A Technology Review.
Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015
A Database-Specific Pattern for Multi-cloud High Availability and Disaster Recovery.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015
Software Architecture for the Cloud - A Roadmap Towards Control-Theoretic, Model-Based Cloud Architecture.
Proceedings of the Software Architecture - 9th European Conference, 2015
2014
Classification and comparison of architecture evolution reuse knowledge - a systematic review.
Journal of Software: Evolution and Process, 2014
Layered change log model: bridging between ontology change representation and pattern mining.
IJMSO, 2014
The Case for Cloud Service Trustmarks and Assurance-as-a-Service.
CoRR, 2014
Workload Patterns for Quality-Driven Dynamic Cloud Service Configuration and Auto-Scaling.
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014
A Tree-Based Protocol for Enforcing Quotas in Clouds.
Proceedings of the 2014 IEEE World Congress on Services, 2014
Cloud Migration Patterns: A Multi-cloud Service Architecture Perspective.
Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014
Autonomic resource provisioning for cloud-based software.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014
A Synchronization Mechanism for Cloud Accounting Systems.
Proceedings of the 2014 International Conference on Cloud and Autonomic Computing, 2014
Orthogonal Variability Modeling to Support Multi-cloud Application Configuration.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014
Scalable Architectures for Platform-as-a-Service Clouds: Performance and Cost Analysis.
Proceedings of the Software Architecture - 8th European Conference, 2014
A Template Description Framework for Services as a Utility for Cloud Brokerage.
Proceedings of the CLOSER 2014, 2014
Resource State Monitoring of Service Transactions in Cloud Systems.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014
2013
Cloud Migration Research: A Systematic Review.
IEEE Trans. Cloud Computing, 2013
A framework for acquisition and application of software architecture evolution knowledge: 14.
ACM SIGSOFT Software Engineering Notes, 2013
Ontology Change Management and Identification of Change Patterns.
J. Data Semantics, 2013
The Life and Times of a Learning Technology System: The Impact of Change and Evolution.
IJWLTT, 2013
A Pattern Language for the Evolution of Component-based Software Architectures.
ECEASST, 2013
Migration to PaaS clouds - Migration process and architectural concerns.
Proceedings of the 7th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2013
Personalized Quality Prediction for Dynamic Service Management Based on Invocation Patterns.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013
A Comparison of On-Premise to Cloud Migration Approaches.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013
A Domain-Specific Model for Data Quality Constraints in Service Process Adaptations.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
A Framework for Classifying and Comparing Architecture-centric Software Evolution Research.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013
A Coordination Protocol for User-customisable Cloud Policy Monitoring.
Proceedings of the CLOSER 2013, 2013
Interoperability Standards for Cloud Architecture.
Proceedings of the CLOSER 2013, 2013
The Case for Cloud Service Trustmarks and Assurance-as-a-Service.
Proceedings of the CLOSER 2013, 2013
Rule-based Cloud Service Localisation.
Proceedings of the CLOSER 2013, 2013
2012
Pat-Evol: Pattern-Driven Reuse in Architecture-Based Evolution for Service Software.
ERCIM News, 2012
Data Integration in Mediated Service Compositions.
Computing and Informatics, 2012
Graph-based implicit knowledge discovery from architecture change logs.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Analyzing Impacts of Change Operations in Evolving Ontologies.
Proceedings of the 2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics, 2012
Composite Ontology Change Operators and their Customizable Evolution Strategies.
Proceedings of the 2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics, 2012
Pattern-driven Reuse in Architecture-centric Evolution for Service Software.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
Business process and software architecture model co-evolution patterns.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012
Dependency Analysis in Ontology-Driven Content-Based Systems.
Proceedings of the Artificial Intelligence and Soft Computing, 2012
User-Customisable Policy Monitoring for Multi-tenant Cloud Architectures.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
Cloud Service Localisation.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
Graph-Based Pattern Identification from Architecture Change Logs.
Proceedings of the Advanced Information Systems Engineering Workshops, 2012
2011
Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages.
Software and Systems Modeling, 2011
Ontology-based composition and matching for dynamic cloud service coordination.
IJMSO, 2011
A Framework for Change Impact Analysis of Ontology-Driven Content-Based Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011
Towards Implicit Knowledge Discovery from Ontology Change Log Data.
Proceedings of the Knowledge Science, Engineering and Management, 2011
Customisable Transformation-Driven Evolution for Service Architectures.
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011
Ontology-Based Composition and Matching for Dynamic Service Coordination.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
A Coordination Space Architecture for Service Collaboration and Cooperation.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
2010
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr.
J. UCS, 2010
Pattern-Based Software Architecture for Service-Oriented Software Systems.
e-Informatica, 2010
Empirical Analysis of Impacts of Instance-Driven Changes in Ontologies.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010
The 3rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010).
Proceedings of the Models in Software Engineering, 2010
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition.
Proceedings of the Software Architecture, 4th European Conference, 2010
Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures.
Proceedings of the Software Architecture, 4th European Conference, 2010
Pattern-based customisable transformations for style-based service architecture evolution.
Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010
Process as a Service.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
Constraint-Based Validation of Adaptive e-Learning Courseware.
TLT, 2009
Interactive Correction and Recommendation for Computer Language Learning and Training.
IEEE Trans. Knowl. Data Eng., 2009
Distribution Pattern-driven Development of Service Architectures.
J. UCS, 2009
Model-driven Connector Development for Service-based Information System Architectures.
JSW, 2009
Service-Centric Integration Architecture for Enterprise Software Systems.
J. Inf. Sci. Eng., 2009
Ontology-based modelling of architectural styles.
Information & Software Technology, 2009
Intelligent and adaptive tutoring for active learning and training environments.
Interactive Learning Environments, 2009
A Template-Driven Approach for Maintainable Service-Oriented Information Systems Integration.
International Journal of Software Engineering and Knowledge Engineering, 2009
Editorial to the special issue "Web services - architecture and infrastructure".
Computer Science - R&D, 2009
Context modeling and constraints binding in web service business processes.
Proceedings of the first international workshop on Context-aware software technology and applications, 2009
Automatic Business Process Pattern Matching for Enterprise Services Design.
Proceedings of the 2009 IEEE World Congress on Services, Part II, 2009
A Pattern-Based Framework of Change Operators for Ontology Evolution.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009
The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009).
Proceedings of the Models in Software Engineering, 2009
Constraint Integration and Violation Handling for BPEL Processes.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009
Integrated Constraint Violation Handling for Dynamic Service Composition.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009
2008
Semantic model-driven development of web service architectures.
Int. J. Web Eng. Technol., 2008
An Ontological Framework for Web Service Processes.
International Journal of Software Engineering and Knowledge Engineering, 2008
Personalised correction, feedback and guidance in an automated tutoring system for skills training.
IJKL, 2008
The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Business Model Driven Design of Service Architectures for Enterprise Applications Integration: A Pattern-based Approach.
Proceedings of the DCSOFT 2008, 2008
Pattern-Based Business-Driven Analysis and Design of Service Architectures.
Proceedings of the ICSOFT 2008, 2008
Service Architecture Design for E-Businesses: A Pattern-Based Approach.
Proceedings of the E-Commerce and Web Technologies, 9th International Conference, 2008
An Architecture for Autonomic Web Service Process Planning.
Proceedings of the Emerging Web Services Technology Volume III, 2008
A Service Architecture Solution for Mobile Enterprise Resources: A Case Study in the Banking Industry.
Proceedings of the Emerging Web Services Technology Volume III, 2008
Towards Reuse of Business Processes Patterns to Design Services.
Proceedings of the Emerging Web Services Technology Volume III, 2008
2007
An ontology for software component matching.
STTT, 2007
Semantic model-driven architecting of service-based software systems.
Information & Software Technology, 2007
Developing Domain Ontologies for Course Content.
Educational Technology & Society, 2007
Interactive Correction and Recommendation in the Learning of Computer Languages.
ERCIM News, 2007
Business Process-Driven Service Architecture.
ERCIM News, 2007
An Information Architecture for Validating Courseware.
Proceedings of the First International Workshop on Learning Object Discovery & Exchange, 2007
Pedagogical Validation of Courseware.
Proceedings of the Creating New Learning Experiences on a Global Scale, 2007
An Ontology-Based Approach for Modelling Architectural Styles.
Proceedings of the Software Architecture, First European Conference, 2007
Model-Driven Performance Evaluation for Service Engineering.
Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007
2006
Behaviour Analysis for Web-Mediated Active Learning.
IJWLTT, 2006
A Semantical Framework for the Orchestration and Choreography of Web Services.
Electr. Notes Theor. Comput. Sci., 2006
Model Driven Design of Distribution Patterns forWeb Service Compositions.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006
Model driven distribution pattern design for dynamic web service compositions.
Proceedings of the 6th International Conference on Web Engineering, 2006
The Generation of E-Learning Exercise Problems from Subject Ontologies.
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006
Layered Patterns in Modelling and Transformation of Service-Based Software Architectures.
Proceedings of the Software Architecture, Third European Workshop, 2006
Model Driven Design of Distribution Patterns for Web Service Compositions.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006
Semantic Modelling of Learning Objects and Instruction.
Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006
Ontology-Based Composition and Transformation for Model-Driven Service Architecture.
Proceedings of the Model Driven Architecture, 2006
2005
A conceptual architecture for semantic web services development and deployment.
IJWGS, 2005
Automated tutoring for a database skills training environment.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005
Ontology Transformation and Reasoning for Model-Driven Architecture.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005
Layered Ontological Modelling for Web Service-Oriented Model-Driven Architecture.
Proceedings of the Model Driven Architecture, 2005
2004
Adaptive development and maintenance of user-centric software systems.
Information & Software Technology, 2004
A web services architecture for learning object discovery and assembly.
Proceedings of the 13th international conference on World Wide Web, 2004
Supporting active database learning and training through interactive multimedia.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004
An Ontology-Based Framework for Semantic Grid Service Composition.
Proceedings of the Grid Services Engineering and Management, 2004
Organising the Knowledge Space for Software Components.
Proceedings of the Classification, 2004
A Conceptual Framework for Semantic Web Services Development and Deployment.
Proceedings of the Web Services, European Conference, 2004
2003
Web Components and the Semantic Web.
Electr. Notes Theor. Comput. Sci., 2003
Managing evolution and change in web-based teaching and learning environments.
Computers & Education, 2003
Ontology support for web service processes.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Security in the Web Services Framework.
Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003
An Evaluation Technique for Content Interaction in Web-Based Teaching and Learning Environments.
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003
Tool-Mediated Cognitive Apprenticeship Approach for a Computer Engineering Course.
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003
An Ontology for Software Component Matching.
Proceedings of the Fundamental Approaches to Software Engineering, 2003
2002
Towards a Component Composition and Interaction Architecture for the Web.
Electr. Notes Theor. Comput. Sci., 2002
A Formal Composition and Interaction Model for a Web Component Platform.
Electr. Notes Theor. Comput. Sci., 2002
Interference Analysis for Dependable Systems Using Refinement and Abstraction.
Proceedings of the FME 2002: Formal Methods, 2002
2001
An Investigation of XML-technologies for Infrastructures for Web-based Virtual Courses.
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001
XML-Technologies for the Support of Active Learning in Interoperable and Open Web-based Learning Environments.
Proceedings of WebNet 2001, 2001
Observation and Abstract Behaviour in Specification and Implementation of State-based Systems.
Proceedings of the 5th Irish Workshop on Formal Methods, 2001
Interactivity and Integration in Virtual Courses.
Proceedings of the Proceedings IEEE International Conference on Advanced Learning Technology: Issues, 2001
Components, Contracts, and Connectors for the Unified Modelling Language UML.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
2000
A Superposition Operator for the Refinement of Algebraic Models.
Electr. Notes Theor. Comput. Sci., 2000
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems.
Proceedings of the 4th Irish Workshop on Formal Methods, 2000
Modal Logics for Reasoning about Object-based Component Composition.
Proceedings of the 4th Irish Workshop on Formal Methods, 2000
1999
Modular Composition of Language Features through Extensions of Semantic Language Models.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999
1998
Facilitating Modular Property-Preserving Extensions of Programming Languages.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998
1997
A Generic Model for State-based Agent Systems.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997
1996
Grundlagen für die formale Spezifikation modularer zustandsbasierter Systeme.
PhD thesis, 1996
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.
Proceedings of the Coordination Languages and Models, First International Conference, 1996
1995
Data Model Evolution as Basis of Business Process Management.
Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995
1993
Prototyping mit Mengen - der PROSET - Ansatz.
Proceedings of the Requirements Engineering '93: Prototyping, 1993
1992
ProSet-a language for prototyping with sets.
Proceedings of the Third International Workshop on Rapid System Prototyping, 1992