Quality of Service Support in Development of Distributed Systems, 2001. ,
Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993. ,
DOI : 10.1006/inco.1993.1024
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999. ,
DOI : 10.1109/2.774917
The real-time specification for Java, Computer, vol.33, issue.6, pp.47-54, 2000. ,
DOI : 10.1109/2.846318
Untameable Timed Automata!, STACS 2003, pp.620-631, 2003. ,
DOI : 10.1007/3-540-36494-3_54
Decomposition and Composition of Timed Automata, ICALP 1999, pp.210-219, 1999. ,
DOI : 10.1007/3-540-48523-6_18
Kronos: A modelchecking tool for real-time systems, CAV 1998, 1998. ,
URL : https://hal.archives-ouvertes.fr/hal-00374788
An Open Component Model and Its Support in Java, CBSE 2004, pp.7-22, 2004. ,
DOI : 10.1007/978-3-540-24774-6_3
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
A Real-Time Profile for UML and How to Adapt It to SDL, SDL 2003, 2003. ,
DOI : 10.1007/3-540-45075-0_4
How useful is the UML real-time profile SPT without semantics, 2004. ,
Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, issue.1, pp.84-99, 2003. ,
DOI : 10.1109/JPROC.2002.805825
Distributed Component System Based on Architecture Description: The SOFA Experience, ODBASE 2002, pp.981-994, 2002. ,
DOI : 10.1007/3-540-36124-3_63
Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, pp.27-38, 2006. ,
DOI : 10.1145/1119655.1119662
URL : https://hal.archives-ouvertes.fr/hal-00921480
Real-time specification patterns, ICSE 2005, pp.372-381, 2006. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
An introduction to input/output automata, CWI Quarterly, vol.2, issue.3, pp.219-246, 1989. ,
Behavioral analysis of software architectures using LTSA, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.634-637, 1999. ,
DOI : 10.1145/302405.302726
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, p.23, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Applying 'design by contract', Computer, vol.25, issue.10, 1992. ,
DOI : 10.1109/2.161279
UML Profile for Schedulability, Performance, and Time Specification, Version 1, 2005. ,
Using Model-Driven Engineering to generate QoS Monitors from a formal specification, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06), p.45, 2006. ,
DOI : 10.1109/EDOCW.2006.74
URL : https://hal.archives-ouvertes.fr/inria-00512553
Aspects and components in real-time system development: Towards reconfigurable and reusable software, Journal of Embedded Computing, vol.1, issue.1, pp.17-37, 2005. ,
Fixed-priority sensitivity analysis for linear compute time models, IEEE Transactions on Software Engineering, vol.20, issue.4, 1994. ,
DOI : 10.1109/32.277577