Search Results - "runtime verification"

1

Lectures on Runtime Verification Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.

Published 2018

Table of Contents: '; “...An Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events...”
Get full text

2

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Ol...

Published 2019

Table of Contents: '; “... and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts....”
Get full text

3

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedin...

Published 2018

Table of Contents: '; “...RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction...”
Get full text

4

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / edited by Jonathan P. Bowen, Zhimi...

Published 2017

Table of Contents: '; “... with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic...”
Get full text

5

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, Oc...

Published 2016

Table of Contents: '; “... consumption strategies in the railway domain: a model-based approach -- Runtime Verification and Enforcement...”
Get full text

6

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 201...

Published 2016

Table of Contents: '; “... Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static and Runtime Verification...”
Get full text

7

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings / edited by Heinz G. Schmidt, Ivica Crnkovic, George T....

Published 2007

Table of Contents: '; “... and Expanding Deadlines? -- Quality of Service, Runtime Verification and Monitoring -- Performance Assessment...”
Get full text

8

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Published 2021

Table of Contents: '; “...FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract...”
Get full text

9

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.

Published 2015

Table of Contents: '; “... for static and runtime verification of component-based Applications -- Linear Evolution of Domain...”
Get full text

10

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Par...

Published 2018

Table of Contents: '; “... Hyperproperties by Combining Static Analysis and Runtime Verification -- Temporal Reasoning on Incomplete Paths...”
Get full text

11

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /...

Published 2018

Get full text

12

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /...

Published 2018

Get full text

13

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings / edited by Sungdeok Cha, Jin-Young Choi,...

Published 2008

Table of Contents: '; “... Protocol -- Impartial Anticipation in Runtime-Verification -- Run-Time Monitoring of Electronic Contracts...”
Get full text

14

Current Trends in Web Engineering ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers / edited by Cesa...

Published 2018

Table of Contents: '; “... Systems -- A Modular Pill Dispenser Supporting Therapies at Home -- Towards a Runtime Verification...”
Get full text

15

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, G...

Published 2020

Table of Contents: '; “... Support -- Towards Configurable and Efficient Runtime Verification of Blockchain based Smart Contracts...”
Get full text

16

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I / edited by Ali Selamat, Ngoc Thanh N...

Published 2013

Table of Contents: '; “... on Binary Images by Module Approach.- Runtime Verification of Multi-agent Systems Interaction Quality...”
Get full text

17

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I...

Published 2018

Get full text

18

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedin...

Published 2018

Get full text

Narrow Search