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)

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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-05223776v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-04259726v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 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-02428017v1
Deposit thumbnail

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
Deposit thumbnail

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-01871531v1
Deposit thumbnail

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
Deposit thumbnail

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-01644294v1
Deposit thumbnail

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
Deposit thumbnail

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-01287720v1
Deposit thumbnail

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-01258358v1
Deposit thumbnail

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-01355391v2
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-01152342v2
Deposit thumbnail

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-01234653v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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-00926244v1
Deposit thumbnail

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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-00601840v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Babau et al.

SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩

Communication dans un congrès inria-00587116v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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-04467401v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 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-01912854v1
Deposit thumbnail

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-00994551v1
Deposit thumbnail

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 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-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
Deposit thumbnail

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

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

CCSL denotational semantics

Julien Deantoni , Charles André , Régis Gascon

[Research Report] RR-8628, Inria. 2014, pp.29

Rapport (rapport de recherche) hal-01082274v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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