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

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

Author(s):

Ramesh Bharadwaj

Keyword(s):

Reactive Systems ◽

Synchronous Language

Download Full-text

Scalable multiple-view analysis of reactive systems via bidirectional model transformations

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3416579 ◽

2020 ◽

Author(s):

Christos Tsigkanos ◽

Nianyu Li ◽

Zhi Jin ◽

Zhenjiang Hu ◽

Carlo Ghezzi

Keyword(s):

Reactive Systems ◽

Model Transformations ◽

Download Full-text

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

ACM Transactions on Embedded Computing Systems ◽

10.1145/2783438 ◽

2015 ◽

Vol 14 (4) ◽

pp. 1-27 ◽

Author(s):

Jian-Min Jiang ◽

Huibiao Zhu ◽

Qin Li ◽

Yongxin Zhao ◽

Lin Zhao ◽

...

Keyword(s):

Reactive Systems ◽

Download Full-text

Securing smart contract with runtime validation

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3385982 ◽

2020 ◽

Author(s):

Ao Li ◽

Jemin Andrew Choi ◽

Fan Long

Keyword(s):

Smart Contract ◽

Runtime Validation

Download Full-text

Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems ◽

10.1145/3365438.3410939 ◽

2020 ◽

Author(s):

Majid Babaei ◽

Mojtaba Bagherzadeh ◽

Juergen Dingel

Keyword(s):

Reactive Systems ◽

Model Driven Development ◽

Model Driven ◽

Execution Traces

Download Full-text

Saturated Semantics for Reactive Systems

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.46 ◽

2006 ◽

Author(s):

F. Bonchi ◽

B. Konig ◽

U. Montanari

Keyword(s):

Reactive Systems

Download Full-text

Comfortable Modeling of Complex Reactive Systems

Proceedings of the Design Automation & Test in Europe Conference ◽

10.1109/date.2006.243970 ◽

2006 ◽

Author(s):

S. Prochnow ◽

R. von Hanxleden

Keyword(s):

Reactive Systems

Download Full-text

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Theoretical Computer Science ◽

10.1016/j.tcs.2009.06.010 ◽

2009 ◽

Vol 410 (41) ◽

pp. 4044-4066 ◽

Author(s):

Filippo Bonchi ◽

Ugo Montanari

Keyword(s):

Reactive Systems

Download Full-text

Absorption and desorption mass transfer rates in chemically enhanced reactive systems. Part I: Chemical enhancement factors

Chemical Engineering Journal ◽

10.1016/j.cej.2012.03.052 ◽

2012 ◽

Vol 198-199 ◽

pp. 555-560 ◽

Author(s):

Espen S. Hamborg ◽

Geert F. Versteeg

Keyword(s):

Mass Transfer ◽

Reactive Systems ◽

Transfer Rates ◽

Chemical Enhancement ◽

Enhancement Factors

Download Full-text

Reactive Systems over Cospans

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.40 ◽

2006 ◽

Author(s):

V. Sassone ◽

P. Sobocinski

Keyword(s):

Reactive Systems

Download Full-text