Book Chapter (2)
21.
Book Chapter
Model Checking Real-Time Systems. In: Handbook of Model Checking, pp. 1001 - 1046 (Eds. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)
22.
Book Chapter
Symbolic Model Checking in Non-Boolean Domains. In: Handbook of Model Checking, pp. 1111 - 1147 (Eds. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)
Proceedings (1)
23.
Proceedings
7). Dagstuhl Seminar 17352 "Analysis and Synthesis of Floating-point Programs", Dagstuhl, Germany, August 27, 2017 - August 30, 2017. Schloss Dagstuhl, Wadern (2018), 28 pp.
Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, Conference Paper (74)
24.
Conference Paper
Special Session: Embedded Software for Robotics: Challenges and Future Directions. In: Proceedings of the International Conference on Embedded Software. International Conference on Embedded Software, Turin, Italy, September 30, 2018 - October 05, 2018. IEEE, Piscataway, NJ (2018)
25.
Conference Paper
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In: Programming Languages and Systems, pp. 214 - 241 (Ed. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)
26.
Conference Paper
Effective Divergence Analysis for Linear Recurrence Sequences. In: 29th International Conference on Concurrency Theory, 42, pp. 1 - 15 (Eds. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, September 04, 2018 - September 07, 2018. Schloss Dagstuhl, Wadern (2018)
27.
Conference Paper
O-Minimal Invariants for Linear Loops. In: 45th International Colloquium on Automata, Languages, and Programming, 114, pp. 1 - 14 (Eds. Chatzigiannakis, I.; Kaklamanis, C.; Marx, D.; Sannella, D.). 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, July 09, 2018 - July 13, 2018. Schloss Dagstuhl, Wadern (2018)
28.
Conference Paper
Investigating Ad Transparency Mechanisms in Social Media: A Case Study of Facebooks Explanations. In: Network and Distributed Systems Security Symposium. Network and Distributed Systems Security Symposium
, San Diego, CA, UCA, February 18, 2018 - February 21, 2018. ndss-symposium.org (2018)
29.
Conference Paper
Verifying rLTL Formulas: Now Faster than Ever Before! In: IEEE Conference on Decision and Control, pp. 1556 - 1561. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, December 17, 2018 - December 19, 2018. IEEE, Piscataway, NJ (2018)
30.
Conference Paper
Purple Feed: Identifying High Consensus News Posts on Social Media. In: AIES'18, pp. 10 - 16. AAAI/ACM Conference on AI, Ethics, and Society, New Orleans, LA, USA, February 02, 2018 - February 03, 2018. ACM, New York, NY (2018)
31.
Conference Paper
Data-Driven Approach Towards a Personalized Curriculum. In: Proceedings of the 11th International Conference on Educational Data Mining, 31, pp. 246 - 251 (Eds. Boyer, K. E.; Yudelson, M.). 11th International Conference on Educational Data Mining, Buffalo, NY, USA, July 15, 2018 - July 18, 2018. educationaldatamining.org (2018)
32.
Conference Paper
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, pp. 1 - 10 (Eds. Bjørner, N.; Gurfinke, A.). 18th Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, October 30, 2018 - November 02, 2018. IEEE, Piscataway, NJ (2018)
33.
Conference Paper
Combining Tools for Optimization and Analysis of Floating-Point Computations. In: Formal Methods, pp. 355 - 363 (Eds. Havelund, K.; Peleska, J.; Roscoe, B.; de Vink, E.). 22nd International Symposium on Formal Methods, Oxford, UK, July 15, 2018 - July 17, 2018. Springer, Berlin (2018)
34.
Conference Paper
Equity of Attention: Amortizing Individual Fairness in Rankings. In: SIGIR'18, pp. 405 - 414. 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, Ann Arbor, MI, USA, July 08, 2018 - July 12, 2018. ACM, New York, NY (2018)
35.
Conference Paper
Automatically Testing Implementations of Numerical Abstract Domains. In: ASE'18, pp. 768 - 778 (Eds. Huchard, M.; Kästner, C.; Fraser, G.). 33rd ACM/IEEE International Conference on Automated Software Engineering, Montpellier, France, September 03, 2018 - September 07, 2018. ACM, New York, NY (2018)
36.
Conference Paper
On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks. In: 30th Euromicro Conference on Real-Time Systems, 26, pp. 1 - 21 (Ed. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, July 03, 2018 - July 06, 2018. Schloss Dagstuhl, Wadern (2018)
37.
Conference Paper
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. In: Computer Aided Verification, pp. 178 - 197 (Eds. Chockler, H.; Weissenbacher, G.). 30th International Conference on Computer-Aided Verification, Oxford, UK, July 14, 2018 - July 17, 2018. Springer, Berlin (2018)
38.
Conference Paper
Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners. In: Advances in Neural Information Processing Systems 31, pp. 1476 - 1486 (Eds. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, December 02, 2018 - December 08, 2018. Curran Associates (2018)
39.
Conference Paper
Unboundedness Problems for Languages of Vector Addition Systems. In: 45th International Colloquium on Automata, Languages, and Programming, 119, pp. 1 - 15 (Eds. Chatzigiannakis, I.; Kaklamanis, C.; Marx, D.; Sannella, D.). 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, July 09, 2018 - July 13, 2018. Schloss Dagstuhl, Wadern (2018)
40.
Conference Paper
Sound Mixed-Precision Optimization with Rewriting. In: 9th ACM/IEEE International Conference on Cyber-Physical Systems, pp. 208 - 219. 9th ACM/IEEE International Conference on Cyber-Physical Systems , Porto, Portugal, April 11, 2018 - April 13, 2018. IEEE, Piscataway, NJ (2018)