Conference Paper (68)
61.
Conference Paper
Quantifying Search Bias: Investigating Sources of Bias for Political Searches in Social Media. In: CSCW '17, pp. 417 - 432. 20th ACM Conference on Computer-Supported Cooperative Work & Social Computing, Portland, OR, USA, February 25, 2017 - March 01, 2017. ACM, New York, NY (2017)
62.
Conference Paper
Repairing Sequential Consistency in C/C++11. In: PLDI'17, pp. 618 - 632. 38th ACM SIGPLAN Conference on Programming Language
Design and Implementation, Barcelona, Spain, June 18, 2017 - June 23, 2017. ACM, New York, NY (2017)
63.
Conference Paper
Compositional Abstractions of Interconnected Discrete-time Stochastic Control Systems. In: IEEE 56th Annual Conference on Decision and Control, pp. 3551 - 3556. IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, December 12, 2017 - December 15, 2017. IEEE, Piscataway, NJ (2017)
64.
Conference Paper
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, February 26, 2017 - March 01, 2017. Internet Society, Reston, VA (2017)
65.
Conference Paper
Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 499 - 517 (Eds. Legay, A.; Margaria, T.). 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, April 22, 2017 - April 29, 2017. Springer, Berlin (2017)
66.
Conference Paper
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. In: IEEE 56th Annual Conference on Decision and Control, pp. 550 - 557. IEEE 56th Annual Conference on Decision and Control, Melbourne, Australia, December 12, 2017 - December 15, 2017. IEEE, Piscataway, NJ (2017)
67.
Conference Paper
Modeling the Dynamics of Learning Activity on the Web. In: WWW'17, pp. 1421 - 1430. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)
68.
Conference Paper
Qapla: Policy Compliance for Database-backed Systems. In: Proceedings of the 26th USENIX Security Symposium, pp. 1463 - 1479. 26th USENIX Security Symposium , Vancouver, Canada, August 16, 2017 - August 18, 2017. USENIX (2017)
69.
Conference Paper
Increasing Fixed-Priority Schedulability using Non-periodic Load Shapers. In: Proceedings of the 8th Real-Time Scheduling Open Problems Seminar, pp. 17 - 18 (Eds. Nelis, V.; Chantem, T.). 8th Real-Time Scheduling Open Problems Seminar, Dubrovnik, Croatia, June 27, 2017. CISTER, ISEP (2017)
70.
Conference Paper
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, pp. 11 - 13 (Eds. Nelis, V.; Chantem, T.). 8th Real-Time Scheduling Open Problems Seminar, Dubrovnik, Croatia, June 27, 2017. CISTER, ISEP (2017)
71.
Conference Paper
An Exact and Sustainable Analysis of Non-preemptive Scheduling. In: RTSS 2017, pp. 12 - 23. IEEE Real-Time Systems Symposium , Paris, France, December 05, 2017 - December 08, 2017. IEEE, Piscataway, NJ (2017)
72.
Conference Paper
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, pp. 75 - 86. 23rd Real-Time and Embedded Technology and Applications Symposium , Pittsburgh, PA, USA, April 18, 2017 - April 20, 2017. IEEE, Piscataway, NJ (2017)
73.
Conference Paper
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, pp. 8 - 15 (Eds. Mubeen, S.; Nelissen, G.). 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Porto, Portugal, November 29, 2016. ACM, New York, NY (2017)
74.
Conference Paper
LICS 2017 Foreword. In: 32nd Annual ACM-IEEE Symposium on Logic in Computer Science, pp. II - IV. 32nd Annual ACM-IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, June 20, 2017 - June 23, 2017. IEEE, Piscataway, NJ (2017)
75.
Conference Paper
On the Polytope Escape Problem for Continuous Linear Dynamical Systems. In: HSCC'17, pp. 11 - 17. 20th International Conference on Hybrid Systems: Computation and Control , Pittsburgh, PA, USA, April 18, 2017 - April 20, 2017. ACM, New York, NY (2017)
76.
Conference Paper
TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference (Outstanding Paper). In: IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, pp. 3 - 12. 23rd Real-Time and Embedded Technology and Applications Symposium , Pittsburgh, PA, USA, April 18, 2017 - April 20, 2017. IEEE, Piscataway, NJ (2017)
77.
Conference Paper
Secure Compilation and Hyperproperty Preservation. In: IEEE 30th Computer Security Foundations Symposium, pp. 392 - 404. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, August 21, 2017 - August 25, 2017. IEEE, Piscataway, NJ (2017)
78.
Conference Paper
Promising Compilation to ARMv8 POP. In: 29th European Conference on Object-Oriented Programming, 22, pp. 1 - 28 (Ed. Müller, P.). 31st European Conference on Object-Oriented Programming, Barcelona, Spain, June 18, 2017 - June 23, 2017. Schloss Dagstuhl, Wadern (2017)
79.
Conference Paper
Predicting the Success of Online Petitions Leveraging Multidimensional Time-Series. In: WWW'17, pp. 755 - 764. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)
80.
Conference Paper
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, November 16, 2017 - November 19, 2017. ACM, New York, NY (2017)