ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Slicing tools for synchronous reactive programs
Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04
◽
10.1145/1007512.1007541
◽
2004
◽
Cited By ~ 1
Author(s):
S. Ramesh
◽
A. Kulkarni
◽
V. Kamat
Keyword(s):
Reactive Programs
Download Full-text
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close