Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 3

Results: 10

An automotive case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 327, doi. 10.1007/s10009-024-00753-2

By:

Raschke, Alexander;
Méry, Dominique

Publication type:

Article

Validating multiple variants of an automotive light system with Alloy 6.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 365, doi. 10.1007/s10009-024-00752-3

By:

Cunha, Alcino;
Macedo, Nuno;
Liu, Chong

Publication type:

Article

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 379, doi. 10.1007/s10009-024-00751-4

By:

Arcaini, Paolo;
Bonfanti, Silvia;
Gargantini, Angelo;
Riccobene, Elvinia;
Scandurra, Patrizia

Publication type:

Article

A verified low-level implementation and visualization of the adaptive exterior light and speed control system.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 403, doi. 10.1007/s10009-024-00750-5

By:

Krings, Sebastian;
Körner, Philipp;
Dunkelau, Jannik;
Rutenkolk, Kristin

Publication type:

Article

Modeling of a speed control system using Event-B.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 347, doi. 10.1007/s10009-024-00749-y

By:

Mammar, Amel;
Frappier, Marc

Publication type:

Article

An Event-B model of an automotive adaptive exterior light system.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 331, doi. 10.1007/s10009-024-00748-z

By:

Mammar, Amel;
Frappier, Marc;
Laleau, Régine

Publication type:

Article

Rance Cleaveland: a life for formal methods.

Published in:

2024

By:

Steffen, Bernhard

Publication type:

Editorial

State of the CArt: evaluating covering array generators at scale.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 301, doi. 10.1007/s10009-024-00745-2

By:

Leithner, Manuel;
Bombarda, Andrea;
Wagner, Michael;
Gargantini, Angelo;
Simos, Dimitris E.

Publication type:

Article

Debugging convergence problems in probabilistic programs via program representation learning with SixthSense.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 249, doi. 10.1007/s10009-024-00737-2

By:

Huang, Zixin;
Dutta, Saikat;
Misailovic, Sasa

Publication type:

Article

Strong Simple Policies for POMDPs.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 269, doi. 10.1007/s10009-024-00747-0

By:

Winterer, Leonore;
Wimmer, Ralf;
Becker, Bernd;
Jansen, Nils

Publication type:

Article