Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Henning Sudbrock
Assumptions and Guarantees for Compositional Noninterference
Related publications
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Noninterference Model for Nondeterministic Systems
Ruan Jian Xue Bao/Journal of Software
Software
Simple Noninterference From Parametricity
Proceedings of the ACM on Programming Languages
Component-Oriented Verification of Noninterference
Journal of Systems Architecture
Hardware
Architecture
Software
Probabilistic Performance Guarantees for Distributed Self-Assembly
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Computable Performance Guarantees for Compressed Sensing Matrices
Eurasip Journal on Advances in Signal Processing
Hardware
Electronic Engineering
Signal Processing
Electrical
Architecture
Improved Competitive Guarantees for QoS Buffering
Algorithmica
Applied Mathematics
Computer Science Applications
Computer Science
Knowledge and Assumptions
Philosophical Studies
Philosophy
