The constructive semantics of pure, Esterel, 1996. ,
TESL: A language for reconciling heterogeneous execution traces, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.114-123, 2014. ,
DOI : 10.1109/MEMCOD.2014.6961849
URL : https://hal.archives-ouvertes.fr/hal-01100179
An Extensible Encoding of Object-oriented Data Models in hol, Journal of Automated Reasoning, vol.10, issue.2, pp.219-249, 2008. ,
DOI : 10.1007/11541868_12
URL : https://hal.archives-ouvertes.fr/hal-01214567
Monadic Sequence Testing and Explicit Test-Refinements, Tests and Proofs -10th International Conference Proceedings, pp.17-36978, 2016. ,
DOI : 10.1017/S0960129500001560
Globalizing Domain-Specific Languages, LNCS, Programming and Software Engineering, vol.9400, 2015. ,
DOI : 10.1007/978-3-319-26172-0
URL : https://hal.archives-ouvertes.fr/hal-01224096
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8244
A Model-Based Approach for Reconciliation of Polychronous Execution Traces, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 2011. ,
DOI : 10.1109/SEAA.2011.47
Exploring multi-paradigm modeling techniques SIMULATION: Transactions of The Society for Modeling and Simulation International 85, pp.688-708, 2009. ,
Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009. ,
DOI : 10.1007/BFb0020947
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7098
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, 1998. ,
DOI : 10.1109/43.736561
The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010. ,
DOI : 10.1007/978-3-642-18216-7
URL : https://hal.archives-ouvertes.fr/inria-00464894
On Conformance Testing for Timed Systems, pp.250-264978, 2008. ,
DOI : 10.1007/978-3-540-85778-5_18
A corrected failure-divergence model for CSP in Isabelle/HOL, 4th International Symposium of Formal Methods Europe Proceedings. pp, pp.318-337, 1997. ,
DOI : 10.1007/3-540-63533-5_17
Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, pp.103-120, 1996. ,
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528
A Behavioral Coordination Operator Language (BCOoL), 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015. ,
DOI : 10.1109/MODELS.2015.7338249
URL : https://hal.archives-ouvertes.fr/hal-01182773
A core calculus for correlation in orchestration languages, The Journal of Logic and Algebraic Programming, vol.70, issue.1, pp.74-95, 2007. ,
DOI : 10.1016/j.jlap.2006.05.006
Whole-program compilation in MLton, Proceedings of the 2006 workshop on ML , ML '06, p.http, 2006. ,
DOI : 10.1145/1159876.1159877
An Executable Semantics of Clock Constraint Specification Language and Its Applications, pp.37-51978, 2016. ,
DOI : 10.1007/978-3-319-29510-7_2
URL : https://hal.archives-ouvertes.fr/hal-01353824