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)
Identifiants chercheurs
Présentation
Publications
Publications
|
|
DemIstifyCPS: A Domain-Specific Language for Influence Modeling in Cyber-Physical SystemsMODELSWARD 2026 - 14th International Conference on Model-Driven Engineering and Software Development, Mar 2026, Marbella, Spain
Communication dans un congrès
hal-05432195
v1
|
|
|
Understandable Timing Analysis of Service-Oriented Architecture Components in Software-Defined Vehicle20th 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
|
|
|
Engineering Digital Twins: A Research RoadmapEDTconf 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
|
|
|
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems DevelopmentMPM4CPS 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
|
|
|
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous VehiclesMODELS 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
|
|
|
Examining model qualities and their impact on digital twinsANNSIM 2023 - Annual Modeling and Simulation Conference, May 2023, Hamilton, Ontario, Canada. pp.220-232
Communication dans un congrès
hal-04259726
v1
|
|
|
Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract)Software Engineering 2023, Feb 2023, Paderborn, Germany. pp.69-70
Communication dans un congrès
hal-04259779
v1
|
|
|
Debugging and Verification Tools for LINGUA FRANCA in GEMOC StudioFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩
Communication dans un congrès
hal-03374955
v1
|
|
|
WIP: Domain Specific Debugging by using RUNSTARFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France
Communication dans un congrès
hal-03375006
v1
|
|
|
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation GoalsInternational Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21), Oct 2021, Fukuoka, Japan
Communication dans un congrès
hal-03374990
v1
|
|
|
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPSCoSim-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
|
|
|
CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-SimulationsICISE 2020 - 5th International Conference on Information Systems Engineering, Nov 2020, Manchester / Virtual, United Kingdom
Communication dans un congrès
hal-03038547
v1
|
|
|
Early validation of satellite COTS-on-board computing systemsERTS 2020 - 10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
Communication dans un congrès
hal-02413867
v1
|
|
|
WIP on a Coordination Language to Automate the Generation of Co-SimulationsFDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom
Communication dans un congrès
hal-02292048
v1
|
|
|
Priority in Logical Time Partial Orders with Synchronous RelationsIEEE 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)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
|
|
|
Towards Sketching Interfaces for Multi-Paradigm ModelingMPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02336809
v1
|
|
|
Towards the Verification of Hybrid Co-simulation AlgorithmsWorkshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France
Communication dans un congrès
hal-01871531
v1
|
|
|
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements10th 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 ChallengesLeveraging 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 SCChartsForum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩
Communication dans un congrès
hal-01898285
v1
|
|
|
|
Explicit Control of Dataflow Graphs with MARTE/CCSLMODELSWARD 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
|
|
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès
hal-01287720
v1
|
|
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès
hal-01258358
v1
|
|
|
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
Communication dans un congrès
hal-01355391
v2
|
Divergence Detection for CCSL Specification via Clock Causality ChainSymposium 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
|
|
|
|
Using SystemC Cyber Models in an FMI Co-Simulation Environment19th 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
|
|
|
Modeling the Behavioral Semantics of Heterogeneous Languages and their CoordinationArchitecture Centric Virtual Integration (ACVI), Julien Delange; Jerome Hugues; Peter Feiler, Apr 2016, Venise, Italy
Communication dans un congrès
hal-01291299
v1
|
|
|
A Model-Driven Based Environment for Automatic Model CoordinationModels 2015 demo and posters, Oct 2015, Ottawa, Canada
Communication dans un congrès
hal-01198744
v1
|
|
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy
Communication dans un congrès
hal-01152342
v2
|
|
|
Domain Globalization: Using Languages to Support Technical and Social CoordinationInternational 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
|
|
|
A Behavioral Coordination Operator Language (BCOoL)International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
Communication dans un congrès
hal-01182773
v1
|
|
|
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Communication dans un congrès
hal-01185911
v1
|
|
|
Coping with Semantic Variation Points in Domain-Specific Modeling Languages1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada
Communication dans un congrès
hal-01222999
v1
|
|
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01087442
v1
|
|
|
Framework for Heterogeneous Modeling and CompositionConférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81
Communication dans un congrès
hal-01073202
v1
|
|
|
Execution of Heterogeneous Models for Thermal Analysis with a Multi-view ApproachFDL 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 SpecificationsEuropean 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
|
|
|
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquareICECCS'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 modelingPATMOS - 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
|
|
|
|
Reifying Concurrency for Executable MetamodelingSLE - 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)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 TimeTOOLS - 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 V2ICECCS 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 SysMLSEAA - 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
|
|
|
|
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany
Communication dans un congrès
hal-00597086
v1
|
|
|
A Model-Based Approach for Reconciliation of Polychronous Execution TracesSEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland
Communication dans un congrès
inria-00597981
v1
|
|
|
Semantic Multi-View model for Low-PowerJournées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19
Communication dans un congrès
hal-00596239
v1
|
|
|
Scheduling Multi Clock Real Time Systems: From Requirements to ImplementationInternational 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
|
|
|
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC designWorkshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Communication dans un congrès
inria-00601840
v1
|
|
|
Logical time at work: capturing data dependencies and platform constraintsForum 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
|
|
|
VHDL Observers for Clock Constraint CheckingSymposium 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 tracesSIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Communication dans un congrès
inria-00587116
v1
|
|
|
|
Logical time @ work: the RT-Simex projectSophia Antipolis Formal Approach, Apr 2011, Sophia, France
Communication dans un congrès
inria-00587151
v1
|
|
|
Toward a TLM to RTL refinement : a formal approach3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France
Communication dans un congrès
inria-00494224
v1
|
|
|
Executing AADL models with UML/MarteInt. 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
|
|
|
Modeling the Variability Space of Self-Adaptive Applications2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. pp.15--22
Communication dans un congrès
inria-00456531
v1
|
|
|
SAIA: safe deployment of sensors based real time applicationWorkshop 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
|
|
|
Model driven engineering method for SAIA architecture designIngé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 ControlProceedings 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 simulationProceedings 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
|
|
|
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⟩
N°spécial de revue/special issue
hal-04682174
v1
|
|
|
Time in SCChartsLanguage, 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 LanguageAlessandra 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 ConstraintsKaź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
|
|
|
|
The Time Model of Logical Clocks available in the OMG MARTE profileSandeep 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
|
|
|
Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous ModelsEmbedded Systems. Université Côte d'Azur, CNRS, I3S, France, 2019
HDR
tel-02427962
v1
|
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm ModelingGEMOC+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
|
|
|
|
GEMOC 2014 2nd International Workshop on The Globalization of Modeling LanguagesBenoit 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
|
Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013Combemale, 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
|
TimeSquareFrance, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Brevet
hal-01355710
v1
|
|
|
On the Formal Execution of UML and DSL ModelsWIP 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
|
|
|
Architectures logicielles pour les systèmes embarqués temps réelEcole d'été temps réel, Sep 2007, Nantes, France
Document associé à des manifestations scientifiques
inria-00587164
v1
|
|
|
SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporellesGénie logiciel [cs.SE]. INSA de Lyon, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00239261
v1
|
|
|
SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications2005
Autre publication scientifique
inria-00587210
v1
|
|
|
CiberMouse design: a case study for SAIA model reuse2005
Autre publication scientifique
inria-00587184
v1
|
Chargement...
Chargement...