---
_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'
...
---
_id: '17661'
author:
- first_name: Thomas C.
full_name: King, Thomas C.
last_name: King
- first_name: Qingzhi
full_name: Liu, Qingzhi
last_name: Liu
- first_name: Gleb
full_name: Polevoy, Gleb
id: '83983'
last_name: Polevoy
- first_name: Mathijs
full_name: de Weerdt, Mathijs
last_name: de Weerdt
- first_name: Virginia
full_name: Dignum, Virginia
last_name: Dignum
- first_name: M. Birna
full_name: van Riemsdijk, M. Birna
last_name: van Riemsdijk
- first_name: Martijn
full_name: Warnier, Martijn
last_name: Warnier
citation:
ama: 'King TC, Liu Q, Polevoy G, et al. Request Driven Social Sensing. 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:1651-1652.'
apa: 'King, T. C., Liu, Q., Polevoy, G., de Weerdt, M., Dignum, V., van Riemsdijk,
M. B., & Warnier, M. (2014). Request Driven Social Sensing. In Proceedings
of the 2014 International Conference on Autonomous Agents and Multi-agent Systems
(pp. 1651–1652). Richland, SC: International Foundation for Autonomous Agents
and Multiagent Systems.'
bibtex: '@inproceedings{King_Liu_Polevoy_de Weerdt_Dignum_van Riemsdijk_Warnier_2014,
place={Richland, SC}, series={AAMAS ’14}, title={Request Driven Social Sensing},
booktitle={Proceedings of the 2014 International Conference on Autonomous Agents
and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents
and Multiagent Systems}, author={King, Thomas C. and Liu, Qingzhi and Polevoy,
Gleb and de Weerdt, Mathijs and Dignum, Virginia and van Riemsdijk, M. Birna and
Warnier, Martijn}, year={2014}, pages={1651–1652}, collection={AAMAS ’14} }'
chicago: 'King, Thomas C., Qingzhi Liu, Gleb Polevoy, Mathijs de Weerdt, Virginia
Dignum, M. Birna van Riemsdijk, and Martijn Warnier. “Request Driven Social Sensing.”
In Proceedings of the 2014 International Conference on Autonomous Agents and
Multi-Agent Systems, 1651–52. AAMAS ’14. Richland, SC: International Foundation
for Autonomous Agents and Multiagent Systems, 2014.'
ieee: T. C. King et al., “Request Driven Social Sensing,” in Proceedings
of the 2014 International Conference on Autonomous Agents and Multi-agent Systems,
2014, pp. 1651–1652.
mla: King, Thomas C., et al. “Request Driven Social Sensing.” Proceedings of
the 2014 International Conference on Autonomous Agents and Multi-Agent Systems,
International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp.
1651–52.
short: 'T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk,
M. Warnier, 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. 1651–1652.'
date_created: 2020-08-06T15:21:45Z
date_updated: 2022-01-06T06:53:16Z
department:
- _id: '63'
- _id: '541'
extern: '1'
keyword:
- crowd-sensing
- crowdsourcing
- data aggregation
- game theory
- norms
- reciprocation
- self interested agents
- simulation
language:
- iso: eng
page: 1651-1652
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: Request Driven Social Sensing
type: conference
user_id: '83983'
year: '2014'
...
---
_id: '17662'
author:
- first_name: Gleb
full_name: Polevoy, Gleb
id: '83983'
last_name: Polevoy
- first_name: Rann
full_name: Smorodinsky, Rann
last_name: Smorodinsky
- first_name: Moshe
full_name: Tennenholtz, Moshe
last_name: Tennenholtz
citation:
ama: Polevoy G, Smorodinsky R, Tennenholtz M. Signaling Competition and Social Welfare.
ACM Trans Econ Comput. 2014;2(1):1:1-1:16. doi:10.1145/2560766
apa: Polevoy, G., Smorodinsky, R., & Tennenholtz, M. (2014). Signaling Competition
and Social Welfare. ACM Trans. Econ. Comput., 2(1), 1:1-1:16. https://doi.org/10.1145/2560766
bibtex: '@article{Polevoy_Smorodinsky_Tennenholtz_2014, title={Signaling Competition
and Social Welfare}, volume={2}, DOI={10.1145/2560766},
number={1}, journal={ACM Trans. Econ. Comput.}, publisher={ACM}, author={Polevoy,
Gleb and Smorodinsky, Rann and Tennenholtz, Moshe}, year={2014}, pages={1:1-1:16}
}'
chicago: 'Polevoy, Gleb, Rann Smorodinsky, and Moshe Tennenholtz. “Signaling Competition
and Social Welfare.” ACM Trans. Econ. Comput. 2, no. 1 (2014): 1:1-1:16.
https://doi.org/10.1145/2560766.'
ieee: G. Polevoy, R. Smorodinsky, and M. Tennenholtz, “Signaling Competition and
Social Welfare,” ACM Trans. Econ. Comput., vol. 2, no. 1, pp. 1:1-1:16,
2014.
mla: Polevoy, Gleb, et al. “Signaling Competition and Social Welfare.” ACM Trans.
Econ. Comput., vol. 2, no. 1, ACM, 2014, pp. 1:1-1:16, doi:10.1145/2560766.
short: G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014)
1:1-1:16.
date_created: 2020-08-06T15:21:55Z
date_updated: 2022-01-06T06:53:16Z
department:
- _id: '63'
- _id: '541'
doi: 10.1145/2560766
extern: '1'
intvolume: ' 2'
issue: '1'
keyword:
- Competition
- efficiency
- equilibrium
- market
- social welfare
language:
- iso: eng
page: 1:1-1:16
publication: ACM Trans. Econ. Comput.
publication_identifier:
issn:
- 2167-8375
publisher: ACM
status: public
title: Signaling Competition and Social Welfare
type: journal_article
user_id: '83983'
volume: 2
year: '2014'
...
---
_id: '1782'
author:
- first_name: Tobias
full_name: Graf, Tobias
last_name: Graf
- first_name: Lars
full_name: Schaefers, Lars
last_name: Schaefers
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Graf T, Schaefers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In:
Proc. Conf. on Computers and Games (CG). Lecture Notes in Computer Science.
Switzerland: Springer; 2014:14-25. doi:10.1007/978-3-319-09165-5_2'
apa: 'Graf, T., Schaefers, L., & Platzner, M. (2014). On Semeai Detection in
Monte-Carlo Go. In Proc. Conf. on Computers and Games (CG) (pp. 14–25).
Switzerland: Springer. https://doi.org/10.1007/978-3-319-09165-5_2'
bibtex: '@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture
Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={10.1007/978-3-319-09165-5_2},
number={8427}, booktitle={Proc. Conf. on Computers and Games (CG)}, publisher={Springer},
author={Graf, Tobias and Schaefers, Lars and Platzner, Marco}, year={2014}, pages={14–25},
collection={Lecture Notes in Computer Science} }'
chicago: 'Graf, Tobias, Lars Schaefers, and Marco Platzner. “On Semeai Detection
in Monte-Carlo Go.” In Proc. Conf. on Computers and Games (CG), 14–25.
Lecture Notes in Computer Science. Switzerland: Springer, 2014. https://doi.org/10.1007/978-3-319-09165-5_2.'
ieee: T. Graf, L. Schaefers, and M. Platzner, “On Semeai Detection in Monte-Carlo
Go,” in Proc. Conf. on Computers and Games (CG), 2014, no. 8427, pp. 14–25.
mla: Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.” Proc. Conf.
on Computers and Games (CG), no. 8427, Springer, 2014, pp. 14–25, doi:10.1007/978-3-319-09165-5_2.
short: 'T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games
(CG), Springer, Switzerland, 2014, pp. 14–25.'
date_created: 2018-03-26T13:50:37Z
date_updated: 2022-01-06T06:53:20Z
department:
- _id: '27'
- _id: '78'
doi: 10.1007/978-3-319-09165-5_2
issue: '8427'
page: 14-25
place: Switzerland
publication: Proc. Conf. on Computers and Games (CG)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: On Semeai Detection in Monte-Carlo Go
type: conference
user_id: '24135'
year: '2014'
...
---
_id: '19039'
author:
- first_name: Ralf
full_name: Petring, Ralf
last_name: Petring
citation:
ama: 'Petring R. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen
in Echtzeit. Universität Paderborn; 2014.'
apa: 'Petring, R. (2014). Multi-Algorithmen-Rendering: Darstellung heterogener
3-D-Szenen in Echtzeit. Universität Paderborn.'
bibtex: '@book{Petring_2014, place={Universität Paderborn}, title={Multi-Algorithmen-Rendering:
Darstellung heterogener 3-D-Szenen in Echtzeit}, author={Petring, Ralf}, year={2014}
}'
chicago: 'Petring, Ralf. Multi-Algorithmen-Rendering: Darstellung Heterogener
3-D-Szenen in Echtzeit. Universität Paderborn, 2014.'
ieee: 'R. Petring, Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen
in Echtzeit. Universität Paderborn, 2014.'
mla: 'Petring, Ralf. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen
in Echtzeit. 2014.'
short: 'R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen
in Echtzeit, Universität Paderborn, 2014.'
date_created: 2020-09-04T13:20:12Z
date_updated: 2022-01-06T06:53:57Z
department:
- _id: '63'
language:
- iso: eng
place: Universität Paderborn
related_material:
link:
- relation: confirmation
url: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12816
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: 'Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit'
type: dissertation
user_id: '15415'
year: '2014'
...
---
_id: '20905'
author:
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
citation:
ama: 'Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from
Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(SEAA). IEEE Xplore; 2014.'
apa: Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating
Modelica Models from Software Specifications for the Simulation of Cyber-physical
Systems. Proceedings of the 40th Euromicro Conference on Software Engineering
and Advanced Applications (SEAA).
bibtex: '@inproceedings{Pohlmann_Holtmann_Meyer_Gerking_2014, title={Generating
Modelica Models from Software Specifications for the Simulation of Cyber-physical
Systems}, booktitle={Proceedings of the 40th Euromicro Conference on Software
Engineering and Advanced Applications (SEAA)}, publisher={IEEE Xplore}, author={Pohlmann,
Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}, year={2014}
}'
chicago: Pohlmann, Uwe, Jörg Holtmann, Matthias Meyer, and Christopher Gerking.
“Generating Modelica Models from Software Specifications for the Simulation of
Cyber-Physical Systems.” In Proceedings of the 40th Euromicro Conference on
Software Engineering and Advanced Applications (SEAA). IEEE Xplore, 2014.
ieee: U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models
from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.
mla: Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications
for the Simulation of Cyber-Physical Systems.” Proceedings of the 40th Euromicro
Conference on Software Engineering and Advanced Applications (SEAA), IEEE
Xplore, 2014.
short: 'U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th
Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
IEEE Xplore, 2014.'
date_created: 2021-01-12T14:03:55Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 40th Euromicro Conference on Software Engineering
and Advanced Applications (SEAA)
publisher: IEEE Xplore
status: public
title: Generating Modelica Models from Software Specifications for the Simulation
of Cyber-physical Systems
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '20907'
author:
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
citation:
ama: 'Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Method: Model-Driven
Software Engineering of Self-Adaptive Mechatronic Systems. In: Proceedings
of the 36th International Conference on Software Engineering (Posters). ACM,
New York, NY, USA; 2014.'
apa: 'Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M.,
& Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering
of Self-Adaptive Mechatronic Systems. Proceedings of the 36th International
Conference on Software Engineering (Posters).'
bibtex: '@inproceedings{Becker_Dziwok_Gerking_Heinzemann_Schäfer_Meyer_Pohlmann_2014,
title={The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive
Mechatronic Systems}, booktitle={Proceedings of the 36th International Conference
on Software Engineering (Posters)}, publisher={ACM, New York, NY, USA}, author={Becker,
Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian
and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}, year={2014} }'
chicago: 'Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann,
Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method:
Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In Proceedings
of the 36th International Conference on Software Engineering (Posters). ACM,
New York, NY, USA, 2014.'
ieee: 'S. Becker et al., “The MechatronicUML Method: Model-Driven Software
Engineering of Self-Adaptive Mechatronic Systems,” 2014.'
mla: 'Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software
Engineering of Self-Adaptive Mechatronic Systems.” Proceedings of the 36th
International Conference on Software Engineering (Posters), ACM, New York,
NY, USA, 2014.'
short: 'S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U.
Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering
(Posters), ACM, New York, NY, USA, 2014.'
date_created: 2021-01-12T14:06:40Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 36th International Conference on Software Engineering
(Posters)
publisher: ACM, New York, NY, USA
status: public
title: 'The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive
Mechatronic Systems'
type: conference
user_id: '5786'
year: '2014'
...