Context-aware adaptation for group communication support applications with dynamic architecture

Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

Contract Aware Components, 10 years after

Contracting the Facebook API

Control software analysis, Part I Open-loop properties

Control software analysis, part II: Closed-loop analysis

Correctness is not enough

Course on System Design (structural approach)

CPBVP: A Constraint-Programming Framework for Bounded Program Verification

CRM 2.0 within E-Health Systems: Towards Achieving Health Literacy & Customer Satisfaction

Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography

Data Access - Experiences Implementing an Object Oriented Library on Various Platforms

DD-EbA: An algorithm for determining the number of neighbors in cost estimation by analogy using distance distributions

Debugging Backwards in Time

Debugging Tool for Localizing Faulty Processes in Message Passing Programs

Decentralised LTL Monitoring

Declarative program development in Prolog with GUPU

Deconcentration of Attention: Addressing the Complexity of Software Engineering

Deductive Object Programming

Defect Prevention Approaches In Medium Scale It Enterprises