Julien Deantoni

Identifiants chercheurs

IdHAL :

julien-deantoni

ORCID :

0000-0001-6962-7846

IdRef :

253126401

Publications

Article dans une revue (12)

La Fabrique des Jumeaux Numériques: verrous scientifiques, technologiques et perspectives du programme EDT Pascale Vicat-Blanc,Benoit Combemale,Guy de Spiegeleer,Arnaud Blouin,Thierry Duvalet al. La Revue de l'électricité et de l'électronique, 2026, 1 (1), pp.98-103 Article dans une revue hal-05559524v1
Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems Julien Deantoni,Paula Muñoz,Cláudio Gomes,Clark Verbrugge,Rakshit Mittalet al. Automatisierungstechnik, 2025, 73 (2), pp.81-99. ⟨10.48550/arXiv.2402.10535⟩ Article dans une revue hal-04467401v1
A Generic Framework for Representing and Analysing Model Concurrency Steffen Zschaler,Erwan Bousse,Julien Deantoni,Benoit Combemale Software and Systems Modeling, 2023, 22, pp.1319-1340. ⟨10.1007/s10270-022-01073-2⟩ Article dans une revue hal-03921704v1
Early timing analysis based on scenario requirements and platform models Jörg Holtmann,Julien Deantoni,Markus Fockel Software and Systems Modeling, 2022, 21, ⟨10.1007/s10270-022-01002-3⟩ Article dans une revue hal-03375049v1
System Based Interference Analysis in Capella Amin Oueslati,Philippe Cuenot,Julien Deantoni,Christophe Moreno The Journal of Object Technology, 2019, 18 (2), pp.14:1. ⟨10.5381/jot.2019.18.2.a14⟩ Article dans une revue hal-02182902v1
A Unifying Framework for Homogeneous Model Composition Jörg Kienzle,Gunter Mussbacher,Benoit Combemale,Julien Deantoni Software and Systems Modeling, 2019, pp.1-19. ⟨10.1007/s10270-018-00707-8⟩ Article dans une revue hal-01949050v1
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE Calin Glitia,Julien Deantoni,Frédéric Mallet,Jean-Vivien Millo,Pierre Bouletet al. Design Automation for Embedded Systems, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩ Article dans une revue lirmm-01912854v1
Globalizing Modeling Languages Benoit Combemale,Julien Deantoni,Benoit Baudry,Robert B. France,Jean-Marc Jézéquelet al. Computer, 2014, pp.10-13 Article dans une revue hal-00994551v1
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 Benoit Combemale,Julien Deantoni,Ali Koudri,Jérôme Le Noir Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.4-11 Article dans une revue hal-00854221v1
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte Calin Glitia,Julien Deantoni,Frédéric Mallet,Jean-Vivien Millo,Pierre Bouletet al. Design Automation for Embedded Systems, 2012, 16 (2), pp.137-169. ⟨10.1007/s10617-012-9093-y⟩ Article dans une revue istex hal-00727239v1
The Clock Constraint Specification Language for building timed causality models Frédéric Mallet,Julien Deantoni,Charles André,Robert de Simone Innovations in Systems and Software Engineering, 2010, 6 (1-2), pp.99-106. ⟨10.1007/s11334-009-0109-0⟩ Article dans une revue istex inria-00464894v1
SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles Julien Deantoni,Jean-Philippe Babau En vue - Lettre d'information de l'INSA de Lyon, 2009, 26 Article dans une revue inria-00587097v1

Communication dans un congrès (61)

