26 résultats  enregistrer la recherche


hal-00926244v1  Communication dans un congrès
Benoit CombemaleJulien DeantoniRobert FranceFrédéric BoulangerSébastien Mosser et al.  Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013. <http://ceur-ws.org/Vol-1102/gemoc13-report.pdf>
hal-01372694v1  Communication dans un congrès
Qingguo XuJulien DeantoniRobert De SimoneDivergence Detection for CCSL Specification via Clock Causality Chain
Symposium on Dependable Software Engineering Theories, Tools and Applications, Nov 2016, Beijing, China. Springer International Publishing, Dependable Software Engineering: Theories, Tools, and Applications (9984), Programming and Software Engineering. <http://www.springer.com/us/book/9783319476766#otherversion=9783319476766>
hal-01355710v1  Brevet
Nicolas ChleqBenoît FerreroJulien DeantoniFrédéric MalletCharles AndréTimeSquare
France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
...
hal-01082274v1  Rapport
Julien DeantoniCharles AndréRégis GasconCCSL denotational semantics
[Research Report] RR-8628, Array. 2014, pp.29
...
hal-01073202v1  Communication dans un congrès
Matias Ezequiel Vara LarsenJulien DeantoniFrédéric MalletFramework for Heterogeneous Modeling and Composition
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81, 2014
...
hal-01060309v1  Communication dans un congrès
Amani KhecharemCarlos GomezJulien DeantoniFrédéric MalletRobert De SimoneExecution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach
FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany. IEEE, 2014
hal-01059504v1  Communication dans un congrès
Thorsten KochJörg HoltmannJulien DeantoniGenerating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
Avgeriou, Paris and Zdun, Uwe. European Conference on Software Architecture, Aug 2014, Vienna, Austria. Springer International Publishing, 8627, pp.146-153, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-09970-5_14>
...
hal-01192839v1  Rapport
Qingguo XuRobert De SimoneJulien DeantoniLogical Clock Constraint Specification in PVS
[Research Report] 8748, Inria Sophia Antipolis. 2015, pp.11
hal-00597086v1  Communication dans un congrès
Régis GasconFrédéric MalletJulien DeantoniLogical time and temporal logics: comparing UML MARTE/CCSL and PSL
18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany. 2011
hal-01079039v1  Chapitre d'ouvrage
Frédéric MalletMarie-Agnès Peraldi-FratiJulien DeantoniRobert De SimoneUML MARTE Time Model and Its Clock Constraint Specification Language
Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. <10.4018/978-1-4666-6194-3.ch002>. <http://www.igi-global.com/book/handbook-research-embedded-systems-design/102212>
...
hal-00850673v1  Communication dans un congrès
Arda GoknilJulien DeantoniMarie-Agnès Peraldi-FratiFrédéric MalletTool Support for the Analysis of TADL2 Timing Constraints using TimeSquare
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore. 2013
...
hal-01287720v1  Communication dans un congrès
Jörg KienzleGunter MussbacherOmar AlamMatthias SchöttleNicolas Belloir et al.  VCU: The Three Dimensions of Reuse
The 15th International Conference on Software Reuse (ICSR-15), 2016, Limassol, Cyprus. 2016, The 15th International Conference on Software Reuse. <http://www.cyprusconferences.org/icsr2016/>
...
hal-01258358v1  Communication dans un congrès
Benoit CombemaleCédric BrunJoël ChampeauXavier CrégutJulien Deantoni et al.  A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France. 2016, <www.erts2016.org>
...
hal-01198744v1  Communication dans un congrès
Matias Ezequiel Vara LarsenJulien DeantoniBenoit CombemaleFrédéric MalletA Model-Driven Based Environment for Automatic Model Coordination
CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters
hal-01242558v1  Direction d'ouvrage, Proceedings
Benoit CombemaleJulien DeantoniJeff GrayJoint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
GEMOC+MPM 2015, Ottawa, Canada. 1511, CEUR, 2015, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
...
hal-01222999v1  Communication dans un congrès
Florent LatombeXavier CrégutJulien DeantoniMarc PantelBenoit CombemaleCoping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada. CEUR, 2015, <http://www.modelexecution.org/?page_id=1619>
...
hal-01182773v1  Communication dans un congrès
Matias Ezequiel Vara LarsenJulien DeantoniBenoit CombemaleFrédéric MalletA Behavioral Coordination Operator Language (BCOoL)
Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, <http://cruise.eecs.uottawa.ca/models2015/>
...
hal-01185911v1  Communication dans un congrès
Florent LatombeXavier CrégutBenoit CombemaleJulien DeantoniMarc PantelWeaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, <http://www.sleconf.org/2015/>
...
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit CombemaleTowards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France. IEEE proceedings of Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015
...
hal-01234653v1  Chapitre d'ouvrage
Julien DeantoniCédric BrunBenoît CaillaudRobert FranceGabor Karsai et al.  Domain Globalization: Using Languages to Support Technical and Social Coordination
Combemale, Benoit and Cheng, Betty H.C. and France, Robert B. and Jézéquel, Jean-Marc and Rumpe, Bernhard. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.70-87, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. <10.1007/978-3-319-26172-0_5>
...
hal-01074602v1  Direction d'ouvrage, Proceedings
Benoit CombemaleJulien DeantoniRobert FranceGEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages
Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, pp.82, 2014, CEUR-WS, 1613-0073. <http://ceur-ws.org/Vol-1236/>
...
hal-01358702v1  Communication dans un congrès
Stefano CentomoJulien DeantoniRobert De SimoneUsing SystemC Cyber Models in an FMI Co-Simulation Environment
19th Euromicro Conference on Digital System Design 31 August - 2 September 2016, Aug 2016, Limassol, Cyprus. DSD 2016: 19th Euromicro Conference on Digital System Design, 19, 2016, 19th Euromicro Conference on Digital System Design. <http://dsd-seaa2016.cs.ucy.ac.cy/>. <10.1109/DSD.2016.86>
...
hal-01291299v1  Communication dans un congrès
Julien DeantoniModeling the Behavioral Semantics of Heterogeneous Languages and their Coordination
Architecture Centric Virtual Integration (ACVI), Apr 2016, Venise, Italy. <http://acvi-workshop.org/acvi2016>
hal-00916282v1  Direction d'ouvrage, Proceedings
Benoit CombemaleJulien DeantoniRobert B. FranceBalbir BarnTony Clark et al.  Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013
Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. 1102, CEUR-WS, pp.88, 2013