Zum Inhalt springen

  2. Butler, Michael [HerausgeberIn]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]; Troubitsyna, Elena [Sonstige Person, Familie und Körperschaft]

    Methods, models and tools for fault tolerance

    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, 2009

    Erschienen in: Lecture notes in computer science ; 5454

  3. Troubitsyna, Elena A. [VerfasserIn]

    Software Engineering for Resilient Systems : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6968

  4. Dongol, Brijesh [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn] ; iFM 16. 2020 Online

    Integrated formal methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 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 ; 12546

  5. Troubitsyna, Elena [HerausgeberIn]; Lorenz, Pascal [HerausgeberIn] ; International Conference on Dependability 9. 2016 Nizza, International Academy, Research, and Industry Association

    DEPEND 2016 : the Ninth International Conference on Dependability : July 24-28, 2016, Nice, France

    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.

    [Wilmington, DE, USA]: IARIA, [2016]

  6. Crnkovic, Ivica [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn]

    Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, 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, 2016

    Erschienen in: Lecture notes in computer science ; 9823

  7. Petcu, Dana [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn] ; International Conference on Adaptive and Self-Adaptive Systems and Applications 4. 2012 Nizza, International Academy, Research, and Industry Association

    ADAPTIVE 2012 : the Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications : July 22-27, 2012, Nice, France

    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.

    [Wilmington, DE, USA]: IARIA, [2012]

  8. Romanovsky, Alexander [HerausgeberIn]; Troubitsyna, Elena A. [HerausgeberIn]

    Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 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 ; 10479

  9. Romanovsky, Alexander [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn]; Bitsch, Friedemann [HerausgeberIn]

    Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings - [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: Programming and Software Engineering ; 11698- Springer eBooks ; Computer Science

  10. Troubitsyna, Elena [HerausgeberIn]; Turón, Alberto [HerausgeberIn]; Berntzen, Lasse [HerausgeberIn] ; International Conference on Advanced Collaborative Networks, Systems and Applications 7. 2017 Nizza, International Academy, Research, and Industry Association

    COLLA 2017 : the Seventh International Conference on Advanced Collaborative Networks, Systems and Applications : July 23-27, 2017, Nice, France

    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.

    [Wilmington, DE, USA]: IARIA, [2017]

  11. Musliner, David [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn]; Tamir, Dan [HerausgeberIn] ; International Conference on Adaptive and Self-Adaptive Systems and Applications 6. 2014 Venedig, International Academy, Research, and Industry Association

    ADAPTIVE 2014 : the Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications : May 25-29, 2014, Venice, Italy

    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.

    [Wilmington, DE, USA]: IARIA, [2014]

  12. Heisel, Maritta [VerfasserIn]; Kaaniche, Mohamed [VerfasserIn]; Romanovsky, Alexander [VerfasserIn]; Troubitsyna, Elena [VerfasserIn] ; Maritta Heisel and Mohamed Kaaniche and Alexander Romanovsky and Elena Troubitsyna [MitwirkendeR]

    Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)

    Konferenzberichte
    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.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Dagstuhl Reports. Dagstuhl Reports, Volume 3, Issue 1, 2013

  13. Romanovsky, Alexander [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn]; Gashi, Ilir [HerausgeberIn]; Schoitsch, Erwin [HerausgeberIn]; Bitsch, Friedemann [HerausgeberIn]

    Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings - [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: Programming and Software Engineering ; 11699- Springer eBooks ; Computer Science

  14. Butler, Michael [Sonstige Person, Familie und Körperschaft]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]; Troubitsyna, Elena [Sonstige Person, Familie und Körperschaft]

    Rigorous Development of Complex Fault-Tolerant Systems

    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 ; 4157

  15. Abrial, Jean-Raymond [VerfasserIn]; Butler, Michael [VerfasserIn]; Joshi, Rajev [VerfasserIn]; Troubitsyna, Elena [VerfasserIn]; Woodcock, Jim C. P. [VerfasserIn]

    09381 Extended Abstracts Collection -- Refinement Based Methods for the Construction of Dependable Systems

    Konferenzberichte
    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.

    Dagstuhl Seminar Proceedings. 09381 - Refinement Based Methods for the Construction of Dependable Systems, 2010

  16. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Troubitsyna, Elena [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Methods, Models and Tools for Fault Tolerance

    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, 2009

    Erschienen in: Lecture notes in computer science ; 5454

  17. Troubitsyna, Elena

    Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: Utilising Redundancy to Enhance Security of Safety-Critical Systems

    Aufsätze
    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.

    Springer Nature Switzerland, 2023

    Erschienen in: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

  19. Poorhadi, Ehsan; Troubitsyna, Elena

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Automating an Analysis of Safety-Security Interactions for Railway Systems

    Aufsätze
    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.

    Springer Nature Switzerland, 2023

    Erschienen in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification