Author:Sibylle Schupp

Publications
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint 425
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage Seyed Hossein Haeri and Sibylle Schupp In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Expression Compatibility Problem Seyed Hossein Haeri and Sibylle Schupp In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science

Keyphrases

Architecture, component-based software engineering², Expression Compatibility Problem, expression problem², Feature-Oriented Programming, formal methods, formal semantics, General Data Protection Regulation, Lightweight Family Polymorphism, Privacy by Design, Privacy constraint, privacy policy, privacy property, privacy safe, safe architecture, type system, type systems, type theory.