Publications HAL de Julien Deantoni

2018

Conference papers

ref_biblio
Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Larsen, Jörg Brauer, et al.. Towards the Verification of Hybrid Co-simulation Algorithms. Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France. 〈hal-01871531〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01871531/file/CoSim-CPS-18_paper_3-FULL.pdf BibTex
ref_biblio
Giovanni Liboni, Julien Deantoni, Antonio Portaluri, Davide Quaglia, Robert De Simone. Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements. 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2018, Manchester, United Kingdom. 〈hal-01675396〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01675396/file/rapido2018_noACM.pdf BibTex

2017

Conference papers

ref_biblio
Jean-Vivien Millo, Emilien Kofman, Julien Deantoni, Frédéric Mallet, Amine Oueslati, et al.. Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. Scitepress, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, pp.542-549, 〈10.5220/0006269505420549〉. 〈hal-01644294〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644294/file/main.pdf BibTex

2016

Conference papers

ref_biblio
Qingguo Xu, Julien Deantoni, Robert De Simone. Divergence 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〉. 〈10.1007/978-3-319-47677-3_2〉. 〈hal-01372694〉
Accès au bibtex
BibTex
ref_biblio
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, et al.. Execution Framework of the GEMOC Studio (Tool Demo). Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8, SLE 2016. 〈hal-01355391v2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355391/file/execution-framework-gemoc-final.pdf BibTex
ref_biblio
Stefano Centomo, Julien Deantoni, Robert De Simone. Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements. 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-01358702〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01358702/file/systemc-cyber-models_cameraReady.pdf BibTex
ref_biblio
Julien Deantoni. Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination. Architecture Centric Virtual Integration (ACVI), Apr 2016, Venise, Italy. 〈http://acvi-workshop.org/acvi2016〉. 〈hal-01291299〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01291299/file/ACVI2016.pdf BibTex
ref_biblio
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien 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-01258358〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01258358/file/erts16-gemoc.pdf BibTex
ref_biblio
Jörg Kienzle, Gunter Mussbacher, Omar Alam, Matthias Schöttle, Nicolas 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-01287720〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01287720/file/vcu.pdf BibTex

2015

Conference papers

ref_biblio
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Model-Driven Based Environment for Automatic Model Coordination. CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters. 〈hal-01198744〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01198744/file/models2015-bcool-demo.pdf BibTex
ref_biblio
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A 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-01182773〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182773/file/models2015-bcool.pdf BibTex
ref_biblio
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale. Towards 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-01087442〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087442/file/date2015_moccml.pdf BibTex
ref_biblio
Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel. Weaving 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-01185911〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185911/file/sle2015-weavingconcurrency.pdf BibTex
ref_biblio
Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, et al.. A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio. 8th Transformation Tool Contest, 2015, l'Aquila, Italy. CEUR, 〈http://www.transformation-tool-contest.eu/〉. 〈hal-01152342v2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152342/file/ttc15-combemale-cameraready.pdf BibTex
ref_biblio
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale. Coping 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-01222999〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01222999/file/CopingWithSemanticVariationPointsInDomainSpecificModelingLanguages_camera-ready.pdf BibTex

Book sections

ref_biblio
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert France, Gabor 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-01234653〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01234653/file/gemoc-dag144412_3rdgroup.pdf BibTex

Directions of work or proceedings

ref_biblio
Benoit Combemale, Julien Deantoni, Jeff Gray. Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling: co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). 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-01242558〉
Accès au bibtex
BibTex

Reports

ref_biblio
Qingguo Xu, Robert De Simone, Julien Deantoni. Logical Clock Constraint Specification in PVS. [Research Report] 8748, Inria Sophia Antipolis. 2015, pp.11. 〈hal-01192839〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01192839/file/RR-8748.pdf BibTex

2014

Journal articles

ref_biblio
Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, et al.. Globalizing Modeling Languages. Computer, Institute of Electrical and Electronics Engineers, 2014, pp.10-13. 〈hal-00994551〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994551/file/ieee-computer-column-gemoc-v8.pdf BibTex

Conference papers

ref_biblio
Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert De Simone. Execution 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-01060309〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060309/file/FDL2014.pdf BibTex
ref_biblio
Thorsten Koch, Jörg Holtmann, Julien Deantoni. Generating 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-01059504〉
Accès au bibtex
BibTex
ref_biblio
Matias Ezequiel Vara Larsen, Julien Deantoni, Frédéric Mallet. Framework for Heterogeneous Modeling and Composition. Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81, 2014. 〈hal-01073202〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01073202/file/ciel2014.pdf BibTex

