• An Improved Approach for Class Test Ordering Optimization using Genetic Algorithms
• Using Runtime State Analysis to Decide Applicability of Dynamic Software Updates
• Game Bot Detection in Online Role Player Game through Behavioural Features
• A Fuzzy Logic-based Approach for Assessing the Quality of Business Process Models
• Towards Modeling the User-perceived Quality of Source Code using Static Analysis Metrics
• From Document Warehouse to Column-Oriented NoSQL Document Warehouse
• A Wise Object Framework for Distributed Intelligent Adaptive Systems
• Specification Approach using GR-TNCES: Application to an Automotive Transport System
• An Intentional Perspective on Partial Agile Adoption
• A New Approach for Traceability between UML Models
• Lightweight Multilingual Software Analysis
• A Novel Method for Improving Productivity in Software Administration and Maintenance
• Investigating Differences and Commonalities of Software Metric Tools
• Metamodeling Approach for Hazard Management Systems
• Agile Product Line Engineering: The AgiFPL Method
• A Selection of Development Processes, Tools, and Methods for Organizations that Share a Software Framework between Internal Projects
• KYPO Cyber Range: Design and Use Cases
• A Motivating Social Robot to Help Achieve Cognitive Consonance During STEM Learning
• Model-based Tool Support for the Development of Visual Editors - A Systematic Mapping Study
• REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems
• A Min-Max Tchebycheff Based Local Search Approach for MOMKP
• Big Data Analytic Approaches Classification
• Towards the Layered Evaluation of Interactive Adaptive Systems using ELECTRE TRI Method
• WebRTC Testing: State of the Art
• An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems
• EcoLogic: IoT Platform for Control of Carbon Emissions
• Improving Requirements Engineering through Goal-oriented Models and Tools: Feedback from a Large Industrial Deployment
• Inference-based Detection of Architectural Violations in MVC2
• Automated Unit Testing in Model-based Embedded Software Development
• Employing Linked Data in Building a Trace Links Taxonomy
• Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection
• Estimating the Survival Rate of Mutants
• SAND - A Dashboard for Analyzing Employees’ Social Actions over Google Hangouts
• What Techniques Can Be Used for GUI Risk-based Testing?
• The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems
• An Evaluation of Cloud-based Platforms for Web-Application Development
• Aligning Requirements-driven Software Processes with IT Governance
• New Verification Approach for Reconfigurable Distributed Systems
• Towards a Mechanism for Controlling Meta-model Extensibility
• An End-to-end Formal Verifier for Parallel Programs
• Towards a Middleware and Policy-based Approach to Compliance Management for Collaborative Organizations Interactions
• Analyzing and Validating Virtual Network Requests
• Multi-disciplinary Optimization with Standard Co-simulation Interfaces
• Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
• Designing Situation Awareness - Addressing the Needs of Medical Emergency Response
• Big Data Analytics: A Preliminary Study of Open Source Platforms
• The Ability of Cloud Computing Performance Benchmarks to Measure Dependability
• Model for Quality of Life Evaluation of Countries European Union with using Rule-based Systems
• Multi-agent Deep Reinforcement Learning for Task Allocation in Dynamic Environment
• Analyzing Functional Changes in BPMN Models using COSMIC
• Program Understanding Models: An Historical Overview and a Classification
• A Statistical Approach to Resolve Conflicting Requirements in Pervasive Computing Systems
• Feature Model Composition Assisted by Formal Concept Analysis
• An Architecture for Visualization of Industrial Automation Data
• A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
• Security Support in Continuous Deployment Pipeline
• Investigating the Prioritization of Unit Testing Effort using Software Metrics
• Knowledge Engineering for Business Process Modeling
• GenDomus: Interactive and Collaboration Mechanisms for Diagnosing Genetic Diseases
• Automatic Source Code Generation for Web-based Process-oriented Information Systems
• New Approach for Selecting Cluster Head based on LEACH Protocol for Wireless Sensor Networks
• Biologically Inspired Security as a Service for Service-Oriented Middleware
• GenesLove.Me: A Model-based Web-application for Direct-to-consumer Genetic Tests
• A Change Impact Analysis Model for Aspect Oriented Programs
• Wireless Sensor Network based System for the Prevention of Hospital Acquired Infections
• Search based GUI Test Generation in Java - Comparing Code-based and EFG-based Optimization Goals
• Entropy-based Framework Dealing with Error in Software Development Effort Estimation
• Network Reconfiguration for Wireless Sensor Networks using UML/MARTE Profile
• Introducing Context Awareness in Unmodified, Context-unaware Software
• Context-awareness Meta-model for Reconfigurable Control Systems
• A Tool for Visualizing the Execution of Programs and Stack Traces Especially Suited for Novice Programmers
• Web Migration - A Survey Considering the SME Perspective
• A Reusable Requirements Catalog for Internationalized and Sustainable Blood Donation Apps
• Does the Migration to GitHub Relate to Internal Software Quality?
• A Statement Level Bug Localization Technique using Statement Dependency Graph
• The GRADE Decision Canvas for Classification and Reflection on Architecture Decisions
• A Guidance System for Business Process Flexibility
• Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System
• Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements
• From Temporal Models to Property-based Testing
• Towards the Integration of Metaprogramming Services into Java
• Evaluating the Quality of the Documentation of Open Source Software
• Prodeling with the Action Language for Foundational UML
• Proactive Trust Assessment of Systems as Services
• Software Engineering and Genomics: The Two Sides of the Same Coin?
• A Survey on Domain Knowledge Representation with Frames
• Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model
• Tool Support to Automate Transformations between CIM and PIM Levels
• Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis
• Patterns System for the Design of Partial Reconfigurable Applications on FPGA
• Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model
• Maintaining Workspace Consistency in Filtered Editing of Dynamically Evolving Model-driven Software Product Lines
• Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems
• Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach
• Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities
• Towards Sharable Application Ontologies for the Automatic Generation of UIs for Dialog based Linked Data Applications
• Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
• On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution Approaches
• An Exploration of the ‘It’ in ‘It Depends’: Generative versus Interpretive Model-Driven Development
• Testing Environment Emulation - A Model-based Approach
• SMART REIFIER: Model-Driven Development of Service-Oriented SCADA Applications from Models of Sensor and Actuator Networks
• CloudTL: A New Transformation Language based on Big Data Tools and the Cloud
• Language Architecture: An Architecture Language for Model-Driven Engineering
• A Domain-aware Framework for Integrated Model-based System Analysis and Design
• The Power of a Model-Driven Approach to Handle Evolving Data Warehouse Requirements
• On using Sarkar Metrics to Evaluate the Modularity of Metamodels
• Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
• Security-aware Modeling and Analysis for HW/SW Partitioning
• Creating and Analyzing Source Code Repository Models - A Model-based Approach to Mining Software Repositories
• Creating User-specific Business Process Monitoring Dashboards with a Model-driven Approach
• A Domain-specific Language for Configurable Traceability Analysis
• Model Execution and Debugging - A Process to Leverage Existing Tools
• A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization
• Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
• Supporting Software Architecture Evolution by Functional Decomposition
• A Model-Driven fUML Execution Engine for C++
• The Integration of Agile Development and Model Driven Development - A Systematic Literature Review
• Ontology-Driven Conceptual Modeling for Early Warning Systems: Redesigning the Situation Modeling Language
• Axioms of Linguistic Architecture
• UI-GEAR: User Interface Generation prEview capable to Adapt in Real-time
• SEMF – The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering
• Prevent Collaboration Conflicts with Fine Grained Pessimistic Locking
• Model-to-Model based Approach for Software Component Allocation in Embedded Systems
• Automating the Customization of Model-Driven Software Engineering Environments
• Integrating Interface Modeling and Analysis in an Industrial Setting
• Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications
• Architecture Descriptions of Software Systems: Complex Connectors vs Realisability
• Model-driven Approach for Privacy Management in Business Ecosystem
• An Approach to Pruning Metamodels like UML
• Use of Architecture Description to Maintain Consistency in Agile Processes
• Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0
• On using Colors in UML Models
• Consistent Projectional Text Editors
• Measuring the Evolution of Meta-models - A Case Study of Modelica and UML Meta-models
• Towards Meta-adaptation of Dynamic Adaptive Systems with Models@Runtime
• Model-driven Engineering for the Configuration and Deployment of Data Processing Applications
• Security Requirements Verification for Existing Systems with Model Checking Technique and UML
• Towards Effective SysML Model Reuse
• ATL Transformation of Queueing Networks to Queueing Petri Nets
• World Wide Modeling Made Easy - A Simple, Lightweight Model Server
• Override Traditional Decision Support Systems - How Trajectory ELT Processes Modeling Improves Decision Making?
• Distributing Scenario-based Models: A Replicate-and-Project Approach
• XIS-Reverse: A Model-driven Reverse Engineering Approach for Legacy Information Systems
• Towards Including Layout Properties for Modeling Graphical User Interfaces - Generic Properties for GUI Metamodels
• Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality
• Complete Code Generation from UML State Machine
• An MDE Approach to Generate Schemas for Object-document Mappers
• Towards User-centric DSLs to Manage IoT Systems
• Model Driven Implementation of Security Management Process
• Process Development for the Liquid-sensing Enterprise
• Combining Techniques to Verify Service-based Components
• Concurrent History-based Usage Control Policies
• Validating TOSCA Application Topologies
• Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
• Practical Large-scale Model-Driven Development of Business Applications with an Executable UML
• A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making
• Towards Automated Generation of Regulation Rule Bases using MDA
• Objecting to the Revolution: Model-Based Engineering and the Industry - Root Causes Beyond Classical Research Topics
• Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco
• Explicit Control of Dataflow Graphs with MARTE/CCSL