Works matching IS 14332779 AND DT 2021 AND VI 23 AND IP 2

Results: 8
    1

    Preface.

    Published in:
    2021
    By:
    • Leucker, Martin;
    • Colombo, Christian
    Publication type:
    Editorial
    2

    A taxonomy for classifying runtime verification tools.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 255, doi. 10.1007/s10009-021-00609-z
    By:
    • Falcone, Yliès;
    • Krstić, Srđan;
    • Reger, Giles;
    • Traytel, Dmitriy
    Publication type:
    Article
    3

    From parametric trace slicing to rule systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 209, doi. 10.1007/s10009-021-00608-0
    By:
    • Reger, Giles;
    • Rydeheard, David
    Publication type:
    Article
    4

    Diagnosing timed automata using timed markings.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 229, doi. 10.1007/s10009-021-00606-2
    By:
    • Bouyer, Patricia;
    • Henry, Léo;
    • Jaziri, Samy;
    • Jéron, Thierry;
    • Markey, Nicolas
    Publication type:
    Article
    5

    Scalable online first-order monitoring.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 185, doi. 10.1007/s10009-021-00607-1
    By:
    • Schneider, Joshua;
    • Basin, David;
    • Brix, Frederik;
    • Krstić, Srđan;
    • Traytel, Dmitriy
    Publication type:
    Article
    6
    7
    8

    Automata-based monitoring for LTL-FO+.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 137, doi. 10.1007/s10009-020-00566-z
    By:
    • Khoury, Raphaël;
    • Hallé, Sylvain;
    • Lebrun, Yannick
    Publication type:
    Article