Krahn, R.; Trach, B.; Vahldiek-Oberwagner, A.; Knauth, T.; Bhatotia, P.; Fetzer, C.: Pesos: Policy Enhanced Secure Object Store. In: EuroSys'18, 25. Thirteenth EuroSys Conference, Porto, Portugal , 23. April 2018 - 26. April 2018. ACM, New York, NY (2018)

Kusmierczyk, T.; Gomez Rodriguez, M.: On the Causal Effect of Badges. In: Proceedings of The World Wide Web Conference, S. 659 - 668 (Hg. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, 23. April 2018 - 27. April 2018. ACM, New York, NY (2018)

Las-Casas, P.; Mace, J.; Guedes, D.; Fonseca, R.: Weighted Sampling of Execution Traces: Capturing More Needles and Less Hay. In: SoCC'18, S. 326 - 332. ACM Symposium on Cloud Computing, Carlsbad, CA, USA, 11. Oktober 2018 - 13. Oktober 2018. ACM, New York, NY (2018)

Lentz, M.; Sen, R.; Druschel, P.; Bhattacharjee, B.: SeCloak: ARM Trustzone-based Mobile Peripheral Control. In: MobiSys'18, S. 1 - 13. 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, 10. Juni 2018 - 15. Juni 2018. ACM, New York, NY (2018)

Lin, A. W.; Majumdar, R.: Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. In: Automated Technology for Verification and Analysis, S. 352 - 369 (Hg. Lahiri, S. K.; Wang, C.). 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA, 07. Oktober 2018 - 10. Oktober 2018. Springer, Berlin (2018)

Mace, J.; Fonseca, R.: Universal Context Propagation for Distributed System Instrumentation. In: EuroSys'18, 8, S. 1 - 18. Thirteenth EuroSys Conference, Porto, Portugal, 23. April 2018 - 26. April 2018. ACM, New York, NY (2018)

Majumdar, R.: Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper). In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 1, S. 1 - 1 (Hg. Ganguly, S.; Pandya, P.). 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, 11. Dezember 2018 - 13. Dezember 2018. Schloss Dagstuhl, Wadern (2018)

Mathur, A. S.; Ozkan, B. K.; Majumdar, R.: iDeA: An Immersive Debugger for Actors. In: Erlang'18, S. 1 - 12 (Hg. Chechina, N.; Francalanza, A.). 17th ACM SIGPLAN International Workshop on Erlang, St. Louis, MO, USA, 20. September 2018 - 29. September 2018. ACM, New York, NY (2018)

Meyer, R.; Muskalla, S.; Zetzsche, G.: Bounded Context Switching for Valence Systems. In: 29th International Conference on Concurrency Theory, 12, S. 1 - 18 (Hg. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, 04. September 2018 - 07. September 2018. Schloss Dagstuhl, Wadern (2018)

Munz, R.; Eigner, F.; Maffei, M.; Francis, P.; Garg, D.: UniTraX: Protecting Data Privacy with Discoverable Biases. In: Principles of Security and Trust, S. 278 - 299 (Hg. Bauer, L.; Küsters, R.). 7th Conference on Principles of Security and Trust, Thessaloniki, Greece, 16. April 2018 - 17. April 2018. Springer, Berlin (2018)

Nasri, M.; Nelissen, G.; Brandenburg, B.: A Response-Time Analysis for Non-Preemptive Job Sets under Global Scheduling. In: 30th Euromicro Conference on Real-Time Systems, 9, S. 1 - 23 (Hg. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, 03. Juli 2018 - 06. Juli 2018. Schloss Dagstuhl, Wadern (2018)

Nasri, M.; Davis, R. I.; Brandenburg, B.: FIFO with Offsets: High Schedulability with Low Overheads. In: 24th IEEE Real-Time and Embedded Technology and Applications Symposium, S. 271 - 282. 24th IEEE Real-Time and Embedded Technology and Applications Symposium , Porto, Portugal, 11. April 2018 - 13. April 2018. IEEE, Piscataway, NJ (2018)

Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. In: Computer Science Logic 2018, 34, S. 1 - 17 (Hg. Ghica, D.; Jung, A.). 27th Annual EACSL Conference Computer Science Logic , Birmingham, UK, 04. September 2018 - 08. September 2018. Schloss Dagstuhl, Wadern (2018)

Neider, D.; Gavran, I.: Learning Linear Temporal Properties. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, S. 1 - 10 (Hg. Bjørner, N.; Gurfinke, A.). 18th Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, 30. Oktober 2018 - 02. November 2018. IEEE, Piscataway, NJ (2018)

Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 232 - 250 (Hg. Beyer, D.; Huisman, M.). 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)

Pédrot, P.-M.; Tabareau, N.: Failure is Not an Option. In: Programming Languages and Systems, S. 245 - 271 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)

Phothilimthana, P. M.; Liu, M.; Kaufmann, A.; Peter, S.; Bodik, R.; Anderson, T.: Floem: A Programming System for NIC-Accelerated Network Applications. In: Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, S. 663 - 679. 13th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, USA, 08. Oktober 2018 - 10. Oktober 2018. USENIX (2018)

Raad, A.; Lahav, O.; Vafeiadis, V.: On Parallel Snapshot Isolation and Release/Acquire Consistency. In: Programming Languages and Systems, S. 940 - 967 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)

Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering With Peers: Submodular Optimization With Peer-Prediction Constraints. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16678, S. 1603 - 1610. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 02. Februar 2018 - 07. Februar 2018. AAAI, Palo Alto, CA (2018)

Radhakrishna, A.; Lewchenko, N. V.; Meier, S.; Mover, S.; Sripada, K. C.; Zufferey, D.; Chang, B.-Y. E.; Ćerný, P.: DroidStar: Callback Typestates for Android Classes. In: 2018 ACM/IEEE 40th International Conference on Software Engineering, S. 1160 - 1170. 40th International Conference on Software Engineering , Gothenburg, Sweden, 27. Mai 2018 - 03. Juni 2018. ACM, New York, NY (2018)