Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Henri Hansen; Shang-Wei Lin; Yang Liu; Truong Khan Nguyen; Jun Sun

doi:10.1007/978-3-319-08867-9_26

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khan Nguyen, Jun Sun

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

10 Citations (Scopus)

Translated title of the contribution	Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Original language	English
Title of host publication	Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Editors	Armin Biere, Roderick Bloem
Publisher	Springer International Publishing
Pages	391-406
Number of pages	16
ISBN (Electronic)	978-3-319-08867-9
ISBN (Print)	978-3-319-08866-2
DOIs	https://doi.org/10.1007/978-3-319-08867-9_26
Publication status	Published - 2014
Publication type	A4 Article in conference proceedings
Event	Computer Aided Verification - Duration: 1 Jan 2014 → …

Publication series

Name	Lecture Notes in Computer Science
Volume	8559
ISSN (Print)	0302-9743

Conference

Conference	Computer Aided Verification
Period	1/01/14 → …

Publication forum classification

Publication forum level 2

Access to Document

10.1007/978-3-319-08867-9_26

http://link.springer.com/chapter/10.1007%2F978-3-319-08867-9_26

Cite this

Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K., & Sun, J. (2014). Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. In A. Biere, & R. Bloem (Eds.), Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings (pp. 391-406). (Lecture Notes in Computer Science; Vol. 8559). Springer International Publishing. https://doi.org/10.1007/978-3-319-08867-9_26

Hansen, Henri ; Lin, Shang-Wei ; Liu, Yang et al. / Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. editor / Armin Biere ; Roderick Bloem. Springer International Publishing, 2014. pp. 391-406 (Lecture Notes in Computer Science).

@inproceedings{85501691d9f3436d9e7679b82156cbf6,

title = "Diamonds Are a Girl{\textquoteright}s Best Friend: Partial Order Reduction for Timed Automata with Abstractions",

author = "Henri Hansen and Shang-Wei Lin and Yang Liu and Nguyen, {Truong Khan} and Jun Sun",

note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-12-30<br/>Publisher name: Springer International Publishing; Computer Aided Verification ; Conference date: 01-01-2014",

year = "2014",

doi = "10.1007/978-3-319-08867-9_26",

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "391--406",

editor = "Armin Biere and Roderick Bloem",

booktitle = "Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings",

}

Hansen, H, Lin, S-W, Liu, Y, Nguyen, TK & Sun, J 2014, Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. in A Biere & R Bloem (eds), Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8559, Springer International Publishing, pp. 391-406, Computer Aided Verification, 1/01/14. https://doi.org/10.1007/978-3-319-08867-9_26

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. / Hansen, Henri; Lin, Shang-Wei; Liu, Yang et al.

Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. ed. / Armin Biere; Roderick Bloem. Springer International Publishing, 2014. p. 391-406 (Lecture Notes in Computer Science; Vol. 8559).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

AU - Hansen, Henri

AU - Lin, Shang-Wei

AU - Liu, Yang

AU - Nguyen, Truong Khan

AU - Sun, Jun

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-12-30<br/>Publisher name: Springer International Publishing

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08867-9_26

DO - 10.1007/978-3-319-08867-9_26

M3 - Conference contribution

SN - 978-3-319-08866-2

T3 - Lecture Notes in Computer Science

SP - 391

EP - 406

BT - Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

A2 - Biere, Armin

A2 - Bloem, Roderick

PB - Springer International Publishing

T2 - Computer Aided Verification

Y2 - 1 January 2014

ER -

Hansen H, Lin S-W, Liu Y, Nguyen TK, Sun J. Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. In Biere A, Bloem R, editors, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Springer International Publishing. 2014. p. 391-406. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-08867-9_26