---
_id: '7784'
citation:
  ama: 'Ehrig H, Engels G, Parisi-Presicce F, Rozenberg G, eds. <i>Proceedings of
    the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>.
    Vol 3256. Berlin/Heidelberg: Springer; 2004. doi:<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>'
  apa: 'Ehrig, H., Engels, G., Parisi-Presicce, F., &#38; Rozenberg, G. (Eds.). (2004).
    <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT
    2004), Rome (Italy)</i> (Vol. 3256). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>'
  bibtex: '@book{Ehrig_Engels_Parisi-Presicce_Rozenberg_2004, place={Berlin/Heidelberg},
    series={LNCS}, title={Proceedings of the 2nd International Conference on Graph
    Transformations (ICGT 2004), Rome (Italy)}, volume={3256}, DOI={<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>},
    publisher={Springer}, year={2004}, collection={LNCS} }'
  chicago: 'Ehrig, Hartmut, Gregor Engels, F. Parisi-Presicce, and Grzegorz Rozenberg,
    eds. <i>Proceedings of the 2nd International Conference on Graph Transformations
    (ICGT 2004), Rome (Italy)</i>. Vol. 3256. LNCS. Berlin/Heidelberg: Springer, 2004.
    <a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>.'
  ieee: 'H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, Eds., <i>Proceedings
    of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome
    (Italy)</i>, vol. 3256. Berlin/Heidelberg: Springer, 2004.'
  mla: Ehrig, Hartmut, et al., editors. <i>Proceedings of the 2nd International Conference
    on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol. 3256, Springer, 2004,
    doi:<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>.
  short: H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings
    of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome
    (Italy), Springer, Berlin/Heidelberg, 2004.
date_created: 2019-02-19T18:44:31Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b100934
editor:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: F.
  full_name: Parisi-Presicce, F.
  last_name: Parisi-Presicce
- first_name: Grzegorz
  full_name: Rozenberg, Grzegorz
  last_name: Rozenberg
intvolume: '      3256'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: Proceedings of the 2nd International Conference on Graph Transformations (ICGT
  2004), Rome (Italy)
type: conference_editor
user_id: '52534'
volume: 3256
year: '2004'
...
---
_id: '7917'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Christoph
  full_name: Loeser, Christoph
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks. In: <i>Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan)</i>. Washington, DC, USA: IEEE Computer Society; 2004:611-616.'
  apa: 'Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology
    for Interconnecting Web Services in Heterogeneous Networks. In <i>Proceedings
    of the 18th International Conference on Advanced Information Networking and Applications
    (AINA 2004), Fukuoka (Japan)</i> (pp. 611–616). Washington, DC, USA: IEEE Computer
    Society.'
  bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Washington, DC,
    USA}, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
    Networks}, booktitle={Proceedings of the 18th International Conference on Advanced
    Information Networking and Applications (AINA 2004), Fukuoka (Japan)}, publisher={IEEE
    Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller,
    Wolfgang}, year={2004}, pages={611–616} }'
  chicago: 'Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-To-Peer
    Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings
    of the 18th International Conference on Advanced Information Networking and Applications
    (AINA 2004), Fukuoka (Japan)</i>, 611–16. Washington, DC, USA: IEEE Computer Society,
    2004.'
  ieee: T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting
    Web Services in Heterogeneous Networks,” in <i>Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan)</i>, 2004, pp. 611–616.
  mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
    Services in Heterogeneous Networks.” <i>Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan)</i>, IEEE Computer Society, 2004, pp. 611–16.
  short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International
    Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka
    (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.'
date_created: 2019-02-21T11:23:11Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 611-616
place: Washington, DC, USA
publication: Proceedings of the 18th International Conference on Advanced Information
  Networking and Applications (AINA 2004), Fukuoka (Japan)
publisher: IEEE Computer Society
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7918'
author:
- first_name: Luciano
  full_name: Baresi, Luciano
  last_name: Baresi
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Sebastian
  full_name: Thöne, Sebastian
  last_name: Thöne
- first_name: Dániel
  full_name: Varró, Dániel
  last_name: Varró
citation:
  ama: 'Baresi L, Heckel R, Thöne S, Varró D. Style-Based Refinement of Dynamic Software
    Architectures. In: <i>Proceedings of the Conference on Software Architecture (WICSA
    2004), Oslo (Norway)</i>. Washington, DC, USA: IEEE Computer Society; 2004:155-166.'
  apa: 'Baresi, L., Heckel, R., Thöne, S., &#38; Varró, D. (2004). Style-Based Refinement
    of Dynamic Software Architectures. In <i>Proceedings of the conference on Software
    Architecture (WICSA 2004), Oslo (Norway)</i> (pp. 155–166). Washington, DC, USA:
    IEEE Computer Society.'
  bibtex: '@inproceedings{Baresi_Heckel_Thöne_Varró_2004, place={Washington, DC, USA},
    title={Style-Based Refinement of Dynamic Software Architectures}, booktitle={Proceedings
    of the conference on Software Architecture (WICSA 2004), Oslo (Norway)}, publisher={IEEE
    Computer Society}, author={Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian
    and Varró, Dániel}, year={2004}, pages={155–166} }'
  chicago: 'Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based
    Refinement of Dynamic Software Architectures.” In <i>Proceedings of the Conference
    on Software Architecture (WICSA 2004), Oslo (Norway)</i>, 155–66. Washington,
    DC, USA: IEEE Computer Society, 2004.'
  ieee: L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Refinement of Dynamic
    Software Architectures,” in <i>Proceedings of the conference on Software Architecture
    (WICSA 2004), Oslo (Norway)</i>, 2004, pp. 155–166.
  mla: Baresi, Luciano, et al. “Style-Based Refinement of Dynamic Software Architectures.”
    <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>,
    IEEE Computer Society, 2004, pp. 155–66.
  short: 'L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference
    on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington,
    DC, USA, 2004, pp. 155–166.'
