A Summer Computing Camp Using ChainReaction and jABC

article

A Web-Based Runtime-Reconfigurable Role Management Service

A constraint-based variability modeling framework

A constraint-oriented Service Creation Environment

A pragmatic approach to software synthesis

article published in 1994

A pragmatic approach to software synthesis

ALEX: Mixed-Mode Learning of Web Applications at Ease

An Approach to Discovery with miAamics and jABC

article published in 2007

Analyzing second-order effects between optimizations for system-level test-based model generation

article

Assessing workflow languages for composition of real-time communication services

article

Assuring property conformance of code generators via model checking

Automata Learning with On-the-Fly Direct Hypothesis Construction

article by Maik Merten et al published 2012 in Communications in Computer and Information Science

Automated Learning Setups in Automata Learning

Automated continuous quality assurance

Automated regression testing of CTI-systems

Bio-jETI: a framework for semantics-based service composition

scientific article

Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes

scientific article

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Building Code Generators with Genesys: A Tutorial Introduction

Business Process Modeling in the jABC

Community Usage of the Online Conference Service

Comparative Analysis of Tools for Automated Software Re-engineering Purposes

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows

Comparison: Handling Preferences with DIANE and miAamics

scholarly article

Completing and Adapting Models of Biological Processes

Comprehensible people recognition using the Kinect's face and skeleton model

Constraint-Guided Workflow Composition Based on the EDAM Ontology ⬇️

article

Constraint-oriented Variability Modeling

Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts

article

Continuous Engineering of Embedded systems

Continuous Model-Driven Engineering

article

Continuous Real Time Models in Practice

Customer-Oriented Business Process Management: Vision and Obstacles

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems

Design for Verifiability: The OCS Case Study

Dynamic Testing Via Automata Learning

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

Dynamic testing via automata learning

Editorial

Editorial

Efficient test-based model generation for legacy reactive systems

article

Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations

article published in 2009

Evolution support in heterogeneous service-oriented landscapes

Extracting Component-Oriented Behaviour for Self-Healing Enabling

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service

Flexible and Reliable Process Model Properties: An Integrated Approach

article

Foreword

Formal Methods in the Era of Service-Oriented Design

Formalizing a Methodology for Design- and Runtime Self-Healing

From Bio-jETI Process Models to Native Code

From the How to the What

Fully automatic verification and error detection for parameterized iterative sequential circuits

GeneFisher-P: variations of GeneFisher as processes in Bio-jETI.

scientific article

Genesys: service-oriented construction of property conform code generators

Graphs in MetaFrame: The unifying power of polymorphism

Guest Editor’s introduction

High performance solar cells made from 100% UMG silicon obtained via the PHOTOSIL process

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

Hybrid test of web applications with webtest

IT Simply Works: Simplicity and Embedded Systems Design

Inflammation in Cachexia.

scientific article published on 7 October 2015

Integrating tools in the ETI platform

Interacting with ETI: a user session

Introduction to the special section on fundamental approaches to software engineering

Introductory paper

article

Introductory paper: scalability aspects of validation

article

Knowledge Management for Inclusive System Evolution

Knowledge-based relevance filtering for efficient system-level test-based model generation

LTL Guided Planning: Revisiting Automatic Tool Composition in ETI

article

LearnLib: a framework for extrapolating behavioral models

Lessons Learned

scholarly article; Communications in Computer and Information Science

MaTRICS: A service-based management tool for remote intelligent configuration of systems

MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems

Maintenance, or the 3rd dimension of eXtreme model-driven design

Message from the CELT Organizing Committee

Messge from the ECPE Organizing Committee

Meta-Level Reuse for Mastering Domain Specialization

Middleware

scholarly article

Model Driven Design of Reliable Robot Control Programs Using the jABC

Model-Driven Self-Reconfiguration for Highly Available SOAs

article

Modeling and Execution of Scientific Workflows with the jABC Framework

Modeling dependable systems: what can model driven development contribute and what likely not?

article

Mosel: A flexible toolset for monadic second-order logic

article by Peter Kelb et al published 1997 in Lecture Notes in Computer Science

Next Generation LearnLib

On the Use of XMDD in Software Development Education

article

Policy expression and checking in XACML, WS-Policies, and the jABC

Practical Aspects of Active Automata Learning

Preface

Preface

Preface by the section editor

Processes and Data Integration in the Networked Healthcare

article

Program verification and testing technologies

Property-driven benchmark generation: synthesizing programs of realistic structure

Rapid service creation using eXtreme Model Driven Design for real-time communications services on top of Next Generation Networks

Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services

SEcube™: An open-source security platform in a single SoC

Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination

Scientific Workflows and XMDD

Scientific Workflows with XMDD: A Way to Use Process Modeling in Computational Science Education

scholarly article by Anna-Lena Lamprecht & Tiziana Margaria published 2015 in Procedia Computer Science

Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions

article

Scientific workflows with the jABC framework

Second-Order Semantic Web

scholarly article

Semantics-Based Composition of EMBOSS Services with Bio-jETI ⬇️

article

Semantics-based composition of EMBOSS services ⬇️

scientific article published on 07 March 2011

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach

Service Engineering: Linking Business and IT

Service Engineering: Linking Business and IT

Service Is in the Eyes of the Beholder

Service-Orientation: Conquering Complexity with XMDD

Service-Oriented Design: The Roots

Service-Oriented Mediation with jETI/jABC: Verification and Export

Service-oriented Access to Next Generation Networks—from Service Creation to Execution

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

article

Simplicity as a Driver for Agile Innovation

article

Simplicity in IT: The Power of Less

article by Tiziana Margaria & Mike Hinchey published November 2013 in Computer

Simplicity principles for plug-in development: The jABC approach

article

Simplicity-first model-based plug-in development

article

Software as a High-Tech Weapon in Ireland's Strategy

scholarly article published July 2015

Software engineering and formal methods

scholarly article by Mike Hinchey et al published 1 September 2008 in Communications of the ACM

Special Section on “Leveraging Formal Methods”

Special Session on "Simplification through Change of Perspective"

Synthesis from a Practical Perspective

Synthesis-Based Loose Programming

Synthesizing Semantic Web Service Compositions with jMosel and Golog

article

System level testing of virtual switch (re-)configuration over IP

Systolic array description in F2

Tailored generation of concurrent benchmarks

Taming Interface Specifications

Test your Strategy: Graphical Construction of Strategies for Connect-Four

article published in 2009

The Electronic Tool Integration Platform (ETI) and the Petri Net Technology

The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools

The Electronic Tool Integration platform: concepts and design

The FMICS-jETI Platform: Status and Perspectives

The LearnLib in FMICS-jETI

The META-Frame: An environment for flexible tool management

The METAFrame'95 environment

The OTTER environment for resolution-based proof of hardware correctness

The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level

The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning

The XMDD Approach to the Semantic Web Services Challenge

Tool-supported enhancement of diagnosis in model-driven verification

User-level synthesis

Verified software: theories, tools and experiments

ViDoC - Visual Design of Optimizing Compilers

scholarly article

Web services-based tool-integration in the ETI platform

Which IT Governance for Distributed Intelligent Cyber-Physical Systems?

scholarly article published July 2015

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)