Search dblp for Publications

export results for "toc:db/journals/darts/darts4.bht:"

 download as .bib file

@article{DBLP:journals/darts/AliY18,
  author       = {Waqar Ali and
                  Heechul Yun},
  title        = {Protecting Real-Time {GPU} Kernels on Integrated {CPU-GPU} SoC Platforms
                  (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {03:1--03:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.3},
  doi          = {10.4230/DARTS.4.2.3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/AliY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/AltmayerM18,
  author       = {Sebastian Altmayer and
                  Martina Maggio},
  title        = {Front Matter - {ECRTS} 2018 Artifacts, Table of Contents, Preface,
                  Artifact Evaluation Committee},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {00:--1--00:--9},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.0},
  doi          = {10.4230/DARTS.4.2.0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/AltmayerM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/AwanSBAT18,
  author       = {Muhammad Ali Awan and
                  Pedro F. Souto and
                  Konstantinos Bletsas and
                  Benny Akesson and
                  Eduardo Tovar},
  title        = {Worst-case Stall Analysis for Multicore Architectures with Two Memory
                  Controllers (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {05:1--05:3},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.5},
  doi          = {10.4230/DARTS.4.2.5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/AwanSBAT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/BiO18,
  author       = {Xuan Bi and
                  Bruno C. d. S. Oliveira},
  title        = {Typed First-Class Traits (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {09:1--09:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.9},
  doi          = {10.4230/DARTS.4.3.9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/BiO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/BiOS18,
  author       = {Xuan Bi and
                  Bruno C. d. S. Oliveira and
                  Tom Schrijvers},
  title        = {The Essence of Nested Composition (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {05:1--05:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.5},
  doi          = {10.4230/DARTS.4.3.5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/BiOS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/BuresWA18,
  author       = {Tom{\'{a}}s Bures and
                  Danny Weyns and
                  Jesper Andersson},
  title        = {Front Matter - {SEAMS} 2018 Artifacts, Table of Contents, Preface,
                  Artifact Evaluation Committee},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {1},
  pages        = {01:--1--01:--13},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.1.0},
  doi          = {10.4230/DARTS.4.1.0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/BuresWA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/CamposV18,
  author       = {Joana Campos and
                  Vasco T. Vasconcelos},
  title        = {Dependent Types for Class-based Mutable Objects (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {01:1--01:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.1},
  doi          = {10.4230/DARTS.4.3.1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/CamposV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/ChenBU18,
  author       = {Jian{-}Jia Chen and
                  Georg von der Br{\"{u}}ggen and
                  Niklas Ueter},
  title        = {Evaluations of Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline
                  Sporadic Task Systems (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {06:1--06:5},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.6},
  doi          = {10.4230/DARTS.4.2.6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/darts/ChenBU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/ChristakisHR18,
  author       = {Maria Christakis and
                  Philipp Haller and
                  Marianna Rapoport},
  title        = {Front Matter - {ECOOP} 2018 Artifacts, Table of Contents, Preface,
                  Artifact Evaluation Committee},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {00:--1--00:--12},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.0},
  doi          = {10.4230/DARTS.4.3.0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/ChristakisHR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/ChungLNV18,
  author       = {Benjamin Chung and
                  Paley Li and
                  Francesco Zappa Nardelli and
                  Jan Vitek},
  title        = {KafKa: Gradual Typing for Objects (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {10:1--10:3},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.10},
  doi          = {10.4230/DARTS.4.3.10},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/ChungLNV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/DelnatHJPRTL18,
  author       = {Wito Delnat and
                  Thomas Heyman and
                  Wouter Joosen and
                  Davy Preuveneers and
                  Ansar Rafique and
                  Eddy Truyen and
                  Dimitri Van Landuyt},
  title        = {K8-Scalar: a workbench to compare autoscalers for container-orchestrated
                  services (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {1},
  pages        = {03:1--03:6},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.1.2},
  doi          = {10.4230/DARTS.4.1.2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/darts/DelnatHJPRTL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/InoueAI18,
  author       = {Hiroaki Inoue and
                  Tomoyuki Aotani and
                  Atsushi Igarashi},
  title        = {ContextWorkflow: {A} Monadic {DSL} for Compensable and Interruptible
                  Executions (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {04:1--04:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.4},
  doi          = {10.4230/DARTS.4.3.4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/InoueAI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/KrugerSABM18,
  author       = {Stefan Kr{\"{u}}ger and
                  Johannes Sp{\"{a}}th and
                  Karim Ali and
                  Eric Bodden and
                  Mira Mezini},
  title        = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
                  APIs (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {06:1--06:4},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.6},
  doi          = {10.4230/DARTS.4.3.6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/KrugerSABM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/MezzettiMT18,
  author       = {Gianluca Mezzetti and
                  Anders M{\o}ller and
                  Martin Toldam Torp},
  title        = {Type Regression Testing to Detect Breaking Changes in Node.js Libraries
                  (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {08:1--08:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.8},
  doi          = {10.4230/DARTS.4.3.8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/MezzettiMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/MilanovaH18,
  author       = {Ana L. Milanova and
                  Wei Huang},
  title        = {Definite Reference Mutability (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {07:1--07:3},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.7},
  doi          = {10.4230/DARTS.4.3.7},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/darts/MilanovaH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/NemitzAA18,
  author       = {Catherine E. Nemitz and
                  Tanya Amert and
                  James H. Anderson},
  title        = {Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing
                  Core Counts (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {02:1--02:3},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.2},
  doi          = {10.4230/DARTS.4.2.2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/NemitzAA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/OostvogelsKM18,
  author       = {Nathalie Oostvogels and
                  Joeri De Koster and
                  Wolfgang De Meuter},
  title        = {Static Typing of Complex Presence Constraints in Interfaces (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {03:1--03:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.3},
  doi          = {10.4230/DARTS.4.3.3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/OostvogelsKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/PapadopoulosBBB18,
  author       = {Alessandro Vittorio Papadopoulos and
                  Enrico Bini and
                  Sanjoy K. Baruah and
                  Alan Burns},
  title        = {AdaptMC: {A} Control-Theoretic Approach for Achieving Resilience in
                  Mixed-Criticality Systems (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {01:1--01:3},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.1},
  doi          = {10.4230/DARTS.4.2.1},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/darts/PapadopoulosBBB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/PazzagliaPBN18,
  author       = {Paolo Pazzaglia and
                  Luigi Pannocchi and
                  Alessandro Biondi and
                  Marco Di Natale},
  title        = {Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline
                  Misses (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {04:1--04:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.4},
  doi          = {10.4230/DARTS.4.2.4},
  timestamp    = {Sat, 18 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/darts/PazzagliaPBN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/TomanG18,
  author       = {John Toman and
                  Dan Grossman},
  title        = {Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration
                  Updates (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {3},
  pages        = {02:1--02:2},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.3.2},
  doi          = {10.4230/DARTS.4.3.2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/TomanG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/Vogel18,
  author       = {Thomas Vogel},
  title        = {mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and
                  Self-Optimization (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {1},
  pages        = {02:1--02:4},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.1.1},
  doi          = {10.4230/DARTS.4.1.1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/Vogel18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/WagemannDDUS18,
  author       = {Peter W{\"{a}}gemann and
                  Christian Dietrich and
                  Tobias Distler and
                  Peter Ulbrich and
                  Wolfgang Schr{\"{o}}der{-}Preikschat},
  title        = {Whole-System {WCEC} Analysis for Energy-Constrained Real-Time Systems
                  (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {4},
  number       = {2},
  pages        = {07:1--07:4},
  year         = {2018},
  url          = {https://doi.org/10.4230/DARTS.4.2.7},
  doi          = {10.4230/DARTS.4.2.7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/WagemannDDUS18.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.