date_created: 2019-02-21T11:23:38Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 155-166
place: Washington, DC, USA
publication: Proceedings of the conference on Software Architecture (WICSA 2004),
  Oslo (Norway)
publisher: IEEE Computer Society
status: public
title: Style-Based Refinement of Dynamic Software Architectures
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7919'
author:
- first_name: Fevzi
  full_name: Belli, Fevzi
  last_name: Belli
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
citation:
  ama: 'Belli F, Güldali B. Software Testing via Model Checking. In: <i>Proceedings
    of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
    (Turkey)</i>. Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:<a
    href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>'
  apa: 'Belli, F., &#38; Güldali, B. (2004). Software Testing via Model Checking.
    In <i>Proceedings of the conference on Computer and Information Sciences (ISCIS
    2004), Kemer-Antalya (Turkey)</i> (Vol. 3280, pp. 907–916). Berlin/Heidelberg:
    Springer. <a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>'
  bibtex: '@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS},
    title={Software Testing via Model Checking}, volume={3280}, DOI={<a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>},
    booktitle={Proceedings of the conference on Computer and Information Sciences
    (ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi
    and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }'
  chicago: 'Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.”
    In <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS
    2004), Kemer-Antalya (Turkey)</i>, 3280:907–16. LNCS. Berlin/Heidelberg: Springer,
    2004. <a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>.'
  ieee: F. Belli and B. Güldali, “Software Testing via Model Checking,” in <i>Proceedings
    of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
    (Turkey)</i>, 2004, vol. 3280, pp. 907–916.
  mla: Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” <i>Proceedings
    of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya
    (Turkey)</i>, vol. 3280, Springer, 2004, pp. 907–16, doi:<a href="http://dx.doi.org/10.1007/b101749">http://dx.doi.org/10.1007/b101749</a>.
  short: 'F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and
    Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg,
    2004, pp. 907–916.'
date_created: 2019-02-21T11:24:23Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b101749
intvolume: '      3280'
language:
- iso: eng
page: 907-916
place: Berlin/Heidelberg
publication: Proceedings of the conference on Computer and Information Sciences (ISCIS
  2004), Kemer-Antalya (Turkey)
publisher: Springer
series_title: LNCS
status: public
title: Software Testing via Model Checking
type: conference
user_id: '52534'
volume: 3280
year: '2004'
...
---
_id: '7920'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Ping
  full_name: Guo, Ping
  last_name: Guo
citation:
  ama: 'Heckel R, Guo P. Conceptual Modeling of Styles For Mobile Systems: A layered
    approach based on graph transformation. In: <i>Proceedings of the Conference on
    Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>. Vol 158. IFIP - International
    Federation for Information Processing. Berlin/Heidelberg: Springer; 2004:65-79.
    doi:<a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">dx.doi.org/10.1007/0-387-22874-8_5</a>'
  apa: 'Heckel, R., &#38; Guo, P. (2004). Conceptual Modeling of Styles For Mobile
    Systems: A layered approach based on graph transformation. In <i>Proceedings of
    the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i> (Vol.
    158, pp. 65–79). Berlin/Heidelberg: Springer. <a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>'
  bibtex: '@inproceedings{Heckel_Guo_2004, place={Berlin/Heidelberg}, series={IFIP
    - International Federation for Information Processing}, title={Conceptual Modeling
    of Styles For Mobile Systems: A layered approach based on graph transformation},
    volume={158}, DOI={<a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">dx.doi.org/10.1007/0-387-22874-8_5</a>},
    booktitle={Proceedings of the conference on Mobile Information Systems (MOBIS
    2004), Oslo (Norway)}, publisher={Springer}, author={Heckel, Reiko and Guo, Ping},
    year={2004}, pages={65–79}, collection={IFIP - International Federation for Information
    Processing} }'
  chicago: 'Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile
    Systems: A Layered Approach Based on Graph Transformation.” In <i>Proceedings
    of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>,
    158:65–79. IFIP - International Federation for Information Processing. Berlin/Heidelberg:
    Springer, 2004. <a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>.'
  ieee: 'R. Heckel and P. Guo, “Conceptual Modeling of Styles For Mobile Systems:
    A layered approach based on graph transformation,” in <i>Proceedings of the conference
    on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, 2004, vol. 158,
    pp. 65–79.'
  mla: 'Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems:
    A Layered Approach Based on Graph Transformation.” <i>Proceedings of the Conference
    on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, vol. 158, Springer,
    2004, pp. 65–79, doi:<a href="https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5">dx.doi.org/10.1007/0-387-22874-8_5</a>.'
  short: 'R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information
    Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.'
