LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Full abstraction of a real-time denotational semantics for an OCCAM-like language
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
Multiprocessor architectures are converging
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Building Flexible Real-Time Systems Using the Flex Language
Computer - Special issue on real-time systems
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compiling Real-Time Specifications into Extended Automata
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Automatic abstraciton for worst-case analysis of discrete systems
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Primitives for authentication in process algebras
Theoretical Computer Science
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
Proceedings of the tenth international symposium on Hardware/software codesign
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Embedded Computing Systems (TECS)
A deterministic logical semantics for pure Esterel
ACM Transactions on Programming Languages and Systems (TOPLAS)
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploring Multi-Paradigm Modeling Techniques
Simulation
Multithreaded code from synchronous programs: extracting independent threads for OpenMP
Proceedings of the Conference on Design, Automation and Test in Europe
WCRT algebra and interfaces for Esterel-style synchronous processing
Proceedings of the Conference on Design, Automation and Test in Europe
A component model that is both control-driven and data-driven
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Towards verified synthesis of ProCom, a component model for real-time embedded systems
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Higher-order functional reactive programming in bounded space
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics for graphical user interfaces
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Automatic generation of hardware/software interfaces
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Communications of the ACM
Wormholes: introducing effects to FRP
Proceedings of the 2012 Haskell Symposium
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Higher-order functional reactive programming without spacetime leaks
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
| Hi-index | 0.03 |