9 citations · 12 across the 2 of their papers we have counts for
3 papers
cs.CV2024
NeRF-To-Real Tester: Neural Radiance Fields as Test Image Generators for Vision of Autonomous Systems
Laura Weihl, Bilal Wehbe, Andrzej Wąsowski
Autonomous inspection of infrastructure on land and in water is a quickly growing market, with applications including surveying constructions, monitoring plants, and tracking envir…
cs.SE2024★ 3 cited
Abstraction Engineering
Nelly Bencomo, Jordi Cabot, Marsha Chechik +4
Modern software-based systems operate under rapidly changing conditions and face ever-increasing uncertainty. In response, systems are increasingly adaptive and reliant on artifici…
cs.SE2024★ 9 cited
From a Natural to a Formal Language with DSL Assistant
My M. Mosthaf, Andrzej Wąsowski
The development of domain-specific languages (DSLs) is a laborious and iterative process that seems to naturally lean to the use of generative artificial intelligence. We design an…