The refinement calculus of reactive systems

Information and Computation ◽

10.1016/j.ic.2021.104819 ◽

2021 ◽

pp. 104819

Author(s):

Viorel Preoteasa ◽

Iulia Dragomir ◽

Stavros Tripakis

Keyword(s):

Reactive Systems ◽

Refinement Calculus

Download Full-text

The Refinement Calculus of Reactive Systems Toolset

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-020-00561-4 ◽

2020 ◽

Vol 22 (6) ◽

pp. 689-708 ◽

Author(s):

Iulia Dragomir ◽

Viorel Preoteasa ◽

Stavros Tripakis

Keyword(s):

Reactive Systems ◽

Refinement Calculus

Download Full-text

The Refinement Calculus of Reactive Systems Toolset

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_12 ◽

2018 ◽

pp. 201-208 ◽

Author(s):

Iulia Dragomir ◽

Viorel Preoteasa ◽

Stavros Tripakis

Keyword(s):

Reactive Systems ◽

Refinement Calculus

Download Full-text

Refinement calculus of reactive systems

Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 ◽

10.1145/2656045.2656068 ◽

2014 ◽

Author(s):

Viorel Preoteasa ◽

Stavros Tripakis

Keyword(s):

Reactive Systems ◽

Refinement Calculus

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

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