Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Arnd Hartmanns"'
Publikováno v:
ACM Transactions on Modeling and Computer Simulation
ACM transactions on modeling and computer simulation, 31(3):14. Association for Computing Machinery (ACM)
ACM transactions on modeling and computer simulation, 31(3):14. Association for Computing Machinery (ACM)
Markov automata are a compositional modelling formalism with continuous stochastic time, discrete probabilities, and nondeterministic choices. In this article, we present extensions to M ODEST , an expressive high-level language with roots in process
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ef68b6f66bb6eb4e420aec0abe9af0d
https://doi.org/10.1145/3449355
https://doi.org/10.1145/3449355
Publikováno v:
Innovations in systems and software engineering, 15(3-4), 207-233. Springer
Many systems are inherently stochastic: they interact with unpredictable environments or use randomised algorithms. Classical model-based testing is insufficient for such systems: it only covers functional correctness. In this paper, we present two m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::725efba8f1ba7256e04e5f18c5783a3d
https://doi.org/10.1007/s11334-019-00349-z
https://doi.org/10.1007/s11334-019-00349-z
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Science of computer programming, 174, 90-108. Elsevier
Science of Computer Programming
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Science of computer programming, 174, 90-108. Elsevier
Science of Computer Programming
In the formal verification of stochastic systems, statistical model checking usessimulation to overcome the state space explosion problem of probabilistic modelchecking. Yet its runtime explodes when faced with rare events, unless a rareevent simulat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ad071e5388b9fbdc6903f339eab8d3f
http://www.scopus.com/inward/record.url?scp=85060605555&partnerID=8YFLogxK
http://www.scopus.com/inward/record.url?scp=85060605555&partnerID=8YFLogxK
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The goal
Autor:
Budde, Carlos E., Arnd, Hartmanns, Michaela, Klauck, Jan, Křetínský, David, Parker, Tim, Quatmann, Andrea, Turrini, Zhen, Zhang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3432::92e53269891404fd6e5481c1fae651ba
https://link.springer.com/chapter/10.1007/978-3-030-83723-5_15
https://link.springer.com/chapter/10.1007/978-3-030-83723-5_15
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030763831
NFM
NFM
We study a smart grid with wind power and battery storage. Traditionally, day-ahead planning aims to balance demand and wind power, yet actual wind conditions often deviate from forecasts. Short-term flexibility in storage and generation fills potent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f74ce0a1ea1d5ec3c24180851d68169
https://doi.org/10.1007/978-3-030-76384-8_1
https://doi.org/10.1007/978-3-030-76384-8_1
Publikováno v:
Journal of automated reasoning, 64(7), 1483-1522. Springer
Journal of automated reasoning 64(7), 1483-1522 (2020). doi:10.1007/s10817-020-09574-9 special issue: "Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman / Issue editors: Didier Galmiche, Stephan Schulz, Roberto Sebastiani, Dirk Beyer, Marieke Huisman"
9. International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, 2018-07-14-2018-07-1724. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Thessaloniki, Greece, 2018-04-14-2018-04-20
Journal of automated reasoning 64(7), 1483-1522 (2020). doi:10.1007/s10817-020-09574-9 special issue: "Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman / Issue editors: Didier Galmiche, Stephan Schulz, Roberto Sebastiani, Dirk Beyer, Marieke Huisman"
9. International Joint Conference on Automated Reasoning, IJCAR 2018, Oxford, UK, 2018-07-14-2018-07-1724. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Thessaloniki, Greece, 2018-04-14-2018-04-20
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, Thessaloniki, Greece, 14 Apr 2018 - 20 Apr 2018; Journal of automated reasoning 64(7), 1483-1522 (2020). doi:10.1007/s10817-020-09574-9 sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39970ea825e0e5c5000f7c8a9c06b0ba
https://research.utwente.nl/en/publications/99db425f-516e-47a2-a329-d900628eb5cc
https://research.utwente.nl/en/publications/99db425f-516e-47a2-a329-d900628eb5cc
Autor:
Abraham P. Vinod, Joanna Delicaris, Henk A. P. Blom, Fedor Shmarov, Mahmoud Khaled, Carina Pilch, Nathalie Cauchi, Sadegh Soudjani, Alessandro Abate, Majid Zamani, Stefan Schupp, Ben Wooding, Anne Remke, Paolo Zuliani, Abolfazl Lavaei, Arnd Hartmanns
Publikováno v:
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020, 74, 76-106
ARCH
ARCH
This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s ed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b47c3814568b6bd4b074fed6599d126b
https://doi.org/10.29007/mqzc
https://doi.org/10.29007/mqzc
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification ISBN: 9783030034207
ISoLA (2)
Leveraging Applications of Formal Methods, Verification and Validation. Verification-8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 11245, 336-353
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification
ISoLA (2)
Leveraging Applications of Formal Methods, Verification and Validation. Verification-8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 11245, 336-353
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification
Lightweight scheduler sampling brings statistical model checking to nondeterministic formalisms with undiscounted properties, in constant memory. Its direct application to continuous-time models is rendered ineffective by their dense concrete state s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0565b5b24d993ca1866ac6c833b1c01
https://doi.org/10.1007/978-3-030-03421-4_22
https://doi.org/10.1007/978-3-030-03421-4_22