Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

Søren Debois; Thomas Hildebrandt; Tijs Slaats

doi:10.1007/978-3-319-19249-9_10

Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

Søren Debois, Thomas Hildebrandt, Tijs Slaats

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

29 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Editors	Nikolaj Bjørner, Frank de Boer
Number of pages	18
Publisher	Springer
Publication date	2015
Pages	143-160
ISBN (Print)	978-3-319-19248-2
ISBN (Electronic)	978-3-319-19249-9
DOIs	https://doi.org/10.1007/978-3-319-19249-9_10
Publication status	Published - 2015
Externally published	Yes
Event	20th International Symposium on Formal Methods - Oslo, Norway Duration: 24 Jun 2015 → 26 Jun 2015 Conference number: 20

Conference

Conference	20th International Symposium on Formal Methods
Number	20
Country/Territory	Norway
City	Oslo
Period	24/06/2015 → 26/06/2015

Series	Lecture notes in computer science
Volume	9109
ISSN	0302-9743

Access to Document

10.1007/978-3-319-19249-9_10

Cite this

Debois, S., Hildebrandt, T., & Slaats, T. (2015). Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. In N. Bjørner, & F. de Boer (Eds.), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 143-160). Springer. Lecture notes in computer science Vol. 9109 https://doi.org/10.1007/978-3-319-19249-9_10

Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. ed. / Nikolaj Bjørner; Frank de Boer. Springer, 2015. p. 143-160 (Lecture notes in computer science, Vol. 9109).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Debois, S, Hildebrandt, T & Slaats, T 2015, Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. in N Bjørner & F de Boer (eds), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Lecture notes in computer science, vol. 9109, pp. 143-160, 20th International Symposium on Formal Methods, Oslo, Norway, 24/06/2015. https://doi.org/10.1007/978-3-319-19249-9_10

Debois S, Hildebrandt T, Slaats T. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. In Bjørner N, de Boer F, editors, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer. 2015. p. 143-160. (Lecture notes in computer science, Vol. 9109). https://doi.org/10.1007/978-3-319-19249-9_10

Debois, Søren ; Hildebrandt, Thomas ; Slaats, Tijs. / Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. editor / Nikolaj Bjørner ; Frank de Boer. Springer, 2015. pp. 143-160 (Lecture notes in computer science, Vol. 9109).

@inproceedings{ad2e52728bf140d69439cd8338ef7a05,

title = "Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes",

author = "S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats",

year = "2015",

doi = "10.1007/978-3-319-19249-9_10",

language = "Udefineret/Ukendt",

isbn = "978-3-319-19248-2",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "143--160",

editor = "Nikolaj Bj{\o}rner and {de Boer}, Frank",

booktitle = "FM 2015: Formal Methods",

address = "Schweiz",

note = "null ; Conference date: 24-06-2015 Through 26-06-2015",

}

TY - GEN

T1 - Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

AU - Debois, Søren

AU - Hildebrandt, Thomas

AU - Slaats, Tijs

N1 - Conference code: 20

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-19249-9_10

DO - 10.1007/978-3-319-19249-9_10

M3 - Konferencebidrag i proceedings

SN - 978-3-319-19248-2

T3 - Lecture notes in computer science

SP - 143

EP - 160

BT - FM 2015: Formal Methods

A2 - Bjørner, Nikolaj

A2 - de Boer, Frank

PB - Springer

Y2 - 24 June 2015 through 26 June 2015

ER -