Search results for "DEVS-Formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	XML-based DEVS modeling and interpretation.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVSJAVA, XLSC, XML, reusability, DEVS
87	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
80	Mohammad Moallemi, Gabriel A. Wainer	Design of Persian tapestry in CD++.	SpringSim	2008	DBLP DOI BibTeX RDF	Persian tapestry, cellular automata, DEVS
77	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
75	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
68	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with DEVS.	AGTIVE	2007	DBLP DOI BibTeX RDF
66	Won Young Lee, Hee Suk Seo, Tae Ho Cho	Modeling of Policy-Based Network with SVDB.	AIS	2004	DBLP DOI BibTeX RDF	PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism
63	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
63	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVSML: automating DEVS execution over SOA towards transparent simulators.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVSML, JavaML, web services, SOA
61	Hernán P. Dacharry, Norbert Giambiasi	A formal verification approach for DEVS.	SCSC	2007	DBLP BibTeX RDF	formal verification, timed automata, DEVS
58	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	Modelling & simulation oriented components of wireless sensor network using DEVS formalism.	SpringSim (2)	2007	DBLP BibTeX RDF	WSN, components, routing protocol, DEVS
56	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	DEVS-WSN : A discrete event approach for Wireless Sensor Network simulation.	AICCSA	2008	DBLP DOI BibTeX RDF
56	Olivier Dalle, Gabriel A. Wainer	An open issue on applying sharing modeling patterns in DEVS.	SCSC	2007	DBLP BibTeX RDF	shared components, discrete event simulation, DEVS, systems theory, component-based modeling
56	Ki-Hyung Kim, Won-Seok Kang	CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
56	Ryo Sato	Toward a unified theory of discrete event systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
52	Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri	Practical application of "lightweight" Z in DEVS framework.	SpringSim	2009	DBLP BibTeX RDF	formal verification, DEVS, lightweight formal methods, Z specification
52	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with Time for Simulation-Based Design.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
52	Olivier Dalle, Bernard P. Zeigler, Gabriel A. Wainer	Extending DEVS to support multiple occurrence in component-based simulation.	WSC	2008	DBLP DOI BibTeX RDF
52	Hui Shang, Gabriel A. Wainer	A Model of Virus Spreading Using Cell-DEVS.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
52	Javier Ameghino, Gabriel A. Wainer	Using Cell-DEVS for Modeling Complex Cell Spaces.	AIS	2004	DBLP DOI BibTeX RDF
52	Eric Innocenti, Alexandre Muzy, Antoine Aïello, Jean François Santucci, David R. C. Hill	Active-DEVS: a computational model for the simulation of forest fire propagation.	SMC (2)	2004	DBLP DOI BibTeX RDF
49	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 (2)	2007	DBLP BibTeX RDF	evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
49	Hyung-Jong Kim 0002	Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction.	AIS	2004	DBLP DOI BibTeX RDF	Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism
49	HyungJong Kim 0002	System Specification Based Network Modeling for Survivability Testing Simulation.	ICISC	2002	DBLP DOI BibTeX RDF	Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism
46	Baohong Liu, Kedi Huang	A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism.	AIS	2004	DBLP DOI BibTeX RDF
46	Bernard P. Zeigler, Doohwan Kim, Herbert Praehofer	DEVS Formalism as a Framework for Advanced Distributed Simulation.	DIS-RT	1997	DBLP DOI BibTeX RDF
45	Doruk Bozagaç	Metamodeling atomic models in discrete event system specificatıon (DEVS) formalism using multivariate adaptive regression splines (MARS) (Kesikli olay sistem belirtimi (DEVS) formalizmindeki atomik modellerin çok değişkenli uyarlanabilir regresyon eğrileri (MARS) ile metamodellenmesi)		2014	RDF
45	Stéphane Garredu	Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS. (Meta-modeling approach and model transformations in the context of modeling and discrete event simulation : application DEVS formalism).		2013	RDF
45	Fahad A. Shiginah, Bernard P. Zeigler	A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations.	Simul. Model. Pract. Theory	2011	DBLP DOI BibTeX RDF
45	Adelinde M. Uhrmacher, Jan Himmelspach, Mathias Röhl, Roland Ewald	Introducing variable ports and multi-couplings for cell biological modeling in DEVS.	WSC	2006	DBLP DOI BibTeX RDF
45	Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem	Modeling of discrete event systems: A holistic and incremental approach using Petri nets.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
45	Alejandro J. Troccoli, Javier Ameghino, Fernando Iñón, Gabriel A. Wainer	A Flow Injection Model Using Cell-DEVS.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
45	Javier Ameghino, Alejandro J. Troccoli, Gabriel A. Wainer	Models of Complex Physical Systems Using Cell-DEVS.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
42	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
40	Yinfeng Henry Yu, Gabriel A. Wainer	eCD++: an engine for executing DEVS models in embedded platforms.	SCSC	2007	DBLP BibTeX RDF
40	Gabriel A. Wainer	Modeling Robot Path Planning with CD++.	ACRI	2006	DBLP DOI BibTeX RDF
40	Mohamed Abd El-Salam Ahmed, Khalil Yonis, Abdul-Rahman Elsahfei, Gabriel A. Wainer	Design and Implementation of a Library of Network Protocols in CD++.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF
40	Mariana C. D'Abreu, Gabriel A. Wainer	Hybrid dynamic systems: models for continous and hybrid system simulation.	WSC	2003	DBLP DOI BibTeX RDF
40	Alexandre Muzy, Eric Innocenti, Antoine Aïello, Jean François Santucci, Gabriel A. Wainer	Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application.	WSC	2002	DBLP DOI BibTeX RDF
33	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
33	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
33	Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle	A modelling and simulation based process for dependable systems design.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
33	Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle	A Modelling and Simulation Based Approach to Dependable System Design.	MoDELS	2005	DBLP DOI BibTeX RDF
33	Bernard P. Zeigler	DEVS Today: Recent Advances in Discrete Event-Based Information Technology.	MASCOTS	2003	DBLP DOI BibTeX RDF
33	Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim	Verification of the DEVS model implementation using aspect embedded DEVS.	SpringSim	2009	DBLP BibTeX RDF	aspect oriented programming based verification, discrete event simulator verification, DEVS formalism
29	Daniel Foguelman, Esteban Lanzarotti, Emanuel Ferreyra, Rodrigo D. Castro	Simulation of emergence in artificial societies: a practical model-based approach with the EB-DEVS formalism.	CoRR	2021	DBLP BibTeX RDF
29	Jung Hyun Im, Ha-Ryoung Oh, Yeong Rak Seong	Simulation of a Mobile IoT System Using the DEVS Formalism.	J. Inf. Process. Syst.	2021	DBLP DOI BibTeX RDF
29	Ehsan M. Ahmad, Hessam S. Sarjoughian	A Behavior Annex For AADL Using The DEVS Formalism.	SpringSim	2019	DBLP DOI BibTeX RDF
29	Yentl Van Tendeloo, Hans Vangheluwe	Extending the DEVS Formalism with Initialization Information.	CoRR	2018	DBLP BibTeX RDF
29	Antoine Dominici, Emmanuelle de Gentili, Laurent Capocchi, Jean François Santucci	Smart-Parking: Integration and data management by modeling and simulation using connected objects according to the DEVS formalism.	UV	2018	DBLP DOI BibTeX RDF
29	María Julia Blas, Silvio Miguel Gonnet, Horacio Pascual Leone, Bernard P. Zeigler	A Conceptual Framework to Classify the Extensions of DEVS Formalism as Variants and Subclasses.	WSC	2018	DBLP DOI BibTeX RDF
29	Celine Kessler, Laurent Capocchi, Jean François Santucci, Bernard P. Zeigler	Hierarchical Markov decision process based on DEVS formalism.	WSC	2017	DBLP DOI BibTeX RDF
29	Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella	UML state machine as modeling language for DEVS formalism.	CLEI	2016	DBLP DOI BibTeX RDF
29	Moath H. A. Jarrah	Modeling and Simulation of Renewable Energy Sources in Smart Grid Using DEVS Formalism.	ANT/SEIT	2016	DBLP DOI BibTeX RDF
29	Sangjoon Park, Seong-Moo Yoo	Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
29	Gabriel A. Wainer	The cell-DEVS formalism as a method for activity tracking in spatial modelling and simulation.	Int. J. Simul. Process. Model.	2015	DBLP DOI BibTeX RDF
29	Youssef Bouanan, Mathilde Forestier, Judicaël Ribault, Gregory Zacharewicz, Bruno Vallespir, Néjib Moalla	Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
29	Youcef Dahmani, Maâmar El-Amine Hamri	Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller.	CoRR	2014	DBLP BibTeX RDF
29	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
29	Bastien Poggi, Thierry Antoine-Santoni	Wireless Sensor Network deployment using DEVS formalism and GIS representation.	SPECTS	2012	DBLP BibTeX RDF
29	Xiaobo Li 0003, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002	A testing framework for DEVS formalism implementations.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
29	Gabriel A. Wainer, Rodrigo D. Castro	A Survey on the Application of the Cell-DEVS Formalism.	J. Cell. Autom.	2010	DBLP BibTeX RDF
29	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
29	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
29	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
29	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
29	Mohammad Moallemi, Ali Arya, Gabriel A. Wainer	Simulation of three dimensional elevator system using cell-DEVS formalism.	SpringSim	2010	DBLP DOI BibTeX RDF
29	Lukas Grulich, Frantisek Zboril	Socioeconomic modelling using the DEVS formalism.	Int. J. Auton. Comput.	2009	DBLP DOI BibTeX RDF
29	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
29	Tag Gon Kim	DEVS Formalism for Modeling of Discrete-Event Systems.	Handbook of Dynamic System Modeling	2007	DBLP DOI BibTeX RDF
29	KeungSik Choi, Doo-Hwan Bae, TagGon Kim	An approach to a hybrid software process simulation using the DEVS formalism.	Softw. Process. Improv. Pract.	2006	DBLP DOI BibTeX RDF
29	Fahad Awadh Bait Shiginah	Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency.		2006	RDF
29	Sangjoon Park, Byunggi Kim	Self-reproducible DEVS formalism.	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
29	Gabriel A. Wainer, Ezequiel Glinsky, Peter MacSween	A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism.	Model-Driven Software Development	2005	DBLP DOI BibTeX RDF
29	Mauro Marcelo Mattos	KBOS run-time environment based on DEVS formalism.	IADIS AC	2005	DBLP BibTeX RDF
29	Sangjoon Park, Kwanjoong Kim	DEVS Formalism: A Hierarchical Generation Scheme.	AIS	2004	DBLP DOI BibTeX RDF
29	Alfredo Anglani, Antonio Grieco, Emanuela Guerriero, Francesco Nucci, Quirico Semeraro, Tullio Tolio	Object-Oriented simulation models based on the DEVS formalism.	ESM	2000	DBLP BibTeX RDF
29	Yung-Hsin Wang, Bernard P. Zeigler	Extending the DEVS formalism for massively parallel simulation.	Discret. Event Dyn. Syst.	1993	DBLP DOI BibTeX RDF
29	Bernard P. Zeigler, Sankait Vahie	DEVS formalism and methodology: unity of conception/diversity of application.	WSC	1993	DBLP DOI BibTeX RDF
29	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
29	Tag Gon Kim, Bernard P. Zeigler	The DEVS formalism: hierarchical, modular systems specification in an object oriented framework.	WSC	1987	DBLP DOI BibTeX RDF
28	Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun 0003	Timing specification and analysis for service-oriented simulation.	SpringSim	2009	DBLP DOI BibTeX RDF	service-oriented simulation, timing specifications and analysis, DEVS
28	Rodrigo D. 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
28	Kiril Kidisyuk, Gabriel A. Wainer	CD++Modeler: a graphical toolkit to develop DEVS models.	SpringSim	2008	DBLP DOI BibTeX RDF
28	Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ramaswamy, Stephen S. Yau	A simulation framework for service-oriented computing systems.	WSC	2008	DBLP DOI BibTeX RDF
28	Rhys Goldstein, Gabriel A. Wainer, James J. Cheetham, Roderick S. Bain	Vesicle-synapsin interactions modeled with Cell-DEVS.	WSC	2008	DBLP DOI BibTeX RDF
28	Yi Sun, Xiaolin Hu	Partial-modular DEVS for improving performance of cellular space wildfire spread simulation.	WSC	2008	DBLP DOI BibTeX RDF
28	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	An XML-based language for DEVS components.	WSC	2008	DBLP DOI BibTeX RDF
28	Carsten Maus	Component-Based Modelling of RNA Structure Folding.	CMSB	2008	DBLP DOI BibTeX RDF	RNA folding, model components, DEVS, secondary structure, multi-level
28	Chuan Feng, Jianfeng Peng, Haiyan Qiao, Jerzy W. Rozenblit	Alert Fusion for a Computer Host Based Intrusion Detection System.	ECBS	2007	DBLP DOI BibTeX RDF
28	Hui Shang, Gabriel A. Wainer	A simulation algorithm for dynamic structure DEVS modeling.	WSC	2006	DBLP DOI BibTeX RDF
28	Qi Liu 0009, Gabriel A. Wainer	Simulating Market Dynamics with CD++.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
28	Xiaolin Hu 0002, Bernard P. Zeigler	Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	distributed robotic system, model continuity, scalability, DEVS, modeling and simulation, team formation
28	Ki-Hyung Kim, Won-Seok Kang	A Web Services-Based Distributed Simulation Architecture for Hierarchical DEVS Models.	AIS	2004	DBLP DOI BibTeX RDF
28	Stephan Schulz 0002, 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
28	Kung-Chao Liu	An Environment for Information System Prototyping: A System Simulation Approach.	ICCI	1990	DBLP DOI BibTeX RDF
16	Emilie Broutin, Paul Bisgambiglia, Jean François Santucci	Simulation of heterogeneous DEVS models; application to the study of natural systems.	SpringSim	2009	DBLP BibTeX RDF	catchment basin, reusability, DEVS, multilayer
16	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
16	Victorino Sanz, Shafagh Jafer, Gabriel A. Wainer, Gabriela Nicolescu, Alfonso Urquia, Sebastián Dormido 0001	Hybrid modeling of opto-electrical interfaces using DEVS and modelica.	SpringSim	2009	DBLP DOI BibTeX RDF	opto-electrical systems, DEVS, CD++, modelica
16	Paul Bisgambiglia, Emmanuelle de Gentili, Paul-Antoine Bisgambiglia, Jean François Santucci	Fuzz-iDEVS: towards a fuzzy toolbox for discrete event systems.	SimuTools	2009	DBLP DOI BibTeX RDF	fuzzy toolbox, simulation, fuzzy logic, fuzzy system, discrete event