Results 31 to 40 of about 179,699 (263)

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

Fluid Model Checking

, 2012
In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the behaviour of a single agent in a (large) population of agents, exploiting a limit result known also as fast simulation.
BORTOLUSSI, LUCA, J. Hillston
openaire   +5 more sources

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

On the Completeness of Model Checking [PDF]

, 2001
In POPL'00, Cousot and Cousot introduced and studied a novel general temporal specification language, called µ-calculus, in particular featuring a natural and rich time-symmetric trace-based semantics. The classical state-based model checking of the µ-calculus is an abstract interpretation of its trace-based semantics, which, surprisingly, turns out to
openaire   +3 more sources

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

Adaptive Model Checking [PDF]

Logic Journal of IGPL, 2002
We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the result of modeling errors or recent modifications of the system. Despite such discrepancies we can still attempt to perform automatic verification.
Alex Groce, Doron A. Peled, Mihalis Yannakakis   +2 more
openaire   +1 more source

Early Impact of Childhood Opportunity on Neurocognitive Outcomes in Sickle Cell Disease

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neurocognitive impairment is a well‐recognized complication of sickle cell disease (SCD) that begins early in childhood and persists across development. While cerebrovascular injury contributes substantially to risk, neurocognitive deficits are also observed in children without overt or silent cerebral infarctions, suggesting ...
Julia E. LaMotte, Hannah Koch, Olivia A. Coughlin, Jillian R. Bouck, Allie Carter, Seethal A. Jacob   +5 more
wiley   +1 more source

Counterexample-Preserving Reduction for Symbolic Model Checking

Journal of Applied Mathematics, 2014
The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In such reduction,
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao   +5 more
doaj   +1 more source

Association Between Dinutuximab Beta Exposure and Post‐End‐of‐Treatment Survival in Neuroblastoma: A Weighted Patient‐Level Analysis of Three Clinical Studies

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Objectives The association between exposure to dinutuximab beta (DB) and event‐free survival (EFS) or overall survival (OS) of neuroblastoma patients was assessed using data collected during three clinical trials (five cohorts). Methods A systematic review (March 2026) was conducted to identify relevant studies (prospective; registered DB ...
Przemysław Holko, Holger N. Lode, Alberto Garaventa, Carla Manzitti, Roberto Luksch, Dominique Valteau‐Couanet, Marion Gambart, John Anderson, Juliet Gray, Adela Canete, Lucas Moreno, Aleksandra Wieczorek, Cormac Owens, Shifra Ash, Isaac Yaniv, Genevieve Laureys, Hans Loibner, Katarzyna Śladowska, Ruth Ladenstein, Paweł Kawalec   +19 more
wiley   +1 more source

ASSIST: Refinement of a Benefits Navigator Intervention Among Low‐Income Pediatric Oncology Families

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Children with cancer living in poverty experience worse survival and quality of life. Interventions connecting low‐income families to benefits (e.g., Supplemental Nutrition Assistance Program [SNAP] improve health outcomes; yet nearly 50% of SNAP‐eligible pediatric oncology families are unenrolled.
Puja J. Umaretiya, Selena Murcia Mendez, Jennifer Kellett, Sarah Wright, Marisel Ponton, Robin T. Higashi, Rahela Aziz‐Bose, Colleen A. Kelly, Ayesha Zia, Joanne Wolfe, Sandi L. Pruitt, Kira Bona   +11 more
wiley   +1 more source