Public deliverables

Book chapters

  • O. Netkachov, P. Popov, K. Salako. Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. Chapter in book: Advanced Sciences and Technologies for Security Applications series, Springer, 2018.

Conference papers

  • P. Popov. Models of reliability of fault-tolerant software under cyber-attacks. 28th IEEE International Symposium on Software Reliability Engineering (ISSRE’2017). 2017, IEEE: Toulouse, France, 22-26 October, 2017. p. 228-239. (CITY) [link]
  • I. Homoliak, M. Barabas, P. Hanáček. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In Proc. of 12th International Conference on Security and Privacy in Communication Networks, LNICST 198, Springer-Verlag, pp. 770-773, 2017. (BUT) [link]
  • J. M. Lourenco, J. Fiedor, B., Křena, T. Vojnar. Discovering Concurrency Errors. In: Lectures on Runtime Verification, Bartocci, E., Falcone, Y. (eds.), LNCS/LNPSE 10457, Springer-Verlag, 2018. (BUT) [link] [link2]
  • J. Real, S. Sáez, A. Crespo. Ravenscar Support for Time-Triggered Scheduling. 19th International Real-Time Ada Workshop IRTAW 2018, 18-20 April, 2018. (ITI) [link]
  • V.  Muttillo, G. Valente, D. Ciambrone, V.  Stoico, L.  Pomante. HEPSYCODE-RT:  a Real-Time Extension for an ESL HW/SW Co-Design Methodology. Proceedings of the 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO’18), ACM, New York, NY, USA, 2018. (UNIVAQ) [link] [link2]
  • V.  Muttillo, G. Valente, L. Pomante. Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems. In Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM ’18).  ACM, New York, NY, USA, 2018, pp. 63-68. (UNIVAQ) [link] [link2]
  • V. Muttillo, G. Valente, L. Pomante, V. Stoico, F. D’Antonio, F. Salice. CC4CS: an Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies. In Companion of the 2018 ACM/SPEC International Conference on Performance Engineering (ICPE ’18), ACM, New York, NY, USA, 2018, pp. 119-122. (UNIVAQ) [link] [link2]
  • V. Muttillo, G. Valente, L. Pomante. Criticality-aware Design Space Exploration for Mixed Criticality Embedded Systems. In Proceedings of the 9th ACM/SPEC on International Conference on Performance Engineering (ICPE ’18), ACM, New York, NY, USA, 2018. (UNIVAQ) [link] [link2]
  • R. Fujdiak, P. Mlynek, P. Blazek, M. Barabas, P. Mrnustik. Seeking the Relation between Performance and Security in Modern Systems: Metrics and Measures. In Proceedings of the 41st International Conference on Telecommunications and Signal Processing (TSP), 2018

Presentations

  • D. Ciambrone, V. Muttillo, G. Valente, L. Pomante. HW/SW Co-Simulator for Embedded Heterogeneous Parallel Systems. Euromicro Conference on Digital Systems Design (DSD) – WIP Session, 2017. (UNIVAQ)
  • D. Kozák, B. Křena, H. Pluháčková, T. Vojnar. Search-Based Testing of Concurrent Java Programs using RoadRunner Analysis Framework [poster]. MEMICS 2017. Telč, Czech Repulic, 2017. (BUT) [link]
  • V. Stoico, V. Muttillo, G. Valente, F. D’Antonio. CC4CS: An Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies. Euromicro Conference on Digital Systems Design (DSD) – WIP Session, 2017. (UNIVAQ)

Promotional Materials

  • ECSEL JU Book of Project vol. 2 [link]