Zobrazeno 1 - 10
of 6 890
pro vyhledávání: '"BUDDE, P"'
We introduce a formal model of transportation in an open-pit mine for the purpose of optimising the mine's operations. The model is a network of Markov automata (MA); the optimisation goal corresponds to maximising a time-bounded expected reward prop
Externí odkaz:
http://arxiv.org/abs/2412.05476
Software security mainly studies vulnerability detection: is my code vulnerable today? This hinders risk estimation, so new approaches are emerging to forecast the occurrence of future vulnerabilities. While useful, these approaches are coarse-graine
Externí odkaz:
http://arxiv.org/abs/2411.11202
Autor:
Budde, Carlos E., Hartmanns, Arnd, Meggendorfer, Tobias, Weininger, Maximilian, Wienhöft, Patrick
Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guarantees. However, many tools use unsound statistical methods that produce
Externí odkaz:
http://arxiv.org/abs/2411.00559
Autor:
Schilling, Kurt G, Howard, Amy FD, Grussu, Francesco, Ianus, Andrada, Hansen, Brian, Barrett, Rachel L C, Aggarwal, Manisha, Michielse, Stijn, Nasrallah, Fatima, Syeda, Warda, Wang, Nian, Veraart, Jelle, Roebroeck, Alard, Bagdasarian, Andrew F, Eichner, Cornelius, Sepehrband, Farshid, Zimmermann, Jan, Soustelle, Lucas, Bowman, Christien, Tendler, Benjamin C, Hertanu, Andreea, Jeurissen, Ben, Verhoye, Marleen, Frydman, Lucio, van de Looij, Yohan, Hike, David, Dunn, Jeff F, Miller, Karla, Landman, Bennett A, Shemesh, Noam, Anderson, Adam, McKinnon, Emilie, Farquharson, Shawna, Acqua, Flavio Dell', Pierpaoli, Carlo, Drobnjak, Ivana, Leemans, Alexander, Harkins, Kevin D, Descoteaux, Maxime, Xu, Duan, Huang, Hao, Santin, Mathieu D, Grant, Samuel C., Obenaus, Andre, Kim, Gene S, Wu, Dan, Bihan, Denis Le, Blackband, Stephen J, Ciobanu, Luisa, Fieremans, Els, Bai, Ruiliang, Leergaard, Trygve B, Zhang, Jiangyang, Dyrby, Tim B, Johnson, G Allan, Cohen-Adad, Julien, Budde, Matthew D, Jelescu, Ileana O
Preclinical diffusion MRI (dMRI) has proven value in methods development and validation, characterizing the biological basis of diffusion phenomena, and comparative anatomy. While dMRI enables in vivo non-invasive characterization of tissue, ex vivo
Externí odkaz:
http://arxiv.org/abs/2411.05021
Autor:
Oss, Tommaso, Budde, Carlos E.
Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnerabilities$-$at the cost of production efficiency. Recent studies show f
Externí odkaz:
http://arxiv.org/abs/2410.17204
Autor:
Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle, Massacci, Fabio, Budde, Carlos E.
The landscape of cyber threats grows more complex by the day. Advanced Persistent Threats carry out attack campaigns - e.g. operations Dream Job, Wocao, and WannaCry - against which cybersecurity practitioners must defend. To prioritise which of thes
Externí odkaz:
http://arxiv.org/abs/2410.06692
Publikováno v:
Hillston, J., Soudjani, S., Waga, M. (eds) Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS 2024. Lecture Notes in Computer Science, vol 14996. Springer, Cham
Non-Markovian models have great expressive power, at the cost of complex analysis of the stochastic process. The method of Stochastic State Classes (SSCs) derives closed-form analytical expressions for the joint Probability Density Functions (PDFs) o
Externí odkaz:
http://arxiv.org/abs/2406.16447
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
The existence of Quantum Many-Body Scars, which prevents thermalization from certain initial states after a long time, has been established across different quantum many-body systems. These include gauge theories corresponding to spin-1/2 quantum lin
Externí odkaz:
http://arxiv.org/abs/2403.08892
Context: Software of different functional categories, such as text processing vs. networking, has different profiles in terms of metrics like security and updates. Using popularity to compare e.g. Java vs. Python libraries might give a skewed perspec
Externí odkaz:
http://arxiv.org/abs/2403.06300