Julien Deantoni
- 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
|
|
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 |
|
|
Engineering Digital Twins: A Research RoadmapEDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7 |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract)Software Engineering 2023, Feb 2023, Paderborn, Germany. pp.69-70 |
|
|
Examining model qualities and their impact on digital twinsANNSIM 2023 - Annual Modeling and Simulation Conference, May 2023, Hamilton, Ontario, Canada. pp.220-232 |
|
|
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⟩ |
|
|
WIP: Domain Specific Debugging by using RUNSTARFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France |
|
|
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 |
|
|
Early validation of satellite COTS-on-board computing systemsERTS 2020 - 10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France |
|
|
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⟩ |
|
|
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 |
|
|
Priority in Logical Time Partial Orders with Synchronous RelationsIEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam |
|
|
WIP on a Coordination Language to Automate the Generation of Co-SimulationsFDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom |
|
|
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⟩ |
|
|
Towards Sketching Interfaces for Multi-Paradigm ModelingMPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany |
|
|
Towards the Verification of Hybrid Co-simulation AlgorithmsWorkshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France |
|
|
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 |
Co-simulation: The Past, Future, and Open ChallengesLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520 |
|
Time in SCChartsForum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩ |
|
|
|
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⟩ |
|
|
Modeling the Behavioral Semantics of Heterogeneous Languages and their CoordinationArchitecture Centric Virtual Integration (ACVI), Julien Delange; Jerome Hugues; Peter Feiler, Apr 2016, Venise, Italy |
|
|
VCU: The Three Dimensions of Reuse15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus |
|
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France |
|
|
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 |
|
|
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⟩ |
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⟩ |
|
|
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France |
|
|
A Model-Driven Based Environment for Automatic Model CoordinationModels 2015 demo and posters, Oct 2015, Ottawa, Canada |
|
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy |
|
|
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⟩ |
|
|
A Behavioral Coordination Operator Language (BCOoL)International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462 |
|
|
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States |
|
|
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 |
|
|
Framework for Heterogeneous Modeling and CompositionConférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81 |
|
|
Execution of Heterogeneous Models for Thermal Analysis with a Multi-view ApproachFDL 2014 : Forum on specification and Design Languages, Oct 2014, Munich, Germany |
|
|
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⟩ |
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 |
|
|
|
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 |
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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 |
|
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⟩ |
|
|
|
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 |
|
|
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL18th International Symposium on Temporal Representation and Reasoning (TIME'11), Sep 2011, Lubeck, Germany |
|
|
A Model-Based Approach for Reconciliation of Polychronous Execution TracesSEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland |
|
|
Semantic Multi-View model for Low-PowerJournées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19 |
|
|
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⟩ |
|
|
Logical time @ work: the RT-Simex projectSophia Antipolis Formal Approach, Apr 2011, Sophia, France |
|
|
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 |
|
|
VHDL Observers for Clock Constraint CheckingSymposium on Industrial Embedded Systems, Jul 2010, trento, Italy. ⟨10.1109/SIES.2010.5551372⟩ |
RT-simex: retro-analysis of execution tracesSIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩ |
|
|
|
Toward a TLM to RTL refinement : a formal approach3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France |
|
|
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⟩ |
|
|
Modeling the Variability Space of Self-Adaptive Applications2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), 2008, Limerick, Ireland, Ireland. pp.15--22 |
|
|
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 |
|
|
Model driven engineering method for SAIA architecture designIngénierie Dirigée par les Modèles, Jun 2006, Lille, France |
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⟩ |
|
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⟩ |
|
|
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⟩ |
|
|
Time in SCChartsLanguage, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩ |
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⟩ |
|
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⟩ |
|
|
|
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 |
|
|
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 |
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 |
|
|
|
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 |
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 |
TimeSquareFrance, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012 |
|
|
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 |
|
|
Architectures logicielles pour les systèmes embarqués temps réelEcole d'été temps réel, Sep 2007, Nantes, France |
|
|
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 : ⟩ |
|
|
SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications2005 |
|
|
CiberMouse design: a case study for SAIA model reuse2005 |