Journal Article (21)
21.
Journal Article
1, 89 (2017)
Robust and Compositional Verification of Object Capability Patterns. Proceedings of the ACM on Programming Languages Book Chapter (2)
22.
Book Chapter
Timed Temporal Logics. In: Models, Algorithms, Logics and Tools, pp. 211 - 230 (Eds. Aceto, L.; Bacci, G.; Bacci, G.; Ingólfsdóttir, A.; Legay, A. et al.). Springer, Berlin (2017)
23.
Book Chapter
Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, pp. 35 - 50 (Eds. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)
Proceedings (3)
24.
Proceedings
7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, May 14, 2017 - May 19, 2017. Schloss Dagstuhl, Wadern (2017), 13 pp.
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 25.
Proceedings
CPP'17. 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 16, 2017 - January 17, 2017. ACM, New York, NY (2017), VIII, 235 pp.
26.
Proceedings
7). Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms", Dagstuhl, Germany, March 12, 2017 - March 17, 2017. Schloss Dagstuhl, Wadern (2017), 6 pp.
Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, Conference Paper (68)
27.
Conference Paper
The Polytope-Collision Problem. In: 44th International Colloquium on Automata, Languages, and Programming, 24, pp. 1 - 14 (Eds. Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.). 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, July 10, 2017 - July 14, 2017. Schloss Dagstuhl, Wadern (2017)
28.
Conference Paper
Synthesis of Problems for Shaded Area Geometry Reasoning. In: Artificial Intelligence in Education, pp. 455 - 458 (Eds. André, E.; Baker, R.). 18th International Conference on Artificial Intelligence in Education, Wuhan, China, June 28, 2017 - July 01, 2017. Springer, Berlin (2017)
29.
Conference Paper
Synthesis of Solutions for Shaded Area Geometry Problems. In: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, pp. 14 - 19. 30th International Florida Artificial Intelligence Research Society Conference, Marco Island, FL, USA, May 22, 2017 - May 24, 2017. AAAI (2017)
30.
Conference Paper
Infinite-Duration Bidding Games. In: 28th International Conference on Concurrency Theory, 21, pp. 1 - 18 (Eds. Meyer, R.; Nestmann, U.). 28th International Conference on Concurrency Theory, Berlin, Germany, September 05, 2017 - September 08, 2017. Schloss Dagstuhl, Wadern (2017)
31.
Conference Paper
Efficient and Flexible Discovery of PHP Application Vulnerabilities. In: 2nd IEEE European Symposium on Security and Privacy, pp. 334 - 349. 2nd IEEE European Symposium on Security and Privacy , Paris, France, April 26, 2017 - April 28, 2017. IEEE, Piscataway, NJ (2017)
32.
Conference Paper
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. In: 2nd IEEE European Symposium on Security and Privacy, pp. 76 - 91. 2nd IEEE European Symposium on Security and Privacy , Paris, France, April 26, 2017 - April 28, 2017. IEEE, Piscataway, NJ (2017)
33.
Conference Paper
ARTist: The Android Runtime Instrumentation and Security Toolkit. In: 2nd IEEE European Symposium on Security and Privacy, pp. 481 - 495. 2nd IEEE European Symposium on Security and Privacy , Paris, France, April 26, 2017 - April 28, 2017. IEEE, Piscataway, NJ (2017)
34.
Conference Paper
Reconciling Privacy and Utility in Continuous-Time Diffusion Networks. In: IEEE 30th Computer Security Foundations Symposium, pp. 292 - 304. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, August 21, 2017 - August 25, 2017. IEEE, Piscataway, NJ (2017)
35.
Conference Paper
WebPol: Fine-Grained Information Flow Policies for Web Browsers. In: Computer Security -- ESORICS 2017, pp. 242 - 259 (Eds. Foley, S. N.; Gollmann, D.; Snekkenes, E.). 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11, 2017 - September 15, 2017. Springer, Berlin (2017)
36.
Conference Paper
Learning to Un-Rank: Quantifying Search Exposure for Users in Online Communities. In: CIKM'17, pp. 267 - 276. 26th ACM International Conference on Information and Knowledge Management , Singapore, Singapore, November 06, 2017 - November 10, 2017. ACM, New York, NY (2017)
37.
Conference Paper
Universal Ordinary Differential Equation. In: 44th International Colloquium on Automata, Languages, and Programming, 116, pp. 1 - 14 (Eds. Chatzigiannakis, I.; Indyk, P.; Kuhn, F.; Muscholl, A.). 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, July 10, 2017 - July 14, 2017. Schloss Dagstuhl, Wadern (2017)
38.
Conference Paper
Formalizing the Concurrency Semantics of an LLVM Fragment. In: CGO'17, pp. 100 - 110 (Eds. Reddi, V. J.; Smith, A.; Tang, L.). International Symposium on Code Generation and Optimization, Austin, TX, USA, February 04, 2017 - February 08, 2017. IEEE, Piscataway, NJ (2017)
39.
Conference Paper
Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. In: Proceedings of the Eleventh International AAAI Conference on Web and Social Media, pp. 22 - 31. 11th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2017)
40.
Conference Paper
Optimizing the Recency-Relevancy Trade-off in Online News Recommendations. In: WWW'17, pp. 837 - 846. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)