Schedulability of Herschel revisited using statistical model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 187, doi. 10.1007/s10009-014-0331-4
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 2
Results: 7
1
2
Rule-based runtime verification revisited.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 143, doi. 10.1007/s10009-014-0309-2
- By:
- Publication type:
- Article
3
Model-checking fair dense-time systems with propositions and events.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 223, doi. 10.1007/s10009-014-0312-7
- By:
- Publication type:
- Article
4
Statistical model checking QoS properties of systems with SBIP.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 171, doi. 10.1007/s10009-014-0313-6
- By:
- Publication type:
- Article
5
On piggyback runtime monitoring of object-oriented programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 125, doi. 10.1007/s10009-014-0326-1
- By:
- Publication type:
- Article
6
Runtime verification: the application perspective.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 121, doi. 10.1007/s10009-014-0360-z
- By:
- Publication type:
- Article
7
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 201, doi. 10.1007/s10009-014-0303-8
- By:
- Publication type:
- Article