Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""DeAntoni, Julien"" wg kryterium: Autor


Tytuł:
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals
Autorzy:
Cambeiro, João
Deantoni, Julien
Amaral, Vasco
Pokaż więcej
Temat:
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło:
International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21)
International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21), Oct 2021, Fukuoka, Japan
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e11311c068e934ce9c1e0a18f264d272
https://hal.inria.fr/hal-03374990
Tytuł:
Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio
Autorzy:
Deantoni, Julien
Cambeiro, João
Bateni, Soroush
Lin, Shaokai
Lohstroh, Marten
Pokaż więcej
Temat:
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło:
2021 Forum on specification & Design Languages (FDL)
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France
Dostępność:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::480702ca4993ab51ee116f60265e290d
https://hal.inria.fr/hal-03374955
Tytuł:
WIP: Domain Specific Debugging by using RUNSTAR
Autorzy:
Karaki, Ryana
Marti, Ludovic
Deantoni, Julien
Pokaż więcej
Temat:
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło:
Work in Progress of the 2021 Forum on specification & Design Languages (FDL)
Work in Progress of the 2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15d4b8002f3401498690a5f30d766a4e
https://hal.inria.fr/hal-03375006
Tytuł:
Early timing analysis based on scenario requirements and platform models
Autorzy:
Holtmann, Jörg
Deantoni, Julien
Fockel, Markus
Pokaż więcej
Temat:
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło:
Software and Systems Modeling
Software and Systems Modeling, Springer Verlag, In press
Software and Systems Modeling, Springer Verlag, inPress
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1cb21e016771e1b197b544808d6e6219
https://hal.inria.fr/hal-03375049
Tytuł:
CoSim20: An Integrated Development Environment for Accurate and Efficient Distributed Co-Simulations
Autorzy:
Liboni, Giovanni
Deantoni, Julien
Pokaż więcej
Temat:
Co-Simulation
Coordination
Master Algorithm
Language Engineering
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło:
ICISE 2020-5th International Conference on Information Systems Engineering
ICISE 2020-5th International Conference on Information Systems Engineering, Nov 2020, Manchester / Virtual, United Kingdom
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c0acbbd6dc9e82ea7ff1b6d0dab47232
https://hal.inria.fr/hal-03038547
Tytuł:
Early validation of satellite COTS-on-board computing systems
Autorzy:
Cuenot, Philippe
Bouche, Paul
De Simone, Robert
Deantoni, Julien
Oueslati, Amin
Pokaż więcej
Temat:
COTS
Formal analysis
Extra-functional properties
Co-design
Satellite
MBSE
Performance
Dependability
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło:
ERTS 2020-10th European Congress on Embedded Real-Time Software and Systems
ERTS 2020-10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
Dostępność:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b1654d01bbce01a8ced12802503e0f7
https://hal.inria.fr/hal-02413867
Tytuł:
Towards the Verification of Hybrid Co-simulation Algorithms
Autorzy:
Thule, Casper
Gomes, CláudioAff17, Aff21
Deantoni, Julien
Larsen, Peter Gorm
Brauer, Jörg
Vangheluwe, HansAff17, Aff20, Aff21
Pokaż więcej
Źródło:
Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. 11176:5-20
Materiał oryginalny:
This work was started in the CAMPaM 2017 Workshop, executed under the framework of the COST Action IC1404 – Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS), and partially supported by: Flanders Make vzw, the strategic research centre for the manufacturing industry; and PhD fellowship grants from the Agency for Innovation by Science and Technology in Flanders (IWT, dossier 151067).
Książka elektroniczna
Tytuł:
Co-simulation: The Past, Future, and Open Challenges
Autorzy:
Gomes, CláudioAff22, Aff25
Thule, Casper
Deantoni, JulienAff26, Aff27
Larsen, Peter Gorm
Vangheluwe, HansAff22, Aff24, Aff25
Pokaż więcej
Źródło:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. 11246:504-520
Materiał oryginalny:
This work was executed under the framework of the COST Action IC1404 – Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS), and partially supported by: Flanders Make vzw, the strategic research centre for the manufacturing industry; the INTO-CPS project funded by the European Commission’s Horizon 2020 programme under grant agreement number 664047; and PhD fellowship grants from the Agency for Innovation by Science and Technology in Flanders (IWT, dossier 151067).
Książka elektroniczna
Tytuł:
Instant-Based and State-Based Analysis of Infinite Logical Clock
Autorzy:
Xu, QingguoAff17, Aff18
Miao, HuaikouAff17, Aff18
de Simone, Robert
DeAntoni, Julien
Pokaż więcej
Źródło:
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. 10189:32-51
Materiał oryginalny:
This work is supported by the Natural Science Foundation of China (Grant No. 61572306, 61502294).
Książka elektroniczna
Tytuł:
Divergence Detection for CCSL Specification via Clock Causality Chain
Autorzy:
Xu, QingguoAff16, Aff17
de Simone, Robert
DeAntoni, Julien
Pokaż więcej
Źródło:
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. 9984:18-37
Materiał oryginalny:
This work is supported by the Natural Science Foundation of China (Grant No. 61572306, 61502294).
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz