Modular resetting of synchronous data-flow programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Integration of Analog and Discrete Synchronous Design
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
MATOU: An Implementation of Mode-Automata
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Combining Theorem Proving and Continuous Models in Synchronous Design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Lustre with Timeout Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Distribution and Application to Discrete Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronous Dataflow Pattern Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
synERJY An Object-oriented Synchronous Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Handling State-Machines Specifications with GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Running-modes of real-time systems: a case-study with mode-automata
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Static run-time mode extraction by state partitioning in synchronous process networks
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Modeling and analysis of real-time and embedded systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Journal of Systems Architecture: the EUROMICRO Journal
Argos: an automaton-based synchronous language
Computer Languages
Property networks allowing oracle-based mode-change propagation in hierarchical components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Developing mode-rich satellite software by refinement in Event-B
Science of Computer Programming
Hi-index | 0.00 |