Results 51 to 60 of about 23,407,383 (367)

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL [PDF]

, 2019
One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for ...
A Campetelli, A Classen, AF Iosif-Lazar, AS Dimovski, AS Dimovski, AS Dimovski, AS Dimovski, AS Dimovski, AS Dimovski, AS Dimovski, AS Dimovski, C Baier, C Stirling, KG Larsen, M Plath, MH Beek ter, O Grumberg, P Clements, P Cousot, S Shoham, S Shoham   +20 more
core   +1 more source

Real-Time Model-Checking: Parameters everywhere [PDF]

Logical Methods in Computer Science, 2007
In this paper, we study the model-checking and parameter synthesis problems of the logic TCTL over discrete-timed automata where parameters are allowed both in the model (timed automaton) and in the property (temporal formula). Our results are as follows.
Veronique Bruyere, Jean-Francois Raskin
doaj   +1 more source

The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking

Mathematics, 2023
Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks.
Xiling Luo
doaj   +1 more source

Model Checking Based Approach for Compliance Checking

Information Technology and Control, 2019
Process mining is the set of techniques to retrieve a process model starting from available logging data. The discovered process model has to be analyzed to verify it respects the defined properties, i.e., the so-called compliance checking. Our aim is to use a model checking based approach to verify compliance.
Martinelli F., Mercaldo F., Nardone V., Orlando A., Santone A., Vaglini G.   +5 more
openaire   +5 more sources

Model-Checking of Smart Contracts

2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), 2018
DAO attack showed that formal verification of smart contracts is an important issue that should be addressed to prevent irreversible consequences due to design faults activation in Blockchain applications.
Zeinab Nehai, Pierre-Yves Piriou, Frédéric F. Daumas   +2 more
semanticscholar   +1 more source

Invariant $P$-values for model checking [PDF]

, 2010
$P$-values have been the focus of considerable criticism based on various considerations. Still, the $P$-value represents one of the most commonly used statistical tools.
Evans, Michael, Jang, Gun Ho
core   +1 more source

Psychological Safety Among Interprofessional Pediatric Oncology Teams in Germany: A Nationwide Survey

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Psychological safety (PS) is essential for teamwork, communication, and patient safety in complex healthcare environments. In pediatric oncology, interprofessional collaboration occurs under high emotional and organizational demands. Low PS may increase stress, burnout, and adverse events.
Alexandros Rahn, Anna‐Lena Herbach, Christian Bock, Katharina Fleig, Urs Mücke   +4 more
wiley   +1 more source

Graphical and numerical diagnostic tools to assess multiple imputation models by posterior predictive checking

Heliyon, 2023
Problem: The congenial of the imputation model is crucial for valid statistical inferences. Hence, it is important to develop methodologies for diagnosing imputation models.
Mingyang Cai, Stef van Buuren, Gerko Vink   +2 more
doaj   +1 more source

A Comparative Study of Cerebral Oxygenation During Exercise in Hemodialysis and Peritoneal Dialysis Patients

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Cognitive impairment and exercise intolerance are common in dialysis patients. Cerebral perfusion and oxygenation play a major role in both cognitive function and exercise execution; HD session per se aggravates cerebral ischemia in this population. This study aimed to compare cerebral oxygenation and perfusion at rest and in mild
Marieta P. Theodorakopoulou, Konstantina Dipla, Danai Faitatzidou, Fotini Iatridi, Areti Georgiou, Artemios Karagiannidis, Erasmia Sampani, Chrysostomos Dimitriadis, Aggelos Koutlas, Andreas Zafeiridis, Pantelis Sarafidis   +10 more
wiley   +1 more source

LTL Model Checking Based on Binary Classification of Machine Learning

IEEE Access, 2019
Linear Temporal Logic (LTL) Model Checking (MC) has been applied to many fields. However, the state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking.
Weijun Zhu, Huanmei Wu, Miaolei Deng
doaj   +1 more source