Search results

Sporadic tags should not be sorted in quantities (instead of clocks)

bug

Status: Open.

#86 In heron-solver/heron;

· hai-nguyen-van opened on Feb 1, 2023

Potential bad reprensentation of rational

bug

Status: Open.

#84 In heron-solver/heron;

· hai-nguyen-van opened on Jan 17, 2023

Seperate the past context for performance

enhancement

urgent

Status: Open.

#83 In heron-solver/heron;

· hai-nguyen-van opened on Jan 17, 2023

Kalman filters

case study

Status: Open.

#82 In heron-solver/heron;

· hai-nguyen-van opened on Feb 28, 2021

Implicit association trees

Status: Open.

#81 In heron-solver/heron;

· hai-nguyen-van opened on Apr 29, 2020

Too rough abstraction in model-checker

about theory

future direction

Status: Open.

#80 In heron-solver/heron;

· hai-nguyen-van opened on Apr 29, 2020

Model-checking with Dwyer patterns ?

about theory

future direction

Status: Open.

#79 In heron-solver/heron;

· hai-nguyen-van opened on Apr 29, 2020

Transforming UML/MARTE models into TESL ?

about theory

future direction

Status: Open.

#78 In heron-solver/heron;

· hai-nguyen-van opened on Apr 29, 2020

TESL regarded as a deterministic language ?

about theory

future direction

Status: Open.

#77 In heron-solver/heron;

· hai-nguyen-van opened on Apr 29, 2020

Complete cases for contexts in model-checker

bug

Status: Open.

#76 In heron-solver/heron;

· hai-nguyen-van opened on Apr 27, 2020

Rename quantities as flows

enhancement

urgent

Status: Open.

#75 In heron-solver/heron;

· hai-nguyen-van opened on Apr 10, 2020

Change syntax of configurations to match with FORMATS'17

about theory

enhancement

Status: Open.

#73 In heron-solver/heron;

· hai-nguyen-van opened on Feb 24, 2020