Exploring aspects in the context of reactive systems, Workshop on the Foundations of Aspect-Oriented Languages (FOAL), 2004. ,
Process-Algebraic Foundations of Aspect-Oriented Programming, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.187-209, 2001. ,
DOI : 10.1007/3-540-45429-2_14
Another look at real-time programming, Special Section of the, Proceedings of the IEEE, vol.79, issue.9 ,
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
Enforcing trace properties by program transformation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.54-66, 2000. ,
DOI : 10.1145/325694.325703
URL : https://hal.archives-ouvertes.fr/inria-00000937
Trace-based aspects, Aspect-Oriented Software Development, pp.201-217, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000947
An expressive aspect language for system applications with Arachne, Proceedings of the 4th International Conference on Aspect- Oriented Software Development (AOSD), pp.27-38, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00442180
On the expressive power of programming languages, ESOP'90 3rd European Symposium on Programming, pp.134-151, 1990. ,
VHS case study 4 -modeling and control of a juice processing plant, 1999. ,
Aspect-oriented programming is quantification and obliviousness, Aspect-Oriented Software Development, pp.21-35, 2005. ,
Modular software design with crosscutting interfaces, Issue on Aspect-Oriented Programming, 2006. ,
DOI : 10.1109/MS.2006.24
Synchronous programming of reactive systems, 1993. ,
Programming and verifying critical systems by means of the synchronous data-flow programming language lustre Special Issue on the Specification and Analysis of Real-Time Systems, IEEE Transactions on Software Engineering ,
Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, 1993. ,
DOI : 10.1007/978-1-4471-3227-1_8
A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems, vol.15, issue.2, pp.337-356, 1993. ,
DOI : 10.1145/169701.169682
Diagnosis of harmful aspects using regression verification, in: Workshop on Foundations of Aspect-Oriented Languages, 2004. ,
Aspect-oriented programming and modular reasoning, ICSE '05: Proceedings of the 27th international conference on software engineering, pp.49-58, 2005. ,
Back to the future: Pointcuts as predicates over traces, Workshop on the Foundations of Aspect-Oriented Languages (FOAL), 2005. ,
Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977. ,
DOI : 10.1109/TSE.1977.229904
Edit automata: enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.3, issue.1-2 ,
DOI : 10.1007/s10207-004-0046-8
Using aspects to abstract and modularize statecharts, in: 5th Aspect-Oriented Modeling Workshop, 2004. ,
Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001. ,
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055
Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000. ,
DOI : 10.1145/353323.353382
A formal model for cross-cutting modular transition systems, Workshop on Foundations of Aspect-Oriented Languages, 2003. ,
Implementing protocols via declarative event patterns, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pp.159-169, 2004. ,
A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.890-910, 2004. ,
DOI : 10.1145/1018203.1018208