date_created: 2019-02-21T11:24:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/0-387-22874-8_5
intvolume: '       158'
language:
- iso: eng
page: 65-79
place: Berlin/Heidelberg
publication: Proceedings of the conference on Mobile Information Systems (MOBIS 2004),
  Oslo (Norway)
publisher: Springer
series_title: IFIP - International Federation for Information Processing
status: public
title: 'Conceptual Modeling of Styles For Mobile Systems: A layered approach based
  on graph transformation'
type: conference
user_id: '52534'
volume: 158
year: '2004'
...
---
_id: '7921'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Alexey
  full_name: Cherchago, Alexey
  last_name: Cherchago
citation:
  ama: 'Heckel R, Cherchago A. Application of Graph Transformation for Automating
    Web Service Discovery. In: <i>Proceedings of the Seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl
    Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum
    für Informatik (IBFI); 2004.'
  apa: 'Heckel, R., &#38; Cherchago, A. (2004). Application of Graph Transformation
    for Automating Web Service Discovery. In <i>Proceedings of the seminar on Language
    Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>.
    Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik
    (IBFI).'
  bibtex: '@inproceedings{Heckel_Cherchago_2004, place={Dagstuhl, Germany}, series={Dagstuhl
    Seminar Proceedings}, title={Application of Graph Transformation for Automating
    Web Service Discovery}, booktitle={Proceedings of the seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)}, publisher={Internationales
    Begegnungs- und Forschungszentrum für Informatik (IBFI)}, author={Heckel, Reiko
    and Cherchago, Alexey}, year={2004}, collection={Dagstuhl Seminar Proceedings}
    }'
  chicago: 'Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation
    for Automating Web Service Discovery.” In <i>Proceedings of the Seminar on Language
    Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>.
    Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und
    Forschungszentrum für Informatik (IBFI), 2004.'
  ieee: R. Heckel and A. Cherchago, “Application of Graph Transformation for Automating
    Web Service Discovery,” in <i>Proceedings of the seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, 2004.
  mla: Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for
    Automating Web Service Discovery.” <i>Proceedings of the Seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, Internationales
    Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.
  short: 'R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering
    for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales
    Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.'
date_created: 2019-02-21T11:25:33Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Dagstuhl, Germany
publication: Proceedings of the seminar on Language Engineering for Model-Driven Software
  Development (2003), Dagstuhl (Germany)
publisher: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)
series_title: Dagstuhl Seminar Proceedings
status: public
title: Application of Graph Transformation for Automating Web Service Discovery
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7922'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings
    of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed
    Computing (ISORC 2004), Vienna (Austria)</i>. Los Alamitos, CA, USA: IEEE Computer
    Society; 2004:121-128.'
  apa: 'Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded
    Systems. In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented
    Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i> (pp. 121–128).
    Los Alamitos, CA, USA: IEEE Computer Society.'
  bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA},
    title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of the
    7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
    (ISORC 2004), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Schattkowsky,
    Tim and Müller, Wolfgang}, year={2004}, pages={121–128} }'
  chicago: 'Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded
    Systems.” In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented
    Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 121–28. Los
    Alamitos, CA, USA: IEEE Computer Society, 2004.'
  ieee: T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in
    <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time
    Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 2004, pp. 121–128.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.”
    <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time
    Distributed Computing (ISORC 2004), Vienna (Austria)</i>, IEEE Computer Society,
    2004, pp. 121–28.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International
    Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna
    (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.'
date_created: 2019-02-21T11:25:54Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 121-128
place: Los Alamitos, CA, USA
publication: Proceedings of the 7th IEEE International Symposium on Object-Oriented
  Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)
