Compositional Semantics of ESTEREL and Verification by Compositional Reductions

Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science

EPspectra: a formal toolkit for developing DSP software applications

Theory and Practice of Logic Programming

Existential abstractions for distributed reactive systems via syntactic transformations

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software

A formal library of set relations and its application to synchronous languages

Theoretical Computer Science

Applying Techniques of Asynchronous Concurrency to Synchronous Languages

Fundamenta Informaticae