Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Ruijters, Enno"'
Autor:
Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E., Češka, Milan, Grover, Kush, Hahn, Ernst Moritz, Hartmanns, Arnd, Israelsen, Bryant, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A., Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool support is available for computing basic properties such as expected reward
Externí odkaz:
http://arxiv.org/abs/2405.13583
Publikováno v:
In Reliability Engineering and System Safety June 2019 186:220-231
Autor:
Ruijters, Enno, Stoelinga, Mariëlle
Publikováno v:
In Computer Science Review February-May 2015 15-16:29-62
Autor:
Hahn, Ernst Moritz, Hartmanns, Arnd, Hensel, Christian, Klauck, Michaela, Klein, Joachim, Křetínský, Jan, Parker, David, Quatmann, Tim, Steinmetz, Marcel, Ruijters, Enno, Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems-25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Cham : Springer Open, Lecture notes in computer science 11429, 69-92 (2019). doi:10.1007/978-3-030-17502-3_5
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 69-92
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Cham : Springer Open, Lecture notes in computer science 11429, 69-92 (2019). doi:10.1007/978-3-030-17502-3_5
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.-Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (Eds.)25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, 69-92
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030175016
TACAS (3)
Quantitative formal models capture probabilistic behaviour, real-time aspects, or general continuous dynamics. A number of tools support their automatic analysis with respect to dependability or performance properties. QComp 2019 is the first, friend
Autor:
Budde, Carlos E., Ruijters, Enno, Stoelinga, Mariëlle, Gribaudo, Marco, Jansen, David N., Remke, Anne
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783030598532
QEST
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings, 233-238
STARTPAGE=233;ENDPAGE=238;TITLE=Quantitative Evaluation of Systems
QEST
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings, 233-238
STARTPAGE=233;ENDPAGE=238;TITLE=Quantitative Evaluation of Systems
The dynamic-fault-tree rare event simulator, DFTRES, is a statistical model checker for dynamic fault trees (DFTs), supporting the analysis of highly dependable systems, e.g. with unavailability or unreliability under \(10^{-30}\). To efficiently est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5edb85bbd0b1859dcd8a8e1b2159752
https://doi.org/10.1007/978-3-030-59854-9_17
https://doi.org/10.1007/978-3-030-59854-9_17
Autor:
Schivo, Stefano, Yildiz, Bugra Mehmet, Ruijters, Enno J.J., Gerking, Christopher, Kumar, Rajesh, Dziwok, Stefan, Rensink, Arend, Stoelinga, Mariëlle I.A., Larsen, Kim, Sokolsky, Oleg, Wang, Ji
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, 319-336
STARTPAGE=319;ENDPAGE=336;TITLE=Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825
SETTA
STARTPAGE=319;ENDPAGE=336;TITLE=Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825
SETTA
We propose a model-driven engineering approach that facilitates the production of tool chains that use the popular model checker Uppaal as a back-end analysis tool. In this approach, we introduce a metamodel for Uppaal ’s input model, containing bo
Autor:
Hartmanns, Arnd, Klauck, Michaela, Parker, David, Quatmann, Tim, Ruijters, Enno J.J., Zhang, Lijun, Vojnar, Tomáš
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, 344-350
STARTPAGE=344;ENDPAGE=350;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Cham, Switzerland : Springer Open, Lecture notes in computer science 11427, 344-350 (2019). doi:10.1007/978-3-030-17462-0_20
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 1
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 125. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
STARTPAGE=344;ENDPAGE=350;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Cham, Switzerland : Springer Open, Lecture notes in computer science 11427, 344-350 (2019). doi:10.1007/978-3-030-17462-0_20
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 1
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.).-Part 125. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, Prague, Czech Republic, 2019-04-06-2019-04-1122. European Joint Conference on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 2019-04-06-2019-04-11
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613
TACAS (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792] ; Cham : Springer International Publishing, 2019, Chapter 20 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-17461-3=97
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e14d254b36593faa5c2de6961d97d0c
https://zenodo.org/record/5750687
https://zenodo.org/record/5750687
Autor:
Ruijters, Enno J.J., Budde, Carlos Esteban, Chenariyan Nakhaee, Muhammad, Stoelinga, Mariëlle I.A., Bucur, Doina, Hiemstra, Djoerd, Schivo, Stefano, Beer, Michael, Zio, Enrico
Publikováno v:
ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference, 878-885
STARTPAGE=878;ENDPAGE=885;TITLE=ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference
STARTPAGE=878;ENDPAGE=885;TITLE=ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference
This paper presents FFORT (the Fault tree FOResT): A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata. Fault trees are a common formalism in reliability engineering, and the FFORT b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f877bf8ae947436901958d50b09f2d0
https://doi.org/10.3850/978-981-11-2724-3_0641-cd
https://doi.org/10.3850/978-981-11-2724-3_0641-cd
Maintenance is crucial for the operation of modern systems. Timely inspections, repairs, and replacements help to prevent costly failures and downtime, and ensure that systems continue to function properly and safely. At the same time, this maintenan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::8cf896e63e5804ecdae95d99d70fab19
https://research.utwente.nl/en/publications/zen-and-the-art-of-railway-maintenance(2e032cd6-79b0-4e7a-b7ed-771f065a14cb).html
https://research.utwente.nl/en/publications/zen-and-the-art-of-railway-maintenance(2e032cd6-79b0-4e7a-b7ed-771f065a14cb).html
Autor:
Guck, Dennis, Timmer, Mark, Hatefi, Hassan, Ruijters, Enno J.J., Stoelinga, Mariëlle I.A., Cassez, Franck, Raskin, Jean-François
Publikováno v:
Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 168-184
STARTPAGE=168;ENDPAGE=184;TITLE=Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
STARTPAGE=168;ENDPAGE=184;TITLE=Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
Costs and rewards are important ingredients for many types of systems, modelling critical aspects like energy consumption, task completion, repair costs, and memory usage. This paper introduces Markov reward automata, an extension of Markov automata