Skip to contents

  7. Lee, Insup [Other] ; CONCUR 6 1995 Philadelphia, Pa

    CONCUR '95: concurrency theory : 6th international conference, Philadelphia, PA, USA, August 21 - 24, 1995 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1995 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 96200

  8. Sokolsky, Oleg [Author]; Sammapun, Usa [Author]; Regehr, John [Author]; Lee, Insup [Author] ; Oleg Sokolsky and Usa Sammapun and John Regehr and Insup Lee [Contributor]

    Runtime Verification for Wireless Sensor Network Applications

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  9. Feng, Lu [Author]; King, Andrew L. [Author]; Chen, Sanjian [Author]; Ayoub, Anaheed [Author]; Park, Junkil [Author]; Bezzo, Nicola [Author]; Sokolsky, Oleg [Author]; Lee, Insup [Author] ; Lu Feng and Andrew L. King and Sanjian Chen and Anaheed Ayoub and Junkil Park and Nicola Bezzo and Oleg Sokolsky and Insup Lee [Contributor]

    A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  10. Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other]

    Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6418

  11. Hutchison, David [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Viswanathan, Mahesh [Other]; Cha, Sungdeok (Steve) [Other]; Weikum, Gerhard [Other]; Choi, Jin-Young [Other]; Kanade, Takeo [Other]; Kim, Moonzoo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Lee, Insup [Other]; Mattern, Friedemann [Other]

    Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5311