---
_id: '498'
abstract:
- lang: eng
text: Proof-carrying code approaches aim at safe execution of untrusted code by
having the code producer attach a safety proof to the code which the code consumer
only has to validate. Depending on the type of safety property, proofs can however
become quite large and their validation - though faster than their construction
- still time consuming. In this paper we introduce a new concept for safe execution
of untrusted code. It keeps the idea of putting the time consuming part of proving
on the side of the code producer, however, attaches no proofs to code anymore
but instead uses the proof to transform the program into an equivalent but more
efficiently verifiable program. Code consumers thus still do proving themselves,
however, on a computationally inexpensive level only. Experimental results show
that the proof effort can be reduced by several orders of magnitude, both with
respect to time and space.
author:
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
- first_name: Alexander
full_name: Schremmer, Alexander
last_name: Schremmer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative.
In: Proceedings of the 25th International Conference on Computer Aided Verification
(CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65'
apa: Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Programs from Proofs
– A PCC Alternative. In Proceedings of the 25th International Conference on
Computer Aided Verification (CAV) (pp. 912–927). https://doi.org/10.1007/978-3-642-39799-8_65
bibtex: '@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Programs
from Proofs – A PCC Alternative}, DOI={10.1007/978-3-642-39799-8_65},
booktitle={Proceedings of the 25th International Conference on Computer Aided
Verification (CAV)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim,
Heike}, year={2013}, pages={912–927}, collection={LNCS} }'
chicago: Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from
Proofs – A PCC Alternative.” In Proceedings of the 25th International Conference
on Computer Aided Verification (CAV), 912–27. LNCS, 2013. https://doi.org/10.1007/978-3-642-39799-8_65.
ieee: D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,”
in Proceedings of the 25th International Conference on Computer Aided Verification
(CAV), 2013, pp. 912–927.
mla: Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.” Proceedings
of the 25th International Conference on Computer Aided Verification (CAV),
2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.
short: 'D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International
Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.'
date_created: 2017-10-17T12:42:29Z
date_updated: 2022-01-06T07:01:32Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-642-39799-8_65
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:42:30Z
date_updated: 2018-03-15T13:42:30Z
file_id: '1313'
file_name: 498-WonischSchremmerWehrheim2013.pdf
file_size: 487617
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:42:30Z
has_accepted_license: '1'
language:
- iso: eng
page: 912-927
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 25th International Conference on Computer Aided Verification
(CAV)
series_title: LNCS
status: public
title: Programs from Proofs – A PCC Alternative
type: conference
user_id: '477'
year: '2013'
...
---
_id: '499'
abstract:
- lang: eng
text: We present a new online algorithm for profit-oriented scheduling on multiple
speed-scalable processors.Moreover, we provide a tight analysis of the algorithm's
competitiveness.Our results generalize and improve upon work by \citet{Chan:2010},
which considers a single speed-scalable processor.Using significantly different
techniques, we can not only extend their model to multiprocessors but also prove
an enhanced and tight competitive ratio for our algorithm.In our scheduling problem,
jobs arrive over time and are preemptable.They have different workloads, values,
and deadlines.The scheduler may decide not to finish a job but instead to suffer
a loss equaling the job's value.However, to process a job's workload until its
deadline the scheduler must invest a certain amount of energy.The cost of a schedule
is the sum of lost values and invested energy.In order to finish a job the scheduler
has to determine which processors to use and set their speeds accordingly.A processor's
energy consumption is power $\Power{s}$ integrated over time, where $\Power{s}=s^{\alpha}$
is the power consumption when running at speed $s$.Since we consider the online
variant of the problem, the scheduler has no knowledge about future jobs.This
problem was introduced by~\citet{Chan:2010} for the case of a single processor.They
presented an online algorithm which is $\alpha^{\alpha}+2e\alpha$-competitive.We
provide an online algorithm for the case of multiple processors with an improved
competitive ratio of $\alpha^{\alpha}$.
author:
- first_name: Peter
full_name: Kling, Peter
last_name: Kling
- first_name: Peter
full_name: Pietrzyk, Peter
last_name: Pietrzyk
citation:
ama: 'Kling P, Pietrzyk P. Profitable Scheduling on Multiple Speed-Scalable Processors.
In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and
Architectures (SPAA). ; 2013:251-260. doi:10.1145/2486159.2486183'
apa: Kling, P., & Pietrzyk, P. (2013). Profitable Scheduling on Multiple Speed-Scalable
Processors. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA) (pp. 251–260). https://doi.org/10.1145/2486159.2486183
bibtex: '@inproceedings{Kling_Pietrzyk_2013, title={Profitable Scheduling on Multiple
Speed-Scalable Processors}, DOI={10.1145/2486159.2486183},
booktitle={Proceedings of the 25th ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA)}, author={Kling, Peter and Pietrzyk, Peter}, year={2013},
pages={251–260} }'
chicago: Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable
Processors.” In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA), 251–60, 2013. https://doi.org/10.1145/2486159.2486183.
ieee: P. Kling and P. Pietrzyk, “Profitable Scheduling on Multiple Speed-Scalable
Processors,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA), 2013, pp. 251–260.
mla: Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable
Processors.” Proceedings of the 25th ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA), 2013, pp. 251–60, doi:10.1145/2486159.2486183.
short: 'P. Kling, P. Pietrzyk, in: Proceedings of the 25th ACM Symposium on Parallelism
in Algorithms and Architectures (SPAA), 2013, pp. 251–260.'
date_created: 2017-10-17T12:42:29Z
date_updated: 2022-01-06T07:01:34Z
ddc:
- '040'
department:
- _id: '63'
doi: 10.1145/2486159.2486183
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:40:02Z
date_updated: 2018-03-15T13:40:02Z
file_id: '1310'
file_name: 499-P._Kling__P._Pietryzk_-_Profitable_Scheduling_on_Multiple_Speed-scalable_Processors__2013_.pdf
file_size: 558661
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:40:02Z
has_accepted_license: '1'
language:
- iso: eng
page: '251-260 '
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subproject C4
- _id: '14'
name: SFB 901 - Subproject C2
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and
Architectures (SPAA)
status: public
title: Profitable Scheduling on Multiple Speed-Scalable Processors
type: conference
user_id: '477'
year: '2013'
...
---
_id: '7271'
author:
- first_name: Rogrio
full_name: de Lemos, Rogrio
last_name: de Lemos
- first_name: Holger
full_name: Giese, Holger
last_name: Giese
- first_name: Hausi
full_name: A. Müller, Hausi
last_name: A. Müller
- first_name: Mary
full_name: Shaw, Mary
last_name: Shaw
- first_name: Jesper
full_name: Andersson, Jesper
last_name: Andersson
- first_name: Marin
full_name: Litoiu, Marin
last_name: Litoiu
- first_name: Bradley
full_name: Schmerl, Bradley
last_name: Schmerl
- first_name: Gabriel
full_name: Tamura, Gabriel
last_name: Tamura
- first_name: Norha
full_name: M. Villegas, Norha
last_name: M. Villegas
- first_name: Thomas
full_name: Vogel, Thomas
last_name: Vogel
- first_name: Danny
full_name: Weyns, Danny
last_name: Weyns
- first_name: Luciano
full_name: Baresi, Luciano
last_name: Baresi
- first_name: Basil
full_name: Becker, Basil
last_name: Becker
- first_name: Nelly
full_name: Bencomo, Nelly
last_name: Bencomo
- first_name: Yuriy
full_name: Brun, Yuriy
last_name: Brun
- first_name: Bojan
full_name: Cukic, Bojan
last_name: Cukic
- first_name: Ron
full_name: Desmarais, Ron
last_name: Desmarais
- first_name: Schahram
full_name: Dustdar, Schahram
last_name: Dustdar
- first_name: Gregor
full_name: Engels, Gregor
last_name: Engels
- first_name: Kurt
full_name: Geihs, Kurt
last_name: Geihs
- first_name: Karl
full_name: M. Göschka, Karl
last_name: M. Göschka
- first_name: Alessandra
full_name: Gorla, Alessandra
last_name: Gorla
- first_name: Vincenzo
full_name: Grassi, Vincenzo
last_name: Grassi
- first_name: Paola
full_name: Inverardi, Paola
last_name: Inverardi
- first_name: Gabor
full_name: Karsai, Gabor
last_name: Karsai
- first_name: Jeff
full_name: Kramer, Jeff
last_name: Kramer
- first_name: Antonia
full_name: Lopes, Antonia
last_name: Lopes
- first_name: Jeff
full_name: Magee, Jeff
last_name: Magee
- first_name: Sam
full_name: Malek, Sam
last_name: Malek
- first_name: Serge
full_name: Mankovskii, Serge
last_name: Mankovskii
- first_name: Raffaela
full_name: Mirandola, Raffaela
last_name: Mirandola
- first_name: John
full_name: Mylopoulos, John
last_name: Mylopoulos
- first_name: Oscar
full_name: Nierstrasz, Oscar
last_name: Nierstrasz
- first_name: Mauro
full_name: Pezzè, Mauro
last_name: Pezzè
- first_name: Christian
full_name: Prehofer, Christian
last_name: Prehofer
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Rick
full_name: Schlichting, Rick
last_name: Schlichting
- first_name: Dennis
full_name: B. Smith, Dennis
last_name: B. Smith
- first_name: Joao
full_name: Pedro Sousa, Joao
last_name: Pedro Sousa
- first_name: Ladan
full_name: Tahvildari, Ladan
last_name: Tahvildari
- first_name: Kenny
full_name: Wong, Kenny
last_name: Wong
- first_name: Jochen
full_name: Wuttke, Jochen
last_name: Wuttke
citation:
ama: 'de Lemos R, Giese H, A. Müller H, et al. Software Engineering for Self-Adaptive
Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive
Systems II. 2013:1-32. doi:10.1007/978-3-642-35813-5_1'
apa: 'de Lemos, R., Giese, H., A. Müller, H., Shaw, M., Andersson, J., Litoiu, M.,
… Wuttke, J. (2013). Software Engineering for Self-Adaptive Systems: A Second
Research Roadmap. Software Engineering for Self-Adaptive Systems II, 1–32.
https://doi.org/10.1007/978-3-642-35813-5_1'
bibtex: '@article{de Lemos_Giese_A. Müller_Shaw_Andersson_Litoiu_Schmerl_Tamura_M.
Villegas_Vogel_et al._2013, title={Software Engineering for Self-Adaptive Systems:
A Second Research Roadmap}, DOI={10.1007/978-3-642-35813-5_1},
journal={Software Engineering for Self-Adaptive Systems II}, author={de Lemos,
Rogrio and Giese, Holger and A. Müller, Hausi and Shaw, Mary and Andersson, Jesper
and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and M. Villegas, Norha
and Vogel, Thomas and et al.}, year={2013}, pages={1–32} }'
chicago: 'Lemos, Rogrio de, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson,
Marin Litoiu, Bradley Schmerl, et al. “Software Engineering for Self-Adaptive
Systems: A Second Research Roadmap.” Software Engineering for Self-Adaptive
Systems II, 2013, 1–32. https://doi.org/10.1007/978-3-642-35813-5_1.'
ieee: 'R. de Lemos et al., “Software Engineering for Self-Adaptive Systems:
A Second Research Roadmap,” Software Engineering for Self-Adaptive Systems
II, pp. 1–32, 2013.'
mla: 'de Lemos, Rogrio, et al. “Software Engineering for Self-Adaptive Systems:
A Second Research Roadmap.” Software Engineering for Self-Adaptive Systems
II, 2013, pp. 1–32, doi:10.1007/978-3-642-35813-5_1.'
short: R. de Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B.
Schmerl, G. Tamura, N. M. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker,
N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs,
K. M. Göschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes,
J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz,
M. Pezzè, C. Prehofer, W. Schäfer, R. Schlichting, D. B. Smith, J. Pedro Sousa,
L. Tahvildari, K. Wong, J. Wuttke, Software Engineering for Self-Adaptive Systems
II (2013) 1–32.
date_created: 2019-01-30T13:41:40Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
doi: 10.1007/978-3-642-35813-5_1
language:
- iso: eng
page: 1-32
publication: Software Engineering for Self-Adaptive Systems II
status: public
title: 'Software Engineering for Self-Adaptive Systems: A Second Research Roadmap'
type: journal_article
user_id: '52534'
year: '2013'
...
---
_id: '7272'
author:
- first_name: Elke
full_name: Bouillon, Elke
last_name: Bouillon
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Andrea
full_name: Herrmann, Andrea
last_name: Herrmann
- first_name: Thorsten
full_name: Keuler, Thorsten
last_name: Keuler
- first_name: Daniel
full_name: Moldt, Daniel
last_name: Moldt
- first_name: Matthias
full_name: Riebisch, Matthias
last_name: Riebisch
citation:
ama: Bouillon E, Güldali B, Herrmann A, Keuler T, Moldt D, Riebisch M. Leichtgewichtige
Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. Softwaretechnik-Trends.
2013;33(1):29-30.
apa: Bouillon, E., Güldali, B., Herrmann, A., Keuler, T., Moldt, D., & Riebisch,
M. (2013). Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel
von Scrum. Softwaretechnik-Trends, 33(1), 29–30.
bibtex: '@article{Bouillon_Güldali_Herrmann_Keuler_Moldt_Riebisch_2013, title={Leichtgewichtige
Traceability im agilen Entwicklungsprozess am Beispiel von Scrum}, volume={33},
number={1}, journal={Softwaretechnik-Trends}, author={Bouillon, Elke and Güldali,
Baris and Herrmann, Andrea and Keuler, Thorsten and Moldt, Daniel and Riebisch,
Matthias}, year={2013}, pages={29–30} }'
chicago: 'Bouillon, Elke, Baris Güldali, Andrea Herrmann, Thorsten Keuler, Daniel
Moldt, and Matthias Riebisch. “Leichtgewichtige Traceability Im Agilen Entwicklungsprozess
Am Beispiel von Scrum.” Softwaretechnik-Trends 33, no. 1 (2013): 29–30.'
ieee: E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, and M. Riebisch,
“Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum,”
Softwaretechnik-Trends, vol. 33, no. 1, pp. 29–30, 2013.
mla: Bouillon, Elke, et al. “Leichtgewichtige Traceability Im Agilen Entwicklungsprozess
Am Beispiel von Scrum.” Softwaretechnik-Trends, vol. 33, no. 1, 2013, pp.
29–30.
short: E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, M. Riebisch, Softwaretechnik-Trends
33 (2013) 29–30.
date_created: 2019-01-30T13:52:21Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
intvolume: ' 33'
issue: '1'
language:
- iso: eng
page: 29-30
publication: Softwaretechnik-Trends
status: public
title: Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von
Scrum
type: journal_article
user_id: '52534'
volume: 33
year: '2013'
...
---
_id: '7273'
author:
- first_name: Marvin
full_name: Grieger, Marvin
last_name: Grieger
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Michael
full_name: Mlynarski, Michael
last_name: Mlynarski
citation:
ama: Grieger M, Güldali B, Sauer S, Mlynarski M. Testen bei Migrationsprojekten.
OBJEKTspektrum (Online Themenspecials). 2013:1-4.
apa: Grieger, M., Güldali, B., Sauer, S., & Mlynarski, M. (2013). Testen bei
Migrationsprojekten. OBJEKTspektrum (Online Themenspecials), 1–4.
bibtex: '@article{Grieger_Güldali_Sauer_Mlynarski_2013, title={Testen bei Migrationsprojekten},
journal={OBJEKTspektrum (Online Themenspecials)}, author={Grieger, Marvin and
Güldali, Baris and Sauer, Stefan and Mlynarski, Michael}, year={2013}, pages={1–4}
}'
chicago: Grieger, Marvin, Baris Güldali, Stefan Sauer, and Michael Mlynarski. “Testen
Bei Migrationsprojekten.” OBJEKTspektrum (Online Themenspecials), 2013,
1–4.
ieee: M. Grieger, B. Güldali, S. Sauer, and M. Mlynarski, “Testen bei Migrationsprojekten,”
OBJEKTspektrum (Online Themenspecials), pp. 1–4, 2013.
mla: Grieger, Marvin, et al. “Testen Bei Migrationsprojekten.” OBJEKTspektrum
(Online Themenspecials), 2013, pp. 1–4.
short: M. Grieger, B. Güldali, S. Sauer, M. Mlynarski, OBJEKTspektrum (Online Themenspecials)
(2013) 1–4.
date_created: 2019-01-30T13:52:57Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
language:
- iso: eng
page: 1-4
publication: OBJEKTspektrum (Online Themenspecials)
status: public
title: Testen bei Migrationsprojekten
type: journal_article
user_id: '52534'
year: '2013'
...
---
_id: '7274'
author:
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Michael
full_name: Spijkerman, Michael
last_name: Spijkerman
citation:
ama: Fazal-Baqaie M, Güldali B, Luckey M, Sauer S, Spijkerman M. Maßgeschneidert
und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden.
OBJEKTspektrum (Online Themenspecials). 2013;(RE/2013):1-5.
apa: Fazal-Baqaie, M., Güldali, B., Luckey, M., Sauer, S., & Spijkerman, M.
(2013). Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements
Engineering-Methoden. OBJEKTspektrum (Online Themenspecials), (RE/2013),
1–5.
bibtex: '@article{Fazal-Baqaie_Güldali_Luckey_Sauer_Spijkerman_2013, title={Maßgeschneidert
und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden},
number={RE/2013}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Fazal-Baqaie,
Masud and Güldali, Baris and Luckey, Markus and Sauer, Stefan and Spijkerman,
Michael}, year={2013}, pages={1–5} }'
chicago: 'Fazal-Baqaie, Masud, Baris Güldali, Markus Luckey, Stefan Sauer, and Michael
Spijkerman. “Maßgeschneidert Und Werkzeugunterstützt Entwickeln Angepasster Requirements
Engineering-Methoden.” OBJEKTspektrum (Online Themenspecials), no. RE/2013
(2013): 1–5.'
ieee: M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, and M. Spijkerman, “Maßgeschneidert
und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden,”
OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1–5, 2013.
mla: Fazal-Baqaie, Masud, et al. “Maßgeschneidert Und Werkzeugunterstützt Entwickeln
Angepasster Requirements Engineering-Methoden.” OBJEKTspektrum (Online Themenspecials),
no. RE/2013, 2013, pp. 1–5.
short: M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, M. Spijkerman, OBJEKTspektrum
(Online Themenspecials) (2013) 1–5.
date_created: 2019-01-30T13:53:56Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
issue: RE/2013
language:
- iso: eng
page: 1-5
publication: OBJEKTspektrum (Online Themenspecials)
status: public
title: Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements
Engineering-Methoden
type: journal_article
user_id: '52534'
year: '2013'
...
---
_id: '7275'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
citation:
ama: Engels G, Luckey M. Editorial. Computer Science - Research and Development.
2013;28(1):1-2.
apa: Engels, G., & Luckey, M. (2013). Editorial. Computer Science - Research
and Development, 28(1), 1–2.
bibtex: '@article{Engels_Luckey_2013, title={Editorial}, volume={28}, number={1},
journal={Computer Science - Research and Development}, author={Engels, Gregor
and Luckey, Markus}, year={2013}, pages={1–2} }'
chicago: 'Engels, Gregor, and Markus Luckey. “Editorial.” Computer Science -
Research and Development 28, no. 1 (2013): 1–2.'
ieee: G. Engels and M. Luckey, “Editorial,” Computer Science - Research and Development,
vol. 28, no. 1, pp. 1–2, 2013.
mla: Engels, Gregor, and Markus Luckey. “Editorial.” Computer Science - Research
and Development, vol. 28, no. 1, 2013, pp. 1–2.
short: G. Engels, M. Luckey, Computer Science - Research and Development 28 (2013)
1–2.
date_created: 2019-01-30T13:54:36Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
intvolume: ' 28'
issue: '1'
language:
- iso: eng
page: 1-2
publication: Computer Science - Research and Development
status: public
title: Editorial
type: journal_article
user_id: '52534'
volume: 28
year: '2013'
...
---
_id: '7276'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
- first_name: Lisa
full_name: Kleinjohann, Lisa
id: '15588'
last_name: Kleinjohann
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Engels G, Gerth C, Kleinjohann B, Kleinjohann L, Müller W, Sauer S. Informationstechnik
spart Ressourcen. Forschungsforum Paderborn. 2013;16/2013:54-61.
apa: Engels, G., Gerth, C., Kleinjohann, B., Kleinjohann, L., Müller, W., &
Sauer, S. (2013). Informationstechnik spart Ressourcen. Forschungsforum Paderborn,
16/2013, 54–61.
bibtex: '@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_Sauer_2013, title={Informationstechnik
spart Ressourcen}, volume={16/2013}, journal={Forschungsforum Paderborn}, author={Engels,
Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller,
Wolfgang and Sauer, Stefan}, year={2013}, pages={54–61} }'
chicago: 'Engels, Gregor, Christian Gerth, Bernd Kleinjohann, Lisa Kleinjohann,
Wolfgang Müller, and Stefan Sauer. “Informationstechnik Spart Ressourcen.” Forschungsforum
Paderborn 16/2013 (2013): 54–61.'
ieee: G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, and S. Sauer,
“Informationstechnik spart Ressourcen,” Forschungsforum Paderborn, vol.
16/2013, pp. 54–61, 2013.
mla: Engels, Gregor, et al. “Informationstechnik Spart Ressourcen.” Forschungsforum
Paderborn, vol. 16/2013, 2013, pp. 54–61.
short: G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, S. Sauer,
Forschungsforum Paderborn 16/2013 (2013) 54–61.
date_created: 2019-01-30T13:55:16Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
language:
- iso: eng
page: 54-61
publication: Forschungsforum Paderborn
status: public
title: Informationstechnik spart Ressourcen
type: journal_article
user_id: '52534'
volume: 16/2013
year: '2013'
...
---
_id: '7277'
author:
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Gerth C, Küster J, Luckey M, Engels G. Detection and Resolution of Conflicting
Change Operations in Version Management of Process Models. Software and Systems
Modeling. 2013;12(3):517-535.
apa: Gerth, C., Küster, J., Luckey, M., & Engels, G. (2013). Detection and Resolution
of Conflicting Change Operations in Version Management of Process Models. Software
and Systems Modeling, 12(3), 517–535.
bibtex: '@article{Gerth_Küster_Luckey_Engels_2013, title={Detection and Resolution
of Conflicting Change Operations in Version Management of Process Models}, volume={12},
number={3}, journal={Software and Systems Modeling}, author={Gerth, Christian
and Küster, Jochen and Luckey, Markus and Engels, Gregor}, year={2013}, pages={517–535}
}'
chicago: 'Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Detection
and Resolution of Conflicting Change Operations in Version Management of Process
Models.” Software and Systems Modeling 12, no. 3 (2013): 517–35.'
ieee: C. Gerth, J. Küster, M. Luckey, and G. Engels, “Detection and Resolution of
Conflicting Change Operations in Version Management of Process Models,” Software
and Systems Modeling, vol. 12, no. 3, pp. 517–535, 2013.
mla: Gerth, Christian, et al. “Detection and Resolution of Conflicting Change Operations
in Version Management of Process Models.” Software and Systems Modeling,
vol. 12, no. 3, 2013, pp. 517–35.
short: C. Gerth, J. Küster, M. Luckey, G. Engels, Software and Systems Modeling
12 (2013) 517–535.
date_created: 2019-01-30T13:56:05Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
intvolume: ' 12'
issue: '3'
language:
- iso: eng
page: 517-535
publication: Software and Systems Modeling
status: public
title: Detection and Resolution of Conflicting Change Operations in Version Management
of Process Models
type: journal_article
user_id: '52534'
volume: 12
year: '2013'
...
---
_id: '7278'
abstract:
- lang: eng
text: Modellbasiertes Testen verspricht potenziell eine höhere Effizienz und Effektivität
im Testprozess. Ob im eigenen Kontext der Einsatz wirtschaftlich ist, ist jedoch
häufig unklar. Dieser Beitrag analysiert systematisch Kosten- und Nutzenfaktoren
und stellt ein Verfahren zur Abschätzung der Wirtschaftlichkeit des modellbasierten
Testens vor. Anhand eines Beispiels wird der Ablauf veranschaulicht.
author:
- first_name: David
full_name: Faragó, David
last_name: Faragó
- first_name: Arne-Michael
full_name: Törsel, Arne-Michael
last_name: Törsel
- first_name: Michael
full_name: Mlynarski, Michael
last_name: Mlynarski
- first_name: Stephan
full_name: Weißleder, Stephan
last_name: Weißleder
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Christian
full_name: Brandes, Christian
last_name: Brandes
citation:
ama: 'Faragó D, Törsel A-M, Mlynarski M, Weißleder S, Güldali B, Brandes C. Wirtschaftlichkeitsberechnung
für MBT: Wann sich modellbasiertes Testen lohnt. OBJEKTspektrum. 2013;4:32-38.'
apa: 'Faragó, D., Törsel, A.-M., Mlynarski, M., Weißleder, S., Güldali, B., &
Brandes, C. (2013). Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes
Testen lohnt. OBJEKTspektrum, 4, 32–38.'
bibtex: '@article{Faragó_Törsel_Mlynarski_Weißleder_Güldali_Brandes_2013, title={Wirtschaftlichkeitsberechnung
für MBT: Wann sich modellbasiertes Testen lohnt}, volume={4}, journal={OBJEKTspektrum},
author={Faragó, David and Törsel, Arne-Michael and Mlynarski, Michael and Weißleder,
Stephan and Güldali, Baris and Brandes, Christian}, year={2013}, pages={32–38}
}'
chicago: 'Faragó, David, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder,
Baris Güldali, and Christian Brandes. “Wirtschaftlichkeitsberechnung Für MBT:
Wann Sich Modellbasiertes Testen Lohnt.” OBJEKTspektrum 4 (2013): 32–38.'
ieee: 'D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, and C. Brandes,
“Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt,”
OBJEKTspektrum, vol. 4, pp. 32–38, 2013.'
mla: 'Faragó, David, et al. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes
Testen Lohnt.” OBJEKTspektrum, vol. 4, 2013, pp. 32–38.'
short: D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, C. Brandes,
OBJEKTspektrum 4 (2013) 32–38.
date_created: 2019-01-30T13:56:52Z
date_updated: 2022-01-06T07:03:31Z
department:
- _id: '66'
intvolume: ' 4'
language:
- iso: eng
page: 32-38
publication: OBJEKTspektrum
status: public
title: 'Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt'
type: journal_article
user_id: '52534'
volume: 4
year: '2013'
...
---
_id: '7523'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Sauer S. Object-oriented Modeling of Multimedia Applications. In:
Chang SK, ed. Handbook of Software Engineering and Knowledge Engineering.
Vol 2. Singapore: World Scientific Publishing Company; 2013:21--53. doi:https://doi.org/10.1142/4603'
apa: 'Engels, G., & Sauer, S. (2013). Object-oriented Modeling of Multimedia
Applications. In S. K. Chang (Ed.), Handbook of Software Engineering and Knowledge
Engineering (Vol. 2, pp. 21--53). Singapore: World Scientific Publishing Company.
https://doi.org/10.1142/4603'
bibtex: '@inbook{Engels_Sauer_2013, place={Singapore}, title={Object-oriented Modeling
of Multimedia Applications}, volume={2}, DOI={https://doi.org/10.1142/4603},
booktitle={Handbook of Software Engineering and Knowledge Engineering}, publisher={World
Scientific Publishing Company}, author={Engels, Gregor and Sauer, Stefan}, editor={Chang,
S KEditor}, year={2013}, pages={21--53} }'
chicago: 'Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia
Applications.” In Handbook of Software Engineering and Knowledge Engineering,
edited by S K Chang, 2:21--53. Singapore: World Scientific Publishing Company,
2013. https://doi.org/10.1142/4603.'
ieee: 'G. Engels and S. Sauer, “Object-oriented Modeling of Multimedia Applications,”
in Handbook of Software Engineering and Knowledge Engineering, vol. 2,
S. K. Chang, Ed. Singapore: World Scientific Publishing Company, 2013, pp. 21--53.'
mla: Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.”
Handbook of Software Engineering and Knowledge Engineering, edited by S
K Chang, vol. 2, World Scientific Publishing Company, 2013, pp. 21--53, doi:https://doi.org/10.1142/4603.
short: 'G. Engels, S. Sauer, in: S.K. Chang (Ed.), Handbook of Software Engineering
and Knowledge Engineering, World Scientific Publishing Company, Singapore, 2013,
pp. 21--53.'
date_created: 2019-02-04T22:56:37Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: https://doi.org/10.1142/4603
editor:
- first_name: S K
full_name: Chang, S K
last_name: Chang
intvolume: ' 2'
language:
- iso: eng
page: 21--53
place: Singapore
publication: Handbook of Software Engineering and Knowledge Engineering
publication_identifier:
isbn:
- '9789810245146'
- '9789810249731'
- '9789812389718'
publication_status: published
publisher: World Scientific Publishing Company
status: public
title: Object-oriented Modeling of Multimedia Applications
type: book_chapter
user_id: '52534'
volume: 2
year: '2013'
...
---
_id: '7569'
abstract:
- lang: eng
text: 'Dynamic Meta Modeling (DMM) is a semantics specification technique targeted
at MOF-based modeling languages, where a language''s behavior is defined by means
of graphical operational rules which change runtime models. The DMM approach has
first been suggested by Engels et al. in 2000; Hausmann has then defined the DMM
language on a conceptual level within his PhD thesis in 2006. Consequently, the
next step was to bring the existing DMM concepts alive, and then to apply them
to different modeling languages, making use of the lessons learned to improve
the DMM concepts as well as the DMM tooling. The result of this process is the
DMM++ method, which is presented within this thesis. Our contributions are three-fold:
First, and according to our experiences with the DMM language, we have introduced
new concepts such as refinement by means of rule overriding, and we have strengthened
existing concepts such as the dealing with universally quantified structures or
attributes. Second, we have developed a test-driven process for semantics specification:
A set of test models is created, and their expected behavior is fixed. Then, the
DMM rules are created incrementally, finally resulting in a DMM ruleset realizing
at least the expected behavior of the test models. Additionally, we have defined
a set of coverage criteria for DMM rulesets which allow to measure the quality
of a set of test models. Third, we have shown how functional as well as non-functional
requirements can be formulated against models and their DMM specifications. The
former is achieved by providing a visual language for formulating temporal logic
properties, which are then verified with model checking techniques, and by allowing
for visual debugging of models failing a requirement. For the latter, the modeler
can add performance information to models and analyze their performance properties,
e.g. average throughput.'
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität
Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
apa: Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
bibtex: '@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling},
DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420},
publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013}
}'
chicago: Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
ieee: C. Soltenborn, Quality Assurance with Dynamic Meta Modeling. Universität
Paderborn, 2013.
mla: Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn, 2013, doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
short: C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität
Paderborn, 2013.
date_created: 2019-02-06T14:15:58Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
title: Quality Assurance with Dynamic Meta Modeling
type: dissertation
user_id: '477'
year: '2013'
...
---
_id: '7571'
abstract:
- lang: eng
text: Driven by the need for a closer alignment of business and IT requirements,
the role of business process models in the development of enterprise software
systems has increased continuously. Similar to other software artifacts, process
models are developed and refined in team environments by several stakeholders,
resulting in different versions. These versions need to be merged in order to
obtain an integrated process model. Existing solutions to this basic problem in
the field of software configuration management are mainly limited to textual documents,
e.g., source code. This monograph presents a generally applicable framework for
process model change management, which provides easy-to-use comparison and merging
capabilities for the integration of different process model versions. The framework
supports popular modeling languages such as BPMN, BPEL, or UML Activity Diagrams.
Differences between process models are represented in terms of intuitive, high-level
change operations. Equipped with a sophisticated analysis of dependencies and
a semantic-aware computation of conflicts between differences, the framework constitutes
a comprehensive and practically usable solution for process model change management
in the model-driven development of enterprise software systems.
author:
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
citation:
ama: Gerth C. Business Process Models - Change Management.; 2013.
apa: Gerth, C. (2013). Business Process Models - Change Management.
bibtex: '@book{Gerth_2013, title={Business Process Models - Change Management},
author={Gerth, Christian}, year={2013} }'
chicago: Gerth, Christian. Business Process Models - Change Management, 2013.
ieee: C. Gerth, Business Process Models - Change Management. 2013.
mla: Gerth, Christian. Business Process Models - Change Management. 2013.
short: C. Gerth, Business Process Models - Change Management, 2013.
date_created: 2019-02-06T14:18:12Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
related_material:
link:
- relation: confirmation
url: http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-3-642-38603-9
status: public
title: Business Process Models - Change Management
type: dissertation
user_id: '52534'
year: '2013'
...
---
_id: '769'
author:
- first_name: Thorsten
full_name: Biermann, Thorsten
last_name: Biermann
- first_name: Luca
full_name: Scalia, Luca
last_name: Scalia
- first_name: Changsoon
full_name: Choi, Changsoon
last_name: Choi
- first_name: Wolfgang
full_name: Kellerer, Wolfgang
last_name: Kellerer
- first_name: Holger
full_name: Karl, Holger
last_name: Karl
citation:
ama: Biermann T, Scalia L, Choi C, Kellerer W, Karl H. How backhaul networks influence
the feasibility of coordinated multipoint in cellular networks. {IEEE} Communications
Magazine. 2013;(8). doi:10.1109/MCOM.2013.6576356
apa: Biermann, T., Scalia, L., Choi, C., Kellerer, W., & Karl, H. (2013). How
backhaul networks influence the feasibility of coordinated multipoint in cellular
networks. {IEEE} Communications Magazine, (8). https://doi.org/10.1109/MCOM.2013.6576356
bibtex: '@article{Biermann_Scalia_Choi_Kellerer_Karl_2013, title={How backhaul networks
influence the feasibility of coordinated multipoint in cellular networks}, DOI={10.1109/MCOM.2013.6576356},
number={8}, journal={{IEEE} Communications Magazine}, author={Biermann, Thorsten
and Scalia, Luca and Choi, Changsoon and Kellerer, Wolfgang and Karl, Holger},
year={2013} }'
chicago: Biermann, Thorsten, Luca Scalia, Changsoon Choi, Wolfgang Kellerer, and
Holger Karl. “How Backhaul Networks Influence the Feasibility of Coordinated Multipoint
in Cellular Networks.” {IEEE} Communications Magazine, no. 8 (2013). https://doi.org/10.1109/MCOM.2013.6576356.
ieee: T. Biermann, L. Scalia, C. Choi, W. Kellerer, and H. Karl, “How backhaul networks
influence the feasibility of coordinated multipoint in cellular networks,” {IEEE}
Communications Magazine, no. 8, 2013.
mla: Biermann, Thorsten, et al. “How Backhaul Networks Influence the Feasibility
of Coordinated Multipoint in Cellular Networks.” {IEEE} Communications Magazine,
no. 8, 2013, doi:10.1109/MCOM.2013.6576356.
short: T. Biermann, L. Scalia, C. Choi, W. Kellerer, H. Karl, {IEEE} Communications
Magazine (2013).
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:44Z
department:
- _id: '75'
doi: 10.1109/MCOM.2013.6576356
issue: '8'
publication: '{IEEE} Communications Magazine'
status: public
title: How backhaul networks influence the feasibility of coordinated multipoint in
cellular networks
type: journal_article
user_id: '15572'
year: '2013'
...
---
_id: '8485'
author:
- first_name: 'Michael '
full_name: 'Spijkerman, Michael '
last_name: Spijkerman
citation:
ama: 'Spijkerman M. Ein pragmatischer Ansatz zur Entwicklung situationsgerechter
Entwicklungsmethoden. In: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium)
SE 2013 (to Appear). Vol 215. LNI. GI; 2013:425--434.'
apa: Spijkerman, M. (2013). Ein pragmatischer Ansatz zur Entwicklung situationsgerechter
Entwicklungsmethoden. In Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium)
SE 2013 (to appear) (Vol. 215, pp. 425--434). GI.
bibtex: '@inproceedings{Spijkerman_2013, series={LNI}, title={Ein pragmatischer
Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden}, volume={215},
booktitle={Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium)
SE 2013 (to appear)}, publisher={GI}, author={Spijkerman, Michael }, year={2013},
pages={425--434}, collection={LNI} }'
chicago: Spijkerman, Michael . “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter
Entwicklungsmethoden.” In Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium)
SE 2013 (to Appear), 215:425--434. LNI. GI, 2013.
ieee: M. Spijkerman, “Ein pragmatischer Ansatz zur Entwicklung situationsgerechter
Entwicklungsmethoden,” in Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium)
SE 2013 (to appear), 2013, vol. 215, pp. 425--434.
mla: Spijkerman, Michael. “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter
Entwicklungsmethoden.” Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium)
SE 2013 (to Appear), vol. 215, GI, 2013, pp. 425--434.
short: 'M. Spijkerman, in: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium)
SE 2013 (to Appear), GI, 2013, pp. 425--434.'
date_created: 2019-03-08T13:53:50Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 215'
language:
- iso: eng
page: 425--434
publication: Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium)
SE 2013 (to appear)
publisher: GI
series_title: LNI
status: public
title: Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden
type: conference
user_id: '52534'
volume: 215
year: '2013'
...
---
_id: '8486'
author:
- first_name: 'Benjamin '
full_name: 'Nagel , Benjamin '
last_name: 'Nagel '
- first_name: 'Christian '
full_name: 'Gerth , Christian '
last_name: 'Gerth '
- first_name: 'Jennifer '
full_name: 'Post, Jennifer '
last_name: Post
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Nagel B, Gerth C, Post J, Engels G. Kaos4SOA - Extending KAOS Models with
Temporal and Logical Dependencies. In: Proceedings of the CAiSE’13 Forum at
the 25th International Conference on Advanced Information Systems Engineering
(CAiSE’13). Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.'
apa: Nagel , B., Gerth , C., Post, J., & Engels, G. (2013). Kaos4SOA - Extending
KAOS Models with Temporal and Logical Dependencies. In Proceedings of the CAiSE’13
Forum at the 25th International Conference on Advanced Information Systems Engineering
(CAiSE’13) (Vol. 998, pp. 9--16). CEUR-WS.org.
bibtex: '@inproceedings{Nagel _Gerth _Post_Engels_2013, series={CEUR Workshop Proceedings},
title={Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies},
volume={998}, booktitle={Proceedings of the CAiSE’13 Forum at the 25th International
Conference on Advanced Information Systems Engineering (CAiSE’13)}, publisher={CEUR-WS.org},
author={Nagel , Benjamin and Gerth , Christian and Post, Jennifer and Engels,
Gregor}, year={2013}, pages={9--16}, collection={CEUR Workshop Proceedings} }'
chicago: Nagel , Benjamin , Christian Gerth , Jennifer Post, and Gregor Engels.
“Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies.” In
Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced
Information Systems Engineering (CAiSE’13), 998:9--16. CEUR Workshop Proceedings.
CEUR-WS.org, 2013.
ieee: B. Nagel , C. Gerth , J. Post, and G. Engels, “Kaos4SOA - Extending KAOS Models
with Temporal and Logical Dependencies,” in Proceedings of the CAiSE’13 Forum
at the 25th International Conference on Advanced Information Systems Engineering
(CAiSE’13), 2013, vol. 998, pp. 9--16.
mla: Nagel , Benjamin, et al. “Kaos4SOA - Extending KAOS Models with Temporal and
Logical Dependencies.” Proceedings of the CAiSE’13 Forum at the 25th International
Conference on Advanced Information Systems Engineering (CAiSE’13), vol. 998,
CEUR-WS.org, 2013, pp. 9--16.
short: 'B. Nagel , C. Gerth , J. Post, G. Engels, in: Proceedings of the CAiSE’13
Forum at the 25th International Conference on Advanced Information Systems Engineering
(CAiSE’13), CEUR-WS.org, 2013, pp. 9--16.'
date_created: 2019-03-08T13:55:30Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 998'
language:
- iso: eng
page: 9--16
publication: Proceedings of the CAiSE'13 Forum at the 25th International Conference
on Advanced Information Systems Engineering (CAiSE'13)
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies
type: conference
user_id: '52534'
volume: 998
year: '2013'
...
---
_id: '8487'
author:
- first_name: 'Timo '
full_name: 'Kehrer , Timo '
last_name: 'Kehrer '
- first_name: 'Christian '
full_name: 'Gerth, Christian '
last_name: Gerth
citation:
ama: 'Kehrer T, Gerth C. CVSM 2013 Challenge: Recognizing High-level Edit Operations
in Evolving Models. In: Proceedings of the Workshop on Comparison and Versioning
of Software Models (CVSM’13). Vol 33. Softwaretechnik-Trends. FG Softwaretechnik,
Gesellschaft für Informatik e.v. (GI); 2013:32-34.'
apa: 'Kehrer , T., & Gerth, C. (2013). CVSM 2013 Challenge: Recognizing High-level
Edit Operations in Evolving Models. In Proceedings of the Workshop on Comparison
and Versioning of Software Models (CVSM’13) (Vol. 33, pp. 32–34). FG Softwaretechnik,
Gesellschaft für Informatik e.v. (GI).'
bibtex: '@inproceedings{Kehrer _Gerth_2013, series={Softwaretechnik-Trends}, title={CVSM
2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.}, volume={33},
number={2}, booktitle={Proceedings of the Workshop on Comparison and Versioning
of Software Models (CVSM’13)}, publisher={FG Softwaretechnik, Gesellschaft für
Informatik e.v. (GI)}, author={Kehrer , Timo and Gerth, Christian }, year={2013},
pages={32–34}, collection={Softwaretechnik-Trends} }'
chicago: 'Kehrer , Timo , and Christian Gerth. “CVSM 2013 Challenge: Recognizing
High-Level Edit Operations in Evolving Models.” In Proceedings of the Workshop
on Comparison and Versioning of Software Models (CVSM’13), 33:32–34. Softwaretechnik-Trends.
FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013.'
ieee: 'T. Kehrer and C. Gerth, “CVSM 2013 Challenge: Recognizing High-level Edit
Operations in Evolving Models.,” in Proceedings of the Workshop on Comparison
and Versioning of Software Models (CVSM’13), 2013, vol. 33, no. 2, pp. 32–34.'
mla: 'Kehrer , Timo, and Christian Gerth. “CVSM 2013 Challenge: Recognizing High-Level
Edit Operations in Evolving Models.” Proceedings of the Workshop on Comparison
and Versioning of Software Models (CVSM’13), vol. 33, no. 2, FG Softwaretechnik,
Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.'
short: 'T. Kehrer , C. Gerth, in: Proceedings of the Workshop on Comparison and
Versioning of Software Models (CVSM’13), FG Softwaretechnik, Gesellschaft für
Informatik e.v. (GI), 2013, pp. 32–34.'
date_created: 2019-03-08T13:57:51Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 33'
issue: '2'
language:
- iso: eng
page: 32-34
publication: Proceedings of the Workshop on Comparison and Versioning of Software
Models (CVSM'13)
publisher: FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)
series_title: Softwaretechnik-Trends
status: public
title: 'CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.'
type: conference
user_id: '52534'
volume: 33
year: '2013'
...
---
_id: '8488'
author:
- first_name: 'Marvin '
full_name: 'Grieger , Marvin '
last_name: 'Grieger '
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Grieger M, Sauer S. Wiederverwendbarkeit von Migrationswissen durch Techniken
der modellgetriebenen Softwareentwicklung. In: Software Engineering 2013 Workshopband.
GI, Köllen Druck+Verlag GmbH, Bonn; 2013:189-200.'
apa: Grieger , M., & Sauer, S. (2013). Wiederverwendbarkeit von Migrationswissen
durch Techniken der modellgetriebenen Softwareentwicklung. In Software Engineering
2013 Workshopband (pp. 189–200). GI, Köllen Druck+Verlag GmbH, Bonn.
bibtex: '@inproceedings{Grieger _Sauer_2013, title={Wiederverwendbarkeit von Migrationswissen
durch Techniken der modellgetriebenen Softwareentwicklung}, booktitle={Software
Engineering 2013 Workshopband}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn},
author={Grieger , Marvin and Sauer, Stefan}, year={2013}, pages={189–200} }'
chicago: Grieger , Marvin , and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen
Durch Techniken Der Modellgetriebenen Softwareentwicklung.” In Software Engineering
2013 Workshopband, 189–200. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
ieee: M. Grieger and S. Sauer, “Wiederverwendbarkeit von Migrationswissen durch
Techniken der modellgetriebenen Softwareentwicklung,” in Software Engineering
2013 Workshopband, 2013, pp. 189–200.
mla: Grieger , Marvin, and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen
Durch Techniken Der Modellgetriebenen Softwareentwicklung.” Software Engineering
2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.
short: 'M. Grieger , S. Sauer, in: Software Engineering 2013 Workshopband, GI, Köllen
Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.'
date_created: 2019-03-08T13:59:14Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: 189-200
publication: Software Engineering 2013 Workshopband
publisher: GI, Köllen Druck+Verlag GmbH, Bonn
status: public
title: Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen
Softwareentwicklung
type: conference
user_id: '52534'
year: '2013'
...
---
_id: '8489'
author:
- first_name: 'Benjamin '
full_name: 'Nagel , Benjamin '
last_name: 'Nagel '
- first_name: 'Christian '
full_name: 'Gerth , Christian '
last_name: 'Gerth '
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Nagel B, Gerth C, Engels G. Goal-driven Composition of Business Process
Models. In: Proceedings of the 9th Workshop on Engineering Service-Oriented
Applications (WESOA 2013) (Accepted for Application). ; 2013.'
apa: Nagel , B., Gerth , C., & Engels, G. (2013). Goal-driven Composition of
Business Process Models. In Proceedings of the 9th Workshop on Engineering
Service-Oriented Applications (WESOA 2013) (accepted for application).
bibtex: '@inproceedings{Nagel _Gerth _Engels_2013, title={Goal-driven Composition
of Business Process Models}, booktitle={Proceedings of the 9th Workshop on Engineering
Service-Oriented Applications (WESOA 2013) (accepted for application)}, author={Nagel
, Benjamin and Gerth , Christian and Engels, Gregor}, year={2013} }'
chicago: Nagel , Benjamin , Christian Gerth , and Gregor Engels. “Goal-Driven Composition
of Business Process Models.” In Proceedings of the 9th Workshop on Engineering
Service-Oriented Applications (WESOA 2013) (Accepted for Application), 2013.
ieee: B. Nagel , C. Gerth , and G. Engels, “Goal-driven Composition of Business
Process Models,” in Proceedings of the 9th Workshop on Engineering Service-Oriented
Applications (WESOA 2013) (accepted for application), 2013.
mla: Nagel , Benjamin, et al. “Goal-Driven Composition of Business Process Models.”
Proceedings of the 9th Workshop on Engineering Service-Oriented Applications
(WESOA 2013) (Accepted for Application), 2013.
short: 'B. Nagel , C. Gerth , G. Engels, in: Proceedings of the 9th Workshop on
Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application),
2013.'
date_created: 2019-03-08T14:02:17Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications
(WESOA 2013) (accepted for application)
status: public
title: Goal-driven Composition of Business Process Models
type: conference
user_id: '52534'
year: '2013'
...
---
_id: '8490'
author:
- first_name: 'Masud '
full_name: 'Fazal-Baqaie , Masud '
last_name: 'Fazal-Baqaie '
- first_name: 'Markus '
full_name: 'Luckey , Markus '
last_name: 'Luckey '
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Fazal-Baqaie M, Luckey M, Engels G. Assembly-based Method Engineering with
Method Patterns. In: Software Engineering 2013 Workshopband. GI, Köllen
Druck+Verlag GmbH, Bonn; 2013:435-444.'
apa: Fazal-Baqaie , M., Luckey , M., & Engels, G. (2013). Assembly-based Method
Engineering with Method Patterns. In Software Engineering 2013 Workshopband
(pp. 435–444). GI, Köllen Druck+Verlag GmbH, Bonn.
bibtex: '@inproceedings{Fazal-Baqaie _Luckey _Engels_2013, title={Assembly-based
Method Engineering with Method Patterns}, booktitle={Software Engineering 2013
Workshopband}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, author={Fazal-Baqaie
, Masud and Luckey , Markus and Engels, Gregor}, year={2013}, pages={435–444}
}'
chicago: Fazal-Baqaie , Masud , Markus Luckey , and Gregor Engels. “Assembly-Based
Method Engineering with Method Patterns.” In Software Engineering 2013 Workshopband,
435–44. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
ieee: M. Fazal-Baqaie , M. Luckey , and G. Engels, “Assembly-based Method Engineering
with Method Patterns,” in Software Engineering 2013 Workshopband, 2013,
pp. 435–444.
mla: Fazal-Baqaie , Masud, et al. “Assembly-Based Method Engineering with Method
Patterns.” Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag
GmbH, Bonn, 2013, pp. 435–44.
short: 'M. Fazal-Baqaie , M. Luckey , G. Engels, in: Software Engineering 2013 Workshopband,
GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 435–444.'
date_created: 2019-03-08T14:03:48Z
date_updated: 2022-01-06T07:03:56Z
department:
- _id: '66'
language:
- iso: eng
page: 435-444
publication: Software Engineering 2013 Workshopband
publisher: GI, Köllen Druck+Verlag GmbH, Bonn
status: public
title: Assembly-based Method Engineering with Method Patterns
type: conference
user_id: '52534'
year: '2013'
...