Chapter: Correction to: Bounded-Memory Runtime Enforcement

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings > Correction to: Bounded-Memory Runtime Enforcement

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings |

Owolabi Legunsen; Grigore Rosu

Springer International Publishing

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Correction to: Bounded-Memory Runtime Enforcement

Chapter Info

Authors

Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone

ARI Id

1665403023024_6279124

Access

Not Available Free

Pages

C1-C1

DOI

10.1007/978-3-031-15077-7_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-031-15077-7_9

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 11 of 11 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-ix
Automated Consistency Analysis for Legal Contracts	Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi	1-23
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks	Fereidoun Moradi; Maryam Bagheri; Hanieh Rahmati; Hamed Yazdi; Sara Abbaspour Asadollah; Marjan Sirjani	24-43
Synthesis of Rigorous Floating-Point Predicates	Thanh Son Nguyen; Ben Jones; Zvonimir Rakamarić	44-60
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals	Shiraj Arora; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen	61-78
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks	Fabian Bauer-Marquart; David Boetius; Stefan Leue; Christian Schilling	79-96
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench	Parker Hanson; Benjamin Winters; Eric Mercer; Brett Decker	97-113
Bounded-Memory Runtime Enforcement	Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone	114-133
Solving String Theories Involving Regular Membership Predicates Using SAT	Mitja Kulczynski; Kevin Lotz; Dirk Nowotka; Danny Bøgsted Poulsen	134-151
Correction to: Bounded-Memory Runtime Enforcement	Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone	C1-C1
Back Matter		153-153
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 11 of 11 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries