Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

@inproceedings{Margaria2018LeveragingAO,
  title={Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems},
  author={Tiziana Margaria and Bernhard Steffen},
  booktitle={Lecture Notes in Computer Science},
  year={2018}
}
A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropriate methods and tools that help guarantee that a collective adaptive system lives up to its intended purpose. This note gives an introduction to the track ‘Rigorous Engineering of Collective Adaptive Systems.’ It shortly presents the panel discussion on ‘The Meaning of Adaptation… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 67 REFERENCES

Maximal aggregation of polynomial dynamical systems

  • Proc. Natl. Acad. Sci. U.S.A.
  • 2017
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Mean Field Approximation of Uncertain Stochastic Models

  • 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
  • 2016
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)

  • 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • 2015
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL