2025

Journal articles

ref_biblio

Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, et al.. Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems. Automatisierungstechnik, 2025, 73 (2), pp.81-99. ⟨10.48550/arXiv.2402.10535⟩. ⟨hal-04467401⟩

Accès au bibtex

2024

Conference papers

ref_biblio

Maksym Labzhaniia, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. MODELS 2024 - 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. ⟨10.1145/3652620.3687813⟩. ⟨hal-04695647⟩

Accès au texte intégral et bibtex

ref_biblio

Bárbara da Silva Oliveira, Nicolas Ferry, Julien Deantoni. Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development. MPM4CPS 2024 - Multi-Paradigm Modeling for Cyber-Physical Systems @MODELS 2024, Sep 2024, Linz, Austria. ⟨10.1145/3652620.3688568⟩. ⟨hal-04695644⟩

Accès au texte intégral et bibtex

Special issue

ref_biblio

Julien Deantoni, Alain Girault, Daniel Grosse. Introduction to the Special Issue on Specification and Design Languages (FDL 2021). ACM Transactions on Embedded Computing Systems (TECS), 23 (5), pp.1-4, 2024, ⟨10.1145/3677316⟩. ⟨hal-04682174⟩

Accès au bibtex

2023

Journal articles

ref_biblio

Steffen Zschaler, Erwan Bousse, Julien Deantoni, Benoit Combemale. A Generic Framework for Representing and Analysing Model Concurrency. Software and Systems Modeling, 2023, 22, pp.1319-1340. ⟨10.1007/s10270-022-01073-2⟩. ⟨hal-03921704⟩

Accès au texte intégral et bibtex

Conference papers

ref_biblio

Bentley James Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, et al.. Examining model qualities and their impact on digital twins. ANNSIM 2023 - Annual Modeling and Simulation Conference, May 2023, Hamilton, Ontario, Canada. pp.220-232. ⟨hal-04259726⟩

Accès au texte intégral et bibtex

ref_biblio

Jörg Holtmann, Julien Deantoni, Markus Fockel. Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract). Software Engineering 2023, Feb 2023, Paderborn, Germany. pp.69-70. ⟨hal-04259779⟩

Accès au texte intégral et bibtex

2022

Journal articles

ref_biblio

Jörg Holtmann, Julien Deantoni, Markus Fockel. Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling, 2022, 21, ⟨10.1007/s10270-022-01002-3⟩. ⟨hal-03375049⟩

Accès au texte intégral et bibtex

2021

Conference papers

ref_biblio

João Cambeiro, Julien Deantoni, Vasco Amaral. Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals. International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21), Oct 2021, Fukuoka, Japan. ⟨hal-03374990⟩

Accès au texte intégral et bibtex

ref_biblio

Ryana Karaki, Ludovic Marti, Julien Deantoni. WIP: Domain Specific Debugging by using RUNSTAR. FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨hal-03375006⟩

Accès au texte intégral et bibtex

ref_biblio

Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh. Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio. FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩. ⟨hal-03374955⟩

Accès au texte intégral et bibtex

2020

Conference papers

ref_biblio

Giovanni Liboni, Julien Deantoni. CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations. ICISE 2020 - 5th International Conference on Information Systems Engineering, Nov 2020, Manchester / Virtual, United Kingdom. ⟨hal-03038547⟩

Accès au texte intégral et bibtex

ref_biblio

Giovanni Liboni, Julien Deantoni. A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. CoSim-CPS 2020 - Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Sep 2020, Amsterdam / Online, Netherlands. ⟨10.1007/978-3-030-67220-1_21⟩. ⟨hal-03038527⟩

Accès au texte intégral et bibtex

ref_biblio

Philippe Cuenot, Paul Bouche, Robert de Simone, Julien Deantoni, Amin Oueslati. Early validation of satellite COTS-on-board computing systems. ERTS 2020 - 10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France. ⟨hal-02413867⟩

Accès au texte intégral et bibtex

2019

Journal articles

ref_biblio

Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni. A Unifying Framework for Homogeneous Model Composition. Software and Systems Modeling, 2019, pp.1-19. ⟨10.1007/s10270-018-00707-8⟩. ⟨hal-01949050⟩

Accès au texte intégral et bibtex

ref_biblio

Amin Oueslati, Philippe Cuenot, Julien Deantoni, Christophe Moreno. System Based Interference Analysis in Capella. The Journal of Object Technology, 2019, 18 (2), pp.14:1. ⟨10.5381/jot.2019.18.2.a14⟩. ⟨hal-02182902⟩

