204 citations · 308 across the 7 of their papers we have counts for
7 papers
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati +2
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component make…
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati +2
Estimating worst-case execution times (WCET) is an important activity at early design stages of real-time systems. Based on WCET estimates, engineers make design and implementation…
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Claudio Menghi, Shiva Nejati, Lionel C. Briand +1
Black-box testing has been extensively applied to test models of Cyber-Physical systems (CPS) since these models are not often amenable to static and symbolic testing and verificat…
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Chaima Boufaied, Maris Jukss, Domenico Bianculli +2
The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs ar…
Overview and stellar statistics of the expected Gaia Catalogue using the Gaia Object Generator
X. Luri, M. Palmer, F. Arenou +13
Aims: An effort has been undertaken to simulate the expected Gaia Catalogue, including the effect of observational errors. A statistical analysis of this simulated Gaia data is per…
Properties of ultra-cool dwarfs with Gaia. An assessment of the accuracy for the temperature determination
Luis M. Sarro, Angel Berihuete, Cesar Carrion +3
We aimed to assess the accuracy of the Gaia teff and logg estimates as derived with current models and observations. We assessed the validity of several inference techniques for de…
Gaia Universe Model Snapshot : A statistical analysis of the expected contents of the Gaia catalogue
A. C. Robin, X. Luri, C. Reylé +17
Context. This study has been developed in the framework of the computational simulations executed for the preparation of the ESA Gaia astrometric mission. Aims. We focus on describ…