Bugariu, A.; Wüstholz, V.; Christakis, M.; Müller, P.: 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)

Cerqueira, F.; Nelissen, G.; Brandenburg, B.: 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)

Chatterjee, K.; Henzinger, M.; Loitzenbauer, V.; Oraee, S.; Toman, V.: 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)

Chen, Y.; Singla, A.; Aodha, O. M.; Perona, P.; Yue, Y.: 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)

Czerwinski, W.; Hofman, P.; Zetzsche, G.: 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)

Darulova, E.; Horn, E.; Sharma, S.: 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)

Darulova, E.; Izycheva, A.; Nasir, F.; Ritter, F.; Becker, H.; Bastian, R.: Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 270 - 287 (Eds. Beyer, D.; Huisman, M.). 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. In: 9th ACM/IEEE International Conference on Cyber-Physical Systems, pp. 220 - 231. 9th ACM/IEEE International Conference on Cyber-Physical Systems , Porto, Portugal, April 11, 2018 - April 13, 2018. IEEE, Piscataway, NJ (2018)

Erdélyi, V.; Le, T.-K.; Bhattacharjee, B.; Druschel, P.; Ono, N.: Sonoloc: Scalable Positioning of Commodity Mobile Devices. In: MobiSys'18, pp. 136 - 149. 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, June 10, 2018 - June 15, 2018. ACM, New York, NY (2018)

Esparza, J.; Ganty, P.; Majumdar, R.; Weil-Kennedy, C.: Verification of Immediate Observation Population Protocols. In: 29th International Conference on Concurrency Theory, 31, pp. 1 - 16 (Eds. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, September 04, 2018 - September 07, 2018. Schloss Dagstuhl, Wadern (2018)

Farajtabar, M.; Gomez Rodriguez, M.; Wang, Y.; Li, S.; Zha, H.; Song, L.: COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution. In: Companion of the World Wide Web Conference, pp. 473 - 477 (Eds. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, April 23, 2018 - April 27, 2018. ACM, New York, NY (2018)

Fried, D.; Legay, A.; Ouaknine, J.; Vardi, M. Y.: Sequential Relational Decomposition. In: LICS'18, pp. 432 - 441. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, UK, July 09, 2018 - July 12, 2018. ACM, New York, NY (2018)

Ganardi, M.; König, D.; Lohrey, M.; Zetzsche, G.: Knapsack Problems for Wreath Products. In: 35th Symposium on Theoretical Aspects of Computer Science, 32, pp. 1 - 13 (Eds. Niedermeier, R.; Vallée, B.). 35th Symposium on Theoretical Aspects of Computer Science, Caen, France, February 28, 2018 - March 03, 2018. Schloss Dagstuhl, Wadern (2018)

Gavran, I.; Mailahn, O.; Müller, R.; Peifer, R.; Zufferey, D.: TOOL: Accessible Automated Reasoning for Human Robot Collaboration. In: Onward!'18, pp. 44 - 56. ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Boston, MA, USA, November 07, 2018 - November 08, 2018. ACM, New York, NY (2018)

Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: Beyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair Learning. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16523, pp. 51 - 60. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, February 02, 2018 - February 07, 2018. AAAI, Palo Alto, CA (2018)

Grgic-Hlaca, N.; Redmiles, E. M.; Gummadi, K. P.; Weller, A.: Human Perceptions of Fairness in Algorithmic Decision Making: A Case Study of Criminal Risk Prediction. In: Proceedings of the World Wide Web Conference, pp. 903 - 912 (Eds. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, April 23, 2018 - April 27, 2018. ACM, New York, NY (2018)

Gujarati, A.; Nasri, M.; Brandenburg, B.: Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems. In: 30th Euromicro Conference on Real-Time Systems, 16, pp. 1 - 24 (Ed. Altmeyer, S.). 30th Euromicro Conference on Real-Time Systems, Barcelona, Spain, July 03, 2018 - July 06, 2018. Schloss Dagstuhl, Wadern (2018)

Haug, L.; Tschiatschek, S.; Singla, A.: Teaching Inverse Reinforcement Learners via Features and Demonstrations. In: Advances in Neural Information Processing Systems 31, pp. 8464 - 8473 (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)

Heidari, H.; Ferrari, C.; Gummadi, K.; Krause, A.: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. In: Advances in Neural Information Processing Systems 31, pp. 1265 - 1276 (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)

Henley, A. Z.; Muçlu, K.; Christakis, M.; Fleming, S. D.; Bird, C.: CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. In: CHI 2018, 154. CHI Conference on Human Factors in Computing Systems, Montréal, Canada, April 21, 2018 - April 26, 2018. ACM, New York, NY (2018)