Software design

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

AutoMoDe: A novel approach to the automatic design of control software for robot swarms

Gianpiero Francesca, Manuele Brambilla, Arne Brutschy, Vito Trianni, Mauro Birattari

Citations: 168 • 2014

Automatic Design of Robot Swarms: Achievements and Challenges

Gianpiero Francesca, Mauro Birattari

Citations: 140 • 2016

Role modelling for agent system analysis, design, and implementation

Elizabeth Kendall

Citations: 67 • 2003

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

Natasha Sharygina, James C. Browne, Robert P. Kurshan

Citations: 39 • 2001

SIERA: a unified framework for rapid-prototyping of system-level hardware and software

Mani Srivastava, R.W. Brodersen

Citations: 33 • 1995

Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example

Xiaolin Hu, Bernard P. Zeigler

Citations: 32 • 2004

Object-oriented design of real-time software

Thomas E. Bihari, P. Gopinath, Karsten Schwan

Citations: 31 • 2003

On Model-driven Design of Robot Software using Co-simulation

Jan F. Broenink, Yunyun Ni, Marcel A. Groothuis

Citations: 30 • 2010

System Architecture Modeling in a Software Tool Based on the Contact and Channel Approach (C&C-A)

Albert Albers, Andreas Braun, Eike Sadowski, David C. Wynn, David Wyatt, P. John Clarkson

Citations: 29 • 2011

FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems

Thomas Maier

Citations: 26 • 1997

The AIDA toolset for design and implementation analysis of distributed real-time control systems

Ola Redell, Jad El‐khoury, Martin Törngren

Citations: 25 • 2004

Property specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi

Citations: 23 • 2018

Rapid Prototyping Platform for Saccharomyces cerevisiae Using Computer-Aided Genetic Design Enabled by Parallel Software and Workcell Platform Development

Priscilla D. Rajakumar, Glen-Oliver F. Gowers, Lorna Suckling, Alexander J. Foster, Tom Ellis, R.I. Kitney, David McClymont, Paul S. Freemont

Citations: 18 • 2018

Analyzing Behavior of Concurrent Software Designs for Embedded Systems

Robert G. Pettit, Hassan Gomaa

Citations: 18 • 2007

Model-driven robot-software design using integrated models and co-simulation

Jan F. Broenink, Yunyun Ni

Citations: 18 • 2012

Run-Time Scheduler Synthesis for Hardware-Software Systems and Application to Robot Control Design (Abstract)

Vincent J. Mooney, Toshiyuki Sakamoto, Giovanni De Micheli

Citations: 18 • 1997

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach

Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva

Citations: 16 • 2019

Observing the Effects of Overdesign in the Automatic Design of Control Software for Robot Swarms

Mauro Birattari, Brian Delhaisse, Gianpiero Francesca, Yvon Kerdoncuff

Citations: 16 • 2016

Architectural design in collective robotic construction

Samuel Leder, Achim Menges

Citations: 16 • 2023