SpringSim 2011: Boston, MA, USA

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

Last update Thu May 23 06:48:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page