Year: 2024
Type: conference-paper
Authors: Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Institutions: Brno University of Technology, RWTH Aachen University, University of Trento, Technical University of Munich, University of Twente, Utah State University, Radboud University Nijmegen, Saarland University, Graz University of Technology, Masaryk University, Institute of Science and Technology Austria, Lancaster University, University of Oxford, Eindhoven University of Technology
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: FET: Medium: Collaborative Research: An Efficient Framework for the Stochastic Verification of Computation and Communication Systems Using Emerging Technologies, G2302795432, G2757978615, G3032849772, Projection of Security Vulnerabilities caused by Exploits in Dependencies, Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability, Integrating Safety and Cybersecurity through Stochastic Model Checking, From FUnction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, Data-Driven Verification and Learning Under Uncertainty, TRR 248: Grundlagen verständlicher SoftwareSysteme für eine nachvollziehbare cyberphysische Welt
OpenAlex ID: W4403943655