HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 engineering2, Expression Compatibility Problem, expression problem2, 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.

Copyright © 2012-2025 easychair.org. All rights reserved.