publisher: IEEE Computer Society
status: public
title: Model-Based Design of Embedded Systems
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7923'
author:
- first_name: Alexey
  full_name: Cherchago, Alexey
  last_name: Cherchago
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Cherchago A, Heckel R. Specification Matching of Web Services Using Conditional
    Graph Transformation Rules. In: <i>Proceedings of the Conference on Graph Transformation
    (ICGT 2004), Rome (Italy)</i>. Vol 3256 / 2004. LNCS. Berlin/Heidelberg: Springer;
    2004:304-318. doi:<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>'
  apa: 'Cherchago, A., &#38; Heckel, R. (2004). Specification Matching of Web Services
    Using Conditional Graph Transformation Rules. In <i>Proceedings of the conference
    on Graph Transformation (ICGT 2004), Rome (Italy)</i> (Vol. 3256 / 2004, pp. 304–318).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>'
  bibtex: '@inproceedings{Cherchago_Heckel_2004, place={Berlin/Heidelberg}, series={LNCS},
    title={Specification Matching of Web Services Using Conditional Graph Transformation
    Rules}, volume={3256 / 2004}, DOI={<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>},
    booktitle={Proceedings of the conference on Graph Transformation (ICGT 2004),
    Rome (Italy)}, publisher={Springer}, author={Cherchago, Alexey and Heckel, Reiko},
    year={2004}, pages={304–318}, collection={LNCS} }'
  chicago: 'Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services
    Using Conditional Graph Transformation Rules.” In <i>Proceedings of the Conference
    on Graph Transformation (ICGT 2004), Rome (Italy)</i>, 3256 / 2004:304–18. LNCS.
    Berlin/Heidelberg: Springer, 2004. <a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>.'
  ieee: A. Cherchago and R. Heckel, “Specification Matching of Web Services Using
    Conditional Graph Transformation Rules,” in <i>Proceedings of the conference on
    Graph Transformation (ICGT 2004), Rome (Italy)</i>, 2004, vol. 3256 / 2004, pp.
    304–318.
  mla: Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services
    Using Conditional Graph Transformation Rules.” <i>Proceedings of the Conference
    on Graph Transformation (ICGT 2004), Rome (Italy)</i>, vol. 3256 / 2004, Springer,
    2004, pp. 304–18, doi:<a href="http://dx.doi.org/10.1007/b100934">http://dx.doi.org/10.1007/b100934</a>.
  short: 'A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation
    (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.'
date_created: 2019-02-21T11:26:28Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b100934
language:
- iso: eng
page: 304-318
place: Berlin/Heidelberg
publication: Proceedings of the conference on Graph Transformation (ICGT 2004), Rome
  (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Specification Matching of Web Services Using Conditional Graph Transformation
  Rules
type: conference
user_id: '52534'
volume: 3256 / 2004
year: '2004'
...
---
_id: '7924'
author:
- first_name: Stefan
  full_name: Böttcher, Stefan
  last_name: Böttcher
- first_name: Sven
  full_name: Groppe, Sven
  last_name: Groppe
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Böttcher S, Groppe S, Schattkowsky T. Automated Data and Service Mapping for
    Integrated Electronic Markets. In: <i>Proceedings of the 8th World Multi-Conference
    on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>. ;
    2004.'
  apa: Böttcher, S., Groppe, S., &#38; Schattkowsky, T. (2004). Automated Data and
    Service Mapping for Integrated Electronic Markets. In <i>Proceedings of the 8th
    World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando,
    FL (USA)</i>.
  bibtex: '@inproceedings{Böttcher_Groppe_Schattkowsky_2004, title={Automated Data
    and Service Mapping for Integrated Electronic Markets}, booktitle={Proceedings
    of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI
    2004), Orlando, FL (USA)}, author={Böttcher, Stefan and Groppe, Sven and Schattkowsky,
    Tim}, year={2004} }'
  chicago: Böttcher, Stefan, Sven Groppe, and Tim Schattkowsky. “Automated Data and
    Service Mapping for Integrated Electronic Markets.” In <i>Proceedings of the 8th
    World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando,
    FL (USA)</i>, 2004.
  ieee: S. Böttcher, S. Groppe, and T. Schattkowsky, “Automated Data and Service Mapping
    for Integrated Electronic Markets,” in <i>Proceedings of the 8th World Multi-Conference
    on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.
  mla: Böttcher, Stefan, et al. “Automated Data and Service Mapping for Integrated
    Electronic Markets.” <i>Proceedings of the 8th World Multi-Conference on Systemics,
    Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.
  short: 'S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World
    Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando,
    FL (USA), 2004.'
date_created: 2019-02-21T11:27:02Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics
  and Informatics (SCI 2004), Orlando, FL (USA)
status: public
title: Automated Data and Service Mapping for Integrated Electronic Markets
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7925'
author:
- first_name: Jonas
  full_name: Eden, Jonas
  last_name: Eden
- first_name: Matthias
  full_name: Weber, Matthias
  last_name: Weber
- first_name: Mark-Oliver
  full_name: Reiser, Mark-Oliver
  last_name: Reiser
- first_name: Thomas
  full_name: Wierczoch, Thomas
  last_name: Wierczoch
- first_name: Ulrich
  full_name: Freund, Ulrich
  last_name: Freund
- first_name: Orazio
  full_name: Gurrieri, Orazio
  last_name: Gurrieri
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Henrik
  full_name: Lönn, Henrik
  last_name: Lönn
- first_name: Jörn
  full_name: Migge, Jörn
  last_name: Migge
citation:
  ama: 'Eden J, Weber M, Reiser M-O, et al. An Architecture Description Language for
    Developing Automotive ECU-Software. In: <i>Proceedings of the 14th International
    Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse
    (France)</i>. ; 2004:101-112.'
  apa: Eden, J., Weber, M., Reiser, M.-O., Wierczoch, T., Freund, U., Gurrieri, O.,
    … Migge, J. (2004). An Architecture Description Language for Developing Automotive
    ECU-Software. In <i>Proceedings of the 14th International Symposium and 4th European
    Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i> (pp. 101–112).
  bibtex: '@inproceedings{Eden_Weber_Reiser_Wierczoch_Freund_Gurrieri_Küster_Lönn_Migge_2004,
    title={An Architecture Description Language for Developing Automotive ECU-Software},
    booktitle={Proceedings of the 14th International Symposium and 4th European Systems
    Engineering Conference (INCOSE 2004), Toulouse (France)}, author={Eden, Jonas
    and Weber, Matthias and Reiser, Mark-Oliver and Wierczoch, Thomas and Freund,
    Ulrich and Gurrieri, Orazio and Küster, Jochen and Lönn, Henrik and Migge, Jörn},
    year={2004}, pages={101–112} }'
  chicago: Eden, Jonas, Matthias Weber, Mark-Oliver Reiser, Thomas Wierczoch, Ulrich
    Freund, Orazio Gurrieri, Jochen Küster, Henrik Lönn, and Jörn Migge. “An Architecture
    Description Language for Developing Automotive ECU-Software.” In <i>Proceedings
    of the 14th International Symposium and 4th European Systems Engineering Conference
    (INCOSE 2004), Toulouse (France)</i>, 101–12, 2004.
  ieee: J. Eden <i>et al.</i>, “An Architecture Description Language for Developing
    Automotive ECU-Software,” in <i>Proceedings of the 14th International Symposium
    and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>,
    2004, pp. 101–112.
  mla: Eden, Jonas, et al. “An Architecture Description Language for Developing Automotive
    ECU-Software.” <i>Proceedings of the 14th International Symposium and 4th European
    Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 2004, pp.
    101–12.
  short: 'J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J.
    Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium
    and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France),
    2004, pp. 101–112.'
date_created: 2019-02-21T11:27:37Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 101-112
publication: Proceedings of the 14th International Symposium and 4th European Systems
  Engineering Conference (INCOSE 2004), Toulouse (France)
status: public
title: An Architecture Description Language for Developing Automotive ECU-Software
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7926'
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. Guest Editors’ Introduction. In: <i>International Journal
    of Software Engineering and Knowledge Engineering (IJSEKE)</i>. Vol 14. World
    Scientific Publishing; 2004:543-544. doi:<a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>'
  apa: Engels, G., &#38; Sauer, S. (2004). Guest Editors’ Introduction. In <i>International
    Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i> (Vol. 14,
    pp. 543–544). World Scientific Publishing. <a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>
  bibtex: '@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction},
    volume={14}, DOI={<a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>},
    number={6}, booktitle={International Journal of Software Engineering and Knowledge
    Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels,
    Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }'
  chicago: Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” In <i>International
    Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 14:543–44.
    World Scientific Publishing, 2004. <a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>.
  ieee: G. Engels and S. Sauer, “Guest Editors’ Introduction,” in <i>International
    Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 2004,
    vol. 14, no. 6, pp. 543–544.
  mla: Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” <i>International
    Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 14,
    no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:<a href="http://dx.doi.org/10.1142/S021819400400183X">http://dx.doi.org/10.1142/S021819400400183X</a>.
  short: 'G. Engels, S. Sauer, in: International Journal of Software Engineering and
    Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.'
date_created: 2019-02-21T11:28:11Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S021819400400183X
intvolume: '        14'
issue: '6'
language:
- iso: eng
page: 543-544
publication: International Journal of Software Engineering and Knowledge Engineering
  (IJSEKE)
publisher: World Scientific Publishing
status: public
title: Guest Editors' Introduction
type: conference
user_id: '52534'
volume: 14
year: '2004'
...
---
_id: '7927'
author:
- first_name: Ping
  full_name: Guo, Ping
  last_name: Guo
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Guo P, Heckel R. Modeling and Simulation of Context-Aware Mobile Systems.
    In: <i>Proceedings of the 19th IEEE International Conference on Automated Software
    Engineering (ASE 2004)</i>. Washington, DC, USA: IEEE Computer Society; 2004:430-433.'
  apa: 'Guo, P., &#38; Heckel, R. (2004). Modeling and Simulation of Context-Aware
    Mobile Systems. In <i>Proceedings of the 19th IEEE international conference on
    Automated software engineering (ASE 2004)</i> (pp. 430–433). Washington, DC, USA:
    IEEE Computer Society.'
  bibtex: '@inproceedings{Guo_Heckel_2004, place={Washington, DC, USA}, title={Modeling
    and Simulation of Context-Aware Mobile Systems}, booktitle={Proceedings of the
    19th IEEE international conference on Automated software engineering (ASE 2004)},
    publisher={IEEE Computer Society}, author={Guo, Ping and Heckel, Reiko}, year={2004},
    pages={430–433} }'
  chicago: 'Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware
    Mobile Systems.” In <i>Proceedings of the 19th IEEE International Conference on
    Automated Software Engineering (ASE 2004)</i>, 430–33. Washington, DC, USA: IEEE
    Computer Society, 2004.'
  ieee: P. Guo and R. Heckel, “Modeling and Simulation of Context-Aware Mobile Systems,”
    in <i>Proceedings of the 19th IEEE international conference on Automated software
    engineering (ASE 2004)</i>, 2004, pp. 430–433.
  mla: Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile
    Systems.” <i>Proceedings of the 19th IEEE International Conference on Automated
    Software Engineering (ASE 2004)</i>, IEEE Computer Society, 2004, pp. 430–33.
  short: 'P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference
    on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington,
    DC, USA, 2004, pp. 430–433.'
date_created: 2019-02-21T11:28:49Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 430-433
place: Washington, DC, USA
publication: Proceedings of the 19th IEEE international conference on Automated software
  engineering (ASE 2004)
