Personal profile
Research
WASP Ph.D. researcher in robotics and software technology. My Ph.D. research focuses on developing and evaluating new languages, software technology tools, and techniques to build, test, and debug robotics software.
My research interests lie at the intersection of software technology, robotics, and program analysis.
Free keywords
- Domain-Specific Languages
- Program Analysis
- Robotics
Fingerprint
- 1 Similar Profiles
Collaborations the last five years
Research output
-
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 -
ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
Rizwan, M., Reichenbach, C. & Krueger, V., 2023.Research output: Contribution to conference › Abstract
-
Safety and Reliability for Autonomous Robots in Dynamic Environments
Rizwan, M., 2025 Sept 15, Lund: Computer Science, Lund University. 200 p.Research output: Thesis › Doctoral Thesis (compilation)
-
Reflex-plan: a safety monitoring architecture for thinking fast and slow
Rizwan, M., Reichenbach, C. & Krueger, V., 2025 Aug 17, 2025 IEEE 21st International Conference on Automation Science and Engineering (CASE): 17-21 Aug. 2025. IEEE, p. 562-569Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection
Rizwan, M., Reichenbach, C., Caldas, R., Mayr, M. & Krueger, V., 2025 Jan 3, In: Frontiers in robotics and AI. 11(2024), 18 p., 1363443.Research output: Contribution to journal › Article › peer-review
Open Access
Projects
- 2 Active
-
Domain-Specific Robot Programming for Reliability, Safety, and Availability
Rizwan, M. (Researcher), Reichenbach, C. (Supervisor) & Krueger, V. (Supervisor)
2020/02/01 → …
Project: Dissertation
-
RobotLab LTH
Bagge Carlson, F. (Researcher), Johansson, R. (Researcher), Karlsson, M. (Researcher), Olofsson, B. (Researcher), Robertsson, A. (Researcher), Robertz, S. (Researcher), Haage, M. (Researcher), Malec, J. (Researcher), Nilsson, K. (Researcher), Nugues, P. (Researcher), Stenmark, M. (Researcher), Topp, E. A. (Researcher), Krueger, V. (PI), Åström, H. (Researcher), Mayr, M. (Researcher), Salt Ducaju, J. (Researcher), Nishimura, M. (Administrator), Wisbrant, J. (Project communication officer), Dürr, A. (Researcher), Mayr, M. (Researcher), Nugues, P. (Researcher), Klang, M. (Research engineer), Klöckner, M. (Researcher), Nardi, L. (Researcher), Ahmad, F. (Researcher), Oxenstierna, J. (Researcher), Rizwan, M. (Researcher), Reichenbach, C. (Researcher), Bergström, J. (Researcher), Dell'Unto, N. (Researcher), Maunsbach, L. (Researcher), Åström, K. (Researcher), Blomdell, A. (Research engineer), Magnusson, M. (Researcher), Fransson, P.-A. (Researcher), Karayiannidis, Y. (Researcher), Johansson, A. T. (Researcher), Jia, Z. (Researcher), Laban, L. (Researcher), Wingqvist, B. (Researcher), Guberina, M. (Researcher), Jena, A. (Researcher), Westin, E. (Administrator), Frick, C. (Administrator), Pisarevskiy, A. (Research engineer), Nilsson, A. (Research engineer), Reitmann, S. (Researcher), Hvarfner, C. (Researcher), Stoltenberg, P. (Researcher) & Fregnan, S. (Researcher)
1993/01/01 → …
Project: Research
Activities
- 1 Organisation of festival/exhibition/concert/performance
-
Robotics week for schools 2023
Wisbrant, J. (Organiser), Westin, E. (Organiser), Olofsson, B. (Organiser), Johansson, B. (Organiser), Topp, E. A. (Organiser), Malec, J. (Organiser), Krueger, V. (Role not specified), Salt Ducaju, J. (Contributor), Guberina, M. (Contributor), Laban, L. (Contributor), Klang, M. (Contributor), Åström, H. (Contributor), Ahmad, F. (Role not specified), Stenmark, M. (Contributor), Dürr, A. (Contributor), Jena, A. (Contributor), Kristoffersson Lind, S. (Contributor), Reitmann, S. (Contributor), Rizwan, M. (Contributor), Prem Maben, R. (Contributor), Johansson, B. (Contributor), Balkenius, C. (Contributor), Blomdell, A. (Contributor), Nilsson, A. (Contributor), Pisarevskiy, A. (Contributor), Nishimura, M. (Organiser), Rasmusson, M. (Contributor), Krueger, V. (Contributor), Karayiannidis, Y. (Organiser), Karayiannidis, Y. (Contributor), Rantzer, A. (Contributor), Haage, M. (Contributor), Olofsson, B. (Organiser), Topp, E. A. (Contributor) & Jia, Z. (Contributor)
2023 Nov 21 → 2023 Nov 23Activity: Participating in or organising an event › Organisation of festival/exhibition/concert/performance