Book sections

ref_biblio
Frédéric Mallet, Marie-Agnès Peraldi-Frati, Julien Deantoni, Robert De Simone. UML 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-01079039〉
Accès au bibtex
BibTex

Directions of work or proceedings

ref_biblio
Benoit Combemale, Julien Deantoni, Robert France. GEMOC 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-01074602〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01074602/file/GEMOC2014-complete.pdf BibTex

Reports

ref_biblio
Julien Deantoni, Charles André, Régis Gascon. CCSL denotational semantics. [Research Report] RR-8628, Inria. 2014, pp.29. 〈hal-01082274〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01082274/file/RR-8628.pdf BibTex
ref_biblio
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov. Operational Semantics of the Model of Concurrency and Communication Language. [Research Report] RR-8584, INRIA. 2014, pp.23. 〈hal-01060601v2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060601/file/RR-8584.pdf BibTex

2013

Journal articles

ref_biblio
Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir. Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes. Génie logiciel, C & S, 2013, pp.4-11. 〈hal-00854221〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854221/file/Neptune2013-gemoc.pdf BibTex

Conference papers

ref_biblio
Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, et al.. Reifying Concurrency for Executable Metamodeling. Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-319-02654-1_20〉. 〈hal-00850770v2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850770/file/sle13-eventdrivenmetamodeling-cameraready-v1.1.pdf BibTex
ref_biblio
Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sé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-00926244〉
Accès au bibtex
BibTex
ref_biblio
Carlos Gomez, Julien Deantoni, Frédéric Mallet. Power consumption analysis using multi-view modeling. PATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, 2013, 〈10.1109/PATMOS.2013.6662180〉. 〈hal-00906733〉
Accès au bibtex
BibTex
ref_biblio
Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Tool 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-00850673〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850673/file/paper.pdf BibTex

Directions of work or proceedings

ref_biblio
Benoit Combemale, Julien Deantoni, Robert B. France, Balbir Barn, Tony 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. 〈hal-00916282〉
Accès au bibtex
BibTex

2012

Journal articles

ref_biblio
Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, et al.. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. Design Automation for Embedded Systems, Springer Verlag, 2012, 16 (2), pp.137-169. 〈http://www.springerlink.com/content/t03t7nl8463tjpr4/?MUD=MP〉. 〈10.1007/s10617-012-9093-y〉. 〈hal-00727239〉
Accès au bibtex
BibTex

Conference papers

ref_biblio
Carlos Gomez, Julien Deantoni, Frédéric Mallet. Multi-View Power Modeling based on UML, MARTE and SysML. SEAA - 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.17-20, 2012, 〈10.1109/SEAA.2012.66〉. 〈hal-00720735〉
Accès au bibtex
BibTex
ref_biblio
Marie-Agnès Peraldi-Frati, Arda Goknil, Julien Deantoni, Johan Nordlander. A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2. ICECCS 2012 - 17th International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. IEEE, Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on, pp.230-239, 2012, 〈http://ieeexplore.ieee.org/document/6299218/〉. 〈hal-00687562〉
Accès au bibtex
BibTex
ref_biblio
Julien Deantoni, Frédéric Mallet. TimeSquare: Treat your Models with Logical Time. Carlo A. Furia, Sebastian Nanz. TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, May 2012, Prague, Czech Republic. Springer, 7304, pp.34-41, 2012, Lecture Notes in Computer Science - LNCS. 〈10.1007/978-3-642-30561-0_4〉. 〈hal-00688590〉
Accès au bibtex
BibTex

Book sections

ref_biblio
Calin Glitia, Julien Deantoni, Frédéric Mallet. Logical Time @ Work: Capturing Data Dependencies and Platform Constraints. Kaźmierski, Tom J. J. and Morawiec, Adam. System Specification and Design Languages, 106, Springer New York, pp.223--238, 2012, Lecture Notes in Electrical Engineering, 978-1-4614-1426-1. 〈10.1007/978-1-4614-1427-8_14〉. 〈hal-00651864〉
Accès au bibtex
BibTex

Patents

ref_biblio
Nicolas Chleq, Benoît Ferrero, Julien Deantoni, Frédéric Mallet, Charles André. TimeSquare: Logical Time Matters. France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012. 〈hal-01355710〉
Accès au bibtex
BibTex

Reports

