63 entries « 5 of 21 »

Humphreys, Joseph; Peers, Christopher; Li, Jun; Wan, Yuhui; Sun, Jingcheng; Richardson, Robert; Zhou, Chengxu

Teleoperating a Legged Manipulator Through Whole-Body Control Inproceedings

In: Towards Autonomous Robotic Systems: 23rd Annual Conference, TAROS 2022, Culham, UK, September 7--9, 2022, Proceedings, pp. 63–77, Springer 2022.

BibTeX

Fitzgerald, John; Larsen, Peter Gorm; Margaria, Tiziana; Woodcock, Jim; Gomes, Cláudio

Engineering of digital twins for cyber-physical systems Inproceedings

In: Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22--30, 2022, Proceedings, Part IV, pp. 3–8, Springer 2022.

BibTeX

Kulik, Tomas; Dongol, Brijesh; Larsen, Peter Gorm; Macedo, Hugo Daniel; Schneider, Steve; Tran-Jørgensen, Peter WV; Woodcock, James

A survey of practical formal methods for security Journal Article

In: Formal Aspects of Computing, 34 (1), pp. 1–39, 2022.

BibTeX

63 entries « 5 of 21 »