Florian Geissler

Computer Networks and Communications · 2018

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Computer Networks and Communications — 28 citations into it
• Artificial Intelligence — 25 citations into it
• Computational Theory and Mathematics — 11 citations into it
• Signal Processing — 9 citations into it
• Hardware and Architecture — 7 citations into it

Whom Florian Geissler trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Alexandre Donzé
2. Fred B. Schneider

Papers from Florian Geissler's perspective

Ordered by how strongly the researchers Florian Geissler trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Vision of Autonomic Computing (Computer)
2. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
3. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
4. Robust Satisfaction of Temporal Logic over Real-Valued Signals (International Conference on Formal Modeling and Analysis of Timed Systems)
5. Basic concepts and taxonomy of dependable and secure computing
6. The internet of things: a survey (Information Systems Frontiers)
7. On the Accuracy of Spectrum-based Fault Localization (Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007))
8. Anomaly detection: A survey
9. Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks (IEEE Symposium on Security and Privacy)
10. Hyperproperties (IEEE Computer Security Foundations Symposium)

Their papers

• A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems (2018) — 112 citations