Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.

B. Schlich, T. Noll, J. Brauer, and L. Brutschy. Haifa Verification Conference, volume 6405 of Lecture Notes in Computer Science, page 5-20. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lucas Lavoine University of Stuttgart

Lucas Möller University of Stuttgart

Lucas Haug University of Stuttgart

Lucas Vieira Pupim University of Stuttgart

Other publications of authors with the same name

Serializability for eventual consistency: criterion, analysis, and applications.L. Brutschy, D. Dimitrov, P. Müller, and M. Vechev. POPL, page 458-472. ACM, (2017)TouchCost: Cost Analysis of TouchDevelop Scripts.P. Ferrara, D. Schweizer, and L. Brutschy. FASE, volume 8411 of Lecture Notes in Computer Science, page 109-124. Springer, (2014)Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version).G. Neugebauer, L. Brutschy, U. Meyer, and S. Wetzel. IACR Cryptology ePrint Archive, (2013)Reduction of Interrupt Handler Executions for Model Checking Embedded Software.B. Schlich, T. Noll, J. Brauer, and L. Brutschy. Haifa Verification Conference, volume 6405 of Lecture Notes in Computer Science, page 5-20. Springer, (2009)Static serializability analysis for causal consistency.L. Brutschy, D. Dimitrov, P. Müller, and M. Vechev. PLDI, page 90-104. ACM, (2018)Static analysis for independent app developers.L. Brutschy, P. Ferrara, and P. Müller. OOPSLA, page 847-860. ACM, (2014)Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model.G. Neugebauer, L. Brutschy, U. Meyer, and S. Wetzel. DPM/SETOP, volume 8247 of Lecture Notes in Computer Science, page 178-193. Springer, (2013)TouchGuru: Integrating Static Analysis with a Mobile Development Environment.L. Brutschy, P. Ferrara, and P. Müller. MobileDeLi, page 33-34. ACM, (2014)Access Analysis-Based Tight Localization of Abstract Memories.H. Oh, L. Brutschy, and K. Yi. VMCAI, volume 6538 of Lecture Notes in Computer Science, page 356-370. Springer, (2011)Design and implementation of privacy-preserving reconciliation protocols.G. Neugebauer, L. Brutschy, U. Meyer, and S. Wetzel. EDBT/ICDT Workshops, page 121-130. ACM, (2013)