Reduction of Interrupt Handler Executions for Model Checking Embedded Software. - Bastian Schlich; Thomas Noll 001; Jörg Brauer; Lucas Brutschy (Haifa Verification Conference, 2009)

Access Analysis-Based Tight Localization of Abstract Memories. - Hakjoo Oh; Lucas Brutschy; Kwangkeun Yi (VMCAI, 2011)

Design and implementation of privacy-preserving reconciliation protocols. - Georg Neugebauer; Lucas Brutschy; Ulrike Meyer; Susanne Wetzel (EDBT/ICDT Workshops, 2013)

Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model. - Georg Neugebauer; Lucas Brutschy; Ulrike Meyer; Susanne Wetzel (DPM/SETOP, 2013)

Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version). - Georg Neugebauer; Lucas Brutschy; Ulrike Meyer; Susanne Wetzel (IACR Cryptol. ePrint Arch., 2013)

TouchCost: Cost Analysis of TouchDevelop Scripts. - Pietro Ferrara 001; Daniel Schweizer; Lucas Brutschy (FASE, 2014)

Static analysis for independent app developers. - Lucas Brutschy; Pietro Ferrara 001; Peter Müller 001 (OOPSLA, 2014)

TouchGuru: Integrating Static Analysis with a Mobile Development Environment. - Lucas Brutschy; Pietro Ferrara 001; Peter Müller 001 (MobileDeLi, 2014)

ShamDroid: gracefully degrading functionality in the presence of limited resource access. - Lucas Brutschy; Pietro Ferrara 001; Omer Tripp; Marco Pistoia (OOPSLA, 2015)

Serializability for eventual consistency: criterion, analysis, and applications. - Lucas Brutschy; Dimitar Dimitrov 004; Peter Müller 001; Martin T. Vechev (POPL, 2017)

Static serializability analysis for causal consistency. - Lucas Brutschy; Dimitar Dimitrov 004; Peter Müller 001; Martin T. Vechev (PLDI, 2018)