Search dblp for Publications

export results for "toc:db/journals/tomacs/tomacs28.bht:"

 download as .bib file

@article{DBLP:journals/tomacs/AghaP18,
  author       = {Gul Agha and
                  Karl Palmskog},
  title        = {A Survey of Statistical Model Checking},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {6:1--6:39},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158668},
  doi          = {10.1145/3158668},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/AghaP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/AhnK18,
  author       = {Dohyun Ahn and
                  Kyoung{-}Kuk Kim},
  title        = {Efficient Simulation for Expectations over the Union of Half-Spaces},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {23:1--23:20},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167969},
  doi          = {10.1145/3167969},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/AhnK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Aldini18,
  author       = {Alessandro Aldini},
  title        = {Design and Verification of Trusted Collective Adaptive Systems},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {9:1--9:27},
  year         = {2018},
  url          = {https://doi.org/10.1145/3155337},
  doi          = {10.1145/3155337},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/Aldini18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Beek18,
  author       = {Maurice H. ter Beek},
  title        = {Replicated Computations Results {(RCR)} Report for "Design and Verification
                  of Trusted Collective Adaptive Systems"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {10:1--10:3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3170502},
  doi          = {10.1145/3170502},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/Beek18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/BeekL18,
  author       = {Maurice H. ter Beek and
                  Michele Loreti},
  title        = {Guest Editorial for the Special Issue on FORmal methods for the quantitative
                  Evaluation of Collective Adaptive SysTems {(FORECAST)}},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {8:1--8:4},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177772},
  doi          = {10.1145/3177772},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/BeekL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/BisewskiCM18,
  author       = {Krzysztof Bisewski and
                  Daan Crommelin and
                  Michel Mandjes},
  title        = {Controlling the Time Discretization Bias for the Supremum of Brownian
                  Motion},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {24:1--24:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177775},
  doi          = {10.1145/3177775},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/BisewskiCM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/CahenMZ18,
  author       = {Ewan Jacov Cahen and
                  Michel Mandjes and
                  Bert Zwart},
  title        = {Estimating Large Delay Probabilities in Two Correlated Queues},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {2:1--2:19},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158667},
  doi          = {10.1145/3158667},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/CahenMZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/DassiosQZ18,
  author       = {Angelos Dassios and
                  Yan Qu and
                  Hongbiao Zhao},
  title        = {Exact Simulation for a Class of Tempered Stable and Related Distributions},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {20:1--20:21},
  year         = {2018},
  url          = {https://doi.org/10.1145/3184453},
  doi          = {10.1145/3184453},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/DassiosQZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/EckmanH18,
  author       = {David J. Eckman and
                  Shane G. Henderson},
  title        = {Reusing Search Data in Ranking and Selection: What Could Possibly
                  Go Wrong?},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {18:1--18:15},
  year         = {2018},
  url          = {https://doi.org/10.1145/3170503},
  doi          = {10.1145/3170503},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/EckmanH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/FeldmanH18,
  author       = {Guy Feldman and
                  Susan R. Hunter},
  title        = {{SCORE} Allocations for Bi-objective Ranking and Selection},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {7:1--7:28},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158666},
  doi          = {10.1145/3158666},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/FeldmanH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/GalpinZWG18,
  author       = {Vashti Galpin and
                  Natalia Zon and
                  Pia Wilsdorf and
                  Stephen Gilmore},
  title        = {Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {11:1--11:26},
  year         = {2018},
  url          = {https://doi.org/10.1145/3155338},
  doi          = {10.1145/3155338},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/GalpinZWG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/GeorgoulasHS18,
  author       = {Anastasis Georgoulas and
                  Jane Hillston and
                  Guido Sanguinetti},
  title        = {ProPPA: Probabilistic Programming for Stochastic Dynamical Systems},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {3:1--3:23},
  year         = {2018},
  url          = {https://doi.org/10.1145/3154392},
  doi          = {10.1145/3154392},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/GeorgoulasHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/HannonYJCW18,
  author       = {Christopher Hannon and
                  Jiaqi Yan and
                  Dong Jin and
                  Chen Chen and
                  Jianhui Wang},
  title        = {Combining Simulation and Emulation Systems for Smart Grid Planning
                  and Evaluation},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {4},
  pages        = {27:1--27:23},
  year         = {2018},
  url          = {https://doi.org/10.1145/3186318},
  doi          = {10.1145/3186318},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/HannonYJCW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/KuangH18,
  author       = {Xianyu Kuang and
                  L. Jeff Hong},
  title        = {Replicated Computations Results {(RCR)} Report for "Reusing Search
                  Data in Ranking and Selection: What Could Possibly Go Wrong?"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {19:1--19:3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3185337},
  doi          = {10.1145/3185337},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/KuangH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/LampsBNAK18,
  author       = {Jereme Lamps and
                  Vignesh Babu and
                  David M. Nicol and
                  Vladimir Adam and
                  Rakesh Kumar},
  title        = {Temporal Integration of Emulation and Network Simulators on Linux
                  Multiprocessors},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {1:1--1:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3154386},
  doi          = {10.1145/3154386},
  timestamp    = {Thu, 18 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/LampsBNAK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/LinN18,
  author       = {Yujing Lin and
                  Barry L. Nelson},
  title        = {Variance and Derivative Estimation of Virtual Performance},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {17:1--17:20},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209959},
  doi          = {10.1145/3209959},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/LinN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Loreti18,
  author       = {Michele Loreti},
  title        = {Replicated Computations Results {(RCR)} Report for "Mesoscopic Modelling
                  of Pedestrian Movement using Carma and its Tools"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {12:1--12:3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177773},
  doi          = {10.1145/3177773},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/Loreti18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/MarinRBSS18,
  author       = {Andrea Marin and
                  Sabina Rossi and
                  Dario Burato and
                  Andrea Sina and
                  Matteo Sottana},
  title        = {A Product-Form Model for the Performance Evaluation of a Bandwidth
                  Allocation Strategy in WSNs},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {13:1--13:23},
  year         = {2018},
  url          = {https://doi.org/10.1145/3155335},
  doi          = {10.1145/3155335},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/MarinRBSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Parker18,
  author       = {David Parker},
  title        = {Replicated Computational Results {(RCR)} Report for "ProPPA: Probabilistic
                  Programming for Stochastic Dynamical Systems"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {4:1--4:3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3161568},
  doi          = {10.1145/3161568},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/Parker18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/PlaggeCGM18,
  author       = {Mark Plagge and
                  Christopher D. Carothers and
                  Elsa Gonsiorowski and
                  Neil McGlohon},
  title        = {NeMo: {A} Massively Parallel Discrete-Event Simulation Model for Neuromorphic
                  Architectures},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {4},
  pages        = {30:1--30:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3186317},
  doi          = {10.1145/3186317},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/PlaggeCGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ReijsbergenBSJ18,
  author       = {Dani{\"{e}}l Reijsbergen and
                  Pieter{-}Tjerk de Boer and
                  Werner R. W. Scheinhardt and
                  Sandeep Juneja},
  title        = {Path-ZVA: General, Efficient, and Automated Importance Sampling for
                  Highly Reliable Markovian Systems},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {22:1--22:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3161569},
  doi          = {10.1145/3161569},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/ReijsbergenBSJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/SebastioALS18,
  author       = {Stefano Sebastio and
                  Michele Amoretti and
                  Alberto Lluch{-}Lafuente and
                  Antonio Scala},
  title        = {A Holistic Approach for Collaborative Workload Execution in Volunteer
                  Clouds},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {14:1--14:27},
  year         = {2018},
  url          = {https://doi.org/10.1145/3155336},
  doi          = {10.1145/3155336},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/SebastioALS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/StoffersSDW18,
  author       = {Mirko Stoffers and
                  Daniel Schemmel and
                  Oscar Soria Dustmann and
                  Klaus Wehrle},
  title        = {On Automated Memoization in the Field of Simulation Parameter Studies},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {4},
  pages        = {26:1--26:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3186316},
  doi          = {10.1145/3186316},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/StoffersSDW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/Vandin18,
  author       = {Andrea Vandin},
  title        = {Replicated Computations Results {(RCR)} Report for "A Holistic Approach
                  for Collaborative Workload Execution in Volunteer Clouds"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {15:1--15:3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3182167},
  doi          = {10.1145/3182167},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/Vandin18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ViroliABDP18,
  author       = {Mirko Viroli and
                  Giorgio Audrito and
                  Jacob Beal and
                  Ferruccio Damiani and
                  Danilo Pianini},
  title        = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {16:1--16:28},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177774},
  doi          = {10.1145/3177774},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/ViroliABDP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/WolfeMCRC18,
  author       = {Noah Wolfe and
                  Misbah Mubarak and
                  Christopher D. Carothers and
                  Robert B. Ross and
                  Philip H. Carns},
  title        = {Modeling Large-Scale Slim Fly Networks Using Parallel Discrete-Event
                  Simulation},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {4},
  pages        = {29:1--29:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3203406},
  doi          = {10.1145/3203406},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/WolfeMCRC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/X18,
  title        = {Guest Editorial for the {TOMACS} Special Issue on the Principles of
                  Advanced Discrete Simulation {(PADS)}},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {4},
  pages        = {25:1--25:2},
  year         = {2018},
  url          = {https://doi.org/10.1145/3267459},
  doi          = {10.1145/3267459},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/X18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/YoginathP18,
  author       = {Srikanth B. Yoginath and
                  Kalyan S. Perumalla},
  title        = {Scalable Cloning on Large-Scale {GPU} Platforms with Application to
                  Time-Stepped Simulations on Grids},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {1},
  pages        = {5:11--5:26},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158669},
  doi          = {10.1145/3158669},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/YoginathP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ZhangC18,
  author       = {Chen Zhang and
                  Nan Chen},
  title        = {Statistical Analysis of Simulation Output from Parallel Computing},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {3},
  pages        = {21:1--21:22},
  year         = {2018},
  url          = {https://doi.org/10.1145/3186327},
  doi          = {10.1145/3186327},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/ZhangC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ZhaoZC18,
  author       = {Mingbi Zhao and
                  Jinghui Zhong and
                  Wentong Cai},
  title        = {A Role-Dependent Data-Driven Approach for High-Density Crowd Behavior
                  Modeling},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {4},
  pages        = {28:1--28:25},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177776},
  doi          = {10.1145/3177776},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tomacs/ZhaoZC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics