Software system
相关论文数: 20
顶级研究者
最高引用论文
RT-middleware: distributed component middleware for RT (robot technology)
Noriaki Ando, Takashi Suehiro, K. Kitagaki, Tetsuo Kotoku, Woo-Keun Yoon
引用数: 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
引用数: 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
引用数: 278 • 2011
Collision and Proximity Queries
Ming C. Lin, Dinesh Manocha, Young J. Kim
引用数: 218 • 2017
Software Engineering for Self-Adaptive Systems II
Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw
引用数: 213 • 2013
Towards component-based robotics
Alex Brooks, Tobias Kaupp, Alexei Makarenko, Stefan B. Williams, Anders Orebäck
引用数: 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
引用数: 162 • 2008
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques
V.U.B. Challagulla, Farokh Bastani, I‐Ling Yen, Raymond A. Paul
引用数: 153 • 2006
A Formal Approach to Autonomic Systems Programming
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
引用数: 144 • 2014
Taming uncertainty in self-adaptive software
Naeem Esfahani, Ehsan Kouroshfar, Sam Malek
引用数: 142 • 2011
Choreonoid: Extensible virtual robot environment built on an integrated GUI framework
Shin’ichiro Nakaoka
引用数: 135 • 2012
Component-Based Robotic Engineering (Part II)
Davide Brugali, Azamat Shakhimardanov
引用数: 131 • 2010
A domain-specific software architecture for adaptive intelligent systems
Barbara Hayes‐Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanović
引用数: 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
引用数: 102 • 2017
Orca: A Component Model and Repository
Alex Brooks, Tobias Kaupp, Alexei Makarenko, Stefan B. Williams, Anders Orebäck
引用数: 93 • 2007
Building brains for rooms: designing distributed software agents
Michael H. Coen
引用数: 89 • 1997
Transfer Learning for Improving Model Predictions in Highly Configurable Software
Pooyan Jamshidi, Miguel Velez, Christian Kästner, Norbert Siegmund, Prasad Kawthekar
引用数: 86 • 2017
A Study on Challenges of Testing Robotic Systems
Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher S. Timperley
引用数: 85 • 2020
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
引用数: 78 • 2001
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
引用数: 75 • 2017