Toolchain

Integrated Data Management for a Fleet of Search‐and‐rescue Robots

Haris Balta, Janusz Będkowski, Shashank Govindaraj, Karol Majek, Paweł Musialik, Daniel Serrano, Kostas Alexis, Roland Siegwart, Geert De Cubber

Citations: 103 • 2016

An End-to-End Workflow for Engineering of Biological Networks from High-Level Specifications

Jacob Beal, Ron Weiss, Douglas Densmore, Aaron Adler, Evan Appleton, Jonathan Babb, Swapnil Bhatia, Noah Davidsohn, Traci L. Haddock, Joseph Loyall, Richard Schantz, Viktor Vasilev, Fusun Yaman

Citations: 89 • 2012

Human‐robot Teaming for Rescue Missions: Team ViGIR's Approach to the 2013 DARPA Robotics Challenge Trials

Stefan Kohlbrecher, Alberto Romay, Alexander Stumpf, Anant Gupta, Oskar von Stryk, Felipe Bacim, Doug A. Bowman, Alex K. Goins, Ravi Balasubramanian, David C. Conner

Citations: 81 • 2014

Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering

Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll

Citations: 65 • 2010

Modeling and reusing robotic software architectures: The HyperFlex toolchain

Luca Gherardi, Davide Brugali

Citations: 49 • 2014

ROSMonitoring: A Runtime Verification Framework for ROS

Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi

Citations: 49 • 2020

Towards marine bloom trajectory prediction for AUV mission planning

Jnaneshwar Das, Kanna Rajany, Sergey Frolov, Frederic Pyy, John P. Ryan, David A. Caron, Gaurav S. Sukhatme

Citations: 47 • 2010

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin

John Fitzgerald, Peter Gorm Larsen, Ken Pierce

Citations: 42 • 2019

The SmartMDSD Toolchain: An Integrated MDSD Workflow and Integrated Development Environment (IDE) for Robotics Software

D. Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel

Citations: 35 • 2016

Unmanned Ground and Aerial Vehicles in extended range indoor and outdoor missions

Francesco Cocchioni, Valerio Pierfelice, Alessandro Benini, Adriano Mancini, Emanuele Frontoni, Primo Zingaretti, Gianluca Ippoliti, Sauro Longhi

Citations: 33 • 2014

Crop Height and Plot Estimation for Phenotyping from Unmanned Aerial Vehicles using 3D LiDAR

Harnaik Dhami, Kevin Yu, Tianshu Xu, Qian Zhu, Kshitiz Dhakal, James K. Friel, Song Li, Pratap Tokekar

Citations: 28 • 2019

A Formal Safety Net for Waypoint-Following in Ground Robots

Citations: 27 • 2019

A BPMN-driven framework for Multi-Robot System development

Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

Citations: 26 • 2022

PsALM: Specification of Dependable Robotic Missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

Citations: 25 • 2019

Application of Munich Agile Concept for MBSE Based Development of Automated Guided Robot Based on Digital Twin-Data

Vahid Salehi

Citations: 23 • 2023

BRIDE - a toolchain for framework-independent development of industrial service robot applications

Alexander Bubeck, Florian Weißhardt, Alexander Verl

Citations: 23 • 2022

Leveraging Graphical User Interface Automation for Generic Robot Programming

Tudor B. Ionescu

Citations: 20 • 2020

HyperFlex: A Model Driven Toolchain for Designing and Configuring Software Control Systems for Autonomous Robots

Davide Brugali, Luca Gherardi

Citations: 19 • 2016

A Modeling Framework for Software Architecture Specification and Validation

Nicolas Gobillot, Charles Lesire, David Doose

Citations: 19 • 2014

A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems

Nicolas Gobillot, Charles Lesire, David Doose

Citations: 18 • 2018