Author:
Jakob Henner,Consel Charles,Loriant Nicolas
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Bruneau, J., Jouve, W., Consel, C.: DiaSim, a parameterized simulator for pervasive computing applications. In: International Conference on Mobile and Ubiquitous Systems (2009)
2. Calder, M., Miller, A.: Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods in System Design 28(3), 213–261 (2006)
3. Cassou, D., Balland, E., Consel, C., Lawall, J.: Architecture-driven programming for sense/compute/control applications. In: International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (2010)
4. Cassou, D., Balland, E., Consel, C., Lawall, J.: Leveraging software architectures to guide and verify the development of sense/compute/control applications. In: International Conference on Software Engineering (2011)
5. Cassou, D., Bertran, B., Loriant, N., Consel, C.: A generative programming approach to developing pervasive computing systems. In: International Conference on Generative Programming and Component Engineering (2009)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators;Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development;2018
2. Conflict Management in Service-Oriented Pervasive Platforms;2017 IEEE International Conference on Services Computing (SCC);2017-06
3. Sharing Devices between Applications with Autonomic Conflict Management;2016 IEEE International Conference on Autonomic Computing (ICAC);2016-07
4. DiaSuite: A tool suite to develop Sense/Compute/Control applications;Science of Computer Programming;2014-01
5. Conflict and Interference Resolution for Physical Annotation Systems;2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications;2013-07