Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

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

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

2018 ◽

pp. 176-193 ◽

Cited By ~ 3

Author(s):

Andreas Katis ◽

Grigory Fedyukovich ◽

Huajun Guo ◽

Andrew Gacek ◽

John Backes ◽

...

Keyword(s):

Reactive Systems

Download Full-text

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

Christos Tsigkanos ◽

Nianyu Li ◽

Zhi Jin ◽

Zhenjiang Hu ◽

Carlo Ghezzi

Keyword(s):

Reactive Systems ◽

Model Transformations ◽

Multiple View

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 ◽

Cited By ~ 7

Author(s):

Jian-Min Jiang ◽

Huibiao Zhu ◽

Qin Li ◽

Yongxin Zhao ◽

Lin Zhao ◽

...

Keyword(s):

Reactive Systems ◽

Event Based

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 10

Author(s):

V. Sassone ◽

P. Sobocinski

Keyword(s):

Reactive Systems

Download Full-text

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

Information and Computation ◽

10.1016/j.ic.2010.11.025 ◽

2011 ◽

Vol 209 (4) ◽

pp. 637-663 ◽

Cited By ~ 8

Author(s):

B. Ploeger ◽

J.W. Wesselink ◽

T.A.C. Willemse

Keyword(s):

Reactive Systems ◽

Boolean Equation

Download Full-text