USING BALM-II FOR DERIVING PARALLEL COMPOSITION OF TIMED FINITE STATE MACHINES WITH OUTPUTS DELAYS AND TIMEOUTS: WORK-IN-PROGRESS

Towards parallel composition of partial finite state machines: Checking safety property step-by-step

2016 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2016.7807689 ◽

2016 ◽

Author(s):

E. Darusenkova ◽

N. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Safety Property ◽

Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika ◽

On deriving the parallel composition of extended finite state machines

10.17223/19988605/48/10 ◽

2019 ◽

pp. 83-91

Author(s):

Ekaterina V. Shirokova ◽

◽

Svetlana A. Prokopenko ◽

Natalia V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machines

2018 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2018.8524850 ◽

2018 ◽

Author(s):

Ekaterina Shirokova

Keyword(s):

Web Services ◽

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

ON PARALLEL COMPOSITION OF FINITE STATE MACHINES WITH TIMED GUARDS

System Informatics ◽

10.31144/si.2307-6410.2019.n14.p55-64 ◽

2019 ◽

Author(s):

Aleksandr Tvardovskii ◽

Nina Yevtushenko

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

On the possibilities of FSM description of Parallel composition of Timed Finite State Machines

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2018-30(1)-2 ◽

2018 ◽

Vol 30 (1) ◽

pp. 25-40 ◽

Author(s):

A. Tvardovskii ◽

A. Laputenko

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II

Automatic Control and Computer Sciences ◽

10.3103/s0146411617070094 ◽

2017 ◽

Vol 51 (7) ◽

pp. 507-515 ◽

Author(s):

M. L. Gromov ◽

N. V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Experiments on Parallel Composition of Timed Finite State Machines

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2017-29(3)-13 ◽

2017 ◽

Vol 29 (3) ◽

pp. 233-246

Author(s):

A. Sotnikov ◽

N. Shabaldina ◽

M. Gromov

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

The Parallel Composition of Timed Finite State Machines

10.15514/syrcose-2011-5-16 ◽

2011 ◽

Author(s):

Olga Kondratyeva ◽

Maxim Gromov

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines

Modeling and Analysis of Information Systems ◽

10.18255/1818-1015-2016-6-715-728 ◽

2016 ◽

Vol 23 (6) ◽

pp. 715-728

Author(s):

M. L. Gromov ◽

N. V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines

Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106) ◽

10.1109/aspdac.2000.835071 ◽

2002 ◽

Author(s):

R. Forth ◽

P. Molitor

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

State Encoding