Language support for verifying reconfigurable interacting systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 765, doi. 10.1007/s10009-023-00729-8
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2023 AND VI 25 AND IP 5/6
Results: 13
1
2
Comparing perfomance abstractions for collective adaptive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 785, doi. 10.1007/s10009-023-00728-9
- By:
- Publication type:
- Article
3
A modal approach to conscious social agents.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 707, doi. 10.1007/s10009-023-00732-z
- By:
- Publication type:
- Article
4
Modelling flocks of birds and colonies of ants from the bottom up.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 675, doi. 10.1007/s10009-023-00731-0
- By:
- Publication type:
- Article
5
A toolchain for strategy synthesis with spatial properties.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 641, doi. 10.1007/s10009-023-00730-1
- By:
- Publication type:
- Article
6
Rigorous engineering of collective adaptive systems – 2nd special section.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 617, doi. 10.1007/s10009-023-00734-x
- By:
- Publication type:
- Article
7
A causal, time-independent synchronization pattern for collective adaptive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 659, doi. 10.1007/s10009-023-00733-y
- By:
- Publication type:
- Article
8
Coordinating and programming multiple ROS-based robots with X-KLAIM.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 747, doi. 10.1007/s10009-023-00727-w
- By:
- Publication type:
- Article
9
Machine-learning abstractions for component-based self-optimizing systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 717, doi. 10.1007/s10009-023-00726-x
- By:
- Publication type:
- Article
10
Generating adaptation rule-specific neural networks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 733, doi. 10.1007/s10009-023-00725-y
- By:
- Publication type:
- Article
11
A kinetic approach to investigate the collective dynamics of multi-agent systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 693, doi. 10.1007/s10009-023-00724-z
- By:
- Publication type:
- Article
12
Correct by design coordination of autonomous driving systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 625, doi. 10.1007/s10009-023-00723-0
- By:
- Publication type:
- Article
13
Publisher Correction: Algorithm selection for SMT.
- Published in:
- 2023
- By:
- Publication type:
- Correction Notice