52 citations · 201 across the 50 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 52 cited
Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable…
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…