Fluid Model-Checking in UPPAAL for Covid-19

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Lecture Notes in Computer Science ◽

10.1007/978-3-030-61362-4_22 ◽

2020 ◽

pp. 385-403 ◽

Author(s):

Peter G. Jensen ◽

Kenneth Y. Jørgensen ◽

Kim G. Larsen ◽

Marius Mikučionis ◽

Marco Muñiz ◽

...

Keyword(s):

Model Checking ◽

Download Full-text

Fluid Model Checking

Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory ◽

10.1007/978-3-642-32940-1_24 ◽

2012 ◽

pp. 333-347 ◽

Author(s):

Luca Bortolussi ◽

Jane Hillston

Keyword(s):

Model Checking ◽

Download Full-text

On-the-fly Fluid Model Checking via Discrete Time Population Models

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_13 ◽

2015 ◽

pp. 193-207 ◽

Author(s):

Diego Latella ◽

Michele Loreti ◽

Mieke Massink

Keyword(s):

Model Checking ◽

Discrete Time ◽

Fluid Model ◽

Population Models

Download Full-text

Fluid Model Checking of Timed Properties

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-319-22975-1_12 ◽

2015 ◽

pp. 172-188 ◽

Author(s):

Luca Bortolussi ◽

Roberta Lanciani

Keyword(s):

Model Checking ◽

Fluid Model ◽

Timed Properties

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

INFLUENCE OF HEAT AND CHEMICAL REACTIONS ON HYPERBOLIC TANGENT FLUID MODEL FOR BLOOD FLOW THROUGH A TAPERED ARTERY WITH A STENOSIS

Heat Transfer Research ◽

10.1615/heattransres.2012004295 ◽

2012 ◽

Vol 43 (1) ◽

pp. 69-94 ◽

Author(s):

Noreen Sher Akbar ◽

Sohail Nadeem ◽

Mohamed Ali

Keyword(s):

Chemical Reactions ◽

Fluid Model ◽

Hyperbolic Tangent ◽

Tapered Artery ◽

Download Full-text

ENTROPY GENERATION IN BLOOD FLOW WITH HEAT AND MASS TRANSFER FOR THE ELLIS FLUID MODEL

Heat Transfer Research ◽

10.1615/heattransres.2018016105 ◽

2018 ◽

Vol 49 (8) ◽

pp. 747-760 ◽

Author(s):

Muhammad Mubashir Bhatti ◽

M. Ali Abbas ◽

M. M. Rashidi

Keyword(s):

Mass Transfer ◽

Heat And Mass Transfer ◽

Entropy Generation ◽

Download Full-text

SIMULATION METHODS OF TWO-PHASE FLOW BASED ON A HYPERBOLIC TWO-FLUID MODEL

Proceeding of First Thermal and Fluids Engineering Summer Conference ◽

10.1615/tfesc1.cmd.013060 ◽

2016 ◽

Author(s):

Moon-Sun Chung ◽

Sung-Jae Yi

Keyword(s):

Two Phase Flow ◽

Fluid Model ◽

Simulation Methods ◽

Two Phase ◽

Two Fluid Model ◽

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Towards the improvement of model checking

Advanced Computer Control ◽

10.2495/icacc130031 ◽

2014 ◽

Author(s):

Peiyu Huang

Keyword(s):

Download Full-text