Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Raúl E. Monti"'
Publikováno v:
International Journal on Software Tools for Technology Transfer, 24, 5, pp. 821-841
International Journal on Software Tools for Technology Transfer, 24, 821-841
International journal on software tools for technology transfer, 24(5), 821-841. Springer
International Journal on Software Tools for Technology Transfer, 24, 821-841
International journal on software tools for technology transfer, 24(5), 821-841. Springer
Dynamic fault trees (DFTs) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using Monte Carlo simulation. A bottl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a1fa4e6316a5c62dadab58b00b69199
https://repository.ubn.ru.nl/handle/2066/284384
https://repository.ubn.ru.nl/handle/2066/284384
Autor:
Raúl E. Monti, Marieke Huisman
Publikováno v:
Proceedings-2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021, 1-5
STARTPAGE=1;ENDPAGE=5;TITLE=Proceedings-2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021
University of Twente Research Information (Pure Portal)
SEENG@ICSE
STARTPAGE=1;ENDPAGE=5;TITLE=Proceedings-2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021
University of Twente Research Information (Pure Portal)
SEENG@ICSE
With the progress in deductive program verification research, new tools and techniques have become available to support design-by-contract reasoning about non-trivial programs written in widely-used programming languages. However, deductive program v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4c6dd938502ed3ad2efb672fac20456
https://research.utwente.nl/en/publications/a39ba2b8-3c76-49da-933f-df434161baf4
https://research.utwente.nl/en/publications/a39ba2b8-3c76-49da-933f-df434161baf4
Autor:
Raúl E. Monti, Pedro R. D'Argenio
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2018 ISBN: 9783030025076
ICTAC
Theoretical Aspects of Computing – ICTAC 2018-15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Theoretical Aspects of Computing – ICTAC 2018
ICTAC
Theoretical Aspects of Computing – ICTAC 2018-15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Theoretical Aspects of Computing – ICTAC 2018
In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting automaton is fully stochastic, that is, it does not contain non-determinis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3ffac4c3711d5607cfbfc701db2b499
https://doi.org/10.1007/978-3-030-02508-3_8
https://doi.org/10.1007/978-3-030-02508-3_8
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319448770
Stochastic automata provide a way to symbolically model systems in which the occurrence time of events may respond to any continuous random variable. We introduce here an input/output variant of stochastic automata that, once the model is closed —i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f1c0a22a1e829dbc7a02a330df226647
https://doi.org/10.1007/978-3-319-44878-7_4
https://doi.org/10.1007/978-3-319-44878-7_4
Publikováno v:
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools
VALUETOOLS
VALUETOOLS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8172d598f18b72785eae666cd96f57ec
Publikováno v:
LPAR
Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 354-372
STARTPAGE=354;ENDPAGE=372;TITLE=Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
EPiC Series in Computing volume 73
University of Twente Research Information (Pure Portal)
Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 354-372
STARTPAGE=354;ENDPAGE=372;TITLE=Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
EPiC Series in Computing volume 73
University of Twente Research Information (Pure Portal)
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs of system c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67aeda34278bf5dcb0c902d586e83921