Theo dõi
Julien Deantoni
Julien Deantoni
University Cote d'Azur / I3S / INRIA Kairos
Email được xác minh tại inria.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer, 10-13, 2014
1292014
Timesquare: Treat your models with logical time
J DeAntoni, F Mallet
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
1232012
Execution framework of the GEMOC studio (tool demo)
E Bousse, T Degueule, D Vojtisek, T Mayerhofer, J Deantoni, ...
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
1082016
A behavioral coordination operator language (BCOoL)
MEV Larsen, J Deantoni, B Combemale, F Mallet
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
642015
The Time Model of Logical Clocks available in the OMG MARTE profile
C André, J DeAntoni, F Mallet, R De Simone
Synthesis of embedded software: Frameworks and methodologies for correctness …, 2010
642010
The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
F Mallet, J DeAntoni, C André, R De Simone
Innovations in Systems and Software Engineering 6 (1), 99-106, 2010
572010
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
R Gascon, F Mallet, J Deantoni
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
562011
Reifying concurrency for executable metamodeling
B Combemale, J De Antoni, MV Larsen, F Mallet, O Barais, B Baudry, ...
Software Language Engineering: 6th International Conference, SLE 2013 …, 2013
522013
A timing model for specifying multi clock automotive systems: The timing augmented description language v2
MA Peraldi-Frati, A Goknil, J DeAntoni, J Nordlander
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
392012
Executing AADL models with UML/Marte
F Mallet, C André, J Deantoni
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
362009
Towards the verification of hybrid co-simulation algorithms
C Thule, C Gomes, J Deantoni, PG Larsen, J Brauer, H Vangheluwe
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
302018
Weaving concurrency in executable domain-specific modeling languages
F Latombe, X Crégut, B Combemale, J Deantoni, M Pantel
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
292015
VCU: the three dimensions of reuse
J Kienzle, G Mussbacher, O Alam, M Schöttle, N Belloir, P Collet, ...
Software Reuse: Bridging with Social-Awareness: 15th International …, 2016
282016
Towards a meta-language for the concurrency concern in DSLs
J Deantoni, IP Diallo, C Teodorov, J Champeau, B Combemale
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 313-316, 2015
282015
ECL: the event constraint language, an extension of OCL with events
J Deantoni, F Mallet
INRIA, 2012
282012
VHDL observers for clock constraint checking
C André, F Mallet, J DeAntoni
International Symposium on Industrial Embedded System (SIES), 98-107, 2010
282010
Multi-view power modeling based on UML, MARTE and SysML
C Gomez, J Deantoni, F Mallet
2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012
272012
Scheduling multi clock real time systems: From requirements to implementation
MA Peraldi-Frati, J DeAntoni
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
272011
A unifying framework for homogeneous model composition
J Kienzle, G Mussbacher, B Combemale, J Deantoni
Software & Systems Modeling 18, 3005-3023, 2019
262019
CCSL denotational semantics
J Deantoni, C André, R Gascon
Inria, 2014
262014
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20