SUCHE
-
1st Workshop on Monitoring and Testing of Cyber-Physical Systems
task. In order to address their full complexity, there is an emergent need for formal, yet efficient and scalable methods for the verification and analysis of CPS. Light-weight verification techniques [...] from CPS behaviors. Topics of interest include (but are not limited to): Specification languages for monitoring and testingRuntime verification and monitoringBlack-box and white-box testingMeasuring and [...] AustriaOded Maler, VERIMAG, FranceDejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria For more detailed information about submissions instructions, Keynote speaker and programm committee, please
-
E-ARK gets £6M to save digital data
opportunities for the access to and re-use of archival data by supporting Open Access to archival records and data mining of these records in order to find valuable trends and correlations.For further i [...] and Integration." This work package provides a software package and reference implementation for a scalable e-Archiving service. This package should be easily deployed at institutions that have no
-
Wissenschaftliche Publikationen (peer reviewed)
- /ueber-das-ait/center/center-for-digital-safety-security/bookshelf/wissenschaftlichepublikationenpeerreviewed
pt for a national cyber security sensor network " International Journal on Cyber Situational Awareness , 4 (2019), S. 155 - 184 F. Skopik, T. Pahi " Under false flag: Using technical artifacts for cyber [...] Wissenschaftliche Publikationen ( peer reviewed ) Die Expert*innen des AIT Center for Digital Safety & Security publizieren regelmäßig in Journals mit hohem Impact Faktor sowie großer Relevanz und breiter [...] Magnin, M. Matschnig, B. Fischer, J. Martinez " The AQUAS ECSEL Project Aggregated Quality Assurance for Systems : Co- Engineering Inside and Across the Product Life Cycle " Microprocessors and Microsystems