Skip to main navigation Skip to search Skip to main content
Eugene Stark

View Scopus Profile

Eugene Stark

    19822006

    Research activity per year

    Personal profile

    Fingerprint

    Dive into the research topics where Eugene Stark is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    • Probabilistic I/O automata: Theories of two equivalences

      Stark, E. W., Cleaveland, R. & Smolka, S. A., 2006, CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Springer Verlag, p. 343-357 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4137 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations

    • Formally specifying CARA in Java

      Stark, E. W., 2004, In: International Journal on Software Tools for Technology Transfer. 5, 4, p. 331-350 20 p.

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations

    • A process-algebraic language for probabilistic I/O automata

      Stark, E. W., Cleaveland, R. & Smolka, S. A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Amadio, R. & Lugiez, D. (eds.). Springer Verlag, p. 193-207 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2761).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      15 Scopus citations

    • The integrated CWB-NC/PIOATool for functional verification and performance analysis of concurrent systems

      Zhang, D., Cleaveland, R. & Stark, E. W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Garavel, H. & Hatcliff, J. (eds.). Springer Verlag, p. 431-436 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2619).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      6 Scopus citations

    • Compositional performance analysis using probabilistic I/O automata

      Stark, E. W., 2000, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Palamidessi, C. (ed.). Springer Verlag, p. 25-28 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1877 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations
    View all 28 Research outputs