Výsledky vyhledávání - "Ruijters, Enno J.J."

How to Efficiently Build a Front-End Tool for UPPAAL

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

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6edd1e57d889c35309b617c09fb050e
https://doi.org/10.1007/978-3-319-69483-2_19

Zobrazit plný text záznamu

The Quantitative Verification Benchmark Set

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

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

Zobrazit plný text záznamu

FFORT

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

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

Zobrazit plný text záznamu

Rare event simulation for dynamic fault trees

Autor: Ruijters, Enno J.J., Reijsbergen, D.P., de Boer, Pieter-Tjerk, Stoelinga, Mariëlle I.A.

Fault trees (FT) are a popular industrial method for reliability engineering, for which Monte Carlo simulation is an important technique to estimate common dependability metrics, such as the system reliability and availability. A severe drawback of M

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::f7b94f35c02caaecbd1b63a030a676b2
https://research.utwente.nl/en/publications/d29ea0b1-342d-48e0-9be7-ac3d487661ff

Zobrazit plný text záznamu

Rare Event Simulation for Dynamic Fault Trees

Autor: Ruijters, Enno J.J., Reijsbergen, D.P., de Boer, Pieter-Tjerk, Stoelinga, Mariëlle I.A., Tonetta, Stefano, Schoitsch, Erwin, Bitsch, Friedemann

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319662657
SAFECOMP
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, 20-35
STARTPAGE=20;ENDPAGE=35;TITLE=Computer Safety, Reliability, and Security

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9373823b357c98df1fd6d843be070abf
https://doi.org/10.1007/978-3-319-66266-4_2

Zobrazit plný text záznamu

Modelling and analysis of Markov reward automata

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

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1cce7e90aadc591373faf5986c08516
https://doi.org/10.1007/978-3-319-11936-6_13

Zobrazit plný text záznamu

Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor

Autor: Ruijters, Enno J.J., Guck, Dennis, Drolenga, Peter, Peters, Margot, Stoelinga, Mariëlle I.A., Agha, Gul, Van Houdt, Benny

Publikováno v: Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016, 331-347
STARTPAGE=331;ENDPAGE=347;TITLE=Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016

Maintenance is crucial to ensuring and improving system dependability: By performing timely inspections, repairs, and renewals the lifespan and reliability of systems can be significantly improved. Good maintenance planning, however, has to balance t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::9e64195b413a852e1e031d9114e756b8
https://research.utwente.nl/en/publications/07b33df1-2644-4531-9a9e-03cdc6de8077

Zobrazit plný text záznamu

Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools

Autor: Ruijters, Enno J.J., Stoelinga, Mariëlle I.A.

Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety and economically critical assets, like power plants, airplanes, data centers and web shops. FTA methods comprise of a wide variety of modelling and analysis t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::43884e79b3ab1cbf69fbed3225d341b9
https://research.utwente.nl/en/publications/fault-tree-analysis(88c7ba34-fe51-4f9d-b2f3-cb04aeffaa6e).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání