1 – 5 of 40
- show: 5
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Performance Analysis with Bayesian Inference
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
2023) Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components(
- Contribution to conference › Abstract
-
Mark
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
2023) p.61-68(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability
2023) p.111-120(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding