Runtime Verification of Biological Systems

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

21 Citations (Scopus)
Original languageDanish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Number of pages17
Volume7609
Place of PublicationBerlin
PublisherSpringer
Publication date2012
Pages388-404
ISBN (Print)978-3-642-34025-3
ISBN (Electronic)978-3-642-34026-0
DOIs
Publication statusPublished - 2012
EventLeveraging Applications of Formal Methods, Verification and Validation: Applications and Case Studies - Amirandes Hotel, Heraclion, Crete, Greece
Duration: 14 Oct 201219 Oct 2012

Conference

ConferenceLeveraging Applications of Formal Methods, Verification and Validation
LocationAmirandes Hotel
CountryGreece
CityHeraclion, Crete
Period14/10/201219/10/2012
SeriesLecture Notes in Computer Science
Volume7609
ISSN0302-9743

Cite this

David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B., & Sedwards, S. (2012). Runtime Verification of Biological Systems. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Vol. 7609, pp. 388-404). Berlin: Springer. Lecture Notes in Computer Science, Vol.. 7609 https://doi.org/10.1007/978-3-642-34026-0_29
David, Alexandre ; Larsen, Kim Guldstrand ; Legay, Axel ; Mikucionis, Marius ; Poulsen, Danny Bøgsted ; Sedwards, Sean. / Runtime Verification of Biological Systems. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Vol. 7609 Berlin : Springer, 2012. pp. 388-404 (Lecture Notes in Computer Science, Vol. 7609).
@inproceedings{39379ea9b8364f96893b934d52b92d94,
title = "Runtime Verification of Biological Systems",
author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Marius Mikucionis and Poulsen, {Danny B{\o}gsted} and Sean Sedwards",
year = "2012",
doi = "10.1007/978-3-642-34026-0_29",
language = "Dansk",
isbn = "978-3-642-34025-3",
volume = "7609",
pages = "388--404",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change",
publisher = "Springer",
address = "Tyskland",

}

David, A, Larsen, KG, Legay, A, Mikucionis, M, Poulsen, DB & Sedwards, S 2012, Runtime Verification of Biological Systems. in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. vol. 7609, Springer, Berlin, Lecture Notes in Computer Science, vol. 7609, pp. 388-404, Leveraging Applications of Formal Methods, Verification and Validation, Heraclion, Crete, Greece, 14/10/2012. https://doi.org/10.1007/978-3-642-34026-0_29

Runtime Verification of Biological Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Vol. 7609 Berlin : Springer, 2012. p. 388-404.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - Runtime Verification of Biological Systems

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Mikucionis, Marius

AU - Poulsen, Danny Bøgsted

AU - Sedwards, Sean

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84868282414&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-34026-0_29

DO - 10.1007/978-3-642-34026-0_29

M3 - Konferenceartikel i proceeding

SN - 978-3-642-34025-3

VL - 7609

SP - 388

EP - 404

BT - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

PB - Springer

CY - Berlin

ER -

David A, Larsen KG, Legay A, Mikucionis M, Poulsen DB, Sedwards S. Runtime Verification of Biological Systems. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Vol. 7609. Berlin: Springer. 2012. p. 388-404. (Lecture Notes in Computer Science, Vol. 7609). https://doi.org/10.1007/978-3-642-34026-0_29