BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

Farn Wang; K. Schmidt;  Fang Yu;  Geng-Dian Huang;  Bow-Yaw Wang

doi:10.1109/tse.2004.15

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

IEEE Transactions on Software Engineering ◽

10.1109/tse.2004.15 ◽

2004 ◽

Vol 30 (6) ◽

pp. 403-417 ◽

Cited By ~ 3

Author(s):

Farn Wang ◽

K. Schmidt ◽

Fang Yu ◽

Geng-Dian Huang ◽

Bow-Yaw Wang

Keyword(s):

Data Structures ◽

Safety Analysis ◽

Symmetry Reduction ◽

Concurrent Software ◽

Graph Automorphism

Download Full-text

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-36135-9_4 ◽

2002 ◽

pp. 50-64 ◽

Cited By ~ 5

Author(s):

Farn Wang ◽

Karsten Schmidt

Keyword(s):

Data Structures ◽

Safety Analysis ◽

Concurrent Software

Download Full-text

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_23 ◽

2004 ◽

pp. 295-307 ◽

Cited By ~ 13

Author(s):

Farn Wang

Keyword(s):

Hybrid Systems ◽

Data Structures ◽

Safety Analysis

Download Full-text

Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures

IEEE Transactions on Software Engineering ◽

10.1109/tse.2005.13 ◽

2005 ◽

Vol 31 (1) ◽

pp. 38-51 ◽

Cited By ~ 30

Author(s):

Farn Wang

Keyword(s):

Hybrid Systems ◽

Data Structures ◽

Safety Analysis

Download Full-text

Ambiguity and Symmetry Reduction in the Emergence of Structures and the Nucleation of Visual Thinking

PsycEXTRA Dataset ◽

10.1037/e539702010-001 ◽

2003 ◽

Author(s):

Giuseppe Caglioti

Keyword(s):

Symmetry Reduction ◽

Visual Thinking

Download Full-text

Structural Equations Modeling With Nonhierarchically Dependent Data Structures

PsycEXTRA Dataset ◽

10.1037/e658982011-001 ◽

2011 ◽

Author(s):

Paras D. Mehta ◽

Steven M. Boker ◽

Michael C. Neale

Keyword(s):

Data Structures ◽

Structural Equations ◽

Dependent Data ◽

Structural Equations Modeling

Download Full-text

Decision letter for "A real‐world efficacy and safety analysis of combined carfilzomib, lenalidomide, and dexamethasone (KRd) in relapsed/refractory multiple myeloma"

10.1002/hon.2820/v2/decision1 ◽

2020 ◽

Keyword(s):

Multiple Myeloma ◽

Real World ◽

Safety Analysis ◽

Efficacy And Safety ◽

Refractory Multiple Myeloma

Download Full-text

Specification scheme for the visualisation of data structures

Software Engineering Journal ◽

10.1049/sej.1994.0016 ◽

1994 ◽

Vol 9 (3) ◽

pp. 127

Author(s):

X.-B. Lu ◽

F. Stetter

Keyword(s):

Data Structures

Download Full-text

Development of Safety Analysis Code System of Beam Transport and Core for Accelerator Driven System

SNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo ◽

10.1051/snamc/201405202 ◽

2014 ◽

Author(s):

Naoto Aizawa ◽

Tomohiko Iwasaki

Keyword(s):

Safety Analysis ◽

Code System ◽

Beam Transport ◽

Driven System ◽

Accelerator Driven System

Download Full-text

Early administration of low molecular weight heparin after spontaneous intracerebral haemorrhage: a safety analysis

Aktuelle Neurologie ◽

10.1055/s-0028-1086569 ◽

2008 ◽

Vol 35 (S 01) ◽

Author(s):

B Huttner ◽

C Kanter ◽

D Staykov ◽

M Köhrmann ◽

T Struffert ◽

...

Keyword(s):

Molecular Weight ◽

Intracerebral Haemorrhage ◽

Low Molecular Weight Heparin ◽

Safety Analysis ◽

Low Molecular Weight ◽

Early Administration ◽

Spontaneous Intracerebral Haemorrhage

Download Full-text

Scaffold Safety Analysis: Focusing on Divide-and-Conquer Method

Construction Research Congress 2020 ◽

10.1061/9780784482865.023 ◽

2020 ◽

Author(s):

Sayan Sakhakarmi ◽

Chunhee Cho ◽

JeeWoong Park

Keyword(s):

Safety Analysis ◽

Divide And Conquer

Download Full-text