Software system

Related papers: 20

Top Cited Papers

RT-middleware: distributed component middleware for RT (robot technology)

Noriaki Ando, Takashi Suehiro, K. Kitagaki, Tetsuo Kotoku, Woo-Keun Yoon

Citations: 476 • 2005

DAvinCi: A cloud computing framework for service robots

Rajesh Vellore Arumugam, Vikas Reddy Enti, Wu Xiaojun, Krishnamoorthy Baskaran, Foong Foo Kong, A Senthil Kumar, Kang Meng, Goh Wai Kit

Citations: 348 • 2010

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis

Citations: 278 • 2011

Collision and Proximity Queries

Ming C. Lin, Dinesh Manocha, Young J. Kim

Citations: 218 • 2017

Software Engineering for Self-Adaptive Systems II

Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw

Citations: 213 • 2013

Towards component-based robotics

Alex Brooks, Tobias Kaupp, Alexei Makarenko, Stefan B. Williams, Anders Orebäck

Citations: 203 • 2005

SwisTrack - A Flexible Open Source Tracking Software for Multi-Agent Systems

Thomas Lochmatter, Pierre Roduit, Chris Cianci, Nikolaus Correll, Jacques Jacot, Alcherio Martinoli

Citations: 162 • 2008

Empirical Assessment of Machine Learning based Software Defect Prediction Techniques

V.U.B. Challagulla, Farokh Bastani, I‐Ling Yen, Raymond A. Paul

Citations: 153 • 2006

A Formal Approach to Autonomic Systems Programming

Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi

Citations: 144 • 2014

Taming uncertainty in self-adaptive software

Naeem Esfahani, Ehsan Kouroshfar, Sam Malek

Citations: 142 • 2011

Choreonoid: Extensible virtual robot environment built on an integrated GUI framework

Shin’ichiro Nakaoka

Citations: 135 • 2012

Component-Based Robotic Engineering (Part II)

Davide Brugali, Azamat Shakhimardanov

Citations: 131 • 2010

A domain-specific software architecture for adaptive intelligent systems

Barbara Hayes‐Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanović

Citations: 121 • 1995

Autonomous mobile robot navigation in uneven and unstructured indoor environments

Chaoqun Wang, Lili Meng, Sizhen She, Ian M. Mitchell, Teng Li, Frederick Tung, Weiwei Wan, Max Q.‐H. Meng, Clarence W. de Silva

Citations: 102 • 2017

Orca: A Component Model and Repository

Alex Brooks, Tobias Kaupp, Alexei Makarenko, Stefan B. Williams, Anders Orebäck

Citations: 93 • 2007

Building brains for rooms: designing distributed software agents

Michael H. Coen

Citations: 89 • 1997

Transfer Learning for Improving Model Predictions in Highly Configurable Software

Pooyan Jamshidi, Miguel Velez, Christian Kästner, Norbert Siegmund, Prasad Kawthekar

Citations: 86 • 2017

A Study on Challenges of Testing Robotic Systems

Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher S. Timperley

Citations: 85 • 2020

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems

Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu

Citations: 78 • 2001

Combining Model Checking and Runtime Verification for Safe Robotics

Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia

Citations: 75 • 2017