Composing specifications, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.73-132, 1993. ,
DOI : 10.1145/151646.151649
Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-534, 1995. ,
DOI : 10.1145/203095.201069
Realizable and unrealizable specifications of reactive systems, Lecture Notes in Computer Science, vol.372, pp.1-17, 1989. ,
DOI : 10.1007/BFb0035748
FoCs ??? Automatic Generation of Simulation Checkers from Formal Specifications, Computer Aided Verification, pp.538-542, 2000. ,
DOI : 10.1007/10722167_40
Ticc: A Tool for Interface Compatibility and Composition, Proc. of the 18th International Conference on Computer Aided Verification (CAV'06), pp.59-62, 2006. ,
Interface-based design, Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School. Kluwer, 2004. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
A determinizable class of timed automata, Lecture Notes in Computer Science, vol.818, pp.1-13, 1994. ,
DOI : 10.1007/3-540-58179-0_39
Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, vol.211, issue.1-2, pp.253-273, 1999. ,
DOI : 10.1016/S0304-3975(97)00173-4
Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002. ,
DOI : 10.1145/585265.585270
Alternating refinement relations, Proc. of the 9th International Conference on Concurrency Theory (CONCUR'98), pp.163-178, 1998. ,
DOI : 10.1007/BFb0055622
20 Years of Modal and Mixed Specifications, Bulletin of European Association of Theoretical Computer Science, vol.1, issue.94, 2008. ,
Complexity of Decision Problems for Mixed and Modal Specifications, FoSSaCS, pp.112-126, 2008. ,
DOI : 10.1007/978-3-540-78499-9_9
Principles of Model Checking, 2008. ,
Functional Verification Methodology Based on Formal Interface Specification and Transactor Generation, Proceedings of the Design Automation & Test in Europe Conference, pp.1013-1018, 2006. ,
DOI : 10.1109/DATE.2006.243899
Specification, Synthesis, and Simulation of Transactor Processes, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.26, issue.10, pp.1749-1762, 2007. ,
DOI : 10.1109/TCAD.2007.895792
A formal approach to system level design: metamodels and unified design environments, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., pp.155-163, 2005. ,
DOI : 10.1109/MEMCOD.2005.1487909
Developing Applications Using Model-Driven Design Environments, Computer, vol.39, issue.2, pp.33-40, 2006. ,
DOI : 10.1109/MC.2006.54
Moving from specifications to contracts in component-based design, Lecture Notes in Computer Science, vol.7212, pp.43-58 ,
Weighted modal transition systems, Formal Methods in System Design, vol.42, issue.2, pp.193-220, 2013. ,
Extending modal transition systems with structured labels, Mathematical Structures in Computer Science, vol.22, issue.4, pp.581-617, 2012. ,
On Weak Modal Compatibility, Refinement, and the MIO Workbench, Proc. of 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), pp.175-189, 2010. ,
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete, Lecture Notes in Computer Science, vol.5684, pp.112-126, 2009. ,
DOI : 10.1007/978-3-642-03466-4_7
On determinism in modal transition systems, Theoretical Computer Science, vol.410, issue.41, pp.4026-4043, 2009. ,
DOI : 10.1016/j.tcs.2009.06.009
Ensuring Reachability by Design, Int. Colloquium on Theoretical Aspects of Computing, 2012. ,
DOI : 10.1007/978-3-642-32943-2_17
URL : https://hal.archives-ouvertes.fr/hal-00766735
The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991. ,
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115
Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.255-263, 2005. ,
DOI : 10.1145/1086228.1086276
Multiple Viewpoint Contract-Based Specification and Design, Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, pp.200-225, 2008. ,
DOI : 10.1109/43.736561
Contracts for System Design: Methodology and Application cases, 2015. ,
Application of interface theories to the separate compilation of synchronous programs, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.7252-7258, 2012. ,
DOI : 10.1109/CDC.2012.6426437
URL : https://hal.archives-ouvertes.fr/hal-00721049
The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
Compositional Contract Abstraction for System Design, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00938854
A contract-based formalism for the specification of heterogeneous systems, 2008 Forum on Specification, Verification and Design Languages, pp.142-147, 2008. ,
DOI : 10.1109/FDL.2008.4641436
The effectiveness of synchronous languages for the development of safety-critical systems, 2003. ,
A Compositional Approach on Modal Specifications for Timed Systems, Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), pp.679-697, 2009. ,
DOI : 10.1007/978-3-642-10373-5_35
URL : https://hal.archives-ouvertes.fr/inria-00418855
Modal event-clock specifications for timed component-based design, Science of Computer Programming, vol.77, issue.12, 2011. ,
DOI : 10.1016/j.scico.2011.01.007
URL : https://hal.archives-ouvertes.fr/hal-00752449
Modal event-clock specifications for timed component-based design, Science of Computer Programming, vol.77, issue.12, 2012. ,
DOI : 10.1016/j.scico.2011.01.007
URL : https://hal.archives-ouvertes.fr/hal-00752449
Refinement and Consistency of Timed Modal Specifications, Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), pp.152-163, 2009. ,
DOI : 10.1007/3-540-56922-7_21
URL : https://hal.archives-ouvertes.fr/inria-00424283
Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999. ,
DOI : 10.1109/2.774917
Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.148-159, 2005. ,
DOI : 10.1145/1060745.1060770
Interface synthesis and protocol conversion, Formal Aspects of Computing, vol.32, issue.5, pp.205-224, 2008. ,
DOI : 10.1007/s00165-007-0045-4
A proposal for real-time interfaces in SPEEDS, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.441-446, 2010. ,
DOI : 10.1109/DATE.2010.5457163
The Algebra of Connectors—Structuring Interaction in BIP, IEEE Transactions on Computers, vol.57, issue.10, pp.1315-1330, 2008. ,
DOI : 10.1109/TC.2008.26
Manual for property-based synthesis tool, 2006. ,
RATSY ??? A New Requirements Analysis Tool with Synthesis, Lecture Notes in Computer Science, vol.6174, pp.425-429, 2010. ,
DOI : 10.1007/978-3-642-14295-6_37
Unified Modeling Language User Guide, The, 2005. ,
Xeve, an Esterel verification environment, Lecture Notes in Computer Science, vol.1427, pp.500-504, 1998. ,
DOI : 10.1007/BFb0028770
URL : https://hal.archives-ouvertes.fr/inria-00069957
Graphical versus logical specifications, Theoretical Computer Science, vol.106, issue.1, pp.3-20, 1992. ,
DOI : 10.1016/0304-3975(92)90276-L
URL : https://hal.archives-ouvertes.fr/inria-00075455
Nondeterministic modal interfaces, 41st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2015, pp.152-163, 2015. ,
Error-pruning in interface automata, 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, pp.162-173, 2014. ,
Failure semantics for modal transition systems, 14th International Conference on Application of Concurrency to System Design , ACSD 2014, pp.42-51, 2014. ,
Trace Algebra for Automatic Verification of Real-Time Concurrent Systems, 1992. ,
Overcoming heterophobia: modeling concurrency in heterogeneous systems, Proceedings Second International Conference on Application of Concurrency to System Design, pp.13-32, 2001. ,
DOI : 10.1109/CSD.2001.981761
A Modal Interface Compositional Analysis Library, 2011. ,
Compositional Design Methodology with Constraint Markov Chains, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010. ,
DOI : 10.1109/QEST.2010.23
URL : https://hal.archives-ouvertes.fr/inria-00591578
Functional and structural properties in the Model-Driven Engineering approach, 2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008. ,
DOI : 10.1109/ETFA.2008.4638491
Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems, IEEE Transactions on Industrial Informatics, vol.6, issue.2, pp.181-194, 2010. ,
DOI : 10.1109/TII.2010.2043741
Timed Modal Specification ???Theory and Tools, BRICS Report Series, vol.4, issue.11, pp.253-267, 1993. ,
DOI : 10.7146/brics.v4i11.18802
Interface Simulation Distances, Electronic Proceedings in Theoretical Computer Science, vol.96, pp.29-42, 2012. ,
DOI : 10.4204/EPTCS.96.3
A Framework for Compositional Design and Analysis of Systems, 2007. ,
Interface Compatibility Checking for Software Modules, CAV, pp.428-441, 2002. ,
DOI : 10.1007/3-540-45657-0_35
Synchronous and Bidirectional Component Interfaces, Proc. of the 14th International Conference on Computer Aided Verification, pp.414-427, 2002. ,
DOI : 10.1007/3-540-45657-0_34
Resource Interfaces, Lecture Notes in Computer Science, vol.2855, pp.117-133 ,
DOI : 10.1007/978-3-540-45212-6_9
Characterization of temporal property classes, Lecture Notes in Computer Science, vol.623, pp.474-486, 1992. ,
A Compositional Specification Theory for Component Behaviours, Lecture Notes in Computer Science, vol.7211, pp.148-168, 2012. ,
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599
An algebraic theory of interface automata, Theoretical Computer Science, vol.549, pp.146-174, 2014. ,
DOI : 10.1016/j.tcs.2014.07.018
Compositional assume???guarantee reasoning for input/output component theories, Science of Computer Programming, vol.91, pp.115-137, 2014. ,
DOI : 10.1016/j.scico.2013.12.010
Revisiting Timed Specification Theories: A Linear-Time Perspective, Lecture Notes in Computer Science, vol.7595, pp.75-90, 2012. ,
DOI : 10.1007/978-3-642-33365-1_7
URL : https://hal.archives-ouvertes.fr/hal-00739584
Model Checking, 1999. ,
Compositional model checking, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.353-362, 1989. ,
DOI : 10.1109/LICS.1989.39190
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992. ,
DOI : 10.1016/0743-1066(92)90030-7
Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992. ,
DOI : 10.1093/logcom/2.4.511
Compositional Specifications for ioco Testing, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, 2014. ,
DOI : 10.1109/ICST.2014.50
Using contract-based component specifications for virtual integration testing and architecture design, 2011 Design, Automation & Test in Europe, 2011. ,
DOI : 10.1109/DATE.2011.5763167
LSCs: Breathing life into message sequence charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001. ,
DOI : 10.1023/A:1011227529550
Boosting reuse of embedded automotive applications through rich components, Proceedings of FIT 2005 -Foundations of Interface Technologies, 2005. ,
II, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, pp.1-4931, 2013. ,
DOI : 10.1145/2435227.2435245
Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010. ,
DOI : 10.1145/1755952.1755967
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems, Proc. of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), pp.365-370, 2010. ,
DOI : 10.1007/978-3-642-15643-4_29
Game Models for Open Systems In Verification: Theory and Practice, Lecture Notes in Computer Science, vol.2772, pp.269-289 ,
Sociable Interfaces, Proc. of the 5th International Workshop on Frontiers of Combining Systems (FroCos'05), pp.81-105, 2005. ,
DOI : 10.1007/11559306_5
Interface automata, Proc. of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'01), pp.109-120, 2001. ,
Interface theories for componentbased design, Lecture Notes in Computer Science, vol.2211, pp.148-165 ,
Timed Interfaces, Proc. of the 2nd International Workshop on Embedded Software (EM- SOFT'02), volume 2491 of Lecture Notes in Computer Science, pp.108-122 ,
DOI : 10.1007/3-540-45828-X_9
Modular Specification and Compositional Analysis of Stochastic Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/tel-00591609
Probabilistic contracts : A compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design, 2011. ,
Synchronous Interface Theories and Time Triggered Scheduling, Lecture Notes in Computer Science, vol.7273, pp.203-218, 2012. ,
DOI : 10.1007/978-3-642-30793-5_13
Abstract Probabilistic Automata, Lecture Notes in Computer Science, vol.2, issue.1-2, pp.324-339, 2011. ,
DOI : 10.1007/11817949_5
Consistency and refinement for interval markov chains, J. Log ,
A Platform-Based Taxonomy for ESL Design, IEEE Design & Test of Computers, vol.23, issue.5, pp.359-374, 2006. ,
DOI : 10.1109/MDT.2006.112
Trace Theory for Automatic Hierarchical Verification of Speed- Independent Circuits, ACM Distinguished Dissertations, 1989. ,
MTSA: The Modal Transition System Analyser, Proc. of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08), pp.475-476, 2008. ,
Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008. ,
DOI : 10.1145/1450058.1450070
Compiling Esterel, 2007. ,
PSL for Runtime Verification: Theory and Practice, Lecture Notes in Computer Science, vol.4839, pp.1-8, 2007. ,
DOI : 10.1007/978-3-540-77395-5_1
Formal Syntax and Semantics of PSL -Appendix B of Accellera LRM, 2003. ,
Reasoning with Temporal Logic on Truncated Paths, Lecture Notes in Computer Science, vol.2725, pp.27-39, 2003. ,
DOI : 10.1007/978-3-540-45069-6_3
Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
BCL: A compositional contract language for embedded systems, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014. ,
DOI : 10.1109/ETFA.2014.7005353
Monitor-based run-time contract verification of distributed systems, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), 2014. ,
DOI : 10.1109/SIES.2014.7087332
Modal specifications are a syntactic fragment of the Mu-calculus, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000139
On correct and complete strong merging of partial behaviour models, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.297-307, 2008. ,
DOI : 10.1145/1453101.1453144
The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991. ,
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2003. ,
DOI : 10.1109/9780470545669
Automatic verification of real-time systems using Epsilon, PSTV, volume 1 of IFIP Conference Proceedings, pp.323-330, 1994. ,
Modal Contracts for Component-Based Design, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009. ,
DOI : 10.1109/SEFM.2009.26
Contract-Based Reasoning for Component Systems with Rich Interactions, Embedded Systems Development: From Functional Models to Implementations, pp.139-154, 2014. ,
DOI : 10.1007/978-1-4614-3879-3_8
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification, Lecture Notes in Computer Science, vol.4574, pp.1-18 ,
DOI : 10.1007/978-3-540-73196-2_1
Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.843-871, 1994. ,
DOI : 10.1145/177492.177725
Reasoning about Safety and Progress Using Contracts, Proc. of ICFEM'10, pp.436-451, 2010. ,
Synchronous programming of reactive systems, Kluwer Academic Pub, 1993. ,
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992. ,
DOI : 10.1109/32.159839
Synchronous Observers and the Verification of Reactive Systems, AMAST, Workshops in Computing, pp.83-96, 1993. ,
DOI : 10.1007/978-1-4471-3227-1_8
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing, Lecture Notes in Computer Science, vol.1742, pp.1-12, 1999. ,
DOI : 10.1007/3-540-46674-6_1
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
Model-checking behavioral programs, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.279-288, 2011. ,
DOI : 10.1145/2038642.2038686
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, 2003. ,
DOI : 10.1007/978-3-642-19029-2
Behavioral programming, Communications of the ACM, vol.55, issue.7, pp.90-100, 2012. ,
DOI : 10.1145/2209249.2209270
Behavioral programming, decentralized control, and multiple time scales, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.171-182, 2011. ,
DOI : 10.1145/2095050.2095079
On the development of reactive systems Logic and Models for Verification and Specification of Concurrent Systems, volume F13 of NATO ASI Series, pp.477-498, 1985. ,
Independent implementability of viewpoints, Lecture Notes in Computer Science, vol.7539, pp.380-395, 2012. ,
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969. ,
DOI : 10.1145/363235.363259
Specification and design of (parallel) programs, IFIP Congress, pp.321-332, 1983. ,
Specification and refinement of probabilistic processes, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991. ,
DOI : 10.1109/LICS.1991.151651
Modal transition systems with weight intervals, The Journal of Logic and Algebraic Programming, vol.81, issue.4, pp.408-421, 2012. ,
DOI : 10.1016/j.jlap.2012.03.008
The Semantics of Simple Language for Parallel Programming, IFIP Congress, pp.471-475, 1974. ,
Introduction to Simulink with Engineering Applications, 2006. ,
Modelintegrated development of embedded software, Proceedings of the IEEE, 2003. ,
Modular Model Checking, COMPOS, pp.381-401, 1997. ,
DOI : 10.1007/3-540-49213-5_14
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
Iterative and incremental developments. a brief history, Computer, vol.36, issue.6, pp.47-56, 2003. ,
DOI : 10.1109/MC.2003.1204375
Robust synthesis for real-time systems, Theoretical Computer Science, vol.515, pp.96-122, 2014. ,
DOI : 10.1016/j.tcs.2013.08.015
URL : https://hal.archives-ouvertes.fr/hal-01087778
Equation solving using modal transition systems, Proceedings of the 5th Annual IEEE Symp. on Logic in Computer Science, LICS'90, pp.108-117, 1990. ,
Modal specifications, Lecture Notes in Computer Science, vol.407, pp.232-246, 1989. ,
DOI : 10.1007/3-540-52148-8_19
Interface Input/Output Automata, Lecture Notes in Computer Science, vol.4085, pp.82-97 ,
DOI : 10.1007/11813040_7
Modal I/O Automata for Interface and Product Line Theories, Programming Languages and Systems, 16th European Symposium on Programming, ESOP'07, pp.64-79, 2007. ,
DOI : 10.1007/978-3-540-71316-6_6
On Modal Refinement and Consistency, Proc. of the 18th International Conference on Concurrency Theory (CONCUR'07), pp.105-119, 2007. ,
A constraint oriented proof methodology based on modal transition systems, Proc. of the 1st International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS'95), pp.17-40, 1995. ,
DOI : 10.1007/3-540-60630-0_2
A modal process logic, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, pp.203-210, 1988. ,
DOI : 10.1109/LICS.1988.5119
Refinement-based synthesis of correct contract model decompositions, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), 2014. ,
DOI : 10.1109/MEMCOD.2014.6961851
A tag contract framework for heterogeneous systems, Proceedings of the 12 th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01087915
Tag machines for modeling heterogeneous systems, Proceedings of the 13 th International Conference on Application of Concurrency to System Design, ACSD13, pp.186-195, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01087910
Composing domain-specific design environments, Computer, vol.34, issue.11, pp.44-51, 2001. ,
DOI : 10.1109/2.963443
The generic modeling environment, Proceedings of the IEEE International Workshop on Intelligent Signal Processing (WISP2001), 2001. ,
Modal interface automata, Logical Methods in Computer Science, vol.9, issue.3, p.2013 ,
Richer interface automata with optimistic and pessimistic compatibility, Acta Informatica, vol.388, issue.1???3, 2013. ,
DOI : 10.1007/s00236-014-0211-0
Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,..., Lecture Notes in Computer Science, vol.2761, pp.187-188, 2003. ,
DOI : 10.1007/978-3-540-45187-7_12
A proof of the Kahn principle for input/output automata, Information and Computation, vol.82, issue.1, pp.81-92, 1989. ,
DOI : 10.1016/0890-5401(89)90066-7
Temporal verification of reactive systems: Safety, 1995. ,
DOI : 10.1007/978-1-4612-4222-2
Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discrete Event Dynamic Systems, pp.325-346, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00546147
Incremental design of a power transformer station controller using a controller synthesis methodology, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.729-741, 2000. ,
DOI : 10.1109/32.879811
URL : https://hal.archives-ouvertes.fr/hal-00546156
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
Touch of Class: Learning to Program Well Using Object Technology and Design by Contract, 2009. ,
DOI : 10.1007/978-3-540-92145-5
Weakly Relational Numerical Abstract Domains. Phd, Ecole Normale Supérieure, département d'informatique, 2004. ,
Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998. ,
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D
Advances in the dataflow computational model, Parallel Computing, vol.25, pp.13-141907, 1999. ,
Process Spaces and the Formal Verification of Asynchronous Circuits, Canada, 1998. ,
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Methodology for the Design of Analog Integrated Interfaces Using Contracts, IEEE Sensors Journal, vol.12, issue.12, pp.3329-3345, 2012. ,
DOI : 10.1109/JSEN.2012.2211098
The Architecture Analysis and Design Language (AADL): An Introduction. Software Engineering Institute (SEI) Technical Note, 2006. ,
Semantic Foundations for Heterogeneous Systems, 2004. ,
Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, pp.132-139, 2002. ,
DOI : 10.1145/774572.774592
Refinement preserving approximations for the design and verification of heterogeneous systems, Formal Methods in System Design, vol.170, issue.4, pp.1-33, 2007. ,
DOI : 10.1007/s10703-006-0024-z
Metamodels in Europe: Languages, Tools, and Applications, Metamodels in Europe: Languages, tools, and applications, pp.38-53, 2009. ,
DOI : 10.1109/MDT.2009.64
Programming real-time applications with Signal, Proceedings of the IEEE, pp.1321-1336, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075114
Property simulation, 2005. ,
System level design paradigms, ACM Transactions on Design Automation of Electronic Systems, vol.11, issue.3, pp.537-563, 2006. ,
DOI : 10.1145/1142980.1142982
Concurrency in Synchronous Systems, Formal Methods in System Design, vol.18, issue.2, pp.111-130, 2006. ,
DOI : 10.1007/s10703-006-7844-8
URL : https://hal.archives-ouvertes.fr/inria-00124252
Necessary and sufficient conditions for deterministic desynchronization, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.124-133, 2007. ,
DOI : 10.1145/1289927.1289950
URL : https://hal.archives-ouvertes.fr/inria-00137885
Visual modeling with Rational Rose, p.and UML, 2000. ,
A product information modeling framework for product lifecycle management, Computer-Aided Design, vol.37, issue.13, pp.1399-1411, 2005. ,
DOI : 10.1016/j.cad.2005.02.010
Quotient de spécifications pour la réutilisation de composants, 2007. ,
Residual for Component Specifications, Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), 2007. ,
DOI : 10.1016/j.entcs.2008.06.023
URL : https://hal.archives-ouvertes.fr/inria-00141898
Modal interfaces, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.87-96, 2009. ,
DOI : 10.1145/1629335.1629348
URL : https://hal.archives-ouvertes.fr/inria-00555742
A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.12, pp.119-149, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00554283
Why Are Modalities Good for Interface Theories?, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009. ,
DOI : 10.1109/ACSD.2009.22
URL : https://hal.archives-ouvertes.fr/inria-00375098
Basic Problems in Multi-View Modeling, TACAS, 2014. ,
DOI : 10.1007/978-3-642-54862-8_15
Compositional timing analysis of realtime systems based on resource segregation abstraction, Embedded Systems: Design, Analysis and Verification -4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013 Proceedings, volume 403 of IFIP Advances in Information and Communication Technology, pp.181-192, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01466672
Real-Time Contracts -A Contract Theory Considering Resource Supplies and Demands. Reports of SFB, 2014. ,
Evaluation of Architectural Frameworks Supporting Contract-Based Specification, 2010. ,
Assigning meaning to programs, Proceedings of Symposium on Applied Mathematics, pp.19-32, 1967. ,
Metamodeling: An Emerging Representation Paradigm for System-Level Design, IEEE Design & Test of Computers, vol.26, issue.3, pp.54-69, 2009. ,
DOI : 10.1109/MDT.2009.62
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, Proc. of the IEEE, pp.467-506, 2007. ,
DOI : 10.1109/JPROC.2006.890107
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*, European Journal of Control, vol.18, issue.3, pp.217-238, 2012. ,
DOI : 10.3166/ejc.18.217-238
Model-driven engineering, IEEE Computer, pp.25-31, 2006. ,
Existential live sequence charts revisited, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008. ,
DOI : 10.1145/1368088.1368095
Component-Based Construction of Heterogeneous Real-Time Systems in Bip, Petri Nets, p.1, 2009. ,
DOI : 10.1007/978-3-642-02424-5_1
A proof technique for rely/guarantee properties, Lecture Notes in Computer Science, vol.206, pp.369-391, 1985. ,
DOI : 10.1007/3-540-16042-6_21
Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction, Formal Modeling and Analysis of Timed Systems -12th International Conference, FOR- MATS 2014, pp.206-221, 2014. ,
DOI : 10.1007/978-3-319-10512-3_15
Real-time scheduling interfaces and contracts for the design of distributed embedded systems, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.130-139, 2013. ,
DOI : 10.1109/SIES.2013.6601485
On relational interfaces, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.67-76, 2009. ,
DOI : 10.1145/1629335.1629346
A Theory of Synchronous Relational Interfaces, ACM Transactions on Programming Languages and Systems, vol.33, issue.4, p.14, 2011. ,
DOI : 10.1145/1985342.1985345
Merging partial behavioural models, Proc. of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT FSE'10), pp.43-52, 2004. ,
The Object Constraint Language: Getting Your Models Ready for MDA, 2003. ,
Hierarchical Models of Synchronous Circuits for Formal Verification and Substitution, 1995. ,