Informacja

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

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""de Simone, Robert"" wg kryterium: Autor


Tytuł :
Multiform Logical Time & Space for Mobile Cyber-Physical System with Automated Driving Assistance System
Autorzy :
Liu, Qian
De Simone, Robert
Chen, Xiaohong
Liu, Jing
Pokaż więcej
Temat :
Multiform Logical Time
Spatio-temporal logics
Automated Driving
Safety Specification
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
APSEC 2020-Asia-Pacific Software Engineering Conference
APSEC 2020-Asia-Pacific Software Engineering Conference, Dec 2020, Singapour, Singapore
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::45a0039c3f9d199c7807a7d8f8e682ee
https://hal.inria.fr/hal-02952919
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ł :
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
Tytuł :
Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements
Autorzy :
Centomo, Stefano
Deantoni, Julien
De Simone, Robert
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
DSD 2016: 19th Euromicro Conference on Digital System Design
19th Euromicro Conference on Digital System Design 31 August-2 September 2016
19th Euromicro Conference on Digital System Design 31 August-2 September 2016, Aug 2016, Limassol, Cyprus. ⟨10.1109/DSD.2016.86⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d9c48c14df0a1dfd084d5ad829857caf
https://hal.inria.fr/hal-01358702
Tytuł :
Multicore SMT scheduling of periodic task systems with energy minimization
Autorzy :
Kofman, Emilien
De Simone, Robert
Khecharem, Amani
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Workshop on Highly-Reliable Power-Efficient Embedded Designs
Workshop on Highly-Reliable Power-Efficient Embedded Designs, Mar 2016, Barcelone, Spain
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a1300f1744adb479d6889056c05519b9
https://hal.inria.fr/hal-01282264
Tytuł :
A Multi-View Co-Modeling and Co-Simulation Framework for Heterogeneous Embedded Systems
Autorzy :
Khecharem, Amani
De Simone, Robert
Pokaż więcej
Temat :
multi-view
modeling
co-modeling
mde
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
— Multi-view modeling
Synopsys Platform Architect MCO
IEEE-42010
Co-simulation
Źródło :
eSAME 2015-Embedded software and micro-electronics conference
eSAME 2015-Embedded software and micro-electronics conference, eSAME, Nov 2015, Sophia Antipolis, France
[Research Report] Inria Sophia Antipolis. 2015
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a7e2dfe6faa00ed4ddfe422b1fc2126
https://hal.inria.fr/hal-01243219

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