Search dblp for Publications

export results for "toc:db/conf/ecrts/ecrts2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ecrts/AbdeddaimCM13,
  author       = {Yasmina Abdedda{\"{\i}}m and
                  Youn{\`{e}}s Chandarli and
                  Damien Masson},
  title        = {The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting
                  Real-Time Systems},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {47--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.16},
  doi          = {10.1109/ECRTS.2013.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AbdeddaimCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AxerQNEDH13,
  author       = {Philip Axer and
                  Sophie Quinton and
                  Moritz Neukirchner and
                  Rolf Ernst and
                  Bj{\"{o}}rn D{\"{o}}bel and
                  Hermann H{\"{a}}rtig},
  title        = {Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time
                  Constraints},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {215--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.31},
  doi          = {10.1109/ECRTS.2013.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AxerQNEDH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AyedMF13,
  author       = {Hamid Ayed and
                  Ahlem Mifdaoui and
                  Christian Fraboul},
  title        = {Interconnection Optimization for Multi-cluster Avionics Networks},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {145--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.25},
  doi          = {10.1109/ECRTS.2013.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AyedMF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AzimSF13,
  author       = {Akramul Azim and
                  Shreyas Sundaram and
                  Sebastian Fischmeister},
  title        = {An Efficient Periodic Resource Supply Model for Workloads with Transient
                  Overloads},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {249--258},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.34},
  doi          = {10.1109/ECRTS.2013.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/AzimSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BettsD13,
  author       = {Adam Betts and
                  Alastair F. Donaldson},
  title        = {Estimating the {WCET} of GPU-Accelerated Applications Using Hybrid
                  Analysis},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {193--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.29},
  doi          = {10.1109/ECRTS.2013.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BettsD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BonifaciMSW13,
  author       = {Vincenzo Bonifaci and
                  Alberto Marchetti{-}Spaccamela and
                  Sebastian Stiller and
                  Andreas Wiese},
  title        = {Feasibility Analysis in the Sporadic {DAG} Task Model},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {225--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.32},
  doi          = {10.1109/ECRTS.2013.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BonifaciMSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/Brandenburg13,
  author       = {Bj{\"{o}}rn B. Brandenburg},
  title        = {A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive
                  Real-Time Applications},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {292--302},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.38},
  doi          = {10.1109/ECRTS.2013.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/Brandenburg13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BurnsD13,
  author       = {Alan Burns and
                  Robert I. Davis},
  title        = {Mixed Criticality on Controller Area Network},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {125--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.23},
  doi          = {10.1109/ECRTS.2013.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BurnsD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BurnsW13,
  author       = {Alan Burns and
                  Andy J. Wellings},
  title        = {A Schedulability Compatible Multiprocessor Resource Sharing Protocol
                  - MrsP},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {282--291},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.37},
  doi          = {10.1109/ECRTS.2013.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BurnsW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ChwaLPES13,
  author       = {Hoon Sung Chwa and
                  Jinkyu Lee and
                  Kieu{-}My Phan and
                  Arvind Easwaran and
                  Insik Shin},
  title        = {Global {EDF} Schedulability Analysis for Synchronous Parallel Tasks
                  on Multicore Platforms},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {25--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.14},
  doi          = {10.1109/ECRTS.2013.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/ChwaLPES13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/DavisSAMC13,
  author       = {Robert I. Davis and
                  Luca Santinelli and
                  Sebastian Altmeyer and
                  Claire Maiza and
                  Liliana Cucu{-}Grosjean},
  title        = {Analysis of Probabilistic Cache Related Pre-emption Delays},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {168--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.27},
  doi          = {10.1109/ECRTS.2013.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/DavisSAMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/EricksonA13,
  author       = {Jeremy P. Erickson and
                  James H. Anderson},
  title        = {Reducing Tardiness under Global Scheduling by Splitting Jobs},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {14--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.13},
  doi          = {10.1109/ECRTS.2013.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/EricksonA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/GujaratiCB13,
  author       = {Arpan Gujarati and
                  Felipe Cerqueira and
                  Bj{\"{o}}rn B. Brandenburg},
  title        = {Outstanding Paper Award: Schedulability Analysis of the Linux Push
                  and Pull Scheduler with Arbitrary Processor Affinities},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {69--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.18},
  doi          = {10.1109/ECRTS.2013.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/GujaratiCB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HettiarachchiFW13,
  author       = {Pradeep M. Hettiarachchi and
                  Nathan Fisher and
                  Le Yi Wang},
  title        = {Achieving Thermal-Resiliency for Multicore Hard-Real-Time Systems},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {37--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.15},
  doi          = {10.1109/ECRTS.2013.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/HettiarachchiFW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/KimKR13,
  author       = {Hyoseung Kim and
                  Arvind Kandhalu and
                  Ragunathan Rajkumar},
  title        = {A Coordinated Approach for Practical OS-Level Cache Management in
                  Multi-core Real-Time Systems},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {80--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.19},
  doi          = {10.1109/ECRTS.2013.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/KimKR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LiALG13,
  author       = {Jing Li and
                  Kunal Agrawal and
                  Chenyang Lu and
                  Christopher D. Gill},
  title        = {Outstanding Paper Award: Analysis of Global {EDF} for Parallel Tasks},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {3--13},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.12},
  doi          = {10.1109/ECRTS.2013.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/LiALG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LiuA13,
  author       = {Cong Liu and
                  James H. Anderson},
  title        = {Suspension-Aware Analysis for Hard Real-Time Multiprocessor Scheduling},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {271--281},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.36},
  doi          = {10.1109/ECRTS.2013.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/LiuA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MaggioBCA13,
  author       = {Martina Maggio and
                  Enrico Bini and
                  Georgios C. Chasparis and
                  Karl{-}Erik {\AA}rz{\'{e}}n},
  title        = {A Game-Theoretic Resource Manager for {RT} Applications},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {57--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.17},
  doi          = {10.1109/ECRTS.2013.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/MaggioBCA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ShortP13,
  author       = {Michael Short and
                  Juli{\'{a}}n Proenza},
  title        = {Towards Efficient Probabilistic Scheduling Guarantees for Real-Time
                  Systems Subject to Random Errors and Random Bursts of Errors},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {259--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.35},
  doi          = {10.1109/ECRTS.2013.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/ShortP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SlijepcevicKAQC13,
  author       = {Mladen Slijepcevic and
                  Leonidas Kosmidis and
                  Jaume Abella and
                  Eduardo Qui{\~{n}}ones and
                  Francisco J. Cazorla},
  title        = {{DTM:} Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {237--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.33},
  doi          = {10.1109/ECRTS.2013.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SlijepcevicKAQC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SocciPBB13,
  author       = {Dario Socci and
                  Peter Poplavko and
                  Saddek Bensalem and
                  Marius Bozga},
  title        = {Mixed Critical Earliest Deadline First},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {93--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.20},
  doi          = {10.1109/ECRTS.2013.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SocciPBB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/TanasaBEP13,
  author       = {Bogdan Tanasa and
                  Unmesh D. Bordoloi and
                  Petru Eles and
                  Zebo Peng},
  title        = {Probabilistic Timing Analysis for the Dynamic Segment of FlexRay},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.24},
  doi          = {10.1109/ECRTS.2013.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/TanasaBEP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ThekkilakattilDP13,
  author       = {Abhilash Thekkilakattil and
                  Radu Dobrin and
                  Sasikumar Punnekkat},
  title        = {Quantifying the Sub-optimality of Non-preemptive Real-Time Scheduling},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.22},
  doi          = {10.1109/ECRTS.2013.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/ThekkilakattilDP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/TomaC13,
  author       = {Anas Toma and
                  Jian{-}Jia Chen},
  title        = {Computation Offloading for Frame-Based Real-Time Tasks with Resource
                  Reservation Servers},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.21},
  doi          = {10.1109/ECRTS.2013.21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/TomaC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/WardHKA13,
  author       = {Bryan C. Ward and
                  Jonathan L. Herman and
                  Christopher J. Kenna and
                  James H. Anderson},
  title        = {Outstanding Paper Award: Making Shared Caches More Predictable on
                  Multicore Platforms},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {157--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.26},
  doi          = {10.1109/ECRTS.2013.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/WardHKA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/WaslyP13,
  author       = {Saud Wasly and
                  Rodolfo Pellizzoni},
  title        = {A Dynamic Scratchpad Memory Unit for Predictable Real-Time Embedded
                  Systems},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {183--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.28},
  doi          = {10.1109/ECRTS.2013.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/WaslyP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ZengN13,
  author       = {Haibo Zeng and
                  Marco Di Natale},
  title        = {Outstanding Paper Award: Using Max-Plus Algebra to Improve the Analysis
                  of Non-cyclic Task Models},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {205--214},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.30},
  doi          = {10.1109/ECRTS.2013.30},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/ZengN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2013,
  title        = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6599404/proceeding},
  isbn         = {978-0-7695-5054-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics