Static program analysis for identifying energy bugs in graphics-intensive mobile apps
CHP Kim, D Kroening… - 2016 IEEE 24th …, 2016 - ieeexplore.ieee.org
A major drawback of mobile devices is limited battery life. Apps that use graphics are
especially energy greedy and developers must invest significant effort to make such apps …
especially energy greedy and developers must invest significant effort to make such apps …
Estimation and verification of hybrid heart models for personalised medical and wearable devices
We are witnessing a huge growth in popularity of wearable and implantable devices
equipped with sensors that are capable of monitoring a range of physiological processes …
equipped with sensors that are capable of monitoring a range of physiological processes …
Integrating simulink models into the model checker cosmos
Integrating Simulink Models into the Model Checker Cosmos | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Statistical model-checking for autonomous vehicle safety validation
We present an application of statistical model-checking to the verification of an autonomous
vehicle controller. Our goal is to check safety properties in various traffic situations. More …
vehicle controller. Our goal is to check safety properties in various traffic situations. More …
Closed-loop quantitative verification of rate-adaptive pacemakers
Rate-adaptive pacemakers are cardiac devices able to automatically adjust the pacing rate
in patients with chronotropic incompetence, ie, whose heart is unable to provide an …
in patients with chronotropic incompetence, ie, whose heart is unable to provide an …
Cosmos: evolution of a statistical model checking platform
P Ballarini, B Barbot - ACM SIGMETRICS Performance Evaluation …, 2022 - dl.acm.org
Cosmos: Evolution of a Statistical Model Checking Platform Page 1 Cosmos: Evolution of a
Statistical Model Checking Platform Paolo Ballarini CentraleSupélec Université Paris Saclay 4 …
Statistical Model Checking Platform Paolo Ballarini CentraleSupélec Université Paris Saclay 4 …
The implication of short-range dependency on delay variation measurement
Q Li, DL Mills - … on Network Computing and Applications, 2003 …, 2003 - ieeexplore.ieee.org
Packet delay variation (or delay jitter) measurements are used by applications to estimate
the service quality received from the network, or by network operators to monitor network …
the service quality received from the network, or by network operators to monitor network …
How to Learn a Model Checker
We show how machine-learning techniques, particularly neural networks, offer a very
effective and highly efficient solution to the approximate model-checking problem for …
effective and highly efficient solution to the approximate model-checking problem for …
[PDF][PDF] HeartVerify: model-based quantitative verification of implantable cardiac pacemakers
Description 2 Methods Page 1 HeartVerify: model-based quantitative verification of
implantable cardiac pacemakers Contributors: Benoıt Barbot, Alexandru Mereacre, Nicola …
implantable cardiac pacemakers Contributors: Benoıt Barbot, Alexandru Mereacre, Nicola …