| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets.
J. Log. Algebraic Methods Program.
|
| 2021 | J | jnl |
CoRR
|
| 2020 | — | conf |
ICSOFT (Selected Papers)
|
| 2020 | C | conf |
ICSOFT
|
| 2020 | J | jnl |
IEEE Trans. Syst. Man Cybern. Syst.
|
| 2019 | — | conf |
ICSOFT (Selected Papers)
|
| 2019 | — | conf |
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.
ENASE (Selected Papers)
|
| 2019 | C | conf |
ICSOFT
|
| 2019 | B | conf |
ENASE
|
| 2019 | — | conf |
ENASE (Selected Papers)
|
| 2019 | B | conf |
ENASE
|