Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Simuliris: a separation logic framework for verifying concurrent program optimizations.

L. Gäher, M. Sammler, S. Spies, R. Jung, H. Dang, R. Krebbers, J. Kang, und D. Dreyer. Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. -Ing. Tobias Haist University of Stuttgart

Charakterisierung von Homogenisierkomponenten für die satellitengestützte Messung von TreibhausgasenS. Amann, T. Haist, und B. Sierk. DGaO-Proceedings, Seite P7. Ilmenau, Deutsche Gesellschaft für angewandte Optik e.V., (2019)

Charakterisierung von Homogenisierkomponenten für die satellitengestützte Messung von TreibhausgasenS. Amann, T. Haist, und B. Sierk. DGaO-Proceedings, Seite P7. Ilmenau, Deutsche Gesellschaft für angewandte Optik e.V., (2019)„BaKaRoS“ : ein Baukastensystem für einen niederschwelligen Zugang zur technischen OptikS. Lotz, C. Reichert, T. Haist, und A. Herkommer. DGaO-Proceedings, Seite P20. Ilmenau, Deutsche Gesellschaft für angewandte Optik e.V., (2018)

Sören Hain University of Stuttgart

Richard Haidl University of Stuttgart

Dr. -Ing. Manfred Dangelmaier University of Stuttgart

Ashish Dangal University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A smart data forwarding method based on adaptive levels in wireless sensor networks.D. Hoang, T. Strufe, T. Pham, H. Hoang, C. Nguyen, V. Tran, und I. Schweizer. LCN Workshops, Seite 100-103. IEEE Computer Society, (2013)RCOAP: A Rate Control Scheme for Reliable Bursty Data Transfer in IoT Networks.D. Hoang, und T. Le. IEEE Access, (2021)Stacked borrows: an aliasing model for Rust.R. Jung, H. Dang, J. Kang, und D. Dreyer. Proc. ACM Program. Lang., 4 (POPL): 41:1-41:32 (2020)An Approach for QoS Scheduling on the Application Level for Wireless Networks.D. Hoang, und D. Reschke. ICN (1), Volume 2093 von Lecture Notes in Computer Science, Seite 599-609. Springer, (2001)Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.J. Kaiser, H. Dang, D. Dreyer, O. Lahav, und V. Vafeiadis. ECOOP, Volume 74 von LIPIcs, Seite 17:1-17:29. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Simuliris: a separation logic framework for verifying concurrent program optimizations.L. Gäher, M. Sammler, S. Spies, R. Jung, H. Dang, R. Krebbers, J. Kang, und D. Dreyer. Proc. ACM Program. Lang., 6 (POPL): 1-31 (2022)Processing and visualizing traffic pollution data in Hanoi City from a wireless sensor network.D. Hoang, T. Strufe, Q. Le, P. Bui, T. Pham, N. Thai, T. Le, und I. Schweizer. LCN Workshops, Seite 48-55. IEEE Computer Society, (2013)A Secure Network Architecture for Heterogeneous IoT Devices using Role-based Access Control.T. Jaikla, C. Vorakulpipat, E. Rattanalerdnusorn, und D. Hoang. SoftCOM, Seite 1-5. IEEE, (2019)Adaptive Bandwidth Scheduling in B-ISDN.D. Hoang. HPCN Europe, Volume 1401 von Lecture Notes in Computer Science, Seite 946-951. Springer, (1998)RustBelt meets relaxed memory.H. Dang, J. Jourdan, J. Kaiser, und D. Dreyer. Proc. ACM Program. Lang., 4 (POPL): 34:1-34:29 (2020)