Accès au texte intégral et bibtex

Conference papers

ref_biblio

Simon van Mierlo, Eugene Syriani, Dominique Blouin, Moussa Amrani, Julien Deantoni, et al.. Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019). MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩. ⟨hal-02428017⟩

Accès au bibtex

ref_biblio

Simon Van Mierlo, Julien Deantoni, Loli Burgueño, Clark Verbrugge, Hans Vangheluwe. Towards Sketching Interfaces for Multi-Paradigm Modeling. MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany. ⟨hal-02336809⟩

Accès au texte intégral et bibtex

ref_biblio

Giovanni Liboni, Julien Deantoni. WIP on a Coordination Language to Automate the Generation of Co-Simulations. FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom. ⟨hal-02292048⟩

Accès au texte intégral et bibtex

ref_biblio

Régis Gascon, Julien Deantoni, Jean-François Le Tallec. Priority in Logical Time Partial Orders with Synchronous Relations. IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam. ⟨hal-02078493⟩

Accès au texte intégral et bibtex

Book sections

ref_biblio

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni. Time in SCCharts. Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩. ⟨hal-02434885⟩

Accès au bibtex

Habilitation à diriger des recherches

ref_biblio

Julien Deantoni. Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models. Embedded Systems. Université Côte d'Azur, CNRS, I3S, France, 2019. ⟨tel-02427962⟩

Accès au texte intégral et bibtex

2018

Conference papers

ref_biblio

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni. Time in SCCharts. Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩. ⟨hal-01898285⟩

Accès au bibtex

ref_biblio

Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm 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

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

ref_biblio

Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe. Co-simulation: The Past, Future, and Open Challenges. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520. ⟨hal-01913822⟩

Accès au 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. pp.542-549, ⟨10.5220/0006269505420549⟩. ⟨hal-01644294⟩

Accès au texte intégral et 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. ⟨10.1007/978-3-319-47677-3_2⟩. ⟨hal-01372694⟩

Accès au 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. ⟨hal-01355391v2⟩

Accès au texte intégral et bibtex

ref_biblio

Stefano Centomo, Julien Deantoni, Robert de Simone. Using 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. ⟨10.1109/DSD.2016.86⟩. ⟨hal-01358702⟩

Accès au texte intégral et bibtex

ref_biblio

Jörg Kienzle, Gunter Mussbacher, Omar Alam, Matthias Schöttle, Nicolas Belloir, et al.. VCU: The Three Dimensions of Reuse. 15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus. ⟨hal-01287720⟩

Accès au texte intégral et bibtex

ref_biblio

Julien Deantoni. Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination. Architecture Centric Virtual Integration (ACVI), Julien Delange; Jerome Hugues; Peter Feiler, Apr 2016, Venise, Italy. ⟨hal-01291299⟩

Accès au texte intégral et 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. ⟨hal-01258358⟩

Accès au texte intégral et bibtex

2015

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, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩. ⟨lirmm-01912854⟩

Accès au bibtex

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. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. ⟨hal-01198744⟩

Accès au texte intégral et bibtex

ref_biblio

Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet. A Behavioral Coordination Operator Language (BCOoL). International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462. ⟨hal-01182773⟩

Accès au texte intégral et 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. ⟨hal-01087442⟩

Accès au texte intégral et 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. ⟨hal-01152342v2⟩

Accès au texte intégral et bibtex

ref_biblio

Florent Latombe, Xavier Crégut, Benoit 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. ⟨hal-01185911⟩

Accès au texte intégral et 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. ⟨hal-01222999⟩

Accès au texte intégral et bibtex

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. 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

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

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, 2014, pp.10-13. ⟨hal-00994551⟩

Accès au texte intégral et 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. ⟨hal-01060309⟩

Accès au texte intégral et bibtex

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. International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩. ⟨hal-01234653⟩

Accès au texte intégral et bibtex

ref_biblio

Thorsten Koch, Jörg Holtmann, Julien Deantoni. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. European Conference on Software Architecture, Aug 2014, Vienna, Austria. pp.146-153, ⟨10.1007/978-3-319-09970-5_14⟩. ⟨hal-01059504⟩

Accès au 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. ⟨hal-01073202⟩

Accès au texte intégral et 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⟩. ⟨hal-01079039⟩

