Zum Inhalt springen

  1. Remke, Anne [VerfasserIn] ; Stoelinga, Mariëlle [HerausgeberIn]

    Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

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

    Erschienen in: Lecture notes in computer science ; 8453

  2. Remke, Anne [HerausgeberIn]; Schiavoni, Valerio [HerausgeberIn]

    Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings - [1st ed. 2020.]

    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 International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Computer Communication Networks and Telecommunications ; 12135- Springer eBook Collection

  3. Haverkort, Boudewijn R. [VerfasserIn]; Kuntz, Matthias [VerfasserIn]; Leitner-Fischer, Florian [VerfasserIn] ; Remke, Anne [Sonstige Person, Familie und Körperschaft]; Roolvink, Stephan [Sonstige Person, Familie und Körperschaft]

    Probabilistic verification of Architectural software models using SoftArc and Prism

    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.

    Konstanz: Bibliothek der Universität Konstanz, 2010

  5. Niedermeier, Michael [VerfasserIn] ; De Meer, Hermann [AkademischeR BetreuerIn]; Remke, Anne [AkademischeR BetreuerIn]

    Towards High Performability in Advanced Metering Infrastructures

    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.

    Passau: Universität Passau, 2020

  6. Remke, Anne [HerausgeberIn]; Haverkort, Boudewijn R. [HerausgeberIn]

    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings - [1st ed. 2016]

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

  7. Haehn, Rebecca [VerfasserIn] ; Ábrahám, Erika [AkademischeR BetreuerIn]; Nießen, Nils [AkademischeR BetreuerIn]; Remke, Anne [AkademischeR BetreuerIn]

    Optimisation and analysis of railway timetables under consideration of uncertainties

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  8. Haehn, Rebecca [VerfasserIn] ; Ábrahám, Erika [AkademischeR BetreuerIn]; Nießen, Nils [AkademischeR BetreuerIn]; Remke, Anne [AkademischeR BetreuerIn]

    Optimisation and analysis of railway timetables under consideration of uncertainties

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2022

  9. Gribaudo, Marco [HerausgeberIn]; Jansen, David N. [HerausgeberIn]; Remke, Anne [HerausgeberIn]

    Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings - [1st ed. 2020.]

    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 International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Theoretical Computer Science and General Issues ; 12289- Springer eBook Collection

  10. Gribaudo, Marco [HerausgeberIn]; Manini, Daniele [HerausgeberIn]; Remke, Anne [HerausgeberIn]

    Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. 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 [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9081

  11. Haverkort, Boudewijn R. [VerfasserIn]; Kuntz, Matthias [VerfasserIn]; Remke, Anne [VerfasserIn] ; Roolvink, Stephan [Sonstige Person, Familie und Körperschaft]; Stoelinga, Mariëlle [Sonstige Person, Familie und Körperschaft]

    Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

    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.

    Konstanz: Bibliothek der Universität Konstanz, 2010

  12. Haverkort, Boudewijn R. [VerfasserIn]; Kuntz, Matthias [VerfasserIn]; Remke, Anne [VerfasserIn] ; Roolvink, Stephan [Sonstige Person, Familie und Körperschaft]

    Formal Performability Evaluation of Architectural Models of Critical Infrastructures

    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.

    Konstanz: Bibliothek der Universität Konstanz, 2010

  14. Ábrahám, Erika [VerfasserIn]; Avritzer, Alberto [VerfasserIn]; Remke, Anne [VerfasserIn]; Sanders, William H. [VerfasserIn] ; Erika Ábrahám and Alberto Avritzer and Anne Remke and William H. Sanders [MitwirkendeR]

    Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)

    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

  15. Haverkort, Boudewijn R. [VerfasserIn]; Remke, Anne [VerfasserIn]; Roolvink, Stephan [VerfasserIn]; Kuntz, Matthias [VerfasserIn]

    Formal Performability Evaluation of Architectural Models of Critical Infrastructures

    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2010

  16. Bakhshi, Rena [HerausgeberIn]; Ballarini, Paolo [HerausgeberIn]; Barbot, Benoît [HerausgeberIn]; Castel-Taleb, Hind [HerausgeberIn]; Remke, Anne [HerausgeberIn]

    Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, 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 International Publishing, 2018

    Erschienen in: Programming and Software Engineering ; 11178- SpringerLink ; Bücher

  17. Haverkort, Boudewijn R. [VerfasserIn]; Remke, Anne [VerfasserIn]; Roolvink, Stephan [VerfasserIn]; Stoelinga, Mariëlle Ida Antoinette [VerfasserIn]; Kuntz, Matthias [VerfasserIn]

    Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2010

  18. Haverkort, Boudewijn R. [VerfasserIn]; Remke, Anne [VerfasserIn]; Roolvink, Stephan [VerfasserIn]; Kuntz, Matthias [VerfasserIn]; Leitner-Fischer, Florian [VerfasserIn]

    Probabilistic verification of Architectural software models using SoftArc and Prism

    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2010

  19. Avritzer, Alberto [VerfasserIn]; Carnevali, Laura [VerfasserIn]; Ghasemieh, Hamed [VerfasserIn]; Happe, Lucia [VerfasserIn]; Haverkort, Boudewijn R. [VerfasserIn]; Koziolek, Anne [VerfasserIn]; Menasche, Daniel [VerfasserIn]; Remke, Anne [VerfasserIn]; Sarvestani, Sahra Sedigh [VerfasserIn]; Vicario, Enrico [VerfasserIn]

    Survivability Evaluation of Gas, Water and Electricity Infrastructures

    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.

    Elsevier, 2016-01-04

    Erschienen in: Electronic notes in theoretical computer science, 310, 5-25 ; ISSN: 1571-0661

  20. Abate, Alessandro [VerfasserIn]; Blom, Henk [VerfasserIn]; Cauchi, Nathalie [VerfasserIn]; Degiorgio, Kurt [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Hahn, Ernst Moritz [VerfasserIn]; Haesaert, Sofie [VerfasserIn]; Ma, Hao [VerfasserIn]; Oishi, Meeko M. K. [VerfasserIn]; Pilch, Carina [VerfasserIn]; Remke, Anne [VerfasserIn]; Salamati, Mahmoud [VerfasserIn]; Sougjani, Sadegh [VerfasserIn]; Huijgevoort, Birgit van [VerfasserIn]; Vinod, Abraham P. [VerfasserIn]

    ARCH-COMP19 Category Report : Stochastic Modelling

    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.

    2019

    Erschienen in: International Workshop on Applied Verification of Continuous and Hybrid Systems (6. : 2019 : Montréal): ARCH19 ; (2019), Seite 62-102