Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Some Synchronization Issues When Designing Embedded Systems from Components
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Co-simulation of Hybrid Systems: Signal-Simulink
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
Proceedings of the 4th ACM international conference on Embedded software
Distributing synchronous programs using bounded queues
Proceedings of the 5th ACM international conference on Embedded software
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Formal Methods in System Design
Concurrency in Synchronous Systems
Formal Methods in System Design
Information and Computation
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Necessary and sufficient conditions for deterministic desynchronization
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Separate Compilation of Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
Compositional design of isochronous systems
Proceedings of the conference on Design, automation and test in Europe
Generating Multi-Threaded code from Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An Analysis of the Composition of Synchronous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Machine-Checked Sequencer for Critical Embedded Code Generator
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Use of formal methods for building qualified code generator for safer automotive systems
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
An alternative polychronous model and synthesis methodology for model-driven embedded software
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Multi-threaded code generation from Signal program to OpenMP
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |