External Links

    Journal: Formal Methods in System Design

    Volume 44, Issue 1

    1 -- 43Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen. QoS-aware management of monotonic service orchestrations
    44 -- 70Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra. Automata-based symbolic string analysis for vulnerability detection
    71 -- 90Stefan Ratschan. Safety verification of non-linear hybrid systems is quasi-decidable
    91 -- 99Ludwig Griebl, Johann Schuster. Some notes on the abstraction operation for multi-terminal binary decision diagrams
    runs on