Author of the publication

An Empirical Study on the Correctness of Formally Verified Distributed Systems.

, , , and . EuroSys, page 328-343. ACM, (2017)

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.

 

Other publications of authors with the same name

Automatic Feature Selection for Sleep/Wake Classification with Small Data Sets., , , and . BIOINFORMATICS, page 178-184. SciTePress, (2013)A Validation Framework for Visible Light Positioning in Mobile Robotics., , , and . ICARSC, page 47-52. IEEE, (2016)Performance Analysis of a Graph Coloring Algorithm for Wavelength Assignment in Dynamic Optical Networks., , and . CSNDSP, page 534-539. IEEE, (2022)Mammy - A Technological Tool to Exchange Information., , , and . CoPDA@AVI, volume 2101 of CEUR Workshop Proceedings, page 71-79. CEUR-WS.org, (2018)Veil: A Protected Services Framework for Confidential Virtual Machines., , , , and . ASPLOS (4), page 378-393. ACM, (2023)Detection of Data Matrix Encoded Landmarks in Unstructured Environments using Deep Learning., , , and . ICARSC, page 74-80. IEEE, (2020)A study of the internal and external effects of concurrency bugs., , , and . DSN, page 221-230. IEEE Computer Society, (2010)Actigraphy-based sleep/wake detection for insomniacs., , , and . BSN, page 1-4. IEEE, (2017)Time-frequency analysis of heart rate variability for sleep and wake classification., , , , and . BIBE, page 85-90. IEEE Computer Society, (2012)Using dynamic time warping for sleep and wake discrimination., , , , and . BHI, page 886-889. IEEE, (2012)