RoboStar Team

Brazil

Leader: Augusto Sampaio, UFPE

"At RoboStar Brasil, our vision is the sound and automated synthesis of robotic simulations. Providing a correct-by-construction translation from a reactive design model into a cyclic simulation model is one of the distinguishing features of the RoboStar initiative. This can support roboticists in a challenging step of the robotic system development process."

Members

• Madiel C. Filho, UFPE
• Gustavo Carvalho, UFPE
• Marcio Cornélio, UFPE
• Juliano Iyoda, UFPE
• Alexandre Mota, UFPE
• Marcel Oliveira, UFRN
• Paulo Rolim, UFRN
• Jones Albuquerque, UFRPE
• Silvana Bocanegra, UFRPE
• Lucas Lima, UFRPE
• Waldek Lindoso, UFRPE
• Sidney Nogueira, UFRPE

Denmark

Leader: Peter Gorm Larsen, Aarhus University

"At Aarhus University, we have been collaborating for years with members of the RoboStar team and we are now combining the FMI-based co-simulation and the digital twins technologies with the RoboStar technology."

Members

• Santiago Gil, Aarhus University
• Claudio Gomes, Aarhus University
• Jim Woodcock, Aarhus University
• Thomas Wright, Aarhus University

France

Leader: Thierry Lecomte, ClearSy

"At CLEARSY, we have been collaborating for years over the combination of RoboSim for high-level specification, and the CLEARSY Safety Platform programmed with the B formal language for safe execution of control/command applications, together with UFRN Natal (Brazil). We hope to achieve significant scientific results in the field of medium-complexity robotic systems."

Germany

Leader: Jan Peleska, Verified Systems International

"I and colleagues in RoboStar Germany support the RoboStar initiative with application-oriented research and associated tool development in the fields of automated testing with guaranteed fault coverage and verification of deep neural networks in safety-critical applications."

Members

• Uwe Schulze, Verified Systems International

Norway

Leader: Alireza David Anisi, University of Agder

"Safe development and real-world deployment of autonomous field robots has proved to be a challenging task, not least as such cyber-physical systems, encompass safety aspects and properties that stem from both Software and Hardware parts. In our experience, RoboStar is arguably the most consolidated technology supporting Robotics- and Software Engineers to assure safety of such systems. Starting off from real-world use-cases and practical engineering life-cycle aspects, the Norwegian chapter of RoboStar, is collaborating with other RoboStar colleagues to drive the further development and integration of key concepts such a co-verification and (predictive) runtime verification with RoboStar technology."

Members

• Mustafa Adam, Norwegian University of Life Sciences
• Elias Evjen Hartmark, Norwegian University of Life Sciences
• Yvonne Murray, University of Agder

Kings College London, UK

Leader: Mohammad Mousavi, King's College London

"The KCL team shares the RoboStar vision to develop verifiable autonomous systems by taking advantage of the power of unified models. We seek to provide the benefits of model-based testing to roboticists and to deal with the heterogeneity of robotic applications involving software, hardware, control, physical environment, and human users."

Members

• Hugo Araujo, King's College London

Sheffield, UK

Leader: Rob Hierons, University of Sheffield

"At Sheffield we have been contributing to the development of systematic testing techniques that are based on the types of models produced within the RoboStar approach. We are particularly interested in techniques that can be automated."

Members

• Maciej Gazda, University of Sheffield
• Raluca Lefticaru, University of Sheffield

York, UK

Leader: Ana Cavalcanti, University of York

Members

• Kumar Acharjee, University of York
• Ziggy Attala, University of York
• Arjun Badyal, University of York
• James Baxter, University of York
• Radu Calinescu, University of York
• Simon Foster, University of York
• Holly Hendry, University of York
• Christian Pardillo Laursen, University of York
• Zunaira Mahmood, University of York
• Cade McCall, University of York
• Alvaro Miyazawa, University of York
• Rick North, University of York
• Annabelle Partis, University of York
• Mark A. Post, University of York
• Pedro Ribeiro, University of York
• Yuka Spencer, University of York
• Jon Timmis, University of York
• Fang Yan, University of York
• Kangfeng Ye, University of York
• Ben Zour, University of York

Former Members

• Abdulrazaq Abba, University of York
• Sharar Ahmadi, University of York
• Lex Bailey, University of York
• William Barnett, University of York
• Artur Boronat, University of Leicester
• Brijesh Dongol, University of Surrey
• Dehui Du, East China Normal University, Software Engineering Institute
• Shival Dubey, University of Leeds
• Adolfo Duran, UFBA
• Tom Gebert, University of York
• Bestoon Hussien, University of York
• Bilal Kaddouh, University of Leeds
• Wei Li, University of York
• Daniel López-Codina, UPC
• Alan Millard, University of York
• Yakoub Nemouchi, University of York
• Richard Redpath, University of York
• Martin Sirevåg, University of Agder
• Andrew Walter, University of York
• Matt Windsor, University of York
• Mingzhuo Zhang, East China Normal University, Software Engineering Institute
• Menghan Zhang, East China Normal University, Software Engineering Institute