ref_biblio
Ling Yin, Julien Deantoni, Frédéric Mallet, Robert De Simone. Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata. [Research Report] RR-8102, 2012, pp.22. 〈hal-00743874〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00743874/file/RR-8102.pdf BibTex
ref_biblio
Julien Deantoni, Frédéric Mallet. ECL: the Event Constraint Language, an Extension of OCL with Events. [Research Report] RR-8031, INRIA. 2012, pp.24. 〈hal-00721169v2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00721169/file/ECL_RR_2012.pdf BibTex
ref_biblio
Carlos Gomez, Julien Deantoni, Frédéric Mallet. Multi-View Power Modeling based on UML MARTE and SysML. [Research Report] RR-7934, INRIA. 2012, pp.19. 〈hal-00688853〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00688853/file/pwMarte.pdf BibTex

2011

Conference papers

ref_biblio
Régis Gascon, Frédéric Mallet, Julien Deantoni. Logical 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-00597086〉
Accès au bibtex
BibTex
ref_biblio
Kelly Garcés, Julien Deantoni, Frédéric Mallet. A Model-Based Approach for Reconciliation of Polychronous Execution Traces. SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland. IEEE, 2011, 〈http://www.computer.org/portal/web/csdl/doi/10.1109/SEAA.2011.47〉. 〈inria-00597981〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00597981/file/garces_deantoni_mallet_SEAA2011.pdf BibTex
ref_biblio
Carlos Gomez, Julien Deantoni, Frédéric Mallet. Semantic Multi-View model for Low-Power. Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19, 2011. 〈hal-00596239〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00596239/file/actionsIDM.pdf BibTex
ref_biblio
Julien Deantoni, Frédéric Mallet, Charles André, Frédéric Thomas. Logical time @ work: the RT-Simex project. Sophia Antipolis Formal Approach, Apr 2011, Sophia, France. 2010, 〈http://www-sop.inria.fr/oasis/SAFA/Safa2010/04_DeAntoni_SAFA2010_final.pdf〉. 〈inria-00587151〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587151/file/deantoni_SAFA_2010.pdf BibTex
ref_biblio
Marie-Agnès Peraldi-Frati, Julien Deantoni. Scheduling Multi Clock Real Time Systems: From Requirements to Implementation. International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Mar 2011, Newport Beach, United States. IEEE computer society, pp.50; 57, 2011, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing. 〈10.1109/ISORC.2011.16〉. 〈inria-00586851〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586851/file/isorc2011.pdf BibTex
ref_biblio
Jean-François Le Tallec, Julien Deantoni, Robert De Simone, Benoît Ferrero, Frédéric Mallet, et al.. Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design. Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France. 2011. 〈inria-00601840〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601840/file/M-BED_2011_fullpaper.pdf BibTex

Reports

ref_biblio
Kelly Garcés, Julien Deantoni, Frédéric Mallet. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams. INRIA. 2011. 〈hal-00652987〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00652987/file/RR-7842.pdf BibTex
ref_biblio
R. Gascon, Frédéric Mallet, Julien Deantoni. Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL. [Research Report] RR-7459, INRIA. 2011. 〈inria-00540738v2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540738/file/RR7459.pdf BibTex

2010

Journal articles

ref_biblio
Frédéric Mallet, Julien Deantoni, Charles André, Robert De Simone. The Clock Constraint Specification Language for building timed causality models. Innovations in Systems and Software Engineering, Springer Verlag, 2010, 6 (1-2), pp.99-106. 〈10.1007/s11334-009-0109-0〉. 〈inria-00464894〉
Accès au bibtex
BibTex

Conference papers

ref_biblio
Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, et al.. RT-simex: retro-analysis of execution traces. Gruia-Catalin Roman, Kevin J. Sullivan. SIGSOFT FSE, Nov 2010, Santa Fe, United States. ISBN 978-1-60558-791-2, pp.377-378, 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 〈http://doi.acm.org/10.1145/1882291.1882357〉. 〈10.1145/1882291.1882357〉. 〈inria-00587116〉
Accès au bibtex
BibTex
ref_biblio
Calin Glitia, Julien Deantoni, Frédéric Mallet. Logical time at work: capturing data dependencies and platform constraints. Forum for Design Languages (FDL), Sep 2010, Southampton, United Kingdom. pp.240-246, 2010, Proceedings of the 2010 Forum on specification & Design Languages. 〈http://www.ecsi.org/fdl2010/fdl-2010-proceedings/〉. 〈inria-00545866〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545866/file/fdl2010-hal.pdf BibTex
ref_biblio
Charles André, Frédéric Mallet, Julien Deantoni. VHDL Observers for Clock Constraint Checking. Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. IEEE computer society, 2010, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5551372VHDL Observers for Clock Constraint Checking〉. 〈10.1109/SIES.2010.5551372〉. 〈inria-00587107〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587107/file/CCSL-Obs.pdf BibTex

