Finding Suitable Variability Abstractions for Family-Based Analysis

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_14 ◽

2016 ◽

pp. 217-234 ◽

Author(s):

Aleksandar S. Dimovski ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Family Based ◽

Variability Abstractions

Download Full-text

$$\hbox {CTL}^{\star }$$ family-based model checking using variability abstractions and modal transition systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-019-00528-0 ◽

2019 ◽

Vol 22 (1) ◽

pp. 35-55 ◽

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Model Checking ◽

Transition Systems ◽

Modal Transition Systems ◽

Family Based ◽

Variability Abstractions

Download Full-text

Efficient family-based model checking via variability abstractions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-016-0425-2 ◽

2016 ◽

Vol 19 (5) ◽

pp. 585-603 ◽

Author(s):

Aleksandar S. Dimovski ◽

Ahmad Salim Al-Sibahi ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Family Based ◽

Variability Abstractions

Download Full-text

Feature Article: Substance Abuse and the Family: Family-Based Interventions for Substance Abuse: A Profile of Two Models

PsycEXTRA Dataset ◽

10.1037/e318122004-005 ◽

2003 ◽

Author(s):

C. Rowe

Keyword(s):

Substance Abuse ◽

Feature Article ◽

Family Based ◽

Family Based Interventions

Download Full-text

Family-Based Approaches to Reducing Adolescent Substance Use: Theories, Techniques, and Findings

PsycEXTRA Dataset ◽

10.1037/e496662006-005 ◽

1988 ◽

Author(s):

Brenna H. Bry ◽

Keyword(s):

Substance Use ◽

Adolescent Substance Use ◽

Adolescent Substance ◽

Download Full-text

We're In This Together: Family Drug Courts and Family-based Treatment

PsycEXTRA Dataset ◽

10.1037/e530822012-001 ◽

2011 ◽

Author(s):

Sid Gardner

Keyword(s):

Drug Courts ◽

Family Based Treatment ◽

Download Full-text

Family based prisoner substance abuse treatment program

PsycEXTRA Dataset ◽

10.1037/e531852012-048 ◽

2011 ◽

Keyword(s):

Substance Abuse ◽

Substance Abuse Treatment ◽

Treatment Program ◽

Substance Abuse Treatment Program ◽

Family Based ◽

Abuse Treatment

Download Full-text

Family-based intervention helps male children of drug users avoid substance use disorders

PsycEXTRA Dataset ◽

10.1037/e546602010-007 ◽

2009 ◽

Keyword(s):

Substance Use ◽

Substance Use Disorders ◽

Download Full-text

Couple and Family Based Treatment of Internet and Video Game Addicts

PsycEXTRA Dataset ◽

10.1037/e573982014-092 ◽

2014 ◽

Author(s):

Jason Northrup

Keyword(s):

Family Based Treatment ◽

Download Full-text

Incorporating siblings into family-based interventions: The family check-up as applied to adolescent alcohol use

PsycEXTRA Dataset ◽

10.1037/e578342014-010 ◽

2010 ◽

Author(s):

Ch. Slomkowski ◽

R. Rende ◽

A. Spirito

Keyword(s):

Alcohol Use ◽

Adolescent Alcohol Use ◽

Adolescent Alcohol ◽

Family Based ◽

Family Based Interventions

Download Full-text

Family-based and Psycho-educational Treatment of Adults with Chronic Diseases

PsycEXTRA Dataset ◽

10.1037/e579162012-058 ◽

2011 ◽

Author(s):

Lia Fernandes ◽

Clarisse Ribeiro ◽

Sonia Martins

Keyword(s):

Chronic Diseases ◽

Family Based ◽

Educational Treatment

Download Full-text