16 citations · 49 across the 9 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2008★ 8 cited
Control software analysis, part II: Closed-loop analysis
Eric Feron, Fernando Alegre
The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Iss…
cs.SE2008★ 15 cited
Control software analysis, Part I Open-loop properties
Eric Feron, Fernando Alegre
As the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices.…
cs.SE2007★ 3 cited
Certifying controls and systems software
Eric Feron, Mardavij Roozbehani
Software system certification presents itself with many challenges, including the necessity to certify the system at the level of functional requirements, code and binary levels, t…