Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs108.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1302-5169,
  author       = {Christian Colombo and
                  Adrian Francalanza and
                  Ruth Mizzi and
                  Gordon J. Pace},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Extensible Technology-Agnostic Runtime Verification},
  booktitle    = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  pages        = {1--15},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108.1},
  doi          = {10.4204/EPTCS.108.1},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5169.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-5170,
  author       = {Sven Sieverding and
                  Christian Ellen and
                  Peter Battram},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Sequence Diagram Test Case Specification and Virtual Integration Analysis
                  using Timed-Arc Petri Nets},
  booktitle    = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  pages        = {17--31},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108.2},
  doi          = {10.4204/EPTCS.108.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5170.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-5171,
  author       = {Davide Arcelli and
                  Vittorio Cortellessa},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Software model refactoring based on performance analysis: better working
                  on software or performance side?},
  booktitle    = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  pages        = {33--47},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108.3},
  doi          = {10.4204/EPTCS.108.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-5173,
  author       = {Helena Gruhn and
                  Sabine Glesner},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator
                  Networks},
  booktitle    = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  pages        = {49--62},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108.4},
  doi          = {10.4204/EPTCS.108.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5173.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-5174,
  author       = {Maribel Fern{\'{a}}ndez and
                  Jeffrey Terrell},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Assembling the Proofs of Ordered Model Transformations},
  booktitle    = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  pages        = {63--77},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108.5},
  doi          = {10.4204/EPTCS.108.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5174.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-5175,
  author       = {Jan Olaf Blech},
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Towards a Framework for Behavioral Specifications of OSGi Components},
  booktitle    = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  pages        = {79--93},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108.6},
  doi          = {10.4204/EPTCS.108.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5175.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1302-4780,
  editor       = {Barbora Buhnova and
                  Lucia Happe and
                  Jan Kofron},
  title        = {Proceedings 10th International Workshop on Formal Engineering Approaches
                  to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
                  March 23, 2013},
  series       = {{EPTCS}},
  volume       = {108},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.108},
  doi          = {10.4204/EPTCS.108},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-4780.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.