Works matching IS 14332779 AND DT 2022 AND VI 24 AND IP 2
Results: 8
Parameterized verification of systems with component identities, using view abstraction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 287, doi. 10.1007/s10009-022-00648-0
- By:
- Publication type:
- Article
Software test results exploration and visualization with continuous integration and nightly testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 261, doi. 10.1007/s10009-022-00647-1
- By:
- Publication type:
- Article
Supporting safe metamodel evolution with edelta.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 247, doi. 10.1007/s10009-022-00646-2
- By:
- Publication type:
- Article
Interface control document modeling with Citrus (avionics systems interfaces).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 225, doi. 10.1007/s10009-022-00645-3
- By:
- Publication type:
- Article
SaBRe: load-time selective binary rewriting.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 205, doi. 10.1007/s10009-021-00644-w
- By:
- Publication type:
- Article
Multi-level privacy analysis of business processes: the Pleak toolset.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 183, doi. 10.1007/s10009-021-00636-w
- By:
- Publication type:
- Article
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 159, doi. 10.1007/s10009-021-00614-2
- By:
- Publication type:
- Article
A domain-specific language to design false data injection tests for air traffic control systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 2, p. 127, doi. 10.1007/s10009-021-00604-4
- By:
- Publication type:
- Article