25 citations · 56 across the 14 of their papers we have counts for
Showing 2019 · cs.SEShow all
2 papers · 2 filters
cs.SE2019
Perpetual Assurances for Self-Adaptive Systems
Danny Weyns, Nelly Bencomo, Radu Calinescu +10
Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplet…
cs.SE2019
Specification Patterns for Robotic Missions
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione +2
Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing thei…