Old Web
English
Sign In
Acemap
>
authorDetail
>
Eelco Scholte
Eelco Scholte
UTC Aerospace Systems
Computer science
Engineering
Aerospace
Systems engineering
aerospace systems
4
Papers
35
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems
2018
Orlando Ferrante
Eelco Scholte
Simone Rollini
Rob North
Luca Manica
Valerio Senni
Show All
Source
Cite
Save
Citations (1)
A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems
2016
SAE International Journal of Aerospace
Orlando Ferrante
Eelco Scholte
C. Pinello
Alberto Ferrari
Leonardo Mangeruca
Cong Liu
Christos Sofronis
Show All
Source
Cite
Save
Citations (3)
A Lightweight Spatio-Temporally Partitioned Multicore Architecture for Concurrent Execution of Safety Critical Workloads
2016
Qingchuan Shi
Kartik Lakshminarashimhan
Christopher Noll
Eelco Scholte
Omer Khan
Show All
Source
Cite
Save
Citations (2)
Industrial Cyber-Physical Systems – iCyPhy
2014
Amit Fisher
Clas A. Jacobson
Edward A. Lee
Richard M. Murray
Alberto L. Sangiovanni-Vincentelli
Eelco Scholte
Show All
Source
Cite
Save
Citations (29)
1