publisher: IEEE Computer Society
status: public
title: Modeling and Simulation of Context-Aware Mobile Systems
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7928'
author:
- first_name: Ping
  full_name: Guo, Ping
  last_name: Guo
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Guo P, Heckel R. Simulation and Testing of Mobile Computing Systems using
    Fujaba. In: <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt
    (Germany)</i>. Darmstadt, Germany; 2004.'
  apa: Guo, P., &#38; Heckel, R. (2004). Simulation and Testing of Mobile Computing
    Systems using Fujaba. In <i>Proceedings of the 2nd International Fujaba Days (2004),
    Darmstadt (Germany)</i>. Darmstadt, Germany.
  bibtex: '@inproceedings{Guo_Heckel_2004, place={Darmstadt, Germany}, title={Simulation
    and Testing of Mobile Computing Systems using Fujaba}, booktitle={Proceedings
    of the 2nd International Fujaba Days (2004), Darmstadt (Germany)}, author={Guo,
    Ping and Heckel, Reiko}, year={2004} }'
  chicago: Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing
    Systems Using Fujaba.” In <i>Proceedings of the 2nd International Fujaba Days
    (2004), Darmstadt (Germany)</i>. Darmstadt, Germany, 2004.
  ieee: P. Guo and R. Heckel, “Simulation and Testing of Mobile Computing Systems
    using Fujaba,” in <i>Proceedings of the 2nd International Fujaba Days (2004),
    Darmstadt (Germany)</i>, 2004.
  mla: Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems
    Using Fujaba.” <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt
    (Germany)</i>, 2004.
  short: 'P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days
    (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.'
date_created: 2019-02-21T11:29:13Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Darmstadt, Germany
publication: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)
status: public
title: Simulation and Testing of Mobile Computing Systems using Fujaba
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7929'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded
    Real-Time Systems. In: <i>Proceedings of the Conference on Design Automation and
    Test in Europe (DATE 2004), Paris, France</i>. Vol 2. Los Alamitos, CA, USA: IEEE
    Computer Society; 2004:1392-1393. doi:<a href="http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>'
  apa: 'Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution
    of Embedded Real-Time Systems. In <i>Proceedings of the conference on Design Automation
    and Test in Europe (DATE 2004), Paris, France</i> (Vol. 2, pp. 1392–1393). Los
    Alamitos, CA, USA: IEEE Computer Society. <a href="http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>'
  bibtex: '@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA},
    title={Model-Based Specification and Execution of Embedded Real-Time Systems},
    volume={2}, DOI={<a href="http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>},
    booktitle={Proceedings of the conference on Design Automation and Test in Europe
    (DATE 2004), Paris, France}, publisher={IEEE Computer Society}, author={Schattkowsky,
    Tim and Müller, Wolfgang}, year={2004}, pages={1392–1393} }'
  chicago: 'Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and
    Execution of Embedded Real-Time Systems.” In <i>Proceedings of the Conference
    on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, 2:1392–93.
    Los Alamitos, CA, USA: IEEE Computer Society, 2004. <a href="http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>.'
  ieee: T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of
    Embedded Real-Time Systems,” in <i>Proceedings of the conference on Design Automation
    and Test in Europe (DATE 2004), Paris, France</i>, 2004, vol. 2, pp. 1392–1393.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution
    of Embedded Real-Time Systems.” <i>Proceedings of the Conference on Design Automation
    and Test in Europe (DATE 2004), Paris, France</i>, vol. 2, IEEE Computer Society,
    2004, pp. 1392–93, doi:<a href="http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design
    Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society,
    Los Alamitos, CA, USA, 2004, pp. 1392–1393.'
date_created: 2019-02-21T11:29:52Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103
intvolume: '         2'
language:
- iso: eng
page: 1392-1393
place: Los Alamitos, CA, USA
publication: Proceedings of the conference on Design Automation and Test in Europe
  (DATE 2004), Paris, France
publisher: IEEE Computer Society
status: public
title: Model-Based Specification and Execution of Embedded Real-Time Systems
type: conference
user_id: '52534'
volume: 2
year: '2004'
...
---
_id: '7930'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Schattkowsky T. Direct Execution of UML 2.0 Sequence Diagrams. In: <i>Proceedings
    of the 10th International Conference on Information Systems Analysis and Synthesis
    (ISAS 2004), Orlando, FL (USA)</i>. ; 2004.'
  apa: Schattkowsky, T. (2004). Direct Execution of UML 2.0 Sequence Diagrams. In
    <i>Proceedings of the 10th International Conference on Information Systems Analysis
    and Synthesis (ISAS 2004), Orlando, FL (USA)</i>.
  bibtex: '@inproceedings{Schattkowsky_2004, title={Direct Execution of UML 2.0 Sequence
    Diagrams}, booktitle={Proceedings of the 10th International Conference on Information
    Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)}, author={Schattkowsky,
    Tim}, year={2004} }'
  chicago: Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” In
    <i>Proceedings of the 10th International Conference on Information Systems Analysis
    and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.
  ieee: T. Schattkowsky, “Direct Execution of UML 2.0 Sequence Diagrams,” in <i>Proceedings
    of the 10th International Conference on Information Systems Analysis and Synthesis
    (ISAS 2004), Orlando, FL (USA)</i>, 2004.
  mla: Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” <i>Proceedings
    of the 10th International Conference on Information Systems Analysis and Synthesis
    (ISAS 2004), Orlando, FL (USA)</i>, 2004.
  short: 'T. Schattkowsky, in: Proceedings of the 10th International Conference on
    Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.'
