Login / Signup
SETSS
2014
2017
2020
2014
2020
Keyphrases
Publications
volume 12154, 2020
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
SETSS
12154 (2020)
2019
Zhiming Liu
,
Jonathan P. Bowen
,
Bo Liu
,
Shmuel S. Tyszberowicz
,
Tingting Zhang
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
SETSS
(2019)
Xiaohong Chen
,
Grigore Rosu
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis.
SETSS
(2019)
Lei Bu
,
Jiawan Wang
,
Yuming Wu
,
Xuandong Li
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.
SETSS
(2019)
Marcin Szymczak
,
Joost-Pieter Katoen
Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence.
SETSS
(2019)
Manfred Broy
Seamless Model-Based System Development: Foundations - (Extended Abstract).
SETSS
(2019)
volume 11430, 2019
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
SETSS
11430 (2019)
2018
Jonathan P. Bowen
The Impact of Alan Turing: Formal Methods and Beyond.
SETSS
(2018)
Prabhakaran Kasinathan
,
Jorge Cuéllar
Securing Emergent IoT Applications.
SETSS
(2018)
Yong Li
,
Andrea Turrini
,
Yu-Fang Chen
,
Lijun Zhang
Learning Büchi Automata and Its Applications.
SETSS
(2018)
Nikolaj Bjørner
,
Leonardo de Moura
,
Lev Nachmanson
,
Christoph M. Wintersteiger
Programming Z3.
SETSS
(2018)
David J. Pearce
,
Mark Utting
,
Lindsay Groves
An Introduction to Software Verification with Whiley.
SETSS
(2018)
volume 11174, 2018
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
SETSS
11174 (2018)
2017
Xiaoxing Ma
,
Tianxiao Gu
,
Wei Song
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update.
SETSS
(2017)
Natarajan Shankar
Formalizing Hoare Logic in PVS.
SETSS
(2017)
Cliff B. Jones
,
Troy K. Astarte
Challenges for Formal Semantic Description: Responses from the Main Approaches.
SETSS
(2017)
Gary T. Leavens
,
David A. Naumann
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.
SETSS
(2017)
K. Rustan M. Leino
Modeling Concurrency in Dafny.
SETSS
(2017)
Ian J. Hayes
,
Cliff B. Jones
A Guide to Rely/Guarantee Thinking.
SETSS
(2017)
volume 10215, 2017
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
SETSS
10215 (2017)
2016
Taolue Chen
,
Fu Song
,
Zhilin Wu
Formal Reasoning on Infinite Data Values: An Ongoing Quest.
SETSS
(2016)
Jonathan P. Bowen
Alan Turing: Founder of Computer Science.
SETSS
(2016)
Ana Cavalcanti
,
Alvaro Miyazawa
,
Andy J. Wellings
,
Jim Woodcock
,
Shuai Zhao
Java in the Safety-Critical Domain.
SETSS
(2016)
Michael Butler
Reasoned Modelling with Event-B.
SETSS
(2016)
Jim Woodcock
,
Simon Foster
UTP by Example: Designs.
SETSS
(2016)
Martin Leucker
Runtime Verification for Linear-Time Temporal Logic.
SETSS
(2016)
volume 9506, 2016
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
SETSS
9506 (2016)
2014
Annabelle McIver
Program Refinement, Perfect Secrecy and Information Flow.
SETSS
(2014)
Mengfei Yang
,
Naijun Zhan
Combining Formal and Informal Methods in the Design of Spacecrafts.
SETSS
(2014)
Jonathan P. Bowen
The Z Notation: Whence the Cause and Whither the Course?
SETSS
(2014)
Zhiming Liu
,
Xiaohong Chen
Model-Driven Design of Object and Component Systems.
SETSS
(2014)
Bernd-Holger Schlingloff
Cyber-Physical Systems Engineering.
SETSS
(2014)
Carroll Morgan
(In-)Formal Methods: The Lost Art - A Users' Manual.
SETSS
(2014)