Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Federico Bergero, Ernesto Kofman, François E. Cellier	A novel parallelization technique for DEVS simulation of continuous and hybrid systems.	Simul.	2013	DBLP DOI BibTeX RDF
16	Mohammed Redjimi, Sofiane Boukelkoul	Algorithmic Tools for the Transformation of Petri Nets to DEVS.	Informatica (Slovenia)	2013	DBLP BibTeX RDF
16	Soremekun Ezekiel Olamide, Mamadou Kaba Traoré	Formal verification and validation of DEVS simulation models.	AFRICON	2013	DBLP DOI BibTeX RDF
16	Mingxin Zhang, Mamadou D. Seck, Alexander Verbraeck	A DEVS-based M&S method for large-scale multi-agent systems.	SummerSim	2013	DBLP BibTeX RDF
16	Misagh Tavanpour, Gabriel A. Wainer, Gary Boudreau, Ronald Casselman	DEVS-based modeling of coordinated multipoint techniques for LTE-advanced.	SpringSim (CNS)	2013	DBLP BibTeX RDF
16	Saurabh Mittal, José Luis Risco-Martín	Model-driven systems engineering for netcentric system of systems with DEVS unified process.	WSC	2013	DBLP DOI BibTeX RDF
16	Sol Ha, Namkug Ku, Myung-Il Roh, Ju-Hwan Cha	Reliability Analysis Method Using Dynamic Reliability Block Diagram Based on DEVS Formalism.	AsiaSim	2013	DBLP DOI BibTeX RDF
16	Verónica Bogado, Silvio Gonnet, Horacio Pascual Leone	Toward an Integrated Quality Evaluation of Web Applications with DEVS.	ICWE Workshops	2013	DBLP DOI BibTeX RDF
16	Yentl Van Tendeloo, Hans Vangheluwe	Logisim to DEVS Translation.	DS-RT	2013	DBLP DOI BibTeX RDF
16	Xiaolin Hu, Yi Sun, Lewis Ntaimo	DEVS-FIRE: design and application of formal discrete event wildfire spread and suppression models.	Simul.	2012	DBLP DOI BibTeX RDF
16	Christina Deatcu, Thorsten Pawletta	A Qualitative Comparison of Two Hybrid DEVS Approaches.	Simul. Notes Eur.	2012	DBLP DOI BibTeX RDF
16	June D. Rodriguez, John O. Miller, Kenneth W. Bauer Jr.	Mathematical description of a discrete event simulation (DEVS) using factor analytic method.	J. Oper. Res. Soc.	2012	DBLP DOI BibTeX RDF
16	Thècle Alix, Gregory Zacharewicz	Product-service systems scenarios simulation based on G-DEVS/HLA: Generalized discrete event specification/high level architecture.	Comput. Ind.	2012	DBLP DOI BibTeX RDF
16	Haidong Xue, Xiaolin Hu, Nathan Dahl, Ming Xue	Post-frontal Combustion Heat Modeling in DEVS-fire for Coupled Atmosphere-fire Simulation.	ICCS	2012	DBLP DOI BibTeX RDF
16	Ahmet Zengin, Muhammed Maruf Öztürk	Formal verification and validation with DEVS-Suite: OSPF Case study.	Simul. Model. Pract. Theory	2012	DBLP DOI BibTeX RDF
16	Stéphane Garredu, Evelyne Vittori, Jean François Santucci, Paul-Antoine Bisgambiglia	A Meta-Model for DEVS - Designed following Model Driven Engineering Specifications.	SIMULTECH	2012	DBLP BibTeX RDF
16	H. Gregor Molter, Johannes Kohlmann, Sorin A. Huss	Automated Generation of Embedded Systems Software from Timed DEVS Model of Computation Specifications.	DSD	2012	DBLP DOI BibTeX RDF
16	Sixuan Wang, Michael Van Schyndel, Gabriel A. Wainer, Vinu Subashini Rajus, Robert F. Woodbury	Devs-based building information modeling and simulation for emergency evacuation.	WSC	2012	DBLP DOI BibTeX RDF
16	Alexander Steiniger, Frank Krüger 0001, Adelinde M. Uhrmacher	Modeling agents and their environment in multi-level-DEVS.	WSC	2012	DBLP DOI BibTeX RDF
16	Maâmar El-Amine Hamri, Gregory Zacharewicz	Automatic generation of object-oriented code from DEVS graphical specifications.	WSC	2012	DBLP DOI BibTeX RDF
16	Hae Sang Song, Tag Gon Kim	Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models.	AsiaSim (1)	2012	DBLP DOI BibTeX RDF
16	Alan Davoust, Gabriel A. Wainer, Babak Esfandiari	DEVS simulation of peer-to-peer file-sharing.	HPCS	2012	DBLP DOI BibTeX RDF
16	Alfonso Urquia, Carla Martin-Villalba, Mohammad Moallemi, Gabriel A. Wainer	DEVS Graph In Modelica For Real-Time Simulation.	ECMS	2012	DBLP DOI BibTeX RDF
16	Bastien Poggi, Thierry Antoine-Santoni	Wireless Sensor Network deployment using DEVS formalism and GIS representation.	SPECTS	2012	DBLP BibTeX RDF
16	Gabriel A. Wainer, Ezequiel Glinsky, Marcelo Gutierrez-Alcaraz	Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark.	Simul.	2011	DBLP DOI BibTeX RDF
16	Shabnam Tauböck, Felix Breitenecker, Dietmar Wiegand, Nikolas Popper	The Project: Modelling and Simulation of Room Management and Schedule Planning at University by Combining DEVS and Agent-based Approaches.	Simul. Notes Eur.	2011	DBLP DOI BibTeX RDF
16	Robert Schoech, Susanne Schmid, Christian Hillbrand	Cycle Time Analyses of Plants by Automated ModelingTechniques and DEVS.	Simul. Notes Eur.	2011	DBLP DOI BibTeX RDF
16	Tobias Schwatinski, Thorsten Pawletta	A Quantization-based ODE Approximation and HPP-LGCA Approach to ARGESIM Benchmark C17 'SIR-type Epidemic' in a DEVS Environment based on MATLAB.	Simul. Notes Eur.	2011	DBLP DOI BibTeX RDF
16	Martin Petzold, Oliver Ullrich, Ewald Speckenmeyer	Dynamic Distributed Simulation of DEVS Models on the OSGi Service.	Simul. Notes Eur.	2011	DBLP DOI BibTeX RDF
16	Jean François Santucci, Laurent Capocchi	Visualization of Folktales on a Map by Coupling Dynamic DEVS Simulation within Google Earth.	SIMULTECH	2011	DBLP BibTeX RDF
16	H. Gregor Molter, André Seffrin, Sorin A. Huss	State space optimization within the DEVS model of computation for timing efficiency.	VLSI-SoC	2011	DBLP DOI BibTeX RDF
16	Youcef Dahmani, Maâmar El-Amine Hamri	Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case.	EMS	2011	DBLP DOI BibTeX RDF
16	Mohammad Moallemi, Gabriel A. Wainer, Federico Bergero, Rodrigo D. Castro	Component-oriented interoperation of real-time DEVS engines.	SpringSim (ANSS)	2011	DBLP BibTeX RDF
16	Yilin Huang, Mamadou D. Seck, Alexander Verbraeck	A DEVS library for rail operations simulation.	SpringSim (EAIA)	2011	DBLP BibTeX RDF
16	Eugene Syriani, Hans Vangheluwe, Amr Al Mallah	Modelling and simulation-based design of a distributed devs simulator.	WSC	2011	DBLP DOI BibTeX RDF
16	Mariano Zapatero, Rodrigo D. Castro, Gabriel A. Wainer, Maysoun Houssein	Architecture for integrated modeling, simulation and visualization of environmental systems using GIS and cell-devs.	WSC	2011	DBLP DOI BibTeX RDF
16	Stéphane Garredu, Evelyne Vittori, Jean François Santucci, Dominique Urbani	A methodology to specify DEVS domain specific profiles and create profile-based models.	IRI	2011	DBLP DOI BibTeX RDF
16	Hae Young Lee, Ingeol Chun, Won-Tae Kim	DVML: DEVS-Based Visual Modeling Language for Hybrid Systems.	FGIT-CA/CES3	2011	DBLP DOI BibTeX RDF
16	Laurent Capocchi, Jean François Santucci, Bastien Poggi, Celine Nicolai	DEVSimPy: A Collaborative Python Software for Modeling and Simulation of DEVS Systems.	WETICE	2011	DBLP DOI BibTeX RDF
16	Nicolas G. Meseth	XML-based DEVS modeling and interpretation.		2011	RDF
16	Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi	A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow.	Simul.	2010	DBLP DOI BibTeX RDF
16	Eduardo Pérez, Lewis Ntaimo, Carla Bailey, Peter McCormack	Modeling and Simulation of Nuclear Medicine Patient Service Management in DEVS.	Simul.	2010	DBLP DOI BibTeX RDF
16	Ahmet Zengin	Large-Scale Integrated Network System Simulation with DEVS-Suite.	KSII Trans. Internet Inf. Syst.	2010	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Rodrigo D. Castro	A Survey on the Application of the Cell-DEVS Formalism.	J. Cell. Autom.	2010	DBLP BibTeX RDF
16	Young-Sik Jeong, Won-Hee Han, Eun-Ha Song, Sang-Soo Yeo	Performance evaluation with DEVS formalism and implementation of active emergency call system for realtime location and monitoring.	Simul. Model. Pract. Theory	2010	DBLP DOI BibTeX RDF
16	Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastián Dormido 0001	System modeling using the Parallel DEVS formalism and the Modelica language.	Simul. Model. Pract. Theory	2010	DBLP DOI BibTeX RDF
16	Arnis Lektauers, Yuri Merkuryev	Creating Defence Models Using V-DEVS Framework.	Sci. J. Riga Tech. Univ. Ser. Comput. Sci.	2010	DBLP DOI BibTeX RDF
16	Kyu Cheol Cho, Sung-Ho Jang, Chang Hyeon Noh, Tae-young Kim, Jong Sik Lee, Jae Min Lee, Taesup Kim, Kangsun Lee	Route reasoning-based mobility modeling and simulation for street fight using DEVS.	SummerSim	2010	DBLP BibTeX RDF
16	Bin Chen 0003, Hans Vangheluwe	Symbolic flattening of DEVS models.	SummerSim	2010	DBLP BibTeX RDF
16	Mahuna Akplogan, Gauthier Quesnel, Frédérick Garçia, Alexandre Joannon, Roger Martin-Clouaire	Towards a deliberative agent system based on DEVS formalism for application in agriculture.	SummerSim	2010	DBLP BibTeX RDF
16	Michael W. Floyd, Gabriel A. Wainer	Creation of DEVS models using imitation learning.	SummerSim	2010	DBLP BibTeX RDF
16	Seyed Ali Etemad, Gabriel A. Wainer	DEVS-based modeling of a human motion data synthesis and control system.	SummerSim	2010	DBLP BibTeX RDF
16	Bahaa Nader, Jean-Baptiste Filippi, Paul Bisgambiglia	A DEVS fire jumps model and associated simulations using ForeFire.	SummerSim	2010	DBLP BibTeX RDF
16	Radek Kocí, Vladimír Janousek	OOPN and DEVS Formalisms for System Specification and Analysis.	ICSEA	2010	DBLP DOI BibTeX RDF
16	Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo	Temporal verification of RT-DEVS models with implementation aspects.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Deniz Cetinkaya, Alexander Verbraeck, Mamadou D. Seck	A metamodel and a DEVS implementation for component based hierarchical simulation modeling.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Tobias Schwatinski, Thorsten Pawletta	An advanced simulation approach for parallel DEVS with ports.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Brahim Khalil Rebai, Gregory Zacharewicz, David Reymond, Patrice Corbe	AnCaraS: a new webometrics web-spider: G-DEVS-based validation of concepts.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Jang Won Bae, Tag Gon Kim	DEVS based plug-in framework for interoperability of simulators.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Keith Holman, Jeremy Kuzub, Gabriel A. Wainer	UAV search strategies using Cell-DEVS.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Qi Liu 0009, Gabriel A. Wainer	Accelerating large-scale DEVS-based simulation on the cell processor.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Chang Beom Choi, Jang Won Bae, Tag Gon Kim, Jaeick Kim, Woong-Gie Han, Cheol Ho Kim	Benefits and challenges in developing warship simulator based on DEVS formalism.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Andrea D'Ambrogio, Daniele Gianni, José L. Risco-Martín, Alessandra Pieroni	A MDA-based approach for the development of DEVS/SOA simulations.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Alejandro Moreno, José L. Risco-Martín, Joaquín Aranda Almansa	Uncovering DEVS simulation behaviour throughout the open provenance model.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Eduardo Pérez, Lewis Ntaimo, Eunshin Byon, Yu Ding 0002	A stochastic DEVS wind turbine component model for wind farm simulation.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Jeong-Hoon Kim, Chang Beom Choi, Il-Chul Moon, Tag Gon Kim	DEVS-based doctrine validation of fleet anti-air defense.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Mohammad Moallemi, Gabriel A. Wainer	Designing an interface for real-time and embedded DEVS.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Mohammad Moallemi, Gabriel A. Wainer, Antoine Awad, Dieynaba Alpha Tall	Application of RT-DEVS in military.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Jonathan D. Gibbs, Hessam S. Sarjoughian	Synchronizing DEVS/SOA simulator with ping monitoring application.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Ahmed Sayed Ahmed, Gabriel A. Wainer, Samy Mahmoud	Integrating building information modeling & cell-DEVS simulation.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Victorino Sanz, Alfonso Urquia, Sebastián Dormido 0001	Integrating Parallel DEVS and equation-based object-oriented modeling.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Mohammad Moallemi, Ali Arya, Gabriel A. Wainer	Simulation of three dimensional elevator system using cell-DEVS formalism.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Song Guo, Xiaolin Hu 0002	Profile-based partition for parallel simulation of DEVS-FIRE.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Sabine Zinn, Jutta Gampe, Jan Himmelspach, Adelinde M. Uhrmacher	A DEVS model for demographic microsimulation.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Maâmar El-Amine Hamri, Lassaad Baati	On using design patterns for DEVS modeling and simulation tools.	SpringSim	2010	DBLP DOI BibTeX RDF
16	Ahmet Zengin, Hessam S. Sarjoughian	DEVS-Suite simulator: A tool teaching network protocols.	WSC	2010	DBLP DOI BibTeX RDF
16	Yilin Huang, Mamadou D. Seck, Alexander Verbraeck	LIBROS-II: Railway modeling with DEVS.	WSC	2010	DBLP DOI BibTeX RDF
16	Qi Liu 0009, Gabriel A. Wainer	Exploring Multi-Grained Parallelism in Compute-Intensive DEVS Simulations.	PADS	2010	DBLP DOI BibTeX RDF
16	Michele Fumarola, Mamadou D. Seck, Alexander Verbraeck	A DEVS component library for simulation-based design of automated container terminals.	SimuTools	2010	DBLP DOI BibTeX RDF
16	Emilie Broutin, Paul Bisgambiglia, Jean François Santucci	Multilayered DEVS Modeling And Simulation Implementation Validation On A Concrete Example: Prediction Of The Behavior Of A Catchment Basin.	ECMS	2010	DBLP DOI BibTeX RDF
16	Shafagh Jafer, Gabriel A. Wainer	Global Lookahead Management (GLM) Protocol for Conservative DEVS Simulation.	DS-RT	2010	DBLP DOI BibTeX RDF
16	Verónica Bogado, Silvio Gonnet, Horacio Pascual Leone	An Approach Based on DEVS for Evaluating Quality Attributes.	SCCC	2010	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Qi Liu 0009	Tools for Graphical Specification and Visualization of DEVS Models.	Simul.	2009	DBLP DOI BibTeX RDF
16	José L. Risco-Martín, Jesús Manuel de la Cruz, Saurabh Mittal, Bernard P. Zeigler	eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation.	Simul.	2009	DBLP DOI BibTeX RDF
16	Yi Sun, Xiaolin Hu	Performance Measurement of Dynamic Structure DEVS for Large-Scale Cellular Space Models.	Simul.	2009	DBLP DOI BibTeX RDF
16	Azzedine Boukerche, Abdulaziz Al Hamidi, Ming Zhang 0006	Design of a virtual environment aided by a model-based formal approach using DEVS.	Concurr. Comput. Pract. Exp.	2009	DBLP DOI BibTeX RDF
16	Christina Deatcu, Thorsten Pawletta	Towards Dynamic Structure Hybrid DEVS forScientific and Technical Computing Environments.	Simul. Notes Eur.	2009	DBLP DOI BibTeX RDF
16	Lukas Grulich, Frantisek Zboril	Socioeconomic modelling using the DEVS formalism.	Int. J. Auton. Comput.	2009	DBLP DOI BibTeX RDF
16	Hyung-Jong Kim, Myuhng Joo Kim, Yoonjeong Kim, Hyun-Cheol Jeong	DEVS-Based modeling of VoIP spam callers' behavior for SPIT level calculation.	Simul. Model. Pract. Theory	2009	DBLP DOI BibTeX RDF
16	Yonglin Lei, Weiping Wang 0002, Qun Li 0004, Yifan Zhu	A transformation model from DEVS to SMP2 based on MDA.	Simul. Model. Pract. Theory	2009	DBLP DOI BibTeX RDF
16	Gregory Zacharewicz, Patrick Pujo, Claudia S. Frydman, Norbert Giambiasi	Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus.	J. Decis. Syst.	2009	DBLP DOI BibTeX RDF
16	Arnis Lektauers	Multi-Agent Geosimulation of Urban Dynamics within the V-Devs Framework.	Sci. J. Riga Tech. Univ. Ser. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Moon Ho Hwang, Bernard P. Zeigler	Reachability Graph of Finite and Deterministic DEVS Networks.	IEEE Trans Autom. Sci. Eng.	2009	DBLP DOI BibTeX RDF
16	Stéphane Garredu, Paul-Antoine Bisgambiglia, Evelyne Vittori, Jean François Santucci	A New Approach to Describe DEVS Models Using Both UML State Machine Diagrams and Fuzzy Logic.	HSC	2009	DBLP BibTeX RDF
16	Gregory Zacharewicz, Thècle Alix, Bruno Vallespir	Services Modeling and Distributed Simulation DEVS / HLA Supported.	WSC	2009	DBLP DOI BibTeX RDF
16	Rhys Goldstein, Gabriel A. Wainer	DEVS-based Design of Spatial Simulations of Biological Systems.	WSC	2009	DBLP DOI BibTeX RDF
16	Blerim Qela, Gabriel A. Wainer, Hussein T. Mouftah	Simulation of Large Wireless Sensor Networks Using Cell-DEVS.	WSC	2009	DBLP DOI BibTeX RDF
16	Rodrigo D. Castro, Ernesto Kofman, Gabriel A. Wainer	A DEVS - based End-to-end Methodology for Hybrid Control of Embedded Networking Systems.	ADHS	2009	DBLP DOI BibTeX RDF
16	H. Gregor Molter, André Seffrin, Sorin Alexander Huss	DEVS2VHDL: Automatic transformation of XML-specified DEVS Model of Computation into synthesizable VHDL code.	FDL	2009	DBLP BibTeX RDF
16	Gang Liu, Yiping Yao, Shaoliang Peng	EDEVS : A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations.	DS-RT	2009	DBLP DOI BibTeX RDF