JD

Julien Deantoni

80%
Libre accès
95
Documents
Affiliations actuelles
  • Université Côte d'Azur (UniCA)
  • COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED)
  • Logical Time for Formal Embedded System Design (KAIROS)

Présentation

Publications

Publications

Image document

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-05432195 v1
Image document

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-05224373 v1
Image document

Engineering Digital Twins: A Research Roadmap

Benoît Combemale , Pascale Vicat-Blanc , Arnaud Blouin , Hind Bril El Haouzi , Jean-Michel Bruel et 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-05223776 v1
Image document

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-04695644 v1
Image document

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-04695647 v1
Image document

Examining model qualities and their impact on digital twins

Bentley James Oakes , Cláudio Gomes , Peter Gorm Larsen , Joachim Denil , Julien Deantoni et al.
ANNSIM 2023 - Annual Modeling and Simulation Conference, May 2023, Hamilton, Ontario, Canada. pp.220-232
Communication dans un congrès hal-04259726 v1
Image document

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-04259779 v1
Image document

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-03374955 v1
Image document

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-03375006 v1
Image document

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-03374990 v1
Image document

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-03038527 v1
Image document

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-03038547 v1
Image document

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-02413867 v1
Image document

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-02292048 v1
Image document

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-02078493 v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni et 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-02428017 v1
Image document

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-02336809 v1
Image document

Towards the Verification of Hybrid Co-simulation Algorithms

Casper Thule , Cláudio Gomes , Julien Deantoni , Peter Gorm Larsen , Jörg Brauer et al.
Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France
Communication dans un congrès hal-01871531 v1
Image document

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-01675396 v1

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-01913822 v1

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-01898285 v1
Image document

Explicit Control of Dataflow Graphs with MARTE/CCSL

Jean-Vivien Millo , Emilien Kofman , Julien Deantoni , Frédéric Mallet , Amine Oueslati et 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-01644294 v1
Image document

VCU: The Three Dimensions of Reuse

Jörg Kienzle , Gunter Mussbacher , Omar Alam , Matthias Schöttle , Nicolas Belloir et al.
15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès hal-01287720 v1
Image document

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

Benoit Combemale , Cédric Brun , Joël Champeau , Xavier Crégut , Julien Deantoni et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès hal-01258358 v1
Image document

Execution Framework of the GEMOC Studio (Tool Demo)

Erwan Bousse , Thomas Degueule , Didier Vojtisek , Tanja Mayerhofer , Julien Deantoni et 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-01355391 v2

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-01372694 v1
Image document

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-01358702 v1
Image document

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-01291299 v1
Image document

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-01198744 v1
Image document

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio

Benoit Combemale , Julien Deantoni , Olivier Barais , Arnaud Blouin , Erwan Bousse et al.
8th Transformation Tool Contest, 2015, l'Aquila, Italy
Communication dans un congrès hal-01152342 v2
Image document

Domain Globalization: Using Languages to Support Technical and Social Coordination

Julien Deantoni , Cédric Brun , Benoît Caillaud , Robert France , Gabor Karsai et 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-01234653 v1
Image document

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-01182773 v1
Image document

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-01185911 v1
Image document

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-01222999 v1
Image document

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-01087442 v1
Image document

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-01073202 v1
Image document

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-01060309 v1

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-01059504 v1
Image document

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-00850673 v1

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-00906733 v1
Image document

Reifying Concurrency for Executable Metamodeling

Benoit Combemale , Julien Deantoni , Matias Ezequiel Vara Larsen , Frédéric Mallet , Olivier Barais et 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-00850770 v2

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 Mosser et 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-00926244 v1

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-00688590 v1

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-00687562 v1

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-00720735 v1
Image document

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-00597086 v1
Image document

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-00597981 v1
Image document

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-00596239 v1
Image document

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-00586851 v1
Image document

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 Mallet et al.
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Communication dans un congrès inria-00601840 v1
Image document

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-00545866 v1
Image document

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-00587107 v1

RT-simex: retro-analysis of execution traces

Julien Deantoni , Frédéric Mallet , Frédéric Thomas , Gonzague Reydet , Jean-Philippe Babau et al.
SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Communication dans un congrès inria-00587116 v1
Image document

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-00587151 v1
Image document

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-00494224 v1
Image document

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-00416592 v1
Image document

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-00456531 v1
Image document

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-00587178 v1
Image document

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-00587200 v1

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-00587341 v1

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-00587338 v1

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems

Julien Deantoni , Paula Muñoz , Cláudio Gomes , Clark Verbrugge , Rakshit Mittal et al.
Automatisierungstechnik, 2025, 73 (2), pp.81-99. ⟨10.48550/arXiv.2402.10535⟩
Article dans une revue hal-04467401 v1
Image document

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-03921704 v1
Image document

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-03375049 v1
Image document

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-02182902 v1
Image document

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-01949050 v1

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 Boulet et al.
Design Automation for Embedded Systems, 2015, 19 (1-2), pp.1-33. ⟨10.1007/s10617-014-9140-y⟩
Article dans une revue lirmm-01912854 v1
Image document

Globalizing Modeling Languages

Benoit Combemale , Julien Deantoni , Benoit Baudry , Robert B. France , Jean-Marc Jézéquel et al.
Computer, 2014, pp.10-13
Article dans une revue hal-00994551 v1
Image document

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-00854221 v1

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 Boulet et al.
Design Automation for Embedded Systems, 2012, 16 (2), pp.137-169. ⟨10.1007/s10617-012-9093-y⟩
Article dans une revue istex hal-00727239 v1

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-00464894 v1
Image document

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-00587097 v1

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-04682174 v1

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-02434885 v1

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-01079039 v1

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-00651864 v1
Image document

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-00495664 v1

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-01242558 v1
Image document

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-01074602 v1
Image document

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-01192839 v1
Image document

CCSL denotational semantics

Julien Deantoni , Charles André , Régis Gascon
[Research Report] RR-8628, Inria. 2014, pp.29
Rapport (rapport de recherche) hal-01082274 v1
Image document

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-01060601 v2
Image document

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-00688853 v1
Image document

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-00743874 v1
Image document

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-00721169 v2
Image document

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-00652987 v1
Image document

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-00540738 v2

Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013

Benoit Combemale , Julien Deantoni , Robert B. France , Balbir Barn , Tony Clark et 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-00916282 v1

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-01355710 v1
Image document

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-00587100 v1
Image document

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-00587164 v1