Table of Contents

• Split and merge strategies for solving uncertain equations using affine arithmeticOliver Scharf, Markus Olbrich, Erich Barke. 1-8 [doi]
• Modelling and simulating systems security policyTristan Caulfield, David J. Pym. 9-18 [doi]
• Integrating a neutral action language in a DEVS modelling environmentBruno Barroca, Sadaf Mustafiz, Simon Van Mierlo, Hans Vangheluwe. 19-28 [doi]
• ProDEVS: an event-driven modeling and simulation tool for hybrid systems using state diagramsLe-Hung Vu, Damien Foures, Vincent Albert. 29-37 [doi]
• Introducing a distance vector routing protocol for ns-3 simulatorJanaka Wijekoon, Rajitha Tennekoon, Erwin Harahap, Hiroaki Nishi. 38-46 [doi]
• Video streaming analysis in Vienna LTE system level simulatorZakaria Ye, Tania Jiménez, Rachid El Azouzi. 47-54 [doi]
• Comparative study of LTE simulations with the ns-3 and the Vienna simulatorsThiago Abreu, Bruno Baynat, Marouen Gachaoui, Tania Jiménez, Narcisse Nya. 55-63 [doi]
• An analysis of increased vertical scaling in three-dimensional virtual world simulationSean C. Mondesire, Jonathan Stevens, Douglas B. Maxwell. 64-70 [doi]
• A V2X message evaluation methodology and cross-domain modelling of safety applications in V2X-enabled E/E-architecturesHarald Bucher, Marius-Florin Buciuman, Alexander Klimm, Oliver Sander, Jürgen Becker. 71-78 [doi]
• Multi agent system optimization in virtual vehicle testbedsPatrick Lange, René Weller, Gabriel Zachmann. 79-88 [doi]
• Using finite forkable DEVS for decision-making based on time measured with uncertaintyDamián Vicino, Olivier Dalle, Gabriel Andrés Wainer. 89-98 [doi]
• Simonstrator: simulation and prototyping platform for distributed mobile applicationsBjörn Richerzhagen, Dominik Stingl, Julius Rückert, Ralf Steinmetz. 99-108 [doi]
• Parallel simulation of queueing petri netsJürgen Walter, Simon Spinner, Samuel Kounev. 109-118 [doi]
• Flexible performance prediction of data center networks using automatically generated simulation modelsPiotr Rygielski, Samuel Kounev, Phuoc Tran-Gia. 119-128 [doi]
• HAEC-SIM: a simulation framework for highly adaptive energy-efficient computing platformsMario Bielert, Florina M. Ciorba, Kim Feldhoff, Thomas Ilsche, Wolfgang E. Nagel. 129-138 [doi]
• TiPeNeSS: a timed petri net simulator software with generally distributed firing delaysÁdám Horváth, András Molnár. 139-146 [doi]
• Sophisticated route calculation approaches for microscopic traffic simulationsKarl Hübner, Björn Schünemann, Ilja Radusch. 147-154 [doi]
• CASSANDRA: a simulation-based, decision-support tool for energy market stakeholdersKonstantinos N. Vavliakis, Anthony C. Chrysopoulos, Kyriakos C. Chatzidimitriou, Andreas L. Symeonidis, Pericles A. Mitkas. 155-164 [doi]
• Notos: efficient emulation of wireless sensor networks with binary-to-source translationRobert Sauter, Sascha Jungen, Richard Figura, Pedro José Marrón. 165-174 [doi]
• Deterministic models of the physical layer through signal simulationDaniel Maier, Steffen Moser, Frank Slomka. 175-182 [doi]
• Emulating vehicular ad hoc networks for evaluation and testing of automotive embedded systemsManuel Schiller, Alois Knoll. 183-190 [doi]
• Combination of intra-flow network coding and opportunistic routing: reliable communications over wireless mesh networksPablo Garrido 0002, David Gómez, Ramón Agüero, Joan Serrat. 191-199 [doi]
• ITFComp: a compression algorithm for ARM architecture instruction trace filesMohammad Qasem, Lukas Pustina. 200-207 [doi]
• FREACSIM: a framework for creating and simulating real-time capable network on chip systems and applicationsDominik Schoenwetter, Ronald Veldema, Dietmar Fey. 208-217 [doi]
• Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process controlAdmar Ajith Kumar Somappa, Lars M. Kristensen, Knut Øvsthus. 218-227 [doi]
• Targeted on-line data extraction with SystemXtractJohannes Schützel, Sebastian Stieber, Christian Haubelt, Adelinde M. Uhrmacher. 228-237 [doi]
• OGSSim: open generic data storage systems simulation toolSebastien Gougeaud, Soraya Zertal, Jacques-Charles Lafoucriere, Philippe Deniel. 238-247 [doi]
• Towards automated data-driven model creation for cloud computing simulationSergej Svorobej, James Byrne, Paul Liston, Peter J. Byrne, Christian Stier, Henning Groenda, Zafeirios C. Papazachos, Dimitrios S. Nikolopoulos. 248-255 [doi]
• Methodology for commercial buildings thermal loads predictive models based on simulation performanceDimitrios-Stavros Kapetanakis, Eleni E. Mangina, Donal Patrick Finn. 256-260 [doi]
• Improving ns-3 emulation support in real-world networking scenariosHelder Fontes, Rui Campos, Manuel Ricardo. 261-266 [doi]
• CIDRarchy: CIDR-based ns-3 routing protocol for large scale network simulationPedro Moreira da Silva, Jaime Dias, Manuel Ricardo. 267-272 [doi]
• Hybrid simulation using SAHISim framework: a hybrid distributed simulation framework using waveform relaxation method implemented over the HLA and the functional mock-up interfaceMuhammad Usman Awais, Wolfgang Gawlik, Gregor De-Cillia, Peter Palensky. 273-278 [doi]
• Simulating LTE mobility management in presence of coverage holes with ns-3Zoraze Ali, Nicola Baldo, Josep Mangues-Bafalluy, Lorenza Giupponi. 279-283 [doi]
• SysML based design for variability enabling the reusability of legacy systems towards the support of diverse standard compliant implementations or standard updates: the case of IEEE-802.15.6 standard for e-Health applicationsSofia Meacham, Fotios Gioulekas, Keith Phalp. 284-289 [doi]
• Netml-ns3-click: modeling of routers in Netml/ns3 by means of the click modular routerRonald G. Addie, Joshua Pravin Raj Natarajan. 293-295 [doi]
• Comparison of measurements and simulation model of indoor signal level variation in LTE networksKrzysztof Grochla, Michal Gorawski, Konrad Polys. 296-298 [doi]
• Merging OMG standards in a general modeling, transformation, and simulation frameworkVitali Schneider, Anna Yupatova, Winfried Dulz, Reinhard German. 299-301 [doi]
• A fast discrete event simulation model for queueing network systemsJ. L. Vázquez-Avila, Remberto Sandoval-Arechiga, Ramon Parra-Michel. 302-304 [doi]
• Hardware-software co-simulation for medical x-ray control unitsBruno Kleinert, Gholam Reza Rahimi, Marc Reichenbach, Dietmar Fey. 305-307 [doi]
• The serious gaming surgical cognitive education and training framework and SKY script scripting languageBrent Cowan, Bill Kapralos, Fuad Moussa, Adam Dubrowski. 308-310 [doi]
• Revisiting virtual reality training using modern head mounted display and game enginesChad Jarvis, Tyge Løvset, Daniel Patel. 315-318 [doi]
• Analytical model of data center infrastructure efficiency for system level simulationsTuomo Malkamäki, Seppo J. Ovaska. 319-326 [doi]
• Simulating power saver network links in MATLABHuseyin Abaci, Gerard Parr, Sally I. McClean, Adrian Moore, Louise Krug. 327-334 [doi]
• Packet coalescing for dual-mode energy efficient ethernet: a simulation studyMehrgan Mostowfi. 335-342 [doi]
• Energy consumption of scheduling policies for HTC jobs in the cloudOsama Nasser Alrajeh, Nigel Thomas. 343-348 [doi]
• A flexible fuzzy inductive reasoning approach for load modelling able to cope with missing dataSergio Jurado, Àngela Nebot, Francisco Mugica. 349-356 [doi]
• Flipping the priority: effects of prioritising HTC jobs on energy consumption in a multi-use clusterMatthew Forshaw, A. Stephen McGough. 357-364 [doi]
• A self-learning energy management system for a smart-grid-ready residential buildingFabiano Pallonetto, Yerlan Turenshenko, Eleni E. Mangina, Donal Patrick Finn. 365-370 [doi]