Type-Directed Bounding of Collections in Reactive Programs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_13 ◽

2019 ◽

pp. 275-296

Author(s):

Tianhan Lu ◽

Pavol Černý ◽

Bor-Yuh Evan Chang ◽

Ashutosh Trivedi

Keyword(s):

Reactive Programs

Download Full-text

Automatically closing open reactive programs

ACM SIGPLAN Notices ◽

10.1145/277652.277754 ◽

1998 ◽

Vol 33 (5) ◽

pp. 345-357 ◽

Cited By ~ 6

Author(s):

Christopher Colby ◽

Patrice Godefroid ◽

Lalita Jategaonkar Jagadeesan

Keyword(s):

Reactive Programs

Download Full-text

Synthesizing functional reactive programs

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 ◽

10.1145/3331545.3342601 ◽

2019 ◽

Cited By ~ 2

Author(s):

Bernd Finkbeiner ◽

Felix Klein ◽

Ruzica Piskac ◽

Mark Santolucito

Keyword(s):

Reactive Programs

Download Full-text

Towards reasoning about teleo-reactive programs for robust real-time systems

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems - SERENE '08 ◽

10.1145/1479772.1479789 ◽

2008 ◽

Cited By ~ 7

Author(s):

Ian J. Hayes

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Reactive Programs

Download Full-text

Synthesis of Asynchronous Reactive Programs from Temporal Specifications

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_20 ◽

2018 ◽

pp. 367-385 ◽

Cited By ~ 2

Author(s):

Suguman Bansal ◽

Kedar S. Namjoshi ◽

Yaniv Sa’ar

Keyword(s):

Temporal Specifications ◽

Reactive Programs

Download Full-text

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02149-8_13 ◽

2018 ◽

pp. 205-224 ◽

Cited By ~ 4

Author(s):

Simon Foster ◽

Kangfeng Ye ◽

Ana Cavalcanti ◽

Jim Woodcock

Keyword(s):

Kleene Algebra ◽

Reactive Programs

Download Full-text

Debugging data flows in reactive programs

Proceedings of the 40th International Conference on Software Engineering - ICSE '18 ◽

10.1145/3180155.3180156 ◽

2018 ◽

Cited By ~ 6

Author(s):

Herman Banken ◽

Erik Meijer ◽

Georgios Gousios

Keyword(s):

Data Flows ◽

Reactive Programs

Download Full-text

Stepwise synthesis of reactive programs

SOFSEM '95: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-60609-2_23 ◽

1995 ◽

pp. 391-398

Author(s):

Petr Kozák

Keyword(s):

Stepwise Synthesis ◽

Reactive Programs

Download Full-text

Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata

Hybrid Systems II - Lecture Notes in Computer Science ◽

10.1007/3-540-60472-3_21 ◽

1995 ◽

pp. 405-416 ◽

Cited By ~ 5

Author(s):

Olivier Roux ◽

Vlad Rusu

Keyword(s):

Reactive Programs

Download Full-text

Embedding statecharts into Teleo-Reactive programs to model interactions between agents

Journal of Systems and Software ◽

10.1016/j.jss.2017.05.081 ◽

2017 ◽

Vol 131 ◽

pp. 78-97 ◽

Cited By ~ 1

Author(s):

Pedro Sánchez ◽

Bárbara Álvarez ◽

Ramón Martínez ◽

Andrés Iborra

Keyword(s):

Reactive Programs

Download Full-text

Non-intrusive Repair of Reactive Programs

2012 IEEE 17th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs20050.2012.6299199 ◽

2012 ◽

Cited By ~ 8

Author(s):

David Harel ◽

Guy Katz ◽

Assaf Marron ◽

Gera Weiss

Keyword(s):

Reactive Programs

Download Full-text