Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Handbook of Model Checking

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures

Simplicity is Complex Foundations of Cyber-Physical System Design

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Web Information Systems Engineering – WISE 2019 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V