|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang (eds.) |
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures  |
SETSS  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Jonathan P. Bowen, Bo Liu 0033, Shmuel S. Tyszberowicz, Tingting Zhang |
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. |
SETSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohong Chen 0002, Grigore Rosu |
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis. |
SETSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang (eds.) |
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures |
SETSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Szymczak 0002, Joost-Pieter Katoen |
Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence. |
SETSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Seamless Model-Based System Development: Foundations - (Extended Abstract). |
SETSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
The Impact of Alan Turing: Formal Methods and Beyond. |
SETSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhakaran Kasinathan, Jorge Cuéllar |
Securing Emergent IoT Applications. |
SETSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang (eds.) |
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures |
SETSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li 0031, Andrea Turrini, Yu-Fang Chen 0001, Lijun Zhang 0001 |
Learning Büchi Automata and Its Applications. |
SETSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Leonardo de Moura 0001, Lev Nachmanson, Christoph M. Wintersteiger |
Programming Z3. |
SETSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce 0001, Mark Utting, Lindsay Groves |
An Introduction to Software Verification with Whiley. |
SETSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxing Ma, Tianxiao Gu, Wei Song 0003 |
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Natarajan Shankar |
Formalizing Hoare Logic in PVS. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, Troy K. Astarte |
Challenges for Formal Semantic Description: Responses from the Main Approaches. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, David A. Naumann |
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Modeling Concurrency in Dafny. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Cliff B. Jones |
A Guide to Rely/Guarantee Thinking. |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang (eds.) |
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures |
SETSS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Fu Song, Zhilin Wu |
Formal Reasoning on Infinite Data Values: An Ongoing Quest. |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
Alan Turing: Founder of Computer Science. |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock 0001, Shuai Zhao 0004 |
Java in the Safety-Critical Domain. |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Zili Zhang (eds.) |
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Butler |
Reasoned Modelling with Event-B. |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock 0001, Simon Foster 0001 |
UTP by Example: Designs. |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker |
Runtime Verification for Linear-Time Temporal Logic. |
SETSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver |
Program Refinement, Perfect Secrecy and Information Flow. |
SETSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengfei Yang, Naijun Zhan |
Combining Formal and Informal Methods in the Design of Spacecrafts. |
SETSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen |
The Z Notation: Whence the Cause and Whither the Course? |
SETSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Xiaohong Chen 0002 |
Model-Driven Design of Object and Component Systems. |
SETSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd-Holger Schlingloff |
Cyber-Physical Systems Engineering. |
SETSS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carroll Morgan |
(In-)Formal Methods: The Lost Art - A Users' Manual. |
SETSS |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license