Accès au bibtex

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. ⟨hal-01074602⟩

Accès au texte intégral et 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

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

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 : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.4-11. ⟨hal-00854221⟩

Accès au texte intégral et 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. SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩. ⟨hal-00850770v2⟩

Accès au texte intégral et 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. pp.3-13. ⟨hal-00926244⟩

Accès au 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, ⟨10.1109/PATMOS.2013.6662180⟩. ⟨hal-00906733⟩

Accès au 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. ⟨hal-00850673⟩

Accès au texte intégral et bibtex

Books

ref_biblio

Benoit Combemale, Julien Deantoni, Robert B. France, Balbir Barn, Tony Clark, et al. (Dir.). 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. CEUR-WS, 1102, pp.88, 2013. ⟨hal-00916282⟩

Accès au 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, 2012, 16 (2), pp.137-169. ⟨10.1007/s10617-012-9093-y⟩. ⟨hal-00727239⟩

Accès au 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, ⟨10.1109/SEAA.2012.66⟩. ⟨hal-00720735⟩

Accès au 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. pp.230-239. ⟨hal-00687562⟩

Accès au bibtex

ref_biblio

Julien Deantoni, Frédéric Mallet. TimeSquare: Treat your Models with Logical Time. TOOLS - 50th International Conference on Objects, Models, Components, Patterns - 2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩. ⟨hal-00688590⟩

Accès au 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

Patents

ref_biblio

Nicolas Chleq, Benoît Ferrero, Julien Deantoni, Frédéric Mallet, Charles André. TimeSquare. France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012. ⟨hal-01355710⟩

Accès au 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

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

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

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. ⟨hal-00597086⟩

Accès au texte intégral et 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. ⟨inria-00597981⟩

Accès au texte intégral et 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. ⟨hal-00596239⟩

Accès au texte intégral et 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. ⟨inria-00587151⟩

Accès au texte intégral et 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. pp.50; 57, ⟨10.1109/ISORC.2011.16⟩. ⟨inria-00586851⟩

Accès au texte intégral et 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. ⟨inria-00601840⟩

Accès au texte intégral et bibtex

Reports

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

ref_biblio

Kelly Garcés, Julien Deantoni, Frédéric Mallet. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams. [Research Report] RR-7842, INRIA. 2011. ⟨hal-00652987⟩

Accès au texte intégral et 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, 2010, 6 (1-2), pp.99-106. ⟨10.1007/s11334-009-0109-0⟩. ⟨inria-00464894⟩

Accès au 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. SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩. ⟨inria-00587116⟩

Accès au 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), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246. ⟨inria-00545866⟩

Accès au texte intégral et 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. ⟨10.1109/SIES.2010.5551372⟩. ⟨inria-00587107⟩

Accès au texte intégral et 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 texte intégral et bibtex

2009

Journal articles

ref_biblio

Julien Deantoni, Jean-Philippe Babau. SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles. En vue - Lettre d'information de l'INSA de Lyon, 2009, 26. ⟨inria-00587097⟩

Accès au texte intégral et 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. ⟨inria-00494224⟩

Accès au texte intégral et 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, ⟨10.1109/ICECCS.2009.10⟩. ⟨inria-00416592⟩

Accès au texte intégral et 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

2008

Conference papers

ref_biblio

Gilles Perrouin, Franck Chauvel, Julien Deantoni, Jean-Marc Jézéquel. Modeling the Variability Space of Self-Adaptive Applications. 2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. pp.15--22. ⟨inria-00456531⟩

Accès au texte intégral et 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

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. ⟨NNT : ⟩. ⟨tel-00239261⟩

Accès au texte intégral et 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. ⟨inria-00587178⟩

Accès au texte intégral et 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. ⟨inria-00587200⟩

Accès au texte intégral et 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. pp.257--264, ⟨10.1109/DISTRA.2005.2⟩. ⟨inria-00587338⟩

Accès au 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. pp.567--570, ⟨10.1109/RTCSA.2005.11⟩. ⟨inria-00587341⟩

Accès au bibtex

Other publications

ref_biblio

Julien Deantoni, Jean-Philippe Babau. SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications. 2005. ⟨inria-00587210⟩

Accès au texte intégral et bibtex

ref_biblio

Julien Deantoni, Jean-Philippe Babau. CiberMouse design: a case study for SAIA model reuse. 2005. ⟨inria-00587184⟩

Accès au texte intégral et bibtex