Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Chungman Seo, Bernard P. Zeigler	Interoperability between DEVS simulators using service oriented architecture and DEVS namespace.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS namespace, interoperability of DEVS simulators, service oriented architecture, SOAP, DEVS, WSDL
4	José Luis Risco-Martín, Alejandro Moreno, Jesús Manuel de la Cruz, Joaquín Aranda Almansa	Interoperability between DEVS and non-DEVS models using DEVS/SOA.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS/SOA, interoperability, standard, Matlab, DEVS
4	Hui Shang, Gabriel A. Wainer	Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Dynamic Structure DEVS, Real-Time Systems, Embedded Systems, DEVS, CD++
4	Brian Webb, Gabriel A. Wainer	Implementing the SCIDDICA landslide model in Cell-DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF	landslide modelling, cellular automata, discrete event simulation, DEVS, Cell-DEVS
4	Bo Feng, Qi Liu, Gabriel A. Wainer	Parallel simulation of DEVS and Cell-DEVS models on Windows-based PC cluster systems.	SpringSim	2008	DBLP DOI BibTeX RDF	discrete event simulation, parallel simulation, DEVS, cluster systems, Cell-DEVS
4	Gabriel A. Wainer, Norbert Giambiasi	N-dimensional Cell-DEVS Models.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	DEVS models, modeling paradigms, cell-DEVS models, cellular automata, discrete event simulation
4	Sergio Daicz, Alejandro Troccoli, Sergio Zlotnik, Gabriel A. Wainer	Using the DEVS Paradigm to Implement a Simulated Processor.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Simulation methods: Discrete-event simulation, Modeling methodology: DEVS models, Cell-DEVS models, Applications: traffic models
3	Mohammad Moallemi, Gabriel A. Wainer	I-DEVS: imprecise real-time and embedded DEVS modeling.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Olivier Dalle, Judicaël Ribault	Some desired features for the DEVS architecture description language.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Saurabh Mittal, Scott A. Douglass	From domain specific languages to DEVS components: application to cognitive M&S.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler	Automating DEVS over data distribution service for high performance and interoperability.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Pamela Viale, Claudia S. Frydman, Jacques Pinaton	Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Reehan Shaikh, Hans Vangheluwe	Transforming UML2.0 class diagrams and statecharts to atomic DEVS.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Xiaobo Li, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002	A testing framework for DEVS formalism implementations.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Saurabh Mittal, Scott A. Douglass	Net-centric act-R-based cognitive architecture with DEVS unified process.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Joachim Denil, Hans Vangheluwe, Pieter Ramaekers, Paul De Meulenaere, Serge Demeyer	DEVS for AUTOSAR platform modelling.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Hoda Ahmadinejad, Fatemeh Refan, Hessam S. Sarjoughian	NoC simulation modeling in DEVS-suite.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Hessam S. Sarjoughian, Yu Chen	Standardizing DEVS models: an endogenous standpoint.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel A. Wainer	Interfacing DEVS and visualization models for emergency management.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Moon Ho Hwang	Taxonomy of DEVS subclasses for standardization.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Shafagh Jafer, Gabriel A. Wainer	A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
3	Angelo Furfaro, Libero Nigro	A development methodology for embedded systems based on RT-DEVS.	ISSE	2009	DBLP DOI BibTeX RDF	Embedded control systems, Model continuity, Java, Model checking, Timed automata, DEVS, Temporal analysis, Real-time constraints
3	Hesham Saadawi, Gabriel A. Wainer	Verification of real-time DEVS models.	SpringSim	2009	DBLP DOI BibTeX RDF	formal methods verification, timed automata, DEVS, real-time software
3	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	XML-based DEVS modeling and interpretation.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVSJAVA, XLSC, XML, reusability, DEVS
3	Chungman Seo, Bernard P. Zeigler	Automating the DEVS modeling and simulation interface to web services.	SpringSim	2009	DBLP DOI BibTeX RDF	dynamic web service invocation, web service execution language, web services, DEVS, WSDL
3	Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim	Verification of the DEVS model implementation using aspect embedded DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	aspect oriented programming based verification, discrete event simulator verification, DEVS formalism
3	Elie El Ajaltouni, Azzedine Boukerche, Ming Zhang	A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations.	SpringSim	2009	DBLP DOI BibTeX RDF	grid, discrete event simulation, dynamic load balancing, DEVS
3	Stéphane Garredu, Evelyne Vittori, Jean François Santucci	A DEVS-oriented intuitive modeling language.	SpringSim	2009	DBLP DOI BibTeX RDF	methodology, code generation, MDA, specification languages, DEVS
3	Yuri Boiko, Gabriel A. Wainer	Modeling of neural decoder based on binary spiking neurons in DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	binary response function, brain machine, neural spiking decoder, spiking decoding, discrete event simulation, DEVS, spiking neuron
3	Rachid Chreyh, Gabriel A. Wainer	CD++ repository: an internet based searchable database of DEVS models and their experimental frames.	SpringSim	2009	DBLP DOI BibTeX RDF	experimental frames, model libraries, model re-use, DEVS, CD++
3	Patrick Castonguay, Gabriel A. Wainer	Aircraft evacuation DEVS implementation & visualization.	SpringSim	2009	DBLP DOI BibTeX RDF	blender, visualization, CD++, Cell-DEVS
3	Emilie Broutin, Paul Bisgambiglia, Jean François Santucci	Simulation of heterogeneous DEVS models; application to the study of natural systems.	SpringSim	2009	DBLP DOI BibTeX RDF	catchment basin, reusability, DEVS, multilayer
3	Mamadou K. Traoré	A graphical notation for DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	state/event chart, business process, DEVS, flowchart, graphical notation
3	Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri	Practical application of "lightweight" Z in DEVS framework.	SpringSim	2009	DBLP DOI BibTeX RDF	formal verification, DEVS, lightweight formal methods, Z specification
3	Luc Touraille, Mamadou K. Traoré, David R. C. Hill	A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models.	SpringSim	2009	DBLP DOI BibTeX RDF	web service, XML, interoperability, DEVS
3	Victorino Sanz, Shafagh Jafer, Gabriel A. Wainer, Gabriela Nicolescu, Alfonso Urquia, Sebastián Dormido	Hybrid modeling of opto-electrical interfaces using DEVS and modelica.	SpringSim	2009	DBLP DOI BibTeX RDF	opto-electrical systems, DEVS, CD++, modelica
3	Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi	DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS-suite, DEVSJAVA, simulation monitoring, experimental design, visual complexity
3	Chang Ho Sung, Jeong-Hee Hong, Tag Gon Kim	Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models.	SpringSim	2009	DBLP DOI BibTeX RDF	combat system effectiveness, DEVS, hybrid simulation, MATLAB/Simulink, HLA/RTI
3	Patrick Castonguay, Tania Pendergast, Gabriel A. Wainer	Tools for DEVS modeling, simulation and 3D visualization.	SimuTools	2009	DBLP DOI BibTeX RDF	visualization, discrete-event simulation, CD++, cell-DEVS
3	Qi Liu, Gabriel A. Wainer	A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models.	PADS	2009	DBLP DOI BibTeX RDF	Optimistic Parallel Simulation, Lightweight Time Warp, DEVS models, Environmental Models
3	Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer	A formal framework for stochastic DEVS modeling and simulation.	SpringSim	2008	DBLP DOI BibTeX RDF	discrete event simulation, DEVS, stochastic systems
3	Feng Gu, Xiaolin Hu, Lewis Ntaimo	Towards validation of DEVS-FIRE wildfire simulation model.	SpringSim	2008	DBLP DOI BibTeX RDF	DEVS-FIRE, cellular space model, wildfire, validation
3	Monageng Kgwadi, Hui Shang, Gabriel A. Wainer	Definition of dynamic DEVS models: Dynamic Structure CD++.	SpringSim	2008	DBLP DOI BibTeX RDF	Dynamic Structure DEVS, CD++
3	Mamoun Sqali, Lucile Torres, Claudia S. Frydman	Synthesizing scenarios to DEVS models.	SpringSim	2008	DBLP DOI BibTeX RDF	requirement validation and checking, scenarios, DEVS, behavioral specification
3	Yuri Boiko, Gabriel A. Wainer	Modeling quantum dot devices in Cell-DEVS environment.	SpringSim	2008	DBLP DOI BibTeX RDF	majority vote gates, quantum wire, cellular automata, discrete event simulation, quantum dot, XOR gates, cell-DEVS, quantum automata
3	Gabriel A. Wainer, Qi Liu, Julien Chazal, Loïc Quinet, Mamadou K. Traoré	Performance analysis of web-based distributed simulation in DCD++: a case study across the Atlantic Ocean.	SpringSim	2008	DBLP DOI BibTeX RDF	web services, DEVS, CD++, Cell-DEVS
3	Shoupeng Han, Kedi Huang	Equivalent Semantic Translation from Parallel DEVS Models to Time Automata.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Discrete Event System Specification (DEVS), Timed Transition System (TTS), Timed Automata (TA), Semantic Equivalence
3	Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi	LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.	SpringSim	2007	DBLP DOI BibTeX RDF	computer generated forces, discrete event modeling and simulation, variable/dynamic structure, DEVS, hierarchical structure
3	Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko	Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation.	SpringSim	2007	DBLP DOI BibTeX RDF	evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
3	José Luis Risco-Martín, Saurabh Mittal, M. A. López-Peña, Jesús Manuel de la Cruz	A W3C XML schema for DEVS scenarios.	SpringSim	2007	DBLP DOI BibTeX RDF	DEVS (Discrete EVent System Specification), XML (eXtensible Markup Language), meta-model, XML-Schema, meta-language
3	Taekyu Kim, Moon Ho Hwang, Doohwan Kim, Bernard P. Zeigler	DEVS/NS-2 environment: integrated tool for efficient networks modeling and simulation.	SpringSim	2007	DBLP DOI BibTeX RDF	interoperable simulation, wireless sensor network, DEVS, NS-2
3	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	Modelling & simulation oriented components of wireless sensor network using DEVS formalism.	SpringSim	2007	DBLP DOI BibTeX RDF	WSN, components, routing protocol, DEVS
3	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVS-based simulation web services for net-centric T&E.	SCSC	2007	DBLP DOI BibTeX RDF	DEVSML, SOADEVS, T&E, web services, XML, DEVS
3	Jung H. Kim, Tag G. Kim, JinLip. Jeong	Embedding DEVS methodology in CBD process for development of war game simulators.	SCSC	2007	DBLP DOI BibTeX RDF	war game, UML, object-oriented, CBD, DEVS
3	Hernán P. Dacharry, Norbert Giambiasi	A formal verification approach for DEVS.	SCSC	2007	DBLP DOI BibTeX RDF	formal verification, timed automata, DEVS
3	Olivier Dalle, Gabriel A. Wainer	An open issue on applying sharing modeling patterns in DEVS.	SCSC	2007	DBLP DOI BibTeX RDF	shared components, discrete event simulation, DEVS, systems theory, component-based modeling
3	Hui Shang, Gabriel A. Wainer	A flexible dynamic structure DEVS algorithm towards real-time systems.	SCSC	2007	DBLP DOI BibTeX RDF	experimental environment, real-time systems, DEVS, dynamic structure
3	Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou Seck	Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach.	SCSC	2007	DBLP DOI BibTeX RDF	discrete event modeling and simulation, low intensity conflicts, variable/dynamic structure, DEVS, hierarchical structure
3	Tag Gon Kim, Chang Ho Sung	Objective-driven DEVS modeling using OPI matrix for performance evaluation of discrete event systems.	SCSC	2007	DBLP DOI BibTeX RDF	OPI matrix, objective-driven modeling, war game modeling, DEVS
3	Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi	Mapping PIOVRA in GDEVS/HLA environment.	SCSC	2007	DBLP DOI BibTeX RDF	G-DEVS, distributed simulation, HLA, DEVS
3	Alejandra Davidson, Gabriel A. Wainer	Specifying Truck Movement in Traffic Models Using Cell-DEVS.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Simulation methods: Discrete-event simulation Modeling methodology: DEVS models, Cell-DEVS models, Applications: traffic models
3	Kihyung Kim, Wonseok Kang, Bong Sagong, Hyungon Seo	Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	hierarchical simulation, discrete event simulation, distributed simulation, DEVS formalism
3	Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit	Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling.	ECBS	2000	DBLP DOI BibTeX RDF	Modeling, Embedded Systems, DEVS
3	Arturo I. Concepcion, Bernard P. Zeigler	DEVS Formalism: A Framework for Hierarchical Model Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	hierarchical model development, distributed simulator architectures, Discrete Event System Specification, hierarchical model specification, top-down model development, software engineering, distributed processing, programming theory, DEVS, model representation, discrete event models
2	Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (eds.)	2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS).	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Paulo Salem da Silva, Ana Cristina Vieira de Melo	On-the-fly verification of discrete event simulations by means of simulation purposes.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Ken Edwards, Gabriel A. Wainer	GATLAS: Google Earth visualization for ATLAS.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Olivier Zanon	The SimTG simulation modeling framework a domain specific language for space simulation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Jeffrey P. Buzen	The rationale for shaped simulation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Paolo Bocciarelli, Andrea D'Ambrogio	A BPMN extension for modeling non functional properties of business processes.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Ronald Apriliyanto Halim	The simulation-based multi-objective evolutionary optimization (SIMEON) framework.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro	Performance of a multi-agent system over a multi-core cluster managed by Terracotta.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Allan I. McInnes, Brian R. Thorne	ScipySim: towards distributed heterogeneous system simulation for the SciPy platform.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Khaoula Al Ali, Wolfgang Fengler, Bernd Däne	Extended coloured Petri nets with structured tokens formal method for distributed systems.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Zhiying Tu, Gregory Zacharewicz, David Chen	Harmonized and reversible development framework for HLA based interoperable application.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua	Synchronizing sequences on not strongly connected Petri nets.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Pau Fonseca i Casas, Miquel Ramo Nñerola, Angel A. Juan	Using specification and description language to represent users' profiles in OMNET++ simulations.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Greg Franks	Simulating layered queueing networks with passive resources.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Pascal Weyprecht, Oliver Rose	Model-driven development of simulation solution based on SysML starting with the simulation core.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Valeria Perelman, Judith Somekh, Dov Dori	Model verification framework with application to molecular biology.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Michael Müller, Georg-Peter Ostermeyer	Common simulation methods for heat conduction from the perspective of cellular automata.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Norbert Giambiasi	ISTSM: incompletely specified timed sequential machines.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Luc Touraille, Mamadou K. Traoré, David R. C. Hill	A model-driven software environment for modeling, simulation and analysis of complex systems.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Horacio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal	HiLeS2: model driven embedded system virtual prototype generation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	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.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise	Developing discrete event simulations from rigorous process definitions.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Margherita Napoli, Mimmo Parente	Graded CTL model checking for test generation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
2	Shafagh Jafer, Gabriel A. Wainer	Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS.	CSE	2009	DBLP DOI BibTeX RDF
2	Radek Kocí, Vladimír Janousek	Simulation Based Design of Control Systems Using DEVS and Petri Nets.	EUROCAST	2009	DBLP DOI BibTeX RDF
2	Hessam S. Sarjoughian, Vignesh Elamvazhuthi	CoSMoS: a visual environment for component-based modeling, experimental design, and simulation.	SimuTools	2009	DBLP DOI BibTeX RDF	DEVS-suite, M&S lifecycle, visual modeling, CoSMoS
2	Feng Gu, Xuefeng Yan, Xiaolin Hu	State estimation using particle filters in wildfire spread simulation.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS-FIRE, particle filters, dynamic systems, state estimation
2	Matthew R. Hosking, Ferat Sahin	An XML based system of systems discrete event simulation communications framework.	SpringSim	2009	DBLP DOI BibTeX RDF	GroundScout robots, swarm behavior, XML, discrete event simulation, DEVS, system of systems
2	Mohammad Moallemi, Gabriel A. Wainer	A system-on-chip FPGA implementation of embedded CD++.	SpringSim	2009	DBLP DOI BibTeX RDF	embedded CD++, hardware-in-loop, FPGA, embedded systems, real-time, robot, DEVS
2	Joe Mooney, Hessam S. Sarjoughian	A framework for executable UML models.	SpringSim	2009	DBLP DOI BibTeX RDF	discrete event simulation, state machine, DEVS, executable UML
2	Jean François Santucci, Emmanuelle de Gentili	Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics.	SpringSim	2009	DBLP DOI BibTeX RDF	Levi-Strauss, structural anthropology, variable dynamic structure, discrete event simulation, DEVS
2	Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun	Timing specification and analysis for service-oriented simulation.	SpringSim	2009	DBLP DOI BibTeX RDF	service-oriented simulation, timing specifications and analysis, DEVS
2	Yong-Jun You, Sung-Do Chi	SIMVA: simulation-based network vulnerability analysis system.	SpringSim	2009	DBLP DOI BibTeX RDF	SES/MB, vulnerability analysis system, simulation, network security, DEVS
2	Ming Zhang	An introduction to DEVS and distributed DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF
2	Kiril Kidisyuk, Gabriel A. Wainer	CD++Modeler: a graphical toolkit to develop DEVS models.	SpringSim	2008	DBLP DOI BibTeX RDF
2	Yuri Boiko, Gabriel A. Wainer	Modeling spiking neural terminals in DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF	atomic model, coupled model, neural network, discrete event simulation, DEVS, spiking neuron