Autor: "de Simone, Robert" - OpacWWW

Skocz do pozycji: 1 1.

Tytuł :: Correctness issues on MARTE/CCSL constraints
Autorzy :: Mallet, Frédéric; Pokaż więcej
Źródło :: In Science of Computer Programming 1 August 2015 106:78-92
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 2 2.

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

Szczegóły

Skocz do pozycji: 3 3.

Tytuł :: Time in SCCharts
Autorzy :: Schulz-Rosengarten, Alexander
von Hanxleden, Reinhard
Mallet, Frédéric
de Simone, Robert
Deantoni, Julien; Pokaż więcej
Źródło :: Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2018. 611:1-25
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Periodic scheduling of marked graphs using balanced binary words
Autorzy :: Millo, Jean-Vivien
de Simone, Robert; Pokaż więcej
Źródło :: In Theoretical Computer Science 2 November 2012 458:113-130
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 5 5.

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

Szczegóły

Skocz do pozycji: 6 6.

Tytuł :: Explicit routing schemes for implementation of cellular automata on processor arrays
Autorzy :: Millo, Jean-Vivien
de Simone, Robert; Pokaż więcej
Źródło :: Natural Computing: An International Journal. September 2013 12(3):353-368
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 7 7.

Tytuł :: Latency-Insensitive Design: Retry Relay-Station and Fusion Shell
Autorzy :: Boucaron, Julien
Coadou, Anthony
de Simone, Robert; Pokaż więcej
Źródło :: In Electronic Notes in Theoretical Computer Science 2 August 2009 245:23-33
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 8 8.

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

Szczegóły

Skocz do pozycji: 9 9.

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

Szczegóły

Skocz do pozycji: 10 10.

Tytuł :: The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
Autorzy :: Mallet, Frédéric
DeAntoni, Julien
André, Charles
de Simone, Robert; Pokaż więcej
Źródło :: Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):99-106
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 11 11.

Tytuł :: Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
Autorzy :: Vecchié, Eric
de Simone, Robert; Pokaż więcej
Źródło :: In Electronic Notes in Theoretical Computer Science 27 June 2006 153(4):19-35
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 12 12.

Tytuł :: Another Glance at Relay Stations in Latency-Insensitive Design
Autorzy :: Boucaron, Julien
Millo, Jean-Vivien
De Simone, Robert; Pokaż więcej
Źródło :: In Electronic Notes in Theoretical Computer Science 26 January 2006 146(2):41-59
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 13 13.

Tytuł :: On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
Autorzy :: Gorcitz, Raul
Kofman, EmilienAff18, Aff19
Carle, Thomas
Potop-Butucaru, Dumitru
de Simone, Robert; Pokaż więcej
Źródło :: Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. 9268:108-123
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 14 14.

Tytuł :: Formal Methods for Scheduling of Latency-Insensitive Designs
Autorzy :: Boucaron, Julien
de Simone, Robert
Millo, Jean-Vivien; Pokaż więcej
Źródło :: EURASIP Journal on Embedded Systems. December 2007 2007(1):1-16
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 15 15.

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

Szczegóły

Skocz do pozycji: 16 16.

Tytuł :: Towards a “Synchronous Reactive” UML profile?
Autorzy :: de Simone, Robert
André, Charles; Pokaż więcej
Źródło :: International Journal on Software Tools for Technology Transfer. April 2006 8(2):146-155
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 17 17.

Tytuł :: Introduction to special issue: papers from UML&FM’2009
Autorzy :: Perseil, Isabelle
Bruel, Jean-Michel
Canals, Agusti
de Simone, Robert
Gérard, Sébastien
Najm, Elie; Pokaż więcej
Źródło :: Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):1-3
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 18 18.

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

Szczegóły

Skocz do pozycji: 19 19.

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

Szczegóły

Skocz do pozycji: 20 20.

Tytuł :: Logical Clock Constraint Specification in PVS
Autorzy :: Xu, Qingguo
De Simone, Robert
Deantoni, Julien; Pokaż więcej
Temat :: PVS
CCSL
syntax & semantics
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :: [Research Report] 8748, Inria Sophia Antipolis. 2015, pp.11
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b5d72e3907faeed0934f4f47bc4f1ea0
https://hal.inria.fr/hal-01192839

Szczegóły

Informacja

Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

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

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język