Konferenzbeitrag (910)

761.
Konferenzbeitrag
Kang, J.; Hur, C.-K.; Lahav, O.; Vafeiadis, V.; Dreyer, D.: A Promising Semantics for Relaxed-Memory Concurrency. In: POPL'17, S. 175 - 189 (Hg. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 15. Januar 2017 - 21. Januar 2017. ACM, New York, NY (2017)
762.
Konferenzbeitrag
Krebbers, R.; Jung, R.; Bizjak, A.; Jourdan, J.-H.; Dreyer, D.; Birkedal, L.: The Essence of Higher-Order Concurrent Separation Logic. In: Programming Languages and Systems, S. 696 - 723 (Hg. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)
763.
Konferenzbeitrag
Kulshrestha, J.; Eslami, M.; Messias, J.; Zafar, M. B.; Ghosh, S.; Gummadi, K.; Karahalios, K. G.: Quantifying Search Bias: Investigating Sources of Bias for Political Searches in Social Media. In: CSCW '17, S. 417 - 432. 20th ACM Conference on Computer-Supported Cooperative Work & Social Computing, Portland, OR, USA, 25. Februar 2017 - 01. März 2017. ACM, New York, NY (2017)
764.
Konferenzbeitrag
Lahav, O.; Vafeiadis, V.; Kang, J.; Hur, C.-K.; Dreyer, D.: Repairing Sequential Consistency in C/C++11. In: PLDI'17, S. 618 - 632. 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, 18. Juni 2017 - 23. Juni 2017. ACM, New York, NY (2017)
765.
Konferenzbeitrag
Lavaei, A.; Soudjani, S.; Majumdar, R.; Zamani, M.: Compositional Abstractions of Interconnected Discrete-time Stochastic Control Systems. In: IEEE 56th Annual Conference on Decision and Control, S. 3551 - 3556. IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, 12. Dezember 2017 - 15. Dezember 2017. IEEE, Piscataway, NJ (2017)
766.
Konferenzbeitrag
Le Blond, S.; Gilbert, C.; Upadhyay, U.; Gomez Rodriguez, M.; Choffnes, D.: A Broad View of the Ecosystem of Socially Engineered Exploit Documents. In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security. 24th Annual Symposium on Network and Distributed System Security, San Diego, CA, USA, 26. Februar 2017 - 01. März 2017. Internet Society, Reston, VA (2017)
767.
Konferenzbeitrag
Lengál, O.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 499 - 517 (Hg. Legay, A.; Margaria, T.). 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 22. April 2017 - 29. April 2017. Springer, Berlin (2017)
768.
Konferenzbeitrag
Mallik, K.; Soudjani, S.; Schmuck, A.-K.; Majumdar, R.: Compositional Construction of Finite State Abstractions for Stochastic Control Systems. In: IEEE 56th Annual Conference on Decision and Control, S. 550 - 557. IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, 12. Dezember 2017 - 15. Dezember 2017. IEEE, Piscataway, NJ (2017)
769.
Konferenzbeitrag
Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Modeling the Dynamics of Learning Activity on the Web. In: WWW'17, S. 1421 - 1430. 26th International Conference on World Wide Web , Perth, Australia, 03. April 2017 - 07. April 2017. ACM, New York, NY (2017)
770.
Konferenzbeitrag
Mehta, A.; Elnikety, E.; Harvey, K.; Garg, D.; Druschel, P.: Qapla: Policy Compliance for Database-backed Systems. In: Proceedings of the 26th USENIX Security Symposium, S. 1463 - 1479. 26th USENIX Security Symposium , Vancouver, Canada, 16. August 2017 - 18. August 2017. USENIX (2017)
771.
Konferenzbeitrag
Nasri, M.; Nelissen, G.: Increasing Fixed-Priority Schedulability using Non-periodic Load Shapers. In: Proceedings of the 8th Real-Time Scheduling Open Problems Seminar, S. 17 - 18 (Hg. Nelis, V.; Chantem, T.). 8th Real-Time Scheduling Open Problems Seminar, Dubrovnik, Croatia, 27. Juni 2017. CISTER, ISEP (2017)
772.
Konferenzbeitrag
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)
773.
Konferenzbeitrag
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)
774.
Konferenzbeitrag
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)
775.
Konferenzbeitrag
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)
776.
Konferenzbeitrag
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)
777.
Konferenzbeitrag
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)
778.
Konferenzbeitrag
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)
779.
Konferenzbeitrag
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)
780.
Konferenzbeitrag
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)
Zur Redakteursansicht