date_created: 2019-02-21T11:30:21Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 10th International Conference on Information Systems
  Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)
status: public
title: Direct Execution of UML 2.0 Sequence Diagrams
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7931'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Schattkowsky T. Efficient Execution of UML State Machines on a Virtual Machine.
    In: <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics
    (SCI 2004), Orlando, FL (USA)</i>. ; 2004.'
  apa: Schattkowsky, T. (2004). Efficient Execution of UML State Machines on a Virtual
    Machine. In <i>Proceedings of the conference on Systemics, Cybernetics and Informatics
    (SCI 2004), Orlando, FL (USA)</i>.
  bibtex: '@inproceedings{Schattkowsky_2004, title={Efficient Execution of UML State
    Machines on a Virtual Machine}, booktitle={Proceedings of the conference on Systemics,
    Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Schattkowsky,
    Tim}, year={2004} }'
  chicago: Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual
    Machine.” In <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics
    (SCI 2004), Orlando, FL (USA)</i>, 2004.
  ieee: T. Schattkowsky, “Efficient Execution of UML State Machines on a Virtual Machine,”
    in <i>Proceedings of the conference on Systemics, Cybernetics and Informatics
    (SCI 2004), Orlando, FL (USA)</i>, 2004.
  mla: Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual
    Machine.” <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics
    (SCI 2004), Orlando, FL (USA)</i>, 2004.
  short: 'T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics
    and Informatics (SCI 2004), Orlando, FL (USA), 2004.'
date_created: 2019-02-21T11:30:50Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the conference on Systemics, Cybernetics and Informatics
  (SCI 2004), Orlando, FL (USA)
status: public
title: Efficient Execution of UML State Machines on a Virtual Machine
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7932'
author:
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
citation:
  ama: 'Hendrik Hausmann J, Heckel R, Lohmann M. Model-based Discovery of Web Services.
    In: <i>Proceedings of the IEEE International Conference on Web Services (ICWS
    2004)</i>. Washington, DC, USA: IEEE Computer Society; 2004:324-331. doi:<a href="http://dx.doi.org/10.1109/ICWS.2004.80">http://dx.doi.org/10.1109/ICWS.2004.80</a>'
  apa: 'Hendrik Hausmann, J., Heckel, R., &#38; Lohmann, M. (2004). Model-based Discovery
    of Web Services. In <i>Proceedings of the IEEE International Conference on Web
    Services (ICWS 2004)</i> (pp. 324–331). Washington, DC, USA: IEEE Computer Society.
    <a href="http://dx.doi.org/10.1109/ICWS.2004.80">http://dx.doi.org/10.1109/ICWS.2004.80</a>'
  bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Lohmann_2004, place={Washington,
    DC, USA}, title={Model-based Discovery of Web Services}, DOI={<a href="http://dx.doi.org/10.1109/ICWS.2004.80">http://dx.doi.org/10.1109/ICWS.2004.80</a>},
    booktitle={Proceedings of the IEEE International Conference on Web Services (ICWS
    2004)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel,
    Reiko and Lohmann, Marc}, year={2004}, pages={324–331} }'
  chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Discovery
    of Web Services.” In <i>Proceedings of the IEEE International Conference on Web
    Services (ICWS 2004)</i>, 324–31. Washington, DC, USA: IEEE Computer Society,
    2004. <a href="http://dx.doi.org/10.1109/ICWS.2004.80">http://dx.doi.org/10.1109/ICWS.2004.80</a>.'
  ieee: J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based Discovery of
    Web Services,” in <i>Proceedings of the IEEE International Conference on Web Services
    (ICWS 2004)</i>, 2004, pp. 324–331.
  mla: Hendrik Hausmann, Jan, et al. “Model-Based Discovery of Web Services.” <i>Proceedings
    of the IEEE International Conference on Web Services (ICWS 2004)</i>, IEEE Computer
    Society, 2004, pp. 324–31, doi:<a href="http://dx.doi.org/10.1109/ICWS.2004.80">http://dx.doi.org/10.1109/ICWS.2004.80</a>.
  short: 'J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE
    International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington,
    DC, USA, 2004, pp. 324–331.'
date_created: 2019-02-21T11:31:16Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/ICWS.2004.80
language:
- iso: eng
page: 324-331
place: Washington, DC, USA
publication: Proceedings of the IEEE International Conference on Web Services (ICWS
  2004)