Book sections

ref_biblio
Charles André, Julien Deantoni, Frédéric Mallet, Robert De Simone. The Time Model of Logical Clocks available in the OMG MARTE profile. Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.28, 2010, 978-1-4419-6399-4. 〈inria-00495664〉
Accès au bibtex
BibTex

2009

Journal articles

ref_biblio
Julien Deantoni, Jean-Philippe Babau. SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles. journal du département informatique de l'INSA de Lyon, INSA de lyon, 2009. 〈inria-00587097〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587097/file/IF_juin_2010_SAIA.pdf BibTex

Conference papers

ref_biblio
Jean-François Le Tallec, Julien Deantoni. Toward a TLM to RTL refinement : a formal approach. 3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France. 2009. 〈inria-00494224〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494224/file/Toward_a_TLM_to_RTL_re_nement_a_formal_approach.pdf BibTex
ref_biblio
Frédéric Mallet, Charles André, Julien Deantoni. Executing AADL models with UML/Marte. Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, 2009, 〈10.1109/ICECCS.2009.10〉. 〈inria-00416592〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00416592/file/aadl.pdf BibTex

Documents associated with scientific events

ref_biblio
Julien Deantoni, Frédéric Mallet, Charles André. On the Formal Execution of UML and DSL Models. WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France. 〈inria-00587100〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587100/file/mdd4dreswip09_deantoni.pdf BibTex

2008

Conference papers

ref_biblio
Gilles Perrouin, Franck Chauvel, Julien Deantoni, Jean-Marc Jézéquel. Modeling the Variability Space of Self-Adaptive Applications. Steffen Thiel and Klaus Pohl. 2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. IEEE Computer Society, pp.15--22, 2008. 〈inria-00456531〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456531/file/Perrouin08b.pdf BibTex

2007

Documents associated with scientific events

ref_biblio
Jean-Philippe Babau, Julien Deantoni. Architectures logicielles pour les systèmes embarqués temps réel. Ecole d'été temps réel, Sep 2007, Nantes, France. 〈inria-00587164〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587164/file/JPB_JDA_ETR07.pdf BibTex

Theses

ref_biblio
Julien Deantoni. SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles. Génie logiciel [cs.SE]. INSA de Lyon, 2007. Français. 〈tel-00239261〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00239261/file/Ma_these.pdf BibTex

2006

Conference papers

ref_biblio
Julien Deantoni, Jean-Philippe Babau. SAIA: safe deployment of sensors based real time application. Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil. 2006. 〈inria-00587178〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587178/file/deantoni_babau_MAMAS.pdf BibTex
ref_biblio
Julien Deantoni, Jean-Philippe Babau. Model driven engineering method for SAIA architecture design. Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France. 2006, 〈http://planet-mde.org/idm06/actes.pdf〉. 〈inria-00587200〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587200/file/IDM06_deantoni_babau_CR.pdf BibTex

2005

Conference papers

ref_biblio
Julien Deantoni, Jean-Philippe Babau. A MDA-based approach for real time embedded systems simulation. Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, Oct 2005, Washington, DC, USA, United States. IEEE Computer Society, pp.257--264, 2005, 〈http://portal.acm.org/citation.cfm?id=1097421〉. 〈10.1109/DISTRA.2005.2〉. 〈inria-00587338〉
Accès au bibtex
BibTex
ref_biblio
Julien Deantoni, Jean-Philippe Babau. A MDA Approach for Systems Dedicated to Process Control. Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2005, hong kong, China. IEEE Computer Society, pp.567--570, 2005, 〈http://portal.acm.org/citation.cfm?id=1099550.1100781&coll=DL&dl=GUIDE&CFID=17127953&CFTOKEN=17034312〉. 〈10.1109/RTCSA.2005.11〉. 〈inria-00587341〉
Accès au bibtex
BibTex

Other publications

ref_biblio
Julien Deantoni, Jean-Philippe Babau. SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications. paper associated with the implementation of the martian task international robotic challenge. 2005. 〈inria-00587210〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587210/file/Deantoni_MartianTask.pdf BibTex
ref_biblio
Julien Deantoni, Jean-Philippe Babau. CiberMouse design: a case study for SAIA model reuse. The paper describes the approach proposed during the international robotic challenge : cibermouse. 2005. 〈inria-00587184〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587184/file/deantoni_babau_cibermouse.pdf BibTex