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:

Rodríguez, Robby;
Rodríguez, Edwin;
Dwyer, Matthew B.;
Hatcliff, John

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:

Fang, Yi;
Piterman, Nir;
Pnueli, Amir;
Zuck, Lenore

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:

Sen, Koushik;
Roşu, Grigore;
Agha, Gui

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:

Groce, Alex;
Chaki, Sagar;
Kroening, Daniel;
Ofer Strichman

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:

Younes, Håkan L. S.;
Kwiatkowska, Marta;
Norman, Gethin;
Parker, David

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:

Behrmann, Gerd;
Bouyer, Patricia;
Larsen, Kim G.;
Pelánek, Radek

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:

Schmidt, Karsten

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:

Jensen, Kurt;
Podelski, Andreas

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:

Valmari, Antti

Publication type:

Article