Ziggy Attala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2021–2023
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICTAC | Modelling and Verifying Robotic Software that Uses Neural Networks. | Ziggy Attala, Ana Cavalcanti, Jim Woodcock |
| 2021 | ICTAC | Model-Based Engineering for Robotics with RoboChart and RoboTool. | Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro |