29 citations · 67 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016★ 27 cited
Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices
Kamill Gusmanov, Kevin Khanda, Dilshat Salikhov +2
A large percentage of buildings, domestic or special-purpose, is expected to become increasingly "smarter" in the future, due to the immense benefits in terms of energy saving, saf…
cs.SE2015★ 29 cited
ViSpec: A graphical tool for elicitation of MTL requirements
Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
One of the main barriers preventing widespread use of formal methods is the elicitation of formal specifications. Formal specifications facilitate the testing and verification proc…