Table of Contents

• Simulating layered queueing networks with passive resourcesGreg Franks. 8-15 [doi]
• The SimTG simulation modeling framework a domain specific language for space simulationOlivier Zanon. 16-23 [doi]
• Common simulation methods for heat conduction from the perspective of cellular automataMichael Müller, Georg-Peter Ostermeyer. 24-33 [doi]
• Net-centric act-R-based cognitive architecture with DEVS unified processSaurabh Mittal, Scott A. Douglass. 34-44 [doi]
• Synchronizing sequences on not strongly connected Petri netsMarco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua. 45-50 [doi]
• Harmonized and reversible development framework for HLA based interoperable applicationZhiying Tu, Gregory Zacharewicz, David Chen. 51-58 [doi]
• Graded CTL model checking for test generationMargherita Napoli, Mimmo Parente. 59-66 [doi]
• DEVS for AUTOSAR platform modellingJoachim Denil, Hans Vangheluwe, Pieter Ramaekers, Paul De Meulenaere, Serge Demeyer. 67-74 [doi]
• HiLeS2: model driven embedded system virtual prototype generationHoracio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal. 75-82 [doi]
• The rationale for shaped simulationJeffrey P. Buzen. 83-88 [doi]
• ScipySim: towards distributed heterogeneous system simulation for the SciPy platformAllan I. McInnes, Brian R. Thorne. 89-94 [doi]
• I-DEVS: imprecise real-time and embedded DEVS modelingMohammad Moallemi, Gabriel Andrés Wainer. 95-102 [doi]
• A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based modelsShafagh Jafer, Gabriel Andrés Wainer. 103-110 [doi]
• Interfacing DEVS and visualization models for emergency managementMohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel Andrés Wainer. 111-116 [doi]
• Developing discrete event simulations from rigorous process definitionsMohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise. 117-124 [doi]
• Performance of a multi-agent system over a multi-core cluster managed by TerracottaFranco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro. 125-133 [doi]
• NoC simulation modeling in DEVS-suiteHoda Ahmadinejad, Fatemeh Refan, Hessam S. Sarjoughian. 134-139 [doi]
• Model verification framework with application to molecular biologyValeria Perelman, Judith Somekh, Dov Dori. 140-145 [doi]
• ISTSM: incompletely specified timed sequential machinesNorbert Giambiasi. 146-151 [doi]
• Taxonomy of DEVS subclasses for standardizationMoon Ho Hwang. 152-159 [doi]
• A BPMN extension for modeling non functional properties of business processesPaolo Bocciarelli, Andrea D'Ambrogio. 160-168 [doi]
• The simulation-based multi-objective evolutionary optimization (SIMEON) frameworkRonald Apriliyanto Halim. 169-174 [doi]
• Extended coloured Petri nets with structured tokens formal method for distributed systemsKhaoula Al Ali, Wolfgang Fengler, Bernd Däne. 175-182 [doi]
• A testing framework for DEVS formalism implementationsXiaobo Li, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002. 183-188 [doi]
• Model-driven development of simulation solution based on SysML starting with the simulation corePascal Weyprecht, Oliver Rose. 189-192 [doi]
• Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processesPamela Viale, Claudia S. Frydman, Jacques Pinaton. 193-198 [doi]
• Automating DEVS over data distribution service for high performance and interoperabilityKi-Jeong Kwon, Chungman Seo, Bernard P. Zeigler. 199-204 [doi]
• Transforming UML2.0 class diagrams and statecharts to atomic DEVSReehan Shaikh, Hans Vangheluwe. 205-212 [doi]
• GATLAS: Google Earth visualization for ATLASKen Edwards, Gabriel Andrés Wainer. 213-220 [doi]
• Using specification and description language to represent users' profiles in OMNET++ simulationsPau Fonseca i Casas, Miquel Ramo Nñerola, Angel A. Juan. 221-228 [doi]
• A model-driven software environment for modeling, simulation and analysis of complex systemsLuc Touraille, Mamadou K. Traoré, David R. C. Hill. 229-237 [doi]
• On-the-fly verification of discrete event simulations by means of simulation purposesPaulo Salem da Silva, Ana Cristina Vieira de Melo. 238-247 [doi]
• Some desired features for the DEVS architecture description languageOlivier Dalle, Judicaël Ribault. 248-255 [doi]
• From domain specific languages to DEVS components: application to cognitive M&SSaurabh Mittal, Scott A. Douglass. 256-265 [doi]
• Standardizing DEVS models: an endogenous standpointHessam S. Sarjoughian, Yu Chen. 266-273 [doi]
• A formal approach to the quantification of sustainability and dependability metrics on data center infrastructuresGustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, Bruno Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves. 274-281 [doi]