---
_id: '3905'
author:
- first_name: Chamsi
full_name: Abu Quba Rana, Chamsi
last_name: Abu Quba Rana
- first_name: Salima
full_name: Hassas, Salima
last_name: Hassas
- first_name: Fayyad
full_name: Usama, Fayyad
last_name: Usama
- first_name: Milad
full_name: Alshomary, Milad
id: '73059'
last_name: Alshomary
- first_name: Christine
full_name: Gertosio, Christine
last_name: Gertosio
citation:
ama: 'Abu Quba Rana C, Hassas S, Usama F, Alshomary M, Gertosio C. iSoNTRE: The
Social Network Transformer into Recommendation Engine. 2014 IEEE/ACS 11th International
Conference on Computer Systems and Applications (AICCSA). 2014:169-175.'
apa: 'Abu Quba Rana, C., Hassas, S., Usama, F., Alshomary, M., & Gertosio, C.
(2014). iSoNTRE: The Social Network Transformer into Recommendation Engine. 2014
IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA),
169–175.'
bibtex: '@article{Abu Quba Rana_Hassas_Usama_Alshomary_Gertosio_2014, title={iSoNTRE:
The Social Network Transformer into Recommendation Engine}, journal={2014 IEEE/ACS
11th International Conference on Computer Systems and Applications (AICCSA)},
author={Abu Quba Rana, Chamsi and Hassas, Salima and Usama, Fayyad and Alshomary,
Milad and Gertosio, Christine}, year={2014}, pages={169–175} }'
chicago: 'Abu Quba Rana, Chamsi, Salima Hassas, Fayyad Usama, Milad Alshomary, and
Christine Gertosio. “ISoNTRE: The Social Network Transformer into Recommendation
Engine.” 2014 IEEE/ACS 11th International Conference on Computer Systems and
Applications (AICCSA), 2014, 169–75.'
ieee: 'C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, and C. Gertosio, “iSoNTRE:
The Social Network Transformer into Recommendation Engine,” 2014 IEEE/ACS 11th
International Conference on Computer Systems and Applications (AICCSA), pp.
169–175, 2014.'
mla: 'Abu Quba Rana, Chamsi, et al. “ISoNTRE: The Social Network Transformer into
Recommendation Engine.” 2014 IEEE/ACS 11th International Conference on Computer
Systems and Applications (AICCSA), 2014, pp. 169–75.'
short: C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, C. Gertosio, 2014 IEEE/ACS
11th International Conference on Computer Systems and Applications (AICCSA) (2014)
169–175.
date_created: 2018-08-14T13:35:39Z
date_updated: 2022-01-06T06:59:54Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/7073195
page: 169-175
publication: 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications
(AICCSA)
status: public
title: 'iSoNTRE: The Social Network Transformer into Recommendation Engine'
type: journal_article
user_id: '73059'
year: '2014'
...
---
_id: '2900'
author:
- first_name: Sascha
full_name: Brauer, Sascha
id: '13291'
last_name: Brauer
citation:
ama: Brauer S. A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures.; 2014.
apa: Brauer, S. (2014). A Probabilistic Expectation Maximization Algorithm for
Multivariate Laplacian Mixtures.
bibtex: '@book{Brauer_2014, title={A Probabilistic Expectation Maximization Algorithm
for Multivariate Laplacian Mixtures}, author={Brauer, Sascha}, year={2014} }'
chicago: Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for
Multivariate Laplacian Mixtures, 2014.
ieee: S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures. 2014.
mla: Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures. 2014.
short: S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures, 2014.
date_created: 2018-05-25T09:45:38Z
date_updated: 2022-01-06T06:58:44Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: closed
content_type: application/pdf
creator: feidens
date_created: 2018-05-25T09:45:33Z
date_updated: 2018-05-25T09:45:33Z
file_id: '2901'
file_name: 2014_Brauer_AProbabilisticExpectationMaximizationAlgorithmForMultivariateLaplacianMixtures.pdf
file_size: 971935
relation: main_file
success: 1
file_date_updated: 2018-05-25T09:45:33Z
has_accepted_license: '1'
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian
Mixtures
type: mastersthesis
user_id: '25078'
year: '2014'
...
---
_id: '2976'
author:
- first_name: Marcel Rudolf
full_name: Ackermann, Marcel Rudolf
last_name: Ackermann
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
citation:
ama: Ackermann MR, Blömer J, Kuntze D, Sohler C. Analysis of Agglomerative Clustering.
Algorithmica. 2014;69. doi:10.1007/s00453-012-9717-4
apa: Ackermann, M. R., Blömer, J., Kuntze, D., & Sohler, C. (2014). Analysis
of Agglomerative Clustering. Algorithmica, 69. https://doi.org/10.1007/s00453-012-9717-4
bibtex: '@article{Ackermann_Blömer_Kuntze_Sohler_2014, title={Analysis of Agglomerative
Clustering}, volume={69}, DOI={10.1007/s00453-012-9717-4},
journal={Algorithmica}, publisher={Springer US}, author={Ackermann, Marcel Rudolf
and Blömer, Johannes and Kuntze, Daniel and Sohler, Christian}, year={2014} }'
chicago: Ackermann, Marcel Rudolf, Johannes Blömer, Daniel Kuntze, and Christian
Sohler. “Analysis of Agglomerative Clustering.” Algorithmica 69 (2014).
https://doi.org/10.1007/s00453-012-9717-4.
ieee: M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative
Clustering,” Algorithmica, vol. 69, 2014.
mla: Ackermann, Marcel Rudolf, et al. “Analysis of Agglomerative Clustering.” Algorithmica,
vol. 69, Springer US, 2014, doi:10.1007/s00453-012-9717-4.
short: M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
date_created: 2018-06-05T07:28:52Z
date_updated: 2022-01-06T06:58:49Z
department:
- _id: '64'
doi: 10.1007/s00453-012-9717-4
intvolume: ' 69'
publication: Algorithmica
publication_identifier:
eissn:
- 0178-4617
publication_status: published
publisher: Springer US
status: public
title: Analysis of Agglomerative Clustering
type: journal_article
user_id: '25078'
volume: 69
year: '2014'
...
---
_id: '2977'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Kathrin
full_name: Bujna, Kathrin
last_name: Bujna
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
citation:
ama: 'Blömer J, Bujna K, Kuntze D. A Theoretical and Experimental Comparison of
the EM and SEM Algorithm. In: 2014 22nd International Conference on Pattern
Recognition. IEEE; 2014. doi:10.1109/icpr.2014.253'
apa: Blömer, J., Bujna, K., & Kuntze, D. (2014). A Theoretical and Experimental
Comparison of the EM and SEM Algorithm. In 2014 22nd International Conference
on Pattern Recognition. IEEE. https://doi.org/10.1109/icpr.2014.253
bibtex: '@inproceedings{Blömer_Bujna_Kuntze_2014, title={A Theoretical and Experimental
Comparison of the EM and SEM Algorithm}, DOI={10.1109/icpr.2014.253},
booktitle={2014 22nd International Conference on Pattern Recognition}, publisher={IEEE},
author={Blömer, Johannes and Bujna, Kathrin and Kuntze, Daniel}, year={2014} }'
chicago: Blömer, Johannes, Kathrin Bujna, and Daniel Kuntze. “A Theoretical and
Experimental Comparison of the EM and SEM Algorithm.” In 2014 22nd International
Conference on Pattern Recognition. IEEE, 2014. https://doi.org/10.1109/icpr.2014.253.
ieee: J. Blömer, K. Bujna, and D. Kuntze, “A Theoretical and Experimental Comparison
of the EM and SEM Algorithm,” in 2014 22nd International Conference on Pattern
Recognition, 2014.
mla: Blömer, Johannes, et al. “A Theoretical and Experimental Comparison of the
EM and SEM Algorithm.” 2014 22nd International Conference on Pattern Recognition,
IEEE, 2014, doi:10.1109/icpr.2014.253.
short: 'J. Blömer, K. Bujna, D. Kuntze, in: 2014 22nd International Conference on
Pattern Recognition, IEEE, 2014.'
date_created: 2018-06-05T07:29:15Z
date_updated: 2022-01-06T06:58:49Z
department:
- _id: '64'
doi: 10.1109/icpr.2014.253
publication: 2014 22nd International Conference on Pattern Recognition
publication_identifier:
isbn:
- '9781479952090'
publication_status: published
publisher: IEEE
status: public
title: A Theoretical and Experimental Comparison of the EM and SEM Algorithm
type: conference
user_id: '25078'
year: '2014'
...
---
_id: '3127'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
citation:
ama: Jager T. Die Zukunft der Kryptographie. Datenschutz und Datensicherheit.
2014;(7):445--451. doi:10.1007/s11623-014-0204-8
apa: Jager, T. (2014). Die Zukunft der Kryptographie. Datenschutz Und Datensicherheit,
(7), 445--451. https://doi.org/10.1007/s11623-014-0204-8
bibtex: '@article{Jager_2014, title={Die Zukunft der Kryptographie}, DOI={10.1007/s11623-014-0204-8},
number={7}, journal={Datenschutz und Datensicherheit}, author={Jager, Tibor},
year={2014}, pages={445--451} }'
chicago: 'Jager, Tibor. “Die Zukunft Der Kryptographie.” Datenschutz Und Datensicherheit,
no. 7 (2014): 445--451. https://doi.org/10.1007/s11623-014-0204-8.'
ieee: T. Jager, “Die Zukunft der Kryptographie,” Datenschutz und Datensicherheit,
no. 7, pp. 445--451, 2014.
mla: Jager, Tibor. “Die Zukunft Der Kryptographie.” Datenschutz Und Datensicherheit,
no. 7, 2014, pp. 445--451, doi:10.1007/s11623-014-0204-8.
short: T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.
date_created: 2018-06-07T09:21:18Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/s11623-014-0204-8
extern: '1'
issue: '7'
page: 445--451
publication: Datenschutz und Datensicherheit
status: public
title: Die Zukunft der Kryptographie
type: journal_article
user_id: '38235'
year: '2014'
...
---
_id: '3128'
author:
- first_name: Nils
full_name: Fleischhacker, Nils
last_name: Fleischhacker
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Dominique
full_name: Schröder, Dominique
last_name: Schröder
citation:
ama: 'Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr
Signatures. In: Advances in Cryptology - ASIACRYPT 2014 - 20th International
Conference on the Theory and Application of Cryptology and Information Security,
Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I. ; 2014:512--531.
doi:10.1007/978-3-662-45611-8_27'
apa: Fleischhacker, N., Jager, T., & Schröder, D. (2014). On Tight Security
Proofs for Schnorr Signatures. In Advances in Cryptology - ASIACRYPT 2014 -
20th International Conference on the Theory and Application of Cryptology and
Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings,
Part I (pp. 512--531). https://doi.org/10.1007/978-3-662-45611-8_27
bibtex: '@inproceedings{Fleischhacker_Jager_Schröder_2014, title={On Tight Security
Proofs for Schnorr Signatures}, DOI={10.1007/978-3-662-45611-8_27},
booktitle={Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference
on the Theory and Application of Cryptology and Information Security, Kaoshiung,
Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I}, author={Fleischhacker,
Nils and Jager, Tibor and Schröder, Dominique}, year={2014}, pages={512--531}
}'
chicago: Fleischhacker, Nils, Tibor Jager, and Dominique Schröder. “On Tight Security
Proofs for Schnorr Signatures.” In Advances in Cryptology - ASIACRYPT 2014
- 20th International Conference on the Theory and Application of Cryptology and
Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings,
Part I, 512--531, 2014. https://doi.org/10.1007/978-3-662-45611-8_27.
ieee: N. Fleischhacker, T. Jager, and D. Schröder, “On Tight Security Proofs for
Schnorr Signatures,” in Advances in Cryptology - ASIACRYPT 2014 - 20th International
Conference on the Theory and Application of Cryptology and Information Security,
Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014,
pp. 512--531.
mla: Fleischhacker, Nils, et al. “On Tight Security Proofs for Schnorr Signatures.”
Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on
the Theory and Application of Cryptology and Information Security, Kaoshiung,
Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531,
doi:10.1007/978-3-662-45611-8_27.
short: 'N. Fleischhacker, T. Jager, D. Schröder, in: Advances in Cryptology - ASIACRYPT
2014 - 20th International Conference on the Theory and Application of Cryptology
and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings,
Part I, 2014, pp. 512--531.'
date_created: 2018-06-07T09:21:46Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-662-45611-8_27
extern: '1'
page: 512--531
publication: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference
on the Theory and Application of Cryptology and Information Security, Kaoshiung,
Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I
status: public
title: On Tight Security Proofs for Schnorr Signatures
type: conference
user_id: '38235'
year: '2014'
...
---
_id: '3167'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement.
Formal Asp Comput. 2014;(2):251--280. doi:10.1007/s00165-012-0265-0
apa: Schneider, S., Treharne, H., & Wehrheim, H. (2014). The behavioural semantics
of Event-B refinement. Formal Asp. Comput., (2), 251--280. https://doi.org/10.1007/s00165-012-0265-0
bibtex: '@article{Schneider_Treharne_Wehrheim_2014, title={The behavioural semantics
of Event-B refinement}, DOI={10.1007/s00165-012-0265-0},
number={2}, journal={Formal Asp. Comput.}, author={Schneider, Steve and Treharne,
Helen and Wehrheim, Heike}, year={2014}, pages={251--280} }'
chicago: 'Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural
Semantics of Event-B Refinement.” Formal Asp. Comput., no. 2 (2014): 251--280.
https://doi.org/10.1007/s00165-012-0265-0.'
ieee: S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of
Event-B refinement,” Formal Asp. Comput., no. 2, pp. 251--280, 2014.
mla: Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.”
Formal Asp. Comput., no. 2, 2014, pp. 251--280, doi:10.1007/s00165-012-0265-0.
short: S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
date_created: 2018-06-13T07:55:10Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1007/s00165-012-0265-0
issue: '2'
page: 251--280
publication: Formal Asp. Comput.
status: public
title: The behavioural semantics of Event-B refinement
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3168'
author:
- first_name: Bogdan
full_name: Tofan, Bogdan
last_name: Tofan
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability
of multiset. Sci Comput Program. 2014:297--314. doi:10.1016/j.scico.2014.04.001
apa: Tofan, B., Travkin, O., Schellhorn, G., & Wehrheim, H. (2014). Two approaches
for proving linearizability of multiset. Sci. Comput. Program., 297--314.
https://doi.org/10.1016/j.scico.2014.04.001
bibtex: '@article{Tofan_Travkin_Schellhorn_Wehrheim_2014, title={Two approaches
for proving linearizability of multiset}, DOI={10.1016/j.scico.2014.04.001},
journal={Sci. Comput. Program.}, author={Tofan, Bogdan and Travkin, Oleg and Schellhorn,
Gerhard and Wehrheim, Heike}, year={2014}, pages={297--314} }'
chicago: Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two
Approaches for Proving Linearizability of Multiset.” Sci. Comput. Program.,
2014, 297--314. https://doi.org/10.1016/j.scico.2014.04.001.
ieee: B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for
proving linearizability of multiset,” Sci. Comput. Program., pp. 297--314,
2014.
mla: Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.”
Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.
short: B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014)
297--314.
date_created: 2018-06-13T07:56:12Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1016/j.scico.2014.04.001
page: 297--314
publication: Sci. Comput. Program.
status: public
title: Two approaches for proving linearizability of multiset
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3169'
author:
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for
Linearizability of Concurrent Data Structures. {ACM} Trans Comput Log.
2014;(4):31:1--31:37. doi:10.1145/2629496
apa: Schellhorn, G., Derrick, J., & Wehrheim, H. (2014). A Sound and Complete
Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans.
Comput. Log., (4), 31:1--31:37. https://doi.org/10.1145/2629496
bibtex: '@article{Schellhorn_Derrick_Wehrheim_2014, title={A Sound and Complete
Proof Technique for Linearizability of Concurrent Data Structures}, DOI={10.1145/2629496},
number={4}, journal={{ACM} Trans. Comput. Log.}, author={Schellhorn, Gerhard and
Derrick, John and Wehrheim, Heike}, year={2014}, pages={31:1--31:37} }'
chicago: 'Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete
Proof Technique for Linearizability of Concurrent Data Structures.” {ACM} Trans.
Comput. Log., no. 4 (2014): 31:1--31:37. https://doi.org/10.1145/2629496.'
ieee: G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique
for Linearizability of Concurrent Data Structures,” {ACM} Trans. Comput. Log.,
no. 4, pp. 31:1--31:37, 2014.
mla: Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability
of Concurrent Data Structures.” {ACM} Trans. Comput. Log., no. 4, 2014,
pp. 31:1--31:37, doi:10.1145/2629496.
short: G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014)
31:1--31:37.
date_created: 2018-06-13T07:57:31Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1145/2629496
issue: '4'
page: 31:1--31:37
publication: '{ACM} Trans. Comput. Log.'
status: public
title: A Sound and Complete Proof Technique for Linearizability of Concurrent Data
Structures
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3170'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Bogdan
full_name: Tofan, Bogdan
last_name: Tofan
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent
Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari
P, Sun J, eds. {FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214.
doi:10.1007/978-3-319-06410-9_15'
apa: 'Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., & Wehrheim,
H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability.
In C. B. Jones, P. Pihlajasaari, & J. Sun (Eds.), {FM} 2014: Formal Methods
- 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp.
200--214). https://doi.org/10.1007/978-3-319-06410-9_15'
bibtex: '@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture
Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying
Relaxed Linearizability}, DOI={10.1007/978-3-319-06410-9_15},
booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn,
Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones,
Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214},
collection={Lecture Notes in Computer Science} }'
chicago: 'Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg
Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed
Linearizability.” In {FM} 2014: Formal Methods - 19th International Symposium,
Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari,
and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-06410-9_15.'
ieee: 'J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim,
“Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in {FM}
2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014.
Proceedings, 2014, pp. 200--214.'
mla: 'Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed
Linearizability.” {FM} 2014: Formal Methods - 19th International Symposium,
Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al.,
2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.'
short: 'J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim,
in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th
International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.'
date_created: 2018-06-13T07:58:40Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-06410-9_15
editor:
- first_name: Cliff
full_name: B. Jones, Cliff
last_name: B. Jones
- first_name: Pekka
full_name: Pihlajasaari, Pekka
last_name: Pihlajasaari
- first_name: Jun
full_name: Sun, Jun
last_name: Sun
page: 200--214
publication: '{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: 'Quiescent Consistency: Defining and Verifying Relaxed Linearizability'
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3171'
author:
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs.
In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11'
apa: 'Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability
Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing
- 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel,
November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/10.1007/978-3-319-13338-6_11'
bibtex: '@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer
Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11},
booktitle={Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor},
year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability
Proofs.” In Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science,
2014. https://doi.org/10.1007/978-3-319-13338-6_11.'
ieee: 'O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability
Proofs,” in Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings, 2014, pp. 132--147.'
mla: 'Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability
Proofs.” Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.'
short: 'O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification
and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa,
Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.'
date_created: 2018-06-13T07:59:46Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-13338-6_11
editor:
- first_name: Eran
full_name: Yahav, Eran
last_name: Yahav
page: 132--147
publication: 'Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Handling {TSO} in Mechanized Linearizability Proofs
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3172'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones.
In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International
Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218.
doi:10.1007/978-3-319-11737-9_14'
apa: Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3}
with Zones. In S. Merz & J. Pang (Eds.), Formal Methods and Software Engineering
- 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg,
Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
bibtex: '@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer
Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={10.1007/978-3-319-11737-9_14},
booktitle={Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz,
Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture
Notes in Computer Science} }'
chicago: Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via
{IC3} with Zones.” In Formal Methods and Software Engineering - 16th International
Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 203--218.
Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-11737-9_14.
ieee: T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,”
in Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
3-5, 2014. Proceedings, 2014, pp. 203--218.
mla: Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3}
with Zones.” Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218,
doi:10.1007/978-3-319-11737-9_14.
short: 'T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and
Software Engineering - 16th International Conference on Formal Engineering Methods,
{ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp.
203--218.'
date_created: 2018-06-13T08:01:04Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-11737-9_14
editor:
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
- first_name: Jun
full_name: Pang, Jun
last_name: Pang
page: 203--218
publication: Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5,
2014. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Timed Automata Verification via {IC3} with Zones
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3173'
author:
- first_name: Steve
full_name: A. Schneider, Steve
last_name: A. Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: David
full_name: M. Williams, David
last_name: M. Williams
citation:
ama: 'A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties
in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods
- 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11,
2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14'
apa: A. Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014).
Managing {LTL} Properties in Event-B Refinement. In E. Albert & E. Sekerinski
(Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237). https://doi.org/10.1007/978-3-319-10181-1_14
bibtex: '@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture
Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement},
DOI={10.1007/978-3-319-10181-1_14},
booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve
and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert,
Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture
Notes in Computer Science} }'
chicago: A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams.
“Managing {LTL} Properties in Event-B Refinement.” In Integrated Formal Methods
- 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11,
2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237.
Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-10181-1_14.
ieee: S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL}
Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International
Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings,
2014, pp. 221--237.
mla: A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.”
Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro,
Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil
Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
short: 'S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert,
E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference,
{IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.'
date_created: 2018-06-13T08:04:33Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-10181-1_14
editor:
- first_name: Elvira
full_name: Albert, Elvira
last_name: Albert
- first_name: Emil
full_name: Sekerinski, Emil
last_name: Sekerinski
page: 221--237
publication: Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Managing {LTL} Properties in Event-B Refinement
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3174'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: David
full_name: M. Williams, David
last_name: M. Williams
citation:
ama: Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties
in Event-B refinement. CoRR. 2014.
apa: Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing
{LTL} properties in Event-B refinement. CoRR.
bibtex: '@article{Schneider_Treharne_Wehrheim_M. Williams_2014, title={Managing
{LTL} properties in Event-B refinement}, journal={CoRR}, author={Schneider, Steve
and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, year={2014} }'
chicago: Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams.
“Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
ieee: S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL}
properties in Event-B refinement,” CoRR, 2014.
mla: Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.”
CoRR, 2014.
short: S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
date_created: 2018-06-13T08:05:39Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
publication: CoRR
status: public
title: Managing {LTL} properties in Event-B refinement
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3175'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
apa: Isenberg, T., & Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}.
CoRR.
bibtex: '@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}},
journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }'
chicago: Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.”
CoRR, 2014.
ieee: T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” CoRR,
2014.
mla: Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.”
CoRR, 2014.
short: T. Isenberg, H. Wehrheim, CoRR (2014).
date_created: 2018-06-13T08:07:24Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
publication: CoRR
status: public
title: Proof-Carrying Hardware via {IC3}
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '27166'
author:
- first_name: Reinhard
full_name: Keil, Reinhard
last_name: Keil
- first_name: Harald
full_name: Selke, Harald
id: '497'
last_name: Selke
- first_name: Felix
full_name: Winkelnkemper, Felix
id: '3117'
last_name: Winkelnkemper
citation:
ama: Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide
Web. Trahasch S, Pl {\ "o} tzner R, Schneider G, Gayer C, Sassiat D, W {\ "o}
hrle N, eds. Published online 2014:51–60.
apa: Keil, R., Selke, H., & Winkelnkemper, F. (2014). Twenty years of learning
with the World Wide Web (S. Trahasch, R. Pl {\ "o} tzner , G. Schneider,
C. Gayer, D. Sassiat, & N. W {\ "o} hrle, Eds.; pp. 51–60).
bibtex: '@article{Keil_Selke_Winkelnkemper_2014, series={Lecture Notes in Informatics
(LNI)}, title={Twenty years of learning with the World Wide Web}, author={Keil,
Reinhard and Selke, Harald and Winkelnkemper, Felix}, editor={Trahasch, Stephan
and Pl {\ "o} tzner , Rolf and Schneider, Gerhard and Gayer, Claudia and Sassiat,
Daniel and W {\ "o} hrle, Nicole}, year={2014}, pages={51–60}, collection={Lecture
Notes in Informatics (LNI)} }'
chicago: Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of
Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf Pl {\ "o}
tzner , Gerhard Schneider, Claudia Gayer, Daniel Sassiat, and Nicole W {\ "o}
hrle. Lecture Notes in Informatics (LNI), 2014.
ieee: R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the
World Wide Web.” pp. 51–60, 2014.
mla: Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web.
Edited by Stephan Trahasch et al., 2014, pp. 51–60.
short: R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
date_created: 2021-11-05T23:07:46Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
editor:
- first_name: Stephan
full_name: Trahasch, Stephan
last_name: Trahasch
- first_name: 'Rolf '
full_name: ' Pl {\ "o} tzner , Rolf '
last_name: ' Pl {\ "o} tzner '
- first_name: Gerhard
full_name: Schneider, Gerhard
last_name: Schneider
- first_name: 'Claudia '
full_name: 'Gayer, Claudia '
last_name: Gayer
- first_name: Daniel
full_name: Sassiat, Daniel
last_name: Sassiat
- first_name: Nicole
full_name: W {\ "o} hrle, Nicole
last_name: W {\ "o} hrle
language:
- iso: eng
page: 51–60
publication_status: published
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Twenty years of learning with the World Wide Web
type: conference
user_id: '71124'
year: '2014'
...
---
_id: '27167'
author:
- first_name: Felix
full_name: Winkelnkemper, Felix
id: '3117'
last_name: Winkelnkemper
- first_name: Reinhard
full_name: Keil, Reinhard
last_name: Keil
citation:
ama: 'Winkelnkemper F, Keil R. Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie
des Flat Design. In: Butz A, Schlichter J, eds. Vol 2014. Oldenbourg Verlag;
2014:255-264.'
apa: Winkelnkemper, F., & Keil, R. (2014). Zwischen Design und Flexibilit{\"a}t
- Zur Ergonomie des Flat Design (A. Butz & J. Schlichter, Eds.; Vol.
2014, pp. 255–264). Oldenbourg Verlag.
bibtex: '@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\"a}t
- Zur Ergonomie des Flat Design}, volume={2014}, publisher={Oldenbourg Verlag},
author={Winkelnkemper, Felix and Keil, Reinhard}, editor={Butz, Andreas and Schlichter,
Johann}, year={2014}, pages={255–264} }'
chicago: Winkelnkemper, Felix, and Reinhard Keil. “Zwischen Design Und Flexibilit{\"a}t
- Zur Ergonomie Des Flat Design.” edited by Andreas Butz and Johann Schlichter,
2014:255–64. Oldenbourg Verlag, 2014.
ieee: F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit{\"a}t - Zur
Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264.
mla: Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit{\"a}t
- Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann Schlichter,
vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.
short: 'F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg
Verlag, 2014, pp. 255–264.'
date_created: 2021-11-05T23:12:49Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
editor:
- first_name: Andreas
full_name: Butz, Andreas
last_name: Butz
- first_name: Johann
full_name: ' Schlichter, Johann'
last_name: ' Schlichter'
intvolume: ' 2014'
language:
- iso: eng
page: 255-264
publication_status: published
publisher: Oldenbourg Verlag
status: public
title: Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design
type: conference
user_id: '71124'
volume: 2014
year: '2014'
...
---
_id: '20983'
abstract:
- lang: eng
text: In many areas, such as automotive, healthcare, or production, we find software-intensive
systems with complex real-time requirements. To efficiently ensure the quality
of these systems, engineers require automated tools for the validation of the
requirements throughout the development. This, however, requires that the requirements
are specified in an analyzable way. We propose modeling the specification using
Modal Sequence Diagrams (MSDs), which express what a system may, must, or must
not do in certain situations. MSDs can be executed via the play-out algorithm
to investigate the behavior emerging from the interplay of multiple scenarios;
we can also test if traces of the final product satisfy all scenarios. In this
paper, we present the first tool supporting the play-out of MSDs with real-time
constraints. As a case study, we modeled the requirements on gear shifts in an
upcoming standard on vehicle testing and use our tool to validate externally generated
gear shift sequences.
author:
- first_name: Christian
full_name: Brenner, Christian
last_name: Brenner
- first_name: Joel
full_name: Greenyer, Joel
last_name: Greenyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Grischa
full_name: Liebel, Grischa
last_name: Liebel
- first_name: Gerald
full_name: Stieglbauer, Gerald
last_name: Stieglbauer
- first_name: Matthias
full_name: Tichy, Matthias
last_name: Tichy
citation:
ama: 'Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools
Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In:
Proceedings of the 13th International Workshop on Graph Transformation and
Visual Modeling Techniques (GT-VMT 2014). ; 2014.'
apa: Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &
Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation
in an Automotive Case Study. Proceedings of the 13th International Workshop
on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
bibtex: '@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014,
title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph
Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner,
Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer,
Gerald and Tichy, Matthias}, year={2014} }'
chicago: Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald
Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence
Validation in an Automotive Case Study.” In Proceedings of the 13th International
Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014),
2014.
ieee: C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy,
“ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
Case Study,” 2014.
mla: Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence
Validation in an Automotive Case Study.” Proceedings of the 13th International
Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014),
2014.
short: 'C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy,
in: Proceedings of the 13th International Workshop on Graph Transformation and
Visual Modeling Techniques (GT-VMT 2014), 2014.'
date_created: 2021-01-13T13:36:09Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 13th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT 2014)
status: public
title: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
Case Study
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '17659'
author:
- first_name: Gleb
full_name: Polevoy, Gleb
id: '83983'
last_name: Polevoy
- first_name: Stojan
full_name: Trajanovski, Stojan
last_name: Trajanovski
- first_name: Mathijs M.
full_name: de Weerdt, Mathijs M.
last_name: de Weerdt
citation:
ama: 'Polevoy G, Trajanovski S, de Weerdt MM. Nash Equilibria in Shared Effort Games.
In: Proceedings of the 2014 International Conference on Autonomous Agents and
Multi-Agent Systems. AAMAS ’14. Richland, SC: International Foundation for
Autonomous Agents and Multiagent Systems; 2014:861-868.'
apa: 'Polevoy, G., Trajanovski, S., & de Weerdt, M. M. (2014). Nash Equilibria
in Shared Effort Games. In Proceedings of the 2014 International Conference
on Autonomous Agents and Multi-agent Systems (pp. 861–868). Richland, SC:
International Foundation for Autonomous Agents and Multiagent Systems.'
bibtex: '@inproceedings{Polevoy_Trajanovski_de Weerdt_2014, place={Richland, SC},
series={AAMAS ’14}, title={Nash Equilibria in Shared Effort Games}, booktitle={Proceedings
of the 2014 International Conference on Autonomous Agents and Multi-agent Systems},
publisher={International Foundation for Autonomous Agents and Multiagent Systems},
author={Polevoy, Gleb and Trajanovski, Stojan and de Weerdt, Mathijs M.}, year={2014},
pages={861–868}, collection={AAMAS ’14} }'
chicago: 'Polevoy, Gleb, Stojan Trajanovski, and Mathijs M. de Weerdt. “Nash Equilibria
in Shared Effort Games.” In Proceedings of the 2014 International Conference
on Autonomous Agents and Multi-Agent Systems, 861–68. AAMAS ’14. Richland,
SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.'
ieee: G. Polevoy, S. Trajanovski, and M. M. de Weerdt, “Nash Equilibria in Shared
Effort Games,” in Proceedings of the 2014 International Conference on Autonomous
Agents and Multi-agent Systems, 2014, pp. 861–868.
mla: Polevoy, Gleb, et al. “Nash Equilibria in Shared Effort Games.” Proceedings
of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems,
International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp.
861–68.
short: 'G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014
International Conference on Autonomous Agents and Multi-Agent Systems, International
Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp.
861–868.'
date_created: 2020-08-06T15:21:26Z
date_updated: 2022-01-06T06:53:16Z
department:
- _id: '63'
- _id: '541'
extern: '1'
keyword:
- competition
- equilibrium
- market
- models
- shared effort games
- simulation
language:
- iso: eng
page: 861-868
place: Richland, SC
publication: Proceedings of the 2014 International Conference on Autonomous Agents
and Multi-agent Systems
publication_identifier:
isbn:
- 978-1-4503-2738-1
publisher: International Foundation for Autonomous Agents and Multiagent Systems
series_title: AAMAS '14
status: public
title: Nash Equilibria in Shared Effort Games
type: conference
user_id: '83983'
year: '2014'
...
---
_id: '17660'
author:
- first_name: Gleb
full_name: Polevoy, Gleb
id: '83983'
last_name: Polevoy
- first_name: Mathijs M.
full_name: de Weerdt, Mathijs M.
last_name: de Weerdt
citation:
ama: 'Polevoy G, de Weerdt MM. Improving Human Interaction in Crowdsensing. In:
Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent
Systems. AAMAS ’14. Richland, SC: International Foundation for Autonomous
Agents and Multiagent Systems; 2014:1741-1742.'
apa: 'Polevoy, G., & de Weerdt, M. M. (2014). Improving Human Interaction in
Crowdsensing. In Proceedings of the 2014 International Conference on Autonomous
Agents and Multi-agent Systems (pp. 1741–1742). Richland, SC: International
Foundation for Autonomous Agents and Multiagent Systems.'
bibtex: '@inproceedings{Polevoy_de Weerdt_2014, place={Richland, SC}, series={AAMAS
’14}, title={Improving Human Interaction in Crowdsensing}, booktitle={Proceedings
of the 2014 International Conference on Autonomous Agents and Multi-agent Systems},
publisher={International Foundation for Autonomous Agents and Multiagent Systems},
author={Polevoy, Gleb and de Weerdt, Mathijs M.}, year={2014}, pages={1741–1742},
collection={AAMAS ’14} }'
chicago: 'Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction
in Crowdsensing.” In Proceedings of the 2014 International Conference on Autonomous
Agents and Multi-Agent Systems, 1741–42. AAMAS ’14. Richland, SC: International
Foundation for Autonomous Agents and Multiagent Systems, 2014.'
ieee: G. Polevoy and M. M. de Weerdt, “Improving Human Interaction in Crowdsensing,”
in Proceedings of the 2014 International Conference on Autonomous Agents and
Multi-agent Systems, 2014, pp. 1741–1742.
mla: Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.”
Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent
Systems, International Foundation for Autonomous Agents and Multiagent Systems,
2014, pp. 1741–42.
short: 'G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference
on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous
Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.'
date_created: 2020-08-06T15:21:35Z
date_updated: 2022-01-06T06:53:16Z
department:
- _id: '63'
- _id: '541'
extern: '1'
keyword:
- dynamics
- emotion modeling
- negotiation
- network interaction
- shared effort game
language:
- iso: eng
page: 1741-1742
place: Richland, SC
publication: Proceedings of the 2014 International Conference on Autonomous Agents
and Multi-agent Systems
publication_identifier:
isbn:
- 978-1-4503-2738-1
publisher: International Foundation for Autonomous Agents and Multiagent Systems
series_title: AAMAS '14
status: public
title: Improving Human Interaction in Crowdsensing
type: conference
user_id: '83983'
year: '2014'
...