{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T19:33:45Z","timestamp":1794512025804,"version":"4.9.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319278094","type":"print"},{"value":"9783319278100","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,12,25]],"date-time":"2015-12-25T00:00:00Z","timestamp":1451001600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-27810-0_11","type":"book-chapter","created":{"date-parts":[[2015,12,24]],"date-time":"2015-12-24T02:38:33Z","timestamp":1450924713000},"page":"214-235","source":"Crossref","is-referenced-by-count":5,"title":["Schedulers are no Prophets"],"prefix":"10.1007","author":[{"given":"Arnd","family":"Hartmanns","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Kr\u010d\u00e1l","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"key":"11_CR1","unstructured":"ns-2 wiki. \n                    http:\/\/nsnam.isi.edu\/nsnam\/"},{"key":"11_CR2","unstructured":"ns-3. \n                    https:\/\/www.nsnam.org\/"},{"issue":"7","key":"11_CR3","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MC.2006.242","volume":"39","author":"TR Andel","year":"2006","unstructured":"Andel, T.R., Yasinsac, A.: On the credibility of Manet simulations. IEEE Computer 39(7), 48\u201354 (2006)","journal-title":"IEEE Computer"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-21461-5_4","volume-title":"Formal Techniques for Distributed Systems","author":"J Bogdoll","year":"2011","unstructured":"Bogdoll, J., Ferrer Fioriti, L.M., Hartmanns, A., Hermanns, H.: Partial Order Methods for Statistical Model Checking and Simulation. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 59\u201374. Springer, Heidelberg (2011)"},{"key":"11_CR5","first-page":"249","volume-title":"Lecture Notes in Computer Science","author":"Jonathan Bogdoll","year":"2012","unstructured":"Bogdoll, J., Hartmanns, A., Hermanns, H.: Simulation and statistical model checking for Modestly nondeterministic models. In: Schmitt, J.B. (ed.) MMB\/DFT. LNCS, vol. 7201, pp. 249\u2013252. Springer, Heidelberg (2012)"},{"issue":"10","key":"11_CR6","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"HC Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H.C., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.-P.: MoDeST: a compositional modeling formalism for hard and softly timed systems. IEEE Trans. Software Eng. 32(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24611-4_2","volume-title":"Validation of Stochastic Systems","author":"M Bravetti","year":"2004","unstructured":"Bravetti, M., D\u2019Argenio, P.R.: Tutte le algebre insieme: concepts, discussions and relations of stochastic process algebras with general distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 44\u201388. Springer, Heidelberg (2004)"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1), 5\u201332 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of MANET simulators. In: POMC, pp. 38\u201343. ACM (2002)","DOI":"10.1145\/584490.584499"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P.: A theory of stochastic systems, part I: stochastic automata. Inf. Comput. 203(1), 1\u201338 (2005)","journal-title":"Inf. Comput."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ic.2005.07.002","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P.: A theory of stochastic systems, part II: process algebra. Inf. Comput. 203(1), 39\u201374 (2005)","journal-title":"Inf. Comput."},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-75454-1_14","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S Giro","year":"2007","unstructured":"Giro, S., D\u2019Argenio, P.R.: Quantitative model checking revisited: neither decidable nor approximable. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 179\u2013194. Springer, Heidelberg (2007)"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1080\/15326348708807064","volume":"3","author":"PJ Haas","year":"1987","unstructured":"Haas, P.J., Shedler, G.S.: Regenerative generalized semi-Markov processes. Commun. Stat. Stoch. Models 3(3), 409\u2013438 (1987)","journal-title":"Commun. Stat. Stoch. Models"},{"key":"11_CR14","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H.: Reachability and reward checking for stochastic timed automata. In: ECEASST, 70 (2014)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"PG Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: SPADES - a process algebra for discrete event simulation. J. Log. Comput. 10(1), 3\u201342 (2000)","journal-title":"J. Log. Comput."},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The Modest Toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014)"},{"issue":"4","key":"11_CR17","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10009-014-0349-7","volume":"17","author":"A Hartmanns","year":"2015","unstructured":"Hartmanns, A., Timmer, M.: Sound statistical model checking for MDP using partial order and confluence reduction. STTT 17(4), 429\u2013456 (2015)","journal-title":"STTT"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-662-44584-6_18","volume-title":"CONCUR 2014 \u2013 Concurrency Theory","author":"H Hermanns","year":"2014","unstructured":"Hermanns, H., Kr\u010d\u00e1l, J., K\u0159et\u00ednsk\u00fd, J.: Probabilistic bisimulation: naturally on distributions. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 249\u2013265. Springer, Heidelberg (2014)"},{"issue":"4","key":"11_CR19","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1096166.1096174","volume":"9","author":"S Kurkowski","year":"2005","unstructured":"Kurkowski, S., Camp, T., Colagrosso, M.: MANET simulation studies: the incredibles. Mob. Comput. Commun. Rev. 9(4), 50\u201361 (2005)","journal-title":"Mob. Comput. Commun. Rev."},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"MZ Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Design 29(1), 33\u201378 (2006)","journal-title":"Formal Methods Syst. Design"},{"key":"11_CR21","unstructured":"Matthes, K.: Zur Theorie der Bedienungsprozesse. In: Transactions of the 3rd Prague Conference on Information Theory, Statistics Decision Functions and Random Processes, pp. 513\u2013528 (1962)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1007\/978-3-319-15545-6_30","volume-title":"Software, Services, and Systems","author":"F Nielson","year":"2015","unstructured":"Nielson, F., Nielson, H.R., Zeng, K.: Stochastic model checking of the stochastic quality calculus. In: De Nicola, R., Hennicker, R. (eds.) Wirsing Festschrift. LNCS, vol. 8950, pp. 522\u2013537. Springer, Heidelberg (2015)"},{"key":"11_CR23","unstructured":"Pongor, G.: OMNeT: objective modular network testbed. In: MASCOTS, pp. 323\u2013326. The Society for Computer Simulation (1993)"},{"key":"11_CR24","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edn. John Wiley & Sons Inc, New York (1994)","edition":"1"},{"key":"11_CR25","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. Ph.D thesis, Laboratory for Computer Science, Massachusetts Institute of Technology (1995)"},{"issue":"12","key":"11_CR26","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MCOM.2008.4689215","volume":"46","author":"I Stojmenovic","year":"2008","unstructured":"Stojmenovic, I.: Simulations in wireless sensor and ad hoc networks: matching and advancing models, metrics, and solutions. IEEE Commun. Mag. 46(12), 102\u2013107 (2008)","journal-title":"IEEE Commun. Mag."},{"key":"11_CR27","unstructured":"Strulo, B.: Process algebra for discrete event simulation. Ph.D thesis, Imperial College of Science, Technology and Medicine. University of London, October 1993"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-40229-6_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M Timmer","year":"2013","unstructured":"Timmer, M., van de Pol, J., Stoelinga, M.I.A.: Confluence reduction for Markov automata. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 243\u2013257. Springer, Heidelberg (2013)"},{"key":"11_CR29","unstructured":"Wolovick, N.: Continuous probability and nondeterminism in labeled transaction systems. PhD thesis, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba (2012)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Zeng, X., Bagrodia, R., Gerla, M.: GloMoSim: a library for parallel simulation of large-scale wireless networks. In: PADS, pp. 154\u2013161. IEEE Computer Society (1998)","DOI":"10.1145\/278009.278027"}],"container-title":["Lecture Notes in Computer Science","Semantics, Logics, and Calculi"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27810-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:58:18Z","timestamp":1559350698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27810-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,25]]},"ISBN":["9783319278094","9783319278100"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27810-0_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-27810-0","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,25]]}}}