Nasri, M.; Grolleau, E.: On the Existence of a Cyclic Schedule for Non-Preemptive Periodic Tasks with Release Offset. In: Proceedings of the 8th Real-Time Scheduling Open Problems Seminar, S. 11 - 13 (Hg. Nelis, V.; Chantem, T.). 8th Real-Time Scheduling Open Problems Seminar, Dubrovnik, Croatia, 27. Juni 2017. CISTER, ISEP (2017)

Nasri, M.; Brandenburg, B.: An Exact and Sustainable Analysis of Non-preemptive Scheduling. In: RTSS 2017, S. 12 - 23. IEEE Real-Time Systems Symposium , Paris, France, 05. Dezember 2017 - 08. Dezember 2017. IEEE, Piscataway, NJ (2017)

Nasri, M.; Brandenburg, B.: Offline Equivalence: A Non-preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems (Outstanding Paper). In: IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, S. 75 - 86. 23rd Real-Time and Embedded Technology and Applications Symposium , Pittsburgh, PA, USA, 18. April 2017 - 20. April 2017. IEEE, Piscataway, NJ (2017)

Nasri, M.: On Flexible and Robust Parameter Assignment for Periodic Real-Time Components. In: Special Issue on 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, S. 8 - 15 (Hg. Mubeen, S.; Nelissen, G.). 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Porto, Portugal, 29. November 2016. ACM, New York, NY (2017)

Ouaknine, J.: LICS 2017 Foreword. In: 32nd Annual ACM-IEEE Symposium on Logic in Computer Science, S. II - IV. 32nd Annual ACM-IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20. Juni 2017 - 23. Juni 2017. IEEE, Piscataway, NJ (2017)

Ouaknine, J.; Sousa-Pinto, J.; Worrell, J.: On the Polytope Escape Problem for Continuous Linear Dynamical Systems. In: HSCC'17, S. 11 - 17. 20th International Conference on Hybrid Systems: Computation and Control , Pittsburgh, PA, USA, 18. April 2017 - 20. April 2017. ACM, New York, NY (2017)

Patel, P.; Vanga, M.; Brandenburg, B.: TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference (Outstanding Paper). In: IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, S. 3 - 12. 23rd Real-Time and Embedded Technology and Applications Symposium , Pittsburgh, PA, USA, 18. April 2017 - 20. April 2017. IEEE, Piscataway, NJ (2017)

Patrignani, M.; Garg, D.: Secure Compilation and Hyperproperty Preservation. In: IEEE 30th Computer Security Foundations Symposium, S. 392 - 404. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, 21. August 2017 - 25. August 2017. IEEE, Piscataway, NJ (2017)

Podkopaev, A.; Lahav, O.; Vafeiadis, V.: Promising Compilation to ARMv8 POP. In: 29th European Conference on Object-Oriented Programming, 22, S. 1 - 28 (Hg. Müller, P.). 31st European Conference on Object-Oriented Programming, Barcelona, Spain, 18. Juni 2017 - 23. Juni 2017. Schloss Dagstuhl, Wadern (2017)

Proskurnia, J.; Grabowicz, P.; Kobayashi, R.; Castillo, C.; Cudré-Mauroux, P.; Aberer, K.: Predicting the Success of Online Petitions Leveraging Multidimensional Time-Series. In: WWW'17, S. 755 - 764. 26th International Conference on World Wide Web , Perth, Australia, 03. April 2017 - 07. April 2017. ACM, New York, NY (2017)

Singh, S.; Nanda, V.; Sen, R.; Sengupta, S.; Kumaraguru, P.; Gummadi, K.: Leveraging Facebook's Free Basics Engine for Web Service Deployment in Developing Regions. In: ICTD'17, 7. Ninth International Conference on Information and Communication Technologies and Development , Lahore, Pakistan, 16. November 2017 - 19. November 2017. ACM, New York, NY (2017)

Singh, S.; Nanda, V.; Sen, R.; Ahmad, S.; Sengupta, S.; Phokeer, A.; Farooq, Z. A.; Khan, T. A.; Kumaragaguru, P.; Qazi, I. A. et al.; Choffnes, D.; Gummadi, K.: An Empirical Analysis of Facebook's Free Basics. In: SIGMETRICS'17, S. 37 - 38. ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, IL, USA, 05. Juni 2017 - 09. Juni 2017. ACM, New York, NY (2017)

Soudjani, S.; Majumdar, R.: Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In: HSCC'17, S. 45 - 54. 20th International Conference on Hybrid Systems: Computation and Control , Pittsburgh, PA, USA, 18. April 2017 - 20. April 2017. ACM, New York, NY (2017)

Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In: Quantitative Evaluation of Systems, S. 351 - 367 (Hg. Bertrand, N.; Bortolussi, L.). 14th International Conference on Quantitative Evaluation of Systems, Berlin, Germany, 05. September 2017 - 07. September 2017. Springer, Berlin (2017)

Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. In: Programming Languages and Systems, S. 909 - 936 (Hg. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)

Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. In: WSDM'17, S. 61 - 70. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, 06. Februar 2017 - 10. Februar 2017. ACM, New York, NY (2017)

Vafeiadis, V.: Program Verification Under Weak Memory Consistency Using Separation Logic. In: Computer Aided Verification, S. 30 - 46 (Hg. Majumdar, R.). 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, 24. Juli 2017 - 28. Juli 2017. Springer, Berlin (2017)

Vanga, M.; Bastoni, A.; Theiling, H.; Brandenburg, B.: Supporting Low-Latency, Low-Criticality Tasks in a Certified Mixed-Criticality OS. In: Proceedings of the 25th International Conference on Real-Time Networks and Systems, S. 227 - 236. 25th International Conference on Real-Time Networks and Systems, Grenoble, France, 04. Oktober 2017 - 06. Oktober 2017. ACM, New York, NY (2017)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller, A.: From Parity to Preference-based Notions of Fairness in Classification. In: Fairness, Accountability, and Transparency in Machine Learning. 4th Workshop on Fairness, Accountability, and Transparency in Machine Learning , Halifax, Canada, 14. August 2017. (2017)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller,, A.: From Parity to Preference-based Notions of Fairness in Classification. In: Advances in Neural Information Processing Systems 30, S. 229 - 239 (Hg. Guyon, I.; Luxburg, U. V.; Bengio, S.; Wallach, H.; Fergus, R. et al.). 31st Annual Conference on Neural Information Processing Systems, Long Beach, CA, USA, 04. Dezember 2017 - 09. Dezember 2017. Curran Associates (2017)