Lucas Brutschy
Lucas Brutschy
HERE Technologies
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Serializability for eventual consistency: criterion, analysis, and applications
L Brutschy, D Dimitrov, P Müller, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
452017
Access analysis-based tight localization of abstract memories
H Oh, L Brutschy, K Yi
International Workshop on Verification, Model Checking, and Abstract …, 2011
302011
Reduction of interrupt handler executions for model checking embedded software
B Schlich, T Noll, J Brauer, L Brutschy
Haifa Verification Conference, 5-20, 2009
252009
Static serializability analysis for causal consistency
L Brutschy, D Dimitrov, P Müller, M Vechev
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
232018
Static analysis for independent app developers
L Brutschy, P Ferrara, P Müller
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
112014
Design and implementation of privacy-preserving reconciliation protocols
G Neugebauer, L Brutschy, U Meyer, S Wetzel
Proceedings of the Joint EDBT/ICDT 2013 Workshops, 121-130, 2013
72013
Privacy-preserving multi-party reconciliation secure in the malicious model
G Neugebauer, L Brutschy, U Meyer, S Wetzel
Data Privacy Management and Autonomous Spontaneous Security, 178-193, 2013
62013
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
L Brutschy, P Ferrara, O Tripp, M Pistoia
OOPSLA '15, to appear, 2015
52015
Must analysis of collection elements
Y Bonjour, L Brutschy
Master's thesis, ETH Zürich, 2013
42013
Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement
L Brutschy, P Ferrara, M Pistoia, O Tripp
US Patent 9,940,478, 2018
22018
Touchcost: Cost analysis of touchdevelop scripts
P Ferrara, D Schweizer, L Brutschy
International Conference on Fundamental Approaches to Software Engineering …, 2014
22014
Static Serializability Analysis for Causal Consistency (extended version)
L Brutschy, D Dimitrov, P Müller, M Vechev
Technical Report, 2018
12018
Synthesizing inputs to preserve functionality
L Brutschy, P Ferrara, M Pistoia, O Tripp
US Patent 9,697,018, 2017
12017
Effective serializability for eventual consistency
L Brutschy, D Dimitrov, P Müller, M Vechev
ETH Zurich, 2016
12016
Static Checking of TouchDevelop Programs against Web Service Specifications
P Zimmermann, L Brutschy, P Müller
Master’s thesis, ETH Zurich, 2014.(cited on page 108), 2014
12014
Dynamic and Static Analysis for Weakly Consistent Systems
L Brutschy
ETH Zurich, 2018
2018
Fine-Grained User Control Over Usages Of Sensitive System Resources Having Private Data With Applications In Privacy Enforcement
L Brutschy, P Ferrara, M Pistoia, O Tripp
US Patent App. 14/630,001, 2016
2016
TouchGuru: Integrating Static Analysis with a Mobile Development Environment
L Brutschy, P Ferrara, P Müller
Proceedings of the 2nd International Workshop on Mobile Development …, 2014
2014
Statische Analyse von Mikrocontrollerprogrammen mittels SAT-und Constraint-Solving
L Brutschy
2009
The system can't perform the operation now. Try again later.
Articles 1–19