29 citations · 32 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 29 cited
Real-Time Specification Patterns and Tools
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
An issue limiting the adoption of model checking technologies by the industry is the ability, for non-experts, to express their requirements using the property languages supported…
cs.LO2013★ 3 cited
A Verified Approach for Checking Real-Time Specification Patterns
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan
We propose a verified approach to the formal verification of timed properties using model-checking techniques. We focus on properties expressed using real-time specification patter…