Modeling statecharts and activitycharts as signal equations, ACM Transactions on Software Engineering and Methodology, vol.10, issue.4, pp.397-451, 2001. ,
DOI : 10.1145/384189.384191
Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00863286
The active database management system manifesto: A rulebase of ADBMS features, 2nd Workshop on Rules in Databases, pp.1-15, 1995. ,
DOI : 10.1007/3-540-60365-4_116
Enabling Tool Support for Formal Analysis of ECA Rules, 2009. ,
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems, MOD- ELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, 2009. ,
DOI : 10.1109/MIC.2007.2
Coordination control of component-based autonomic administration loops, Proceedings of the 15th International Conference on Coordination Models and Languages, COORDINA- TION, pp.3-6, 2013. ,
Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People, Procedia Computer Science, vol.21, issue.0, pp.257-264, 2013. ,
DOI : 10.1016/j.procs.2013.09.034
Autonomic Management of Heterogeneous Sensing Devices with ECA Rules, 2011 IEEE International Conference on Communications Workshops (ICC), pp.1-5, 2011. ,
DOI : 10.1109/iccw.2011.5963605
Synchronous Programming of Reactive Systems, 2010. ,
Chisel: a policy-driven, context-aware, dynamic adaptation framework, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp.3-14, 2003. ,
DOI : 10.1109/POLICY.2003.1206953
Conflict Detection and Resolution method in WS-ECA framework, The 9th International Conference on Advanced Communication Technology, pp.786-791, 2007. ,
DOI : 10.1109/ICACT.2007.358468
Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, pp.1-26, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event/action logics and transactional update logics, Computer Research Repository, p.61, 2006. ,
Semantic Integrity Support in SQL-99 and Commercial Object-Relational Database Management Systems. The International Journal on Very Large Data Bases, pp.241-269, 2001. ,
Techniques for data and rule validation in knowledge based systems, Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, pp.62-70, 1989. ,
DOI : 10.1109/CMPASS.1989.76042
Specifying adaptation semantics, ACM SIGSOFT Software Engineering Notes, pp.1-7, 2005. ,
Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006. ,
DOI : 10.1145/1134285.1134337
Verification of ECA rule based management and control systems, 2008 IEEE International Conference on Automation Science and Engineering, 2008. ,
DOI : 10.1109/COASE.2008.4626431
Discrete Control for the Internet of Things and Smart Environments, Int. Workshop on Feedback Computing, 2013. ,