DemIstifyCPS: A Domain-Specific Language for Influence Modeling in Cyber-Physical Systems Barbara da Silva Oliveira,Nicolas Ferry,Julien Deantoni MODELSWARD 2026 - 14th International Conference on Model-Driven Engineering and Software Development, Mar 2026, Marbella, Spain Communication dans un congrès hal-05432195v1
Understandable Timing Analysis of Service-Oriented Architecture Components in Software-Defined Vehicle Pavlo Tokariev,Irman Faqrizal,Julien Deantoni 20th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI-2025), Sep 2025, Nice, France Communication dans un congrès hal-05224373v1
Engineering Digital Twins: A Research Roadmap Benoît Combemale,Pascale Vicat-Blanc,Arnaud Blouin,Hind Bril El Haouzi,Jean-Michel Bruelet al. EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7 Communication dans un congrès hal-05223776v1
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles Maksym Labzhaniia,Julien Deantoni,Marie-Agnès Peraldi-Frati,Frédéric Mallet MODELS 2024 - 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. ⟨10.1145/3652620.3687813⟩ Communication dans un congrès hal-04695647v1
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development Bárbara da Silva Oliveira,Nicolas Ferry,Julien Deantoni MPM4CPS 2024 - Multi-Paradigm Modeling for Cyber-Physical Systems @MODELS 2024, Sep 2024, Linz, Austria. ⟨10.1145/3652620.3688568⟩ Communication dans un congrès hal-04695644v1
Examining model qualities and their impact on digital twins Bentley James Oakes,Cláudio Gomes,Peter Gorm Larsen,Joachim Denil,Julien Deantoniet al. ANNSIM 2023 - Annual Modeling and Simulation Conference, May 2023, Hamilton, Ontario, Canada. pp.220-232 Communication dans un congrès hal-04259726v1
Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract) Jörg Holtmann,Julien Deantoni,Markus Fockel Software Engineering 2023, Feb 2023, Paderborn, Germany. pp.69-70 Communication dans un congrès hal-04259779v1
WIP: Domain Specific Debugging by using RUNSTAR Ryana Karaki,Ludovic Marti,Julien Deantoni FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France Communication dans un congrès hal-03375006v1
Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio Julien Deantoni,João Cambeiro,Soroush Bateni,Shaokai Lin,Marten Lohstroh FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩ Communication dans un congrès hal-03374955v1
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals João Cambeiro,Julien Deantoni,Vasco Amaral International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21), Oct 2021, Fukuoka, Japan Communication dans un congrès hal-03374990v1
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS Giovanni Liboni,Julien Deantoni 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⟩ Communication dans un congrès hal-03038527v1
CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations Giovanni Liboni,Julien Deantoni ICISE 2020 - 5th International Conference on Information Systems Engineering, Nov 2020, Manchester / Virtual, United Kingdom Communication dans un congrès hal-03038547v1
Early validation of satellite COTS-on-board computing systems Philippe Cuenot,Paul Bouche,Robert de Simone,Julien Deantoni,Amin Oueslati ERTS 2020 - 10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France Communication dans un congrès hal-02413867v1
Priority in Logical Time Partial Orders with Synchronous Relations Régis Gascon,Julien Deantoni,Jean-François Le Tallec IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam Communication dans un congrès hal-02078493v1
WIP on a Coordination Language to Automate the Generation of Co-Simulations Giovanni Liboni,Julien Deantoni FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom Communication dans un congrès hal-02292048v1
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019) Simon van Mierlo,Eugene Syriani,Dominique Blouin,Moussa Amrani,Julien Deantoniet al. 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⟩ Communication dans un congrès hal-02428017v1
Towards Sketching Interfaces for Multi-Paradigm Modeling Simon Van Mierlo,Julien Deantoni,Loli Burgueño,Clark Verbrugge,Hans Vangheluwe MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany Communication dans un congrès hal-02336809v1
Towards the Verification of Hybrid Co-simulation Algorithms Casper Thule,Cláudio Gomes,Julien Deantoni,Peter Gorm Larsen,Jörg Braueret al. Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France Communication dans un congrès hal-01871531v1
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements Giovanni Liboni,Julien Deantoni,Antonio Portaluri,Davide Quaglia,Robert de Simone 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2018, Manchester, United Kingdom Communication dans un congrès hal-01675396v1
Co-simulation: The Past, Future, and Open Challenges Cláudio Gomes,Casper Thule,Julien Deantoni,Peter Gorm Larsen,Hans Vangheluwe Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520 Communication dans un congrès hal-01913822v1
Time in SCCharts Alexander Schulz-Rosengarten,Reinhard von Hanxleden,Frédéric Mallet,Robert de Simone,Julien Deantoni Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩ Communication dans un congrès hal-01898285v1
Explicit Control of Dataflow Graphs with MARTE/CCSL Jean-Vivien Millo,Emilien Kofman,Julien Deantoni,Frédéric Mallet,Amine Oueslatiet al. MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. pp.542-549, ⟨10.5220/0006269505420549⟩ Communication dans un congrès hal-01644294v1
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models Benoit Combemale,Cédric Brun,Joël Champeau,Xavier Crégut,Julien Deantoniet al. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France Communication dans un congrès hal-01258358v1
VCU: The Three Dimensions of Reuse Jörg Kienzle,Gunter Mussbacher,Omar Alam,Matthias Schöttle,Nicolas Belloiret al. 15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus Communication dans un congrès hal-01287720v1
Execution Framework of the GEMOC Studio (Tool Demo) Erwan Bousse,Thomas Degueule,Didier Vojtisek,Tanja Mayerhofer,Julien Deantoniet al. Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 Communication dans un congrès hal-01355391v2
Divergence Detection for CCSL Specification via Clock Causality Chain Qingguo Xu,Julien Deantoni,Robert de Simone Symposium on Dependable Software Engineering Theories, Tools and Applications, Nov 2016, Beijing, China. ⟨10.1007/978-3-319-47677-3_2⟩ Communication dans un congrès hal-01372694v1
Using SystemC Cyber Models in an FMI Co-Simulation Environment Stefano Centomo,Julien Deantoni,Robert de Simone 19th Euromicro Conference on Digital System Design 31 August - 2 September 2016, Aug 2016, Limassol, Cyprus. ⟨10.1109/DSD.2016.86⟩ Communication dans un congrès hal-01358702v1
Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination Julien Deantoni Architecture Centric Virtual Integration (ACVI), Julien Delange; Jerome Hugues; Peter Feiler, Apr 2016, Venise, Italy Communication dans un congrès hal-01291299v1
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio Benoit Combemale,Julien Deantoni,Olivier Barais,Arnaud Blouin,Erwan Bousseet al. 8th Transformation Tool Contest, 2015, l'Aquila, Italy Communication dans un congrès hal-01152342v2
A Model-Driven Based Environment for Automatic Model Coordination Matias Ezequiel Vara Larsen,Julien Deantoni,Benoit Combemale,Frédéric Mallet Models 2015 demo and posters, Oct 2015, Ottawa, Canada Communication dans un congrès hal-01198744v1
Domain Globalization: Using Languages to Support Technical and Social Coordination Julien Deantoni,Cédric Brun,Benoît Caillaud,Robert France,Gabor Karsaiet al. International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩ Communication dans un congrès hal-01234653v1
A Behavioral Coordination Operator Language (BCOoL) Matias Ezequiel Vara Larsen,Julien Deantoni,Benoit Combemale,Frédéric Mallet International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462 Communication dans un congrès hal-01182773v1
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages Florent Latombe,Xavier Crégut,Benoit Combemale,Julien Deantoni,Marc Pantel 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States Communication dans un congrès hal-01185911v1
Coping with Semantic Variation Points in Domain-Specific Modeling Languages Florent Latombe,Xavier Crégut,Julien Deantoni,Marc Pantel,Benoit Combemale 1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada Communication dans un congrès hal-01222999v1
Towards a Meta-Language for the Concurrency Concern in DSLs Julien Deantoni,Papa Issa Diallo,Ciprian Teodorov,Joël Champeau,Benoit Combemale Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France Communication dans un congrès hal-01087442v1
Framework for Heterogeneous Modeling and Composition Matias Ezequiel Vara Larsen,Julien Deantoni,Frédéric Mallet Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81 Communication dans un congrès hal-01073202v1
Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach Amani Khecharem,Carlos Gomez,Julien Deantoni,Frédéric Mallet,Robert de Simone FDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany Communication dans un congrès hal-01060309v1
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications Thorsten Koch,Jörg Holtmann,Julien Deantoni European Conference on Software Architecture, Aug 2014, Vienna, Austria. pp.146-153, ⟨10.1007/978-3-319-09970-5_14⟩ Communication dans un congrès hal-01059504v1
Power consumption analysis using multi-view modeling Carlos Gomez,Julien Deantoni,Frédéric Mallet PATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, ⟨10.1109/PATMOS.2013.6662180⟩ Communication dans un congrès hal-00906733v1
Reifying Concurrency for Executable Metamodeling Benoit Combemale,Julien Deantoni,Matias Ezequiel Vara Larsen,Frédéric Mallet,Olivier Baraiset al. 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⟩ Communication dans un congrès hal-00850770v2
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare Arda Goknil,Julien Deantoni,Marie-Agnès Peraldi-Frati,Frédéric Mallet ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore Communication dans un congrès hal-00850673v1
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013) Benoit Combemale,Julien Deantoni,Robert France,Frédéric Boulanger,Sébastien Mosseret al. GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13 Communication dans un congrès hal-00926244v1
TimeSquare: Treat your Models with Logical Time Julien Deantoni,Frédéric Mallet 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⟩ Communication dans un congrès hal-00688590v1
A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2 Marie-Agnès Peraldi-Frati,Arda Goknil,Julien Deantoni,Johan Nordlander ICECCS 2012 - 17th International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. pp.230-239 Communication dans un congrès hal-00687562v1
Multi-View Power Modeling based on UML, MARTE and SysML Carlos Gomez,Julien Deantoni,Frédéric Mallet SEAA - 38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.17-20, ⟨10.1109/SEAA.2012.66⟩ Communication dans un congrès hal-00720735v1
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL Régis Gascon,Frédéric Mallet,Julien Deantoni 18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany Communication dans un congrès hal-00597086v1
A Model-Based Approach for Reconciliation of Polychronous Execution Traces Kelly Garcés,Julien Deantoni,Frédéric Mallet SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland Communication dans un congrès inria-00597981v1
Semantic Multi-View model for Low-Power Carlos Gomez,Julien Deantoni,Frédéric Mallet Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19 Communication dans un congrès hal-00596239v1
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation Marie-Agnès Peraldi-Frati,Julien Deantoni 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⟩ Communication dans un congrès inria-00586851v1
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design Jean-François Le Tallec,Julien Deantoni,Robert de Simone,Benoît Ferrero,Frédéric Malletet al. Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France Communication dans un congrès inria-00601840v1
VHDL Observers for Clock Constraint Checking Charles André,Frédéric Mallet,Julien Deantoni Symposium on Industrial Embedded Systems, Jul 2010, trento, Italy. ⟨10.1109/SIES.2010.5551372⟩ Communication dans un congrès inria-00587107v1
RT-simex: retro-analysis of execution traces Julien Deantoni,Frédéric Mallet,Frédéric Thomas,Gonzague Reydet,Jean-Philippe Babauet al. SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩ Communication dans un congrès inria-00587116v1
Logical time at work: capturing data dependencies and platform constraints Calin Glitia,Julien Deantoni,Frédéric Mallet Forum for Design Languages (FDL), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246 Communication dans un congrès inria-00545866v1
Logical time @ work: the RT-Simex project Julien Deantoni,Frédéric Mallet,Charles André,Frédéric Thomas Sophia Antipolis Formal Approach, Apr 2011, Sophia, France Communication dans un congrès inria-00587151v1
Toward a TLM to RTL refinement : a formal approach Jean-François Le Tallec,Julien Deantoni 3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France Communication dans un congrès inria-00494224v1
Executing AADL models with UML/Marte Frédéric Mallet,Charles André,Julien Deantoni Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Jun 2009, Potsdam, Germany. pp. 371-376, ⟨10.1109/ICECCS.2009.10⟩ Communication dans un congrès inria-00416592v1
Modeling the Variability Space of Self-Adaptive Applications Gilles Perrouin,Franck Chauvel,Julien Deantoni,Jean-Marc Jézéquel 2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. pp.15--22 Communication dans un congrès inria-00456531v1
SAIA: safe deployment of sensors based real time application Julien Deantoni,Jean-Philippe Babau Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil Communication dans un congrès inria-00587178v1
Model driven engineering method for SAIA architecture design Julien Deantoni,Jean-Philippe Babau Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France Communication dans un congrès inria-00587200v1
A MDA Approach for Systems Dedicated to Process Control Julien Deantoni,Jean-Philippe Babau 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⟩ Communication dans un congrès inria-00587341v1
A MDA-based approach for real time embedded systems simulation Julien Deantoni,Jean-Philippe Babau 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⟩ Communication dans un congrès inria-00587338v1