publisher: IEEE Computer Society
status: public
title: Model-based Discovery of Web Services
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7933'
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Christoph
  full_name: Loeser, Christoph
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Loeser C, Müller W. Peer-to-Peer-based Web Services for Collaborative
    Engineering Environments. In: <i>Proceedings of the International Conference on
    Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer
    Society; 2004.'
  apa: 'Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-to-Peer-based
    Web Services for Collaborative Engineering Environments. In <i>Proceedings of
    the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>.
    Los Alamitos, CA, USA: IEEE Computer Society.'
  bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Los Alamitos, CA,
    USA}, title={Peer-to-Peer-based Web Services for Collaborative Engineering Environments},
    booktitle={Proceedings of the International Conference on Networking (ICN 2004),
    Guadeloupe (France)}, publisher={IEEE Computer Society}, author={Schattkowsky,
    Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004} }'
  chicago: 'Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-to-Peer-Based
    Web Services for Collaborative Engineering Environments.” In <i>Proceedings of
    the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>.
    Los Alamitos, CA, USA: IEEE Computer Society, 2004.'
  ieee: T. Schattkowsky, C. Loeser, and W. Müller, “Peer-to-Peer-based Web Services
    for Collaborative Engineering Environments,” in <i>Proceedings of the International
    Conference on Networking (ICN 2004), Guadeloupe (France)</i>, 2004.
  mla: Schattkowsky, Tim, et al. “Peer-to-Peer-Based Web Services for Collaborative
    Engineering Environments.” <i>Proceedings of the International Conference on Networking
    (ICN 2004), Guadeloupe (France)</i>, IEEE Computer Society, 2004.
  short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International
    Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society,
    Los Alamitos, CA, USA, 2004.'
date_created: 2019-02-21T11:31:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
place: Los Alamitos, CA, USA
publication: Proceedings of the International Conference on Networking (ICN 2004),
  Guadeloupe (France)
publisher: IEEE Computer Society
status: public
title: Peer-to-Peer-based Web Services for Collaborative Engineering Environments
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '7382'
abstract:
- lang: eng
  text: UML offers different diagram types to model behavior and dynamics of software
    systems. In some domains like embedded real-time systems or multimedia systems,
    it is necessary to include specifications of time since the correctness of these
    applications depends on the fulfillment of temporal requirements in addition to
    functional requirements. UML thus already incorporates language features to model
    time and temporal constraints. Such model elements must have an equivalent in
    the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for
    the specification of the formal operational semantics of UML models by applying
    graph transformation to the meta modeling of dynamic behavior. Within this paper,
    we extend this approach to also account for time by building on timed graph transformations.
    We apply these concepts to the domain of multimedia application modeling in which
    we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter
    that can be used to analyze or test a model of multimedia sequence diagrams.
author:
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying
    the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>.
    2004;3(3):181-193.'
  apa: 'Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2004). Dynamic Meta Modeling
    with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software
    and Systems Modeling</i>, <i>3</i>(3), 181–193.'
  bibtex: '@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling
    with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3},
    number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann,
    Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }'
  chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling
    with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software
    and Systems Modeling</i> 3, no. 3 (2004): 181–93.'
  ieee: 'J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with
    Time: Specifying the Semantics of Multimedia Sequence Diagrams,” <i>Software and
    Systems Modeling</i>, vol. 3, no. 3, pp. 181–193, 2004.'
  mla: 'Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying
    the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i>,
    vol. 3, no. 3, 2004, pp. 181–93.'
  short: J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3
    (2004) 181–193.
date_created: 2019-01-31T15:33:39Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         3'
issue: '3'
language:
- iso: eng
page: 181-193
publication: Software and Systems Modeling
status: public
title: 'Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence
  Diagrams'
type: journal_article
user_id: '52534'
volume: 3
year: '2004'
...
---
_id: '7533'
abstract:
- lang: eng
  text: We present the adaptive cruise controller case study for B modelling and the
    model checking by RAVEN. Individual translations of B operations, data types,
    and invariants to the RAVEN Input Language are presented by the example of the
    case study.
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Ola
  full_name: Lundkvist, Ola
  last_name: Lundkvist
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Colin
  full_name: Snook, Colin
  last_name: Snook
citation:
  ama: 'Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller
    Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic
    Design</i>. Dordrecht: Kluwer; 2004.'
  apa: 'Krupp, A., Lundkvist, O., Schattkowsky, T., &#38; Snook, C. (2004). Adaptive
    Cruise Controller Case Study. In J. Mermet (Ed.), <i>UML-B System Specification
    for Proven Electronic Design</i>. Dordrecht: Kluwer.'
  bibtex: '@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive
    Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven
    Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist,
    Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004}
    }'
  chicago: 'Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive
    Cruise Controller Case Study.” In <i>UML-B System Specification for Proven Electronic
    Design</i>, edited by J.  Mermet. Dordrecht: Kluwer, 2004.'
  ieee: 'A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller
    Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>,
    J. Mermet, Ed. Dordrecht: Kluwer, 2004.'
  mla: Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” <i>UML-B
    System Specification for Proven Electronic Design</i>, edited by J.  Mermet, Kluwer,
    2004.
  short: 'A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.),
    UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.'
date_created: 2019-02-05T12:10:31Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'J. '
  full_name: 'Mermet, J. '
  last_name: Mermet
language:
- iso: eng
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publisher: Kluwer
status: public
title: Adaptive Cruise Controller Case Study
type: book_chapter
user_id: '52534'
year: '2004'
...