Modeling Heterogeneous Real-time Components in BIP

By A. Basu, M. Bozga, Joseph Sifakis. IEEE International Conference on Software Engineering and Formal Methods, 2006

602 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/a477865e1375c17fdab8373f8e42b2d9586dd696

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Michel R. V. Chaudron
2. Ivica Crnkovic
3. Aneta Vulgarakis
4. Séverine Sentilles

Citations in the corpus

• A Classification Framework for Software Component Models (2011, methodology): “Very few component models provide means of hierarchical composition, and if so, then it is only with regard to a few particular EFPs (for example, BIP and SaveCCM for timing properties).”
• Model checking (2009, neutral): “2.”