Julien Deantoni

Orcid: 0000-0001-6962-7846

Affiliations:
  • Côte d'Azur University, Sophia Antipolis, France
  • University of Nice Sophia Antipolis, France (former)


According to our database1, Julien Deantoni authored at least 62 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Introduction to the Special Issue on Specification and Design Languages (FDL 2021).
ACM Trans. Embed. Comput. Syst., September, 2024

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems.
CoRR, 2024

Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
A generic framework for representing and analyzing model concurrency.
Softw. Syst. Model., August, 2023

Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract).
Proceedings of the Software Engineering 2023, 2023

Examining Model Qualities and Their Impact on Digital Twins.
Proceedings of the Annual Modeling and Simulation Conference, 2023

2022
Early timing analysis based on scenario requirements and platform models.
Softw. Syst. Model., 2022

2021
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Debugging and Verification Tools for Lingua Franca in Gemoc Studio.
Proceedings of the 24th Forum on specification & Design Languages, 2021

2020
A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019
A unifying framework for homogeneous model composition.
Softw. Syst. Model., 2019

System Based Interference Analysis in Capella.
J. Object Technol., 2019

Priority in Logical Time Partial Orders with Synchronous Relations.
Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019).
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Sketching Interfaces for Multi-paradigm Modeling.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

WIP on a Coordination Language to Automate the Generation of Co-Simulations.
Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models.
, 2019

2018
Towards the Verification of Hybrid Co-simulation Algorithms.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements.
Proceedings of the RAPIDO 2018 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2018

Co-simulation: The Past, Future, and Open Challenges.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Time in SCCharts.
Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017
Explicit Control of Dataflow Graphs with MARTE/CCSL.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016
Instant-Based and State-Based Analysis of Infinite Logical Clock.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Execution framework of the GEMOC studio (tool demo).
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Divergence Detection for CCSL Specification via Clock Causality Chain.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016).
Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

VCU: The Three Dimensions of Reuse.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE.
Des. Autom. Embed. Syst., 2015

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio.
Proceedings of the 8th Transformation Tool Contest, 2015

Weaving concurrency in executable domain-specific modeling languages.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Coping with Semantic Variation Points in Domain-Specific Modeling Languages.
Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

A Model-Driven Based Environment for Automatic Model Coordination.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

A Behavioral Coordination Operator Language (BCOoL).
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Towards a meta-language for the concurrency concern in DSLs.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
Report on the First Workshop On the Globalization of Modeling Languages.
CoRR, 2014

Globalizing Modeling Languages.
Computer, 2014

Execution of heterogeneous models for thermal analysis with a multi-view approach.
Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.
Proceedings of the Software Architecture - 8th European Conference, 2014

Domain Globalization: Using Languages to Support Technical and Social Coordination.
Proceedings of the Globalizing Domain-Specific Languages, 2014

2013
Reifying Concurrency for Executable Metamodeling.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Power consumption analysis using multi-view modeling.
Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012
TimeSquare: Treat Your Models with Logical Time.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Multi-view Power Modeling Based on UML, MARTE and SysML.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Scheduling Multi Clock Real Time Systems: From Requirements to Implementation.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

A Model-Based Approach for Reconciliation of Polychronous Execution Traces.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.
Innov. Syst. Softw. Eng., 2010

RT-simex: retro-analysis of execution traces.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

VHDL Observers for Clock Constraint Checking.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Logical Time at Work: Capturing Data Dependencies and Platform Constraints.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

The Time Model of Logical Clocks Available in the OMG MARTE Profile.
Proceedings of the Synthesis of Embedded Software, 2010

2009
Executing AADL Models with UML/MARTE.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Modeling the Variability Space of Self-Adaptive Applications.
Proceedings of the Software Product Lines, 12th International Conference, 2008

2007
SAIA: Un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles. (SAIA: an architectural style to achieve temporal Input /Output independency).
PhD thesis, 2007

2005
A MDA Approach for Systems Dedicated to Process Control.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A MDA-based approach for real time embedded systems simulation.
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005


  Loading...