The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
Scheduler modeling based on the controller synthesis paradigm, Real-Time Systems, vol.23, issue.1/2, pp.55-84, 2002. ,
DOI : 10.1023/A:1015346419267
Abstract behavior types: a foundation model for components and their composition, antlr.org/ [Arb05] Farhad Arbab, pp.3-52, 2005. ,
Using an architecture description language for quantitative analysis of real-time systems, Proceedings of the third international workshop on Software and performance , WOSP '02, pp.203-210, 2002. ,
DOI : 10.1145/584369.584399
Distributed Semantics and Implementation for Systems with Interaction and Priority, FORTE, vol.3, issue.1, pp.116-133, 2008. ,
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261
Incremental component-based construction and verification of a robotic system, 2008. ,
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
Compositional verification for component-based systems and application, 6th International Symposium on Automated Technology for Verification and Analysis, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00568866
The ESTEREL synchronous programming language and its mathematical semantics, pp.389-448, 1985. ,
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230
Modern concurrency abstractions for c#, Proceedings of the 16th European Conference on Object-Oriented Programming, pp.415-440, 2002. ,
Protocol verification with the aldebaran toolset, Software Tools for Technology Transfer 1, pp.166-183, 1997. ,
New Insights on Architectural Connectors, Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science, IFIP Conference Proceedings, Kluwer Academics, pp.367-379, 2004. ,
DOI : 10.1007/1-4020-8141-3_29
Developing applications using model-driven design environments, IEEE Computer, vol.39, issue.2, pp.33-40, 2006. ,
The IF Toolset, pp.237-267, 2004. ,
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307
Ptolemy: A framework for simulating and prototyping heterogenous systems, Readings in hardware, pp.527-543, 2002. ,
The algebra of connectors ? structuring interaction in BIP, EmSoft, pp.11-20, 2007. ,
The Algebra of Connectors—Structuring Interaction in BIP, Proceeding of the EMSOFT'07 ACM SigBED, pp.11-20, 2007. ,
DOI : 10.1109/TC.2008.26
Modeling urgency in timed systems, COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference, pp.103-129, 1998. ,
Metropolis: An integrated electronic system design environment, IEEE Computer, vol.36, issue.4, pp.45-52, 2003. ,
Synthesis of synchronization skeletons for branching time temporal logic, Workshop on Logic of Programs (Yorktown Heights, 1981. ,
Joseph Sifakis, and Lo¨?cLo¨?c Strus, Symbolic quality control for multimedia applications, Real-Time Syst, pp.1-43, 2008. ,
Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985. ,
DOI : 10.1145/214451.214456
Translating AADL into BIP -Application to the Verification of Real-time Systems, Model Based Architecting and Construction of Embedded Systems, 2008. ,
Joint modeling and design of wireless networks and sensor node software, 2006. ,
Taming heterogeneity: The Ptolemy approach, Proceedings of the IEEE 91, pp.127-144, 2003. ,
The ioa language and toolset: Support for designing, analyzing, and building distributed systems, 1998. ,
The NesC language: A holistic approach to networked embedded systems, SIGPLAN Conference on Programming Language Design and Implementation, 2003. ,
Prometheus ? a compositional modeling tool for real-time systems, Proc. Workshop RT-TOOLS 2001, pp.314-329, 2001. ,
Using Architectural Models at Runtime: Research Challenges, pp.200-205, 2004. ,
DOI : 10.1007/978-3-540-24769-2_15
Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005. ,
DOI : 10.1016/j.scico.2004.05.014
A system for simulation, emulation and deployement of heterogeneous sensor networks, 2nd International Conference on Embedded Networked Sensor Systems, 2004. ,
The theory of hybrid automata, LICS '96: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, p.278, 1996. ,
The Embedded Systems Design Challenge, Proceedings FM 2006, 2006. ,
DOI : 10.1007/11813040_1
An approach to derivation of component-based implementations from data-oriented specifications, 2007. ,
CADP a protocol validation and verification toolbox, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, pp.437-440, 1996. ,
DOI : 10.1007/3-540-61474-5_97
Overview of the ptolemy project, 2003. ,
TOSSIM, Proceedings of the first international conference on Embedded networked sensor systems , SenSys '03, pp.126-137, 2003. ,
DOI : 10.1145/958491.958506
Efficient on-the-fly modelchecking for regular alternation-free mu-calculus, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00072755
ATEMU: a fine-grained sensor network simulator, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004., 2004. ,
DOI : 10.1109/SAHCN.2004.1381912
Executable testers, IWPTS, 1994. ,
A structural approach to operational semantics, 1981. ,
Specification and verification of concurrent systems in CESAR, Int. Symposium on Programming, 1982. ,
DOI : 10.1007/3-540-11494-7_22
Designing efficient algorithms for parallel computers, 1986. ,
Architectural interaction diagrams: AIDs for system modeling, 25th International Conference on Software Engineering, 2003. Proceedings., pp.396-406, 2003. ,
DOI : 10.1109/ICSE.2003.1201218
The simulation semantics of systemc, DATE '01: Proceedings of the conference on Design, automation and test in Europe, pp.64-70, 2001. ,
Compositional deadlock-detection and verification for component-based systems, 2008. ,
Tutorial: an overview of UML 2.0, Proceedings. 26th International Conference on Software Engineering, pp.741-742, 2004. ,
DOI : 10.1109/ICSE.2004.1317514
A framework for component-based construction, Proceedings of the Third International Conference on Software Engineering and Formal Methods (SEFM), pp.293-300, 2005. ,
CUDD: CU decision diagram package ,
Avrora: Scalable Sensor Network Simulation with Precise Timing, 2005. ,
A formal approach to conformance testing, IW- PTS, 1994. ,
Eventbased execution architectures for dynamic software systems, WICSA1: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1) Kluwer, B.V, pp.303-318, 1999. ,