N°spécial de revue/special issue (1)

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

Chapitre d'ouvrage (4)

Time in SCCharts Alexander Schulz-Rosengarten,Reinhard von Hanxleden,Frédéric Mallet,Robert de Simone,Julien Deantoni Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩ Chapitre d'ouvrage hal-02434885v1
UML MARTE Time Model and Its Clock Constraint Specification Language Frédéric Mallet,Marie-Agnès Peraldi-Frati,Julien Deantoni,Robert de Simone 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⟩ Chapitre d'ouvrage hal-01079039v1
Logical Time @ Work: Capturing Data Dependencies and Platform Constraints Calin Glitia,Julien Deantoni,Frédéric Mallet 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⟩ Chapitre d'ouvrage istex hal-00651864v1
The Time Model of Logical Clocks available in the OMG MARTE profile Charles André,Julien Deantoni,Frédéric Mallet,Robert de Simone 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 Chapitre d'ouvrage inria-00495664v1

HDR (1)

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

Proceedings/Recueil des communications (2)

Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling Benoit Combemale,Julien Deantoni,Jeff Gray 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 Proceedings/Recueil des communications hal-01242558v1
GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages Benoit Combemale,Julien Deantoni,Robert France 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 Proceedings/Recueil des communications hal-01074602v1

Rapport (8)

Logical Clock Constraint Specification in PVS Qingguo Xu,Robert de Simone,Julien Deantoni [Research Report] 8748, Inria Sophia Antipolis. 2015, pp.11 Rapport (rapport de recherche) hal-01192839v1
CCSL denotational semantics Julien Deantoni,Charles André,Régis Gascon [Research Report] RR-8628, Inria. 2014, pp.29 Rapport (rapport de recherche) hal-01082274v1
Operational Semantics of the Model of Concurrency and Communication Language Julien Deantoni,Papa Issa Diallo,Joël Champeau,Benoit Combemale,Ciprian Teodorov [Research Report] RR-8584, INRIA. 2014, pp.23 Rapport (rapport de recherche) hal-01060601v2
Multi-View Power Modeling based on UML MARTE and SysML Carlos Gomez,Julien Deantoni,Frédéric Mallet [Research Report] RR-7934, INRIA. 2012, pp.19 Rapport (rapport de recherche) hal-00688853v1
Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata Ling Yin,Julien Deantoni,Frédéric Mallet,Robert de Simone [Research Report] RR-8102, 2012, pp.22 Rapport (rapport de recherche) hal-00743874v1
ECL: the Event Constraint Language, an Extension of OCL with Events Julien Deantoni,Frédéric Mallet [Research Report] RR-8031, INRIA. 2012, pp.24 Rapport (rapport de recherche) hal-00721169v2
Transforming CCSL partially-ordered Traces into UML Interaction Diagrams Kelly Garcés,Julien Deantoni,Frédéric Mallet [Research Report] RR-7842, INRIA. 2011 Rapport (rapport de recherche) hal-00652987v1
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL R. Gascon,Frédéric Mallet,Julien Deantoni [Research Report] RR-7459, INRIA. 2011 Rapport (rapport de recherche) inria-00540738v2

Ouvrages (1)

Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013 Benoit Combemale,Julien Deantoni,Robert B. France,Balbir Barn,Tony Clarket al. 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 Ouvrages hal-00916282v1

Brevet (1)

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

Document associé à des manifestations scientifiques (2)

On the Formal Execution of UML and DSL Models Julien Deantoni,Frédéric Mallet,Charles André WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France Document associé à des manifestations scientifiques inria-00587100v1
Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau,Julien Deantoni Ecole d'été temps réel, Sep 2007, Nantes, France Document associé à des manifestations scientifiques inria-00587164v1

Thèse (1)

SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles Julien Deantoni Génie logiciel [cs.SE]. INSA de Lyon, 2007. Français. ⟨NNT : ⟩ Thèse tel-00239261v1

Autre publication scientifique (2)

SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications Julien Deantoni,Jean-Philippe Babau 2005 Autre publication scientifique inria-00587210v1
CiberMouse design: a case study for SAIA model reuse Julien Deantoni,Jean-Philippe Babau 2005 Autre publication scientifique inria-00587184v1