WASP startup package Christoph Reichenbach

Project: Research

WASP startup package for Christoph Reichenbach, funding two dissertation projects

Status	Finished
Effective start/end date	2017/10/16 → 2021/10/15

Clog: A Declarative Language for C Static Code Checkers
Dura, A. & Reichenbach, C., 2024 Feb 17, CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. Rodriguez, G., Sadayappan, P. & Sukumaran-Rajam, A. (eds.). Association for Computing Machinery (ACM), p. 186-197 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Open Access
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
Rizwan, M., Caldas, R., Reichenbach, C. & Mayr, M., 2023 Jul 26, 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE). IEEE - Institute of Electrical and Electronics Engineers Inc., p. 61-68 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Open Access
Software Ticks Need No Specifications
Reichenbach, C., 2021, Proceedings of the 43rd International Conference on Software Engineering. IEEE - Institute of Electrical and Electronics Engineers Inc.
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

File
354 Downloads (Pure)

Project Details