formal methods

forum

Visible to the public Call for Papers: ICFEM'2019 (EXTENDED DEADLINE)

Call For Papers -- Extended Deadline

21st International Conference on Formal Engineering Methods (ICFEM 2019)

November 5th-9th | Shenzhen, China | http://csse.szu.edu.cn/icfem2019/

Submission Website

https://easychair.org/conferences/?conf=icfem2019

forum

Visible to the public Call for Papers: The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

CALL FOR PAPERS

The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019/

OVERVIEW

file

Visible to the public Cyber-Resilient Architectural Patterns

Cyber vulnerabilities are often discovered during penetration testing of new systems. Even worse, they may be discovered after a system has been fielded, necessitating extremely expensive and time-consuming remediation. This is not a sustainable development model. Experience shows that this approach is both ineffective (due to the incomplete nature of testing) and results in long and expensive rework cycles.

news

Visible to the public New Textbook on Logical Foundations of Cyber-Physical Systems

A new textbook on cyber-physical systems just appeared in print and electronically:

Andre Platzer.
Logical Foundations of Cyber-Physical Systems.
Springer, 2018. 659 pages.
http://www.springer.com/978-3-319-63587-3