19 citations · 117 across the 36 of their papers we have counts for
3 papers · 1 filter
DMSConfig: Automated Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning
Zhuangwei Kang, Yogesh D. Barve, Shunxing Bao +2
The Distributed Messaging Systems (DMSs) used in IoT systems require timely and reliable data dissemination, which can be achieved through configurable parameters. However, the hig…
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine +3
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performanc…