• Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20102021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Book chapter

Search results

  • 2017

    Syntactic Markovian Bisimulation for Chemical Reaction Networks

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2017, Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, p. 466-483 18 p. (Lecture Notes in Computer Science, Vol. 10460).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2015

    A white box perspective on behavioural adaptation

    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (eds.). Springer, p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    322 Downloads (Pure)
  • Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

    Bruni, R., Corradini, A., Gadducci, F., Hölzl, M., Lluch Lafuente, A., Vandin, A. & Wirsing, M., 2015, Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Wirsing, M., Hölzl, M., Koch, N. & Mayer, P. (eds.). Springer, p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    264 Downloads (Pure)
  • The SCEL Language: Design, Implementation, Verification

    Rocco De Nicola, R. X., Latella, D., Lluch Lafuente, A., Loreti, M., Margheri, A. M., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F. & Vandin, A., 2015, Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, p. 3-71 (Lecture Notes in Computer Science, Vol. 8998).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    472 Downloads (Pure)
  • Tools for Ensemble Design and Runtime

    Abeywickrama, D. B., Combaz, J., Horký, V., Keznikl, J., Kofron, J., Lluch Lafuente, A., Loreti, M., Andrea Margheri, A., Mayer, P., Monreale, V., Montanari, U., Pinciroli, C., Tuma, P., Vandin, A. & Vassev, E., 2015, Software Engineering for Collective Autonomic Systems: The ASCENS Approach. Springer, p. 429-448 (Lecture Notes in Computer Science, Vol. 8998).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2013

    Adaptation is a Game

    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2013, Tiny Transactions on Computer Science. Vol. 2.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review