E-LIB Suche - Ergebnisse für: Deantoni, Julien

1

A generic framework for representing and analyzing model co..:

Zschaler, Steffen ; Bousse, Erwan ; Deantoni, Julien.
Software and Systems Modeling. 22 (2023) 4 - p. 1319-1340 , 2023

Link: https://doi.org/10.1007/..

2

Early timing analysis based on scenario requirements and pl..:

Holtmann, Jörg ; Deantoni, Julien ; Fockel, Markus
Software and Systems Modeling. 21 (2022) 6 - p. 2171-2211 , 2022

Link: https://doi.org/10.1007/..

3

Debugging and Verification Tools for Lingua Franca in Gemoc..:

, In: 2021 Forum on specification & Design Languages (FDL),

Deantoni, Julien ; Cambeiro, Joao ; Bateni, Soroush.. - p. 01-08 , 2021

Link: https://doi.org/10.1109/..

4

Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physic..:

, In: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Amrani, Moussa ; Blouin, Dominique ; Challenger, Moharram... - p. 284-285 , 2021

Link: https://doi.org/10.1109/..

5

A Semantic-Aware, Accurate and Efficient API for (Co-)Simul..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,

Liboni, Giovanni ; Deantoni, Julien - p. 280-294 , 2021

Link: https://doi.org/10.1007/..

6

CoSim20 : An Integrated Development Environment for Accu..:

, In: Proceedings of the 2020 International Conference on Big Data in Management,

Liboni, Giovanni ; Deantoni, Julien - p. 76-83 , 2020

Link: https://dl.acm.org/doi/1..

7

Towards sketching interfaces for multi-paradigm modeling:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,

Van Mierlo, Simon ; Deantoni, Julien ; Burgueño, Loli.. - p. 437-442 , 2019

Link: https://dl.acm.org/doi/1..

8

Time in SCCharts:

, In: Lecture Notes in Electrical Engineering; Languages, Design Methods, and Tools for Electronic System Design,

Schulz-Rosengarten, Alexander ; von Hanxleden, Reinhard ; Mallet, Frédéric.. - p. 1-25 , 2019

Link: https://doi.org/10.1007/..

9

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physic..:

, In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Van Mierlo, Simon ; Syriani, Eugene ; Blouin, Dominique... - p. 417-418 , 2019

Link: https://doi.org/10.1109/..

10

A unifying framework for homogeneous model composition:

Kienzle, Jörg ; Mussbacher, Gunter ; Combemale, Benoit.
Software & Systems Modeling. 18 (2019) 5 - p. 3005-3023 , 2019

Link: https://doi.org/10.1007/..

11

WIP on a Coordination Language to Automate the Generation o..:

, In: 2019 Forum for Specification and Design Languages (FDL),

Liboni, Giovanni ; Deantoni, Julien - p. 1-4 , 2019

Link: https://doi.org/10.1109/..

12

Preface to the 1st multi-paradigm modeling for cyber-physic..:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,

Van Mierlo, Simon ; Syriani, Eugene ; Blouin, Dominique... - p. 417-418 , 2019

Link: https://dl.acm.org/doi/1..

13

Towards Sketching Interfaces for Multi-paradigm Modeling:

, In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Van Mierlo, Simon ; Deantoni, Julien ; Burgueno, Loli.. - p. 437-442 , 2019

Link: https://doi.org/10.1109/..

14

Time in SCCharts

Technische Berichte des Instituts für Informatik ; Bericht Nr. 1805 (July 2018)

Schulz-Rosengarten, Alexander ; Mallet, Fréderic ; De Simone, Robert ; Deantoni, Julien. , July 2018

Link: https://edocs.tib.eu/fil..

15

Co-simulation: The Past, Future, and Open Challenges:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,

Gomes, Cláudio ; Thule, Casper ; Deantoni, Julien.. - p. 504-520 , 2018

Link: https://doi.org/10.1007/..