19 citations · 22 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 2 cited
Kayak: Safe Semantic Refactoring to Java Streams
Cristina David, Pascal Kesseli, Daniel Kroening
Refactorings are structured changes to existing software that leave its externally observable behaviour unchanged. Their intent is to improve readability, performance or other non-…
eess.SY2017
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza +5
We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dyna…