Chair of Operating Systems
Organisational unit: Chair
Former unit
Active until. 30 Sep 2021.
Related content and researchers
- Research output
- Journals
- Activities
- Prizes
Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOS
Vilanova, L., Maudlej, L., Bergman, S., Miemietz, T., Hille, M., Asmussen, N., Roitzsch, M., & 2 othersHärtig, H. & Silberstein, M., 28 Mar 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, p. 352-367 16 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
MigrOS: Transparent Live-Migration Support for Containerised RDMA Applications.
Planeta, M., Bierbaum, J., Antony, L. S. D., Hoefler, T. & Härtig, H., 2021, p. 47-63.Research output: Contribution to conferences › Paper › Contributed › peer-review
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing
Weinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Weisbach, H., Hille, M., & 12 othersHärtig, H., Margolin, A., Sharf, D., Levy, E., Gak, P., Barak, A., Gholami, M., Schintke, F., Schütt, T., Reinefeld, A., Lieber, M. & Nagel, W. E., 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, p. 483-516 34 p. ( Lecture notes in computational science and engineering : LNCSE, Vol. 136).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Configuration of Inter-Process Communication with Probabilistic Model Checking
Herrmann, L., Küttler, M., Stumpf, T., Baier, C., Härtig, H. & Klüppelholz, S., 1 Dec 2019, In: International Journal on Software Tools for Technology Transfer. 21, 6, p. 651-666 16 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing
Fettweis, G. P., Dorpinghaus, M., Castrillón, J., Kumar, A., Baier, C., Bock, K., Ellinger, F., & 12 othersFery, A., Fitzek, F. H. P., Härtig, H., Jamshidi, K., Kissinger, T., Lehner, W., Mertig, M., Nagel, W. E., Nguyen, G. T., Plettemeier, D., Schröter, M. & Strufe, T., 2019, In: Proceedings of the IEEE. 107, 1, p. 204-231 28 p., 1.Research output: Contribution to journal › Research article › Invited › peer-review
ACM SIGBED review
ISSNs: 1551-3688
ACM Press
Scopus rating (2021): CiteScore 3.7 SJR 0.554 SNIP 0.953
Journal
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
IEEE, New York [u. a.]
Scopus rating (2019): CiteScore 6 SJR 0.581 SNIP 1.767
Journal
International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779
Additional searchable ISSN (Electronic): 1433-2787
Springer Verlag
Scopus rating (2021): CiteScore 4.2 SJR 0.507 SNIP 1.151
Journal
Journal of Computer and System Sciences
ISSNs: 0022-0000
Additional searchable ISSN (Electronic): 1090-2724
Academic Press Inc.
Scopus rating (2021): CiteScore 3.1 SJR 0.861 SNIP 1.305
Journal
Proceedings of the IEEE
ISSNs: 0018-9219, 0096-8390, 0731-5996, 1558-2256
IEEE, New York [u. a.]
Scopus rating (2021): CiteScore 25.3 SJR 4.678 SNIP 4.366
Journal
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Tews, H. (Speaker), Völp, M. (Speaker), Engel, B. (Speaker)28 Nov 2012 → 30 Nov 2012
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed