| 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 | 72 | 2017 |
| 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 | 35 | 2018 |
| Reduction of interrupt handler executions for model checking embedded software B Schlich, T Noll, J Brauer, L Brutschy Hardware and Software: Verification and Testing: 5th International Haifa …, 2011 | 34 | 2011 |
| Access analysis-based tight localization of abstract memories H Oh, L Brutschy, K Yi Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 34 | 2011 |
| Static analysis for independent app developers L Brutschy, P Ferrara, P Müller Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 15 | 2014 |
| ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access L Brutschy, P Ferrara, O Tripp, M Pistoia OOPSLA '15, to appear, 2015 | 11 | 2015 |
| 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 | 9 | 2018 |
| Privacy-preserving multi-party reconciliation secure in the malicious model G Neugebauer, L Brutschy, U Meyer, S Wetzel International Workshop on Data Privacy Management, 178-193, 2013 | 8 | 2013 |
| 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 | 7 | 2013 |
| Must analysis of collection elements Y Bonjour, L Brutschy Master's thesis, ETH Zürich, 2013 | 4 | 2013 |
| Static Serializability Analysis for Causal Consistency (extended version) L Brutschy, D Dimitrov, P Müller, M Vechev Technical Report, 2018 | 2 | 2018 |
| Touchcost: Cost analysis of touchdevelop scripts P Ferrara, D Schweizer, L Brutschy Fundamental Approaches to Software Engineering: 17th International …, 2014 | 2 | 2014 |
| Effective serializability for eventual consistency L Brutschy, D Dimitrov, P Müller, M Vechev ETH Zurich, 2016 | 1 | 2016 |
| 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 | 1 | 2014 |
| 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 11,176,267, 2021 | | 2021 |
| Dynamic and Static Analysis for Weakly Consistent Systems L Brutschy ETH Zurich, 2018 | | 2018 |
| Synthesizing inputs to preserve functionality L Brutschy, P Ferrara, M Pistoia, O Tripp US Patent 9,697,018, 2017 | | 2017 |
| 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 C Solving, L Brutschy | | 2009 |
Peter MüllerETH ZurichVerified email at inf.ethz.ch