Works matching IS 14332779 AND DT 2022 AND VI 24 AND IP 3

Results: 9

Formal methods and tools for industrial critical systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 325, doi. 10.1007/s10009-022-00660-4

By:

ter Beek, Maurice H.;
Larsen, Kim G.;
Ničković, Dejan;
Willemse, Tim A. C.

Publication type:

Article

Formal verification of OIL component specifications using mCRL2.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 441, doi. 10.1007/s10009-022-00658-y

By:

Bunte, Olav;
van Gool, Louis C. M.;
Willemse, Tim A. C.

Publication type:

Article

DFT modeling approach for operational risk assessment of railway infrastructure.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 331, doi. 10.1007/s10009-022-00652-4

By:

Weik, Norman;
Volk, Matthias;
Katoen, Joost-Pieter;
Nießen, Nils

Publication type:

Article

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 371, doi. 10.1007/s10009-022-00654-2

By:

Kouskoulas, Yanni;
Machado, T. J.;
Genin, Daniel;
Schmidt, Aurora;
Papusha, Ivan;
Brulé, Joshua

Publication type:

Article

DivSIM , an interactive simulator for LLVM bitcode.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 493, doi. 10.1007/s10009-022-00659-x

By:

Ročkai, Petr;
Barnat, Jiří

Publication type:

Article

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 395, doi. 10.1007/s10009-022-00657-z

By:

Gu, Rong;
Jensen, Peter G.;
Poulsen, Danny B.;
Seceleanu, Cristina;
Enoiu, Eduard;
Lundqvist, Kristina

Publication type:

Article

Temporal-logic query checking over finite data streams.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 473, doi. 10.1007/s10009-022-00656-0

By:

Huang, Samuel;
Cleaveland, Rance

Publication type:

Article

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 415, doi. 10.1007/s10009-022-00655-1

By:

Binder, Benjamin;
Asavoae, Mihail;
Brandner, Florian;
Ben Hedia, Belgacem;
Jan, Mathieu

Publication type:

Article

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 351, doi. 10.1007/s10009-022-00653-3

By:

Basile, Davide;
ter Beek, Maurice H.;
Ferrari, Alessio;
Legay, Axel

Publication type:

Article