Articoli con mandati relativi all'accesso pubblico - Julien DeantoniUlteriori informazioni
Non disponibile pubblicamente: 1
Instant-Based and State-Based Analysis of Infinite Logical Clock
Q Xu, H Miao, R de Simone, J DeAntoni
International Workshop on Structured Object-Oriented Formal Language and …, 2016
Mandati: National Natural Science Foundation of China
Disponibili pubblicamente: 11
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
Mandati: Austrian Science Fund, European Commission
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
Mandati: National Natural Science Foundation of China
Co-simulation: the past, future, and open challenges
C Gomes, C Thule, J Deantoni, PG Larsen, H Vangheluwe
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
Mandati: Research Foundation (Flanders), European Commission
Early validation of satellite COTS-on-board computing systems
P Cuenot, P Bouche, R de Simone, J Deantoni, A Oueslati
ERTS 2020-10th European Congress on Embedded Real-Time Software and Systems, 2020
Mandati: Agence Nationale de la Recherche
Divergence detection for CCSL specification via clock causality chain
Q Xu, R de Simone, J DeAntoni
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
Mandati: National Natural Science Foundation of China
Towards sketching interfaces for multi-paradigm modeling
S Van Mierlo, J Deantoni, L Burgueno, C Verbrugge, H Vangheluwe
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
Mandati: Government of Spain
System Based Interference Analysis in Capella
A Oueslati, P Cuenot, J Deantoni, C Moreno
The Journal of Object Technology 18 (2), 14: 1, 2019
Mandati: Agence Nationale de la Recherche
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles
M Labzhaniia, J Deantoni, MA Peraldi-Frati, F Mallet
Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024
Mandati: Agence Nationale de la Recherche
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development
B da Silva Oliveira, N Ferry, J Deantoni
Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024
Mandati: European Commission
Early timing analysis based on scenario requirements and platform models
J Holtmann, J Deantoni, M Fockel
Software and Systems Modeling 21 (6), 2171-2211, 2022
Mandati: Vinnova, Sweden
Forum on specification & Design Languages (FDL)
R von Hanxleden, A Girault, J Deantoni
Mandati: Federal Ministry of Education and Research, Germany
Le informazioni sulla pubblicazione e sul finanziamento vengono stabilite automaticamente da un software