Zum Inhalt springen

  1. Choppy, Christine [HerausgeberIn]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop 15 2008 Budapest

    Foundations of computer software : future trends and techniques for development ; 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6028

  2. Kordon, Fabrice [HerausgeberIn]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft] ; Monterey Workshop 13 2006 Paris

    Composition of Embedded Systems : Scientific and Industrial Issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4888

  3. Sokolsky, Oleg [HerausgeberIn]; Taşiran, Serdar [Sonstige Person, Familie und Körperschaft] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia

    Runtime verification : 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4839

  4. Choppy, Christine [VerfasserIn] ; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]

    Foundations of Computer Software. Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6028

  5. Kordon, Fabrice [VerfasserIn] ; Sokolsky, Oleg [HerausgeberIn] Monterey Workshop 13 2006 Paris

    Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4888

  6. Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Taşıran, Serdar [Sonstige Person, Familie und Körperschaft] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia

    Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4839

  7. Dang Van Hung [HerausgeberIn]; Sokolsky, Oleg [HerausgeberIn] ; ATVA 18. 2020 Online

    Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2020.

    Erschienen in: Lecture notes in computer science ; 12302

  8. Larsen, Kim Guldstrand [HerausgeberIn]; Sokolsky, Oleg [HerausgeberIn]; Wang, Ji [HerausgeberIn]

    Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10606

  10. Bartocci, Ezio [HerausgeberIn]; Cleaveland, Rance [HerausgeberIn]; Grosu, Radu [HerausgeberIn]; Sokolsky, Oleg [HerausgeberIn]

    From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday - [1st ed. 2019]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Theoretical Computer Science and General Issues ; 11500- Springer eBooks ; Computer Science

  11. Finkbeiner, Bernd [VerfasserIn]; Havelund, Klaus [VerfasserIn]; Rosu, Grigore [VerfasserIn]; Sokolsky, Oleg [VerfasserIn] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [MitwirkendeR]

    07011 Abstracts Collection – Runtime Verification

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  12. Finkbeiner, Bernd [VerfasserIn]; Havelund, Klaus [VerfasserIn]; Rosu, Grigore [VerfasserIn]; Sokolsky, Oleg [VerfasserIn] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [MitwirkendeR]

    07011 Executive Summary – Runtime Verification

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  14. Havelund, Klaus [VerfasserIn]; Leucker, Martin [VerfasserIn]; Sachenbacher, Martin [VerfasserIn]; Sokolsky, Oleg [VerfasserIn]; Williams, Brian C. [VerfasserIn] ; Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams [MitwirkendeR]

    10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  15. Havelund, Klaus [VerfasserIn]; Leucker, Martin [VerfasserIn]; Sachenbacher, Martin [VerfasserIn]; Sokolsky, Oleg [VerfasserIn]; Williams, Brian C. [VerfasserIn] ; Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams [MitwirkendeR]

    10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  16. Barringer, Howard [VerfasserIn] ; Falcone, Ylies [Sonstige Person, Familie und Körperschaft]; Finkbeiner, Bernd [Sonstige Person, Familie und Körperschaft]; Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Pace, Gordon J. [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Tillmann, Nikolai [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6418

  17. Feng, Lu [VerfasserIn]; King, Andrew L. [VerfasserIn]; Chen, Sanjian [VerfasserIn]; Ayoub, Anaheed [VerfasserIn]; Park, Junkil [VerfasserIn]; Bezzo, Nicola [VerfasserIn]; Sokolsky, Oleg [VerfasserIn]; Lee, Insup [VerfasserIn] ; Lu Feng and Andrew L. King and Sanjian Chen and Anaheed Ayoub and Junkil Park and Nicola Bezzo and Oleg Sokolsky and Insup Lee [MitwirkendeR]

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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  18. Zhou, Xiaobo [Sonstige Person, Familie und Körperschaft]; Lu, Yan [Sonstige Person, Familie und Körperschaft]; Jeong, Young-Sik [Sonstige Person, Familie und Körperschaft]; Jung, Eun-Sun [Sonstige Person, Familie und Körperschaft]; Kim, Daeyoung [Sonstige Person, Familie und Körperschaft]; Lee, Dong-Chun [Sonstige Person, Familie und Körperschaft]; Mu, Yi [Sonstige Person, Familie und Körperschaft]; Shao, Zili [Sonstige Person, Familie und Körperschaft]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Xu, Cheng-Zhong [Sonstige Person, Familie und Körperschaft]

    Emerging Directions in Embedded and Ubiquitous Computing : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4097

  19. Batt, Gregory [VerfasserIn]; Bradley, Jeremy T. [VerfasserIn]; Ewald, Roland [VerfasserIn]; Fages, François [VerfasserIn]; Hermans, Holger [VerfasserIn]; Hillston, Jane [VerfasserIn]; Kemper, Peter [VerfasserIn]; Martens, Alke [VerfasserIn]; Mosterman, Pieter [VerfasserIn]; Nielson, Flemming [VerfasserIn]; Sokolsky, Oleg [VerfasserIn]; Uhrmacher, Adelinde M. [VerfasserIn] ; Gregory Batt and Jeremy T. Bradley and Roland Ewald and François Fages and Holger Hermans and Jane Hillston and Peter Kemper and Alke Martens and Pieter Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde M. Uhrmacher [MitwirkendeR]

    06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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