Cs-Se
Tackling the testing migration problem with SAT-Solvers
Conformance Verification of Normative Specifications using C-O Diagrams
Multi-Dimensional Customization Modelling Based On Metagraph For Saas Multi-Tenant Applications
Detection of Configuration Vulnerabilities in Distributed (Web) Environments
Managing Distributed Software Development in the Virtual Astronomical Observatory
WorkingWiki: a MediaWiki-based platform for collaborative research
Proving linearisability via coarse-grained abstraction
Increasing the failure recovery probability of atomic replacement approaches
Structural Analysis: Shape Information via Points-To Computation
Towards the Formal Specification and Verification of Maple Programs
In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments
Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling
Chunks and Tasks: a programming model for parallelization of dynamic algorithms
Recognition of Logically Related Regions Based Heap Abstraction
A Programmer-Centric Approach to Program Verification in ATS
Predictive Software Measures based on Z Specifications - A Case Study
A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars
Structured Spreadsheet Modeling and Implementation
A Theoretical and Empirical Evaluation of Software Component Search Engines, Semantic Search Engines and Google Search Engine in the Context of COTS-Based Development
DolNet: A Division Of Labour Based Distributed Object Oriented Software Process Model
Interactive Ant Colony Optimisation (iACO) for Early Lifecycle Software Design
Dead code elimination based pointer analysis for multithreaded programs
