Works matching IS 14332779 AND DT 2006 AND VI 8 AND IP 3
Results: 9
Checking JML specifications using an extensible software model checking framework.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 280, doi. 10.1007/s10009-005-0218-5
- By:
- Publication type:
- Article
Liveness with invisible ranking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 261, doi. 10.1007/s10009-005-0193-x
- By:
- Publication type:
- Article
Online efficient predictive safety analysis of multithreaded programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 248, doi. 10.1007/s10009-005-0192-y
- By:
- Publication type:
- Article
Error explanation with distance metrics.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 229, doi. 10.1007/s10009-005-0202-0
- By:
- Publication type:
- Article
Numerical vs. statistical probabilistic model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 216, doi. 10.1007/s10009-005-0187-8
- By:
- Publication type:
- Article
Lower and upper bounds in zone-based abstractions of timed automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 204, doi. 10.1007/s10009-005-0190-0
- By:
- Publication type:
- Article
Automated generation of a progress measure for the sweep-line method.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 195, doi. 10.1007/s10009-005-0201-1
- By:
- Publication type:
- Article
What the small Rubik's cube taught me about data structures, information theory, and randomisation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 180, doi. 10.1007/s10009-005-0191-z
- By:
- Publication type:
- Article
Tools and algorithms for the construction and analysis of systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 177, doi. 10.1007/s10009-006-0221-5
- By:
- Publication type:
- Article