Test-case generation for embedded simulink via formal concept analysis by He, N, Ruemmer, P, Kroening, D

“…Association for Computing Machinery…”

Exorcist: automated differential analysis to detect compromises in closed-source software supply chains by Barr-Smith, F, Baker, R, Blazytko, T, Martinovic, I

“…Association for Computing Machinery…”

A Tripwire Grammar for Insider Threat Detection by Agrafiotis, I, Erola, A, Goldsmith, M, Creese, S

“…Association for Computing Machinery…”

What you jointly know determines how you act: strategic interactions in prediction markets by Gao, X, Zhang, J, Chen, Y

“…Association for Computing Machinery…”

Know Your Enemy by Basin, D, Cremers, C

“…Association for Computing Machinery…”

Formal techniques for effective co-verification of hardware/software co-designs by Mukherjee, R, Purandare, M, Polig, R, Kroening, D

“…Association for Computing Machinery…”

PGX.D/async: A scalable distributed graph pattern matching engine by Roth, N, Trigonakis, V, Hong, S, Chaf, H, Potter, A, Motik, B, Horrocks, I

“…Association for Computing Machinery…”

The need for corporate diplomacy by Sako, M

“…Association for Computing Machinery…”

Exploiting bacterial whole-genome sequencing data for evaluation of diagnostic assays: Campylobacter species identification as a case study by Van Rensburg, M, Swift, C, Cody, A, Jenkins, C, Maiden, M

“…Association for Computing Machinery…”

Security of distance-bounding: a survey by Avoine, G, Bingol, M, Boureanu, I, Čapkun, S, Hancke, G, Kardaş, S, Kim, C, Lauradoux, C, Martin, B, Munilla, J, Peinado, A, Rasmussen, K, Singelée, D, Tchamkerten, A, Trujillo-Rasua, R, Vaudenay, S

“…Association for Computing Machinery…”

Modelling web based socio-technical systems through formalising possible sequences of human experience by Walton, R, De Roure, D

“…Association for Computing Machinery…”

ML, visibly pushdown class memory automata, and extended branching vector addition systems with states by Cotton-Barratt, C, Murawski, A, Ong, C

“…Association for Computing Machinery…”

Lie tracking: social presence, truth and deception in avatar-mediated telecommunication by Steptoe, W, Steed, A, Rovira, A, Rae, J

“…Association for Computing Machinery…”

“I finally felt i had the tools to control these urges”: empowering students to achieve their device use goals with the reduce digital distraction workshop by Lyngs, U, Lukoff, K, Slovak, P, Inzlicht, M, Freed, M, Andrews, H, Tinsman, C, Csuka, L, Alberts, L, Oldemburgo de Mello, V, Makransky, G, Hornbæk, K, Van Kleek, M, Shadbolt, N

“…Association for Computing Machinery…”

AI-augmented business process management systems: a research manifesto by Dumas, M, Fournier, F, Limonad, L, Marrella, A, Montali, M, Rehse, J-R, Accorsi, R, Calvanese, D, De Giacomo, G, Fahland, D, Gal, A, La Rosa, M, Völzer, H, Weber, I

“…Association for Computing Machinery…”

Language, Twitter and academic conferences by Garcia Gavilanes, R, Gomez, D, Parra, D, Trattner, C, Kaltenbrunner, A, Graells-Garrido, E

“…Association for Computing Machinery…”

The challenge of detecting sophisticated attacks: Insights from SOC Analysts by Akinrolabu, O, Agrafiotis, I, Erola, A

“…Association for Computing Machinery…”

PCA by determinant optimisation has no spurious local optima by Hauser, R, Eftekhari, A, Matzinger, H

“…Association for Computing Machinery…”

Does "www." mean better transport layer security? by Alashwali, E, Szalachowski, P, Martin, A

“…Association for Computing Machinery…”

Dichotomies for queries with negation in probabilistic databases by Fink, R, Olteanu, D

“…Association for Computing Machinery…”