Verified Models & Verified Runtime Validation

2020 ◽

Cited By ~ 1

Author(s):

Ao Li ◽

Jemin Andrew Choi ◽

Fan Long

Keyword(s):

Smart Contract ◽

Runtime Validation

Download Full-text

NesJ: A Java to NesC Translation Engine with Runtime Validation for Wireless Sensor Networks

SoutheastCon 2018 ◽

10.1109/secon.2018.8479074 ◽

2018 ◽

Author(s):

Jiannan Zhai ◽

Luyao Cheng ◽

Kewen Li ◽

Stepan Mazokha

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Runtime Validation

Download Full-text

Runtime Validation of Behavioural Contracts for Component Software

Fifth International Conference on Quality Software (QSIC'05) ◽

10.1109/qsic.2005.54 ◽

2006 ◽

Cited By ~ 3

Author(s):

Yan Jin ◽

Jun Han

Keyword(s):

Component Software ◽

Runtime Validation

Download Full-text

Runtime validation of memory ordering using constraint graph checking

2008 IEEE 14th International Symposium on High Performance Computer Architecture ◽

10.1109/hpca.2008.4658657 ◽

2008 ◽

Cited By ~ 23

Author(s):

Kaiyu Chen ◽

Sharad Malik ◽

Priyadarsan Patra

Keyword(s):

Constraint Graph ◽

Runtime Validation

Download Full-text

Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems

2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises ◽

10.1109/wetice.2013.62 ◽

2013 ◽

Cited By ~ 3

Author(s):

Mariam Lahami ◽

Moez Krichen

Keyword(s):

Software Systems ◽

Runtime Validation

Download Full-text

Automatic Runtime Validation and Correction of the Navigational Design of Web Sites

Web Technologies Research and Development - APWeb 2005 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31849-1_44 ◽

2005 ◽

pp. 453-463 ◽

Cited By ~ 3

Author(s):

Sven Casteleyn ◽

Irene Garrigós ◽

Olga De Troyer

Keyword(s):

Web Sites ◽

Runtime Validation

Download Full-text

ModelGuard: Runtime Validation of Lipschitz-continuous Models

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2021.08.471 ◽

2021 ◽

Vol 54 (5) ◽

pp. 37-42

Author(s):

Taylor J. Carpenter ◽

Radoslav Ivanov ◽

Insup Lee ◽

James Weimer

Keyword(s):

Lipschitz Continuous ◽

Continuous Models ◽

Runtime Validation

Download Full-text

The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems

Microprocessors and Microsystems ◽

10.1016/j.micpro.2018.05.010 ◽

2018 ◽

Vol 61 ◽

pp. 86-95 ◽

Cited By ~ 13

Author(s):

Wasif Afzal ◽

Hugo Bruneliere ◽

Davide Di Ruscio ◽

Andrey Sadovykh ◽

Silvia Mazzini ◽

...

Keyword(s):

Complex Systems ◽

Continuous Development ◽

Model Based ◽

Runtime Validation

Download Full-text

Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11164-3_10 ◽

2014 ◽

pp. 108-123

Author(s):

Jiannan Zhai ◽

Nigamanth Sridhar ◽

Jason O. Hallstrom

Keyword(s):

Reactive Systems ◽

Runtime Validation ◽

Calling Patterns

Download Full-text

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11164-3_17 ◽

2014 ◽

pp. 199-214 ◽

Cited By ~ 22

Author(s):

Stefan Mitsch ◽

André Platzer

Keyword(s):

Physical System ◽

Cyber Physical System ◽

System Models ◽

Runtime Validation

Download Full-text

Verified Models & Verified Runtime Validation

Securing smart contract with runtime validation

NesJ: A Java to NesC Translation Engine with Runtime Validation for Wireless Sensor Networks

Runtime Validation of Behavioural Contracts for Component Software

Runtime validation of memory ordering using constraint graph checking

Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems

Automatic Runtime Validation and Correction of the Navigational Design of Web Sites

ModelGuard: Runtime Validation of Lipschitz-continuous Models

The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems

Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

Export Citation Format