Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Lewis Ntaimo, Xiaolin Hu, Yi Sun	DEVS-FIRE: Towards an Integrated Simulation Environment for Surface Wildfire Spread and Containment.	Simul.	2008	DBLP DOI BibTeX RDF
16	Azzedine Boukerche, Ming Zhang 0006, Ahmad Shadid	DEVS Approach to Real-time RTI Design for Large-scale Distributed Simulation Systems.	Simul.	2008	DBLP DOI BibTeX RDF
16	Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi	G-DEVS/HLA Environment for Distributed Simulations of Workflows.	Simul.	2008	DBLP DOI BibTeX RDF
16	Carlos Arturo Parra Ortega	Evaluación del Desempeño de Procesos Industriales Utilizando Redes de Petri Simuladas Bajo el Formalismo DEVS.	Rev. Avances en Sistemas Informática	2008	DBLP BibTeX RDF
16	Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman	Integrating Z in DEVS : a case study Lift Control System.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
16	Angelo Furfaro, Libero Nigro	Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL.	IMCSIT	2008	DBLP DOI BibTeX RDF
16	Saehoon Cheon, Doohwan Kim, Bernard P. Zeigler	DEVS model composition by system entity structure.	IRI	2008	DBLP DOI BibTeX RDF
16	Hyeong T. Park, Kil Y. Seong, Suraj Dangol, Gi-Nam Wang, Sang C. Park	An Approach to Obtain a PLC Program from a DEVS Model.	ICINCO-RA (2)	2008	DBLP BibTeX RDF
16	José L. Risco-Martín, Saurabh Mittal, David Atienza, José Ignacio Hidalgo, Juan Lanchares	Optimization of dynamic data types in embedded systems using DEVS/SOA-based modeling and simulation.	Infoscale	2008	DBLP DOI BibTeX RDF
16	Tag Gon Kim	DEVS Formalism for Modeling of Discrete-Event Systems.	Handbook of Dynamic System Modeling	2007	DBLP DOI BibTeX RDF
16	Thomas Wutzler, Hessam S. Sarjoughian	Interoperability among Parallel DEVS Simulators and Models Implemented in Multiple Programming Languages.	Simul.	2007	DBLP DOI BibTeX RDF
16	Hesham Saadawi, Gabriel A. Wainer	Modeling physical systems using finite element Cell-DEVS.	Simul. Model. Pract. Theory	2007	DBLP DOI BibTeX RDF
16	Umar Farooq, Gabriel A. Wainer, Bengu Balya	DEVS modeling of mobile wireless ad hoc networks.	Simul. Model. Pract. Theory	2007	DBLP DOI BibTeX RDF
16	Mara Nikolaidou, Vassilis Dalakas, Georgios-Dimitrios Kapos, Loreta Mitsi, Dimosthenis Anagnostopoulos	A UML2.0 profile for DEVS: Providing code generation capabilities for simulation.	SEDE	2007	DBLP BibTeX RDF
16	Jan Himmelspach, Roland Ewald, Stefan Leye, Adelinde M. Uhrmacher	Parallel and distributed simulation of parallel DEVS models.	SpringSim (2)	2007	DBLP BibTeX RDF	PDEVS, partitioning, distributed simulation
16	François Giamarchi, Laurent Capocchi, Dominique Federici, Paul Bisgambiglia	Test Pattern Generation Method for VHDL Descriptions with BFS-DEVS Simulator.	CDES	2007	DBLP BibTeX RDF
16	Sunwoo Park, Sean H. J. Kim, C. Anthony Hunt	Simulation Processors and Their Collaboration for DEVS Models Integrated with Universal Coupling Specification.	CAINE	2007	DBLP BibTeX RDF
16	Ming Zhang 0006	Toward a Flexible and Reconfigurable Distributed Simulation: A New Approach to Distributed DEVS.		2007	RDF
16	Gabriel A. Wainer	Applying Cell-DEVS Methodology for Modeling the Environment.	Simul.	2006	DBLP DOI BibTeX RDF
16	Patrick Pujo, Massimo Pedetti, Norbert Giambiasi	Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production.	Simul. Model. Pract. Theory	2006	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer	ATLAS: A language to specify traffic models using Cell-DEVS.	Simul. Model. Pract. Theory	2006	DBLP DOI BibTeX RDF
16	Hee Suk Seo	Network security agent DEVS simulation modeling.	Simul. Model. Pract. Theory	2006	DBLP DOI BibTeX RDF
16	Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman	Min-Max-DEVS modeling and simulation.	Simul. Model. Pract. Theory	2006	DBLP DOI BibTeX RDF
16	Ki Jung Hong, Tag Gon Kim	DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems.	Inf. Softw. Technol.	2006	DBLP DOI BibTeX RDF
16	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
16	Hong Pang, Cheng Zhang 0015, Amin Hammad	Sensitivity analysis of construction simulation using Cell-DEVS and microcyclone.	WSC	2006	DBLP DOI BibTeX RDF
16	Saurabh Mittal, Amit Mitra, Amar Gupta, Bernard P. Zeigler	Strengthening OV-6a semantics with rule-based meta-models in DEVS/DoDAF based life-cycle architecture development.	IRI	2006	DBLP DOI BibTeX RDF
16	Fahad Awadh Bait Shiginah	Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency.		2006	RDF
16	Fernando J. Barros, SungDo Chi	Editorial: Applications of DEVS Formalisms.	Simul.	2005	DBLP DOI BibTeX RDF
16	JongKeun Lee, SungDo Chi	Using Symbolic DEVS Simulation to Generate Optimal Traffic Signal Timings.	Simul.	2005	DBLP DOI BibTeX RDF
16	Hae Sang Song, Tag Gon Kim	Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example.	Simul.	2005	DBLP DOI BibTeX RDF
16	Xiaolin Hu 0002, Bernard P. Zeigler, Saurabh Mittal	Variable Structure in DEVS Component-Based Modeling and Simulation.	Simul.	2005	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Norbert Giambiasi	Cell-DEVS/GDEVS for Complex Continuous Systems.	Simul.	2005	DBLP DOI BibTeX RDF
16	Sangjoon Park, Byunggi Kim	Self-reproducible DEVS formalism.	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
16	Dmitry Zinoviev	Mapping DEVS Models onto UML Models	CoRR	2005	DBLP BibTeX RDF
16	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
16	Emmanuelle de Gentili, Ange de Cicco, Jean François Santucci	Devs and Fuzzy logic to model and simulate a manufacturing process.	CIMCA/IAWTIC	2005	DBLP DOI BibTeX RDF
16	Mauro Marcelo Mattos	KBOS run-time environment based on DEVS formalism.	IADIS AC	2005	DBLP BibTeX RDF
16	Moon Ho Hwang	Generating finite-state global behavior of reconfigurable automation systems: DEVS approach.	CASE	2005	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, Saurabh Mittal	Enhancing DoDAF with a DEVS-based system lifecycle development process.	SMC	2005	DBLP DOI BibTeX RDF
16	Levent Yilmaz	Verifying Collaborative Behavior in Component-Based DEVS Models.	Simul.	2004	DBLP DOI BibTeX RDF
16	Lewis Ntaimo, Bernard P. Zeigler, Maria J. P. Vasconcelos, Bithika Khargharia	Forest Fire Spread and Suppression in DEVS.	Simul.	2004	DBLP DOI BibTeX RDF
16	Jean-Baptiste Filippi, Paul Bisgambiglia	JDEVS: an implementation of a DEVS based formal framework for environmental modelling.	Environ. Model. Softw.	2004	DBLP DOI BibTeX RDF
16	Claudia S. Frydman, Lucile Torres, Souhir Ghédira	Using DEVS for an Extended UML.	Software Engineering Research and Practice	2004	DBLP BibTeX RDF
16	Frédéric Châne, Norbert Giambiasi, Jean-Luc Paillet	From DEVS Model to Timed Automata.	Software Engineering Research and Practice	2004	DBLP BibTeX RDF
16	Gabriel A. Wainer, Norbert Giambiasi	Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS.	MSV/AMCS	2004	DBLP BibTeX RDF
16	Mamadou D. Seck, Claudia S. Frydman, Norbert Giambiasi	Using DEVS for Modeling and Simulation of Human Behaviour.	AIS	2004	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer	Modeling and Simulation of Complex Systems with Cell-DEVS.	WSC	2004	DBLP BibTeX RDF
16	Byoung Kyu Choi, Bum-Chul Park, Jeong-Hyeon Park	A Formal Model Conversion Approach to Developing a DEVS-Based Factory Simulator.	Simul.	2003	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Wenhong Chena	A Framework for Remote Execution and Visualization of Cell-DEVS Models.	Simul.	2003	DBLP DOI BibTeX RDF
16	Yong Jae Kim, Jae-Hyun Kim, Tag Gon Kim	Heterogeneous Simulation Framework Using DEVS BUS.	Simul.	2003	DBLP DOI BibTeX RDF
16	Jong-Keun Lee, Min-Woo Lee, Sung-Do Chi	DEVS/HLA-Based Modeling and Simulation for Intelligent Transportation Systems.	Simul.	2003	DBLP DOI BibTeX RDF
16	Laurent Capocchi, Fabrice Bernardi, Dominique Federici, Paul Bisgambiglia	Transformation of VHDL descriptions into DEVS models for fault modeling.	SMC	2003	DBLP DOI BibTeX RDF
16	Moon Ho Hwang	Equivalence and minimization of output augmented DEVS.	SMC	2003	DBLP DOI BibTeX RDF
16	Ernesto Kofman	A Second-Order Approximation for DEVS Simulation of Continuous Systems.	Simul.	2002	DBLP DOI BibTeX RDF
16	Si Jong Choi, Tag Gon Kim	Identification of Discrete Event Systems Using the Compound Recurrent Neural Network: Extracting DEVS from Trained Network.	Simul.	2002	DBLP DOI BibTeX RDF
16	Tae Ho Cho	Embedding Intelligent Planning Capability to DEVS Models by Goal Regression Method.	Simul.	2002	DBLP DOI BibTeX RDF
16	Daryl R. Hild, Hessam S. Sarjoughian, Bernard P. Zeigler	DEVS-DOC: a modeling and simulation environment enabling distributed codesign.	IEEE Trans. Syst. Man Cybern. Part A	2002	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer	CD++: a toolkit to develop DEVS models.	Softw. Pract. Exp.	2002	DBLP DOI BibTeX RDF
16	Raphaël Duboz, Éric Ramat, Norbert Giambiasi	Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs.	JFSMA	2002	DBLP BibTeX RDF
16	Gabriel A. Wainer, Norbert Giambiasi	Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation.	Simul.	2001	DBLP DOI BibTeX RDF
16	Jae-Hyun Kim, Tag Gon Kim	DEVS-Based Framework for Modeling/Simulation of Mobile Agent Systems.	Simul.	2001	DBLP DOI BibTeX RDF
16	Jong S. Lee, Bernard P. Zeigler	Development of DEVS/GDDM environment: realization of space-based data management.	SMC	2001	DBLP DOI BibTeX RDF
16	Sunwoo Park, Bernard P. Zeigler, Hessam S. Sarjoughian	Interface for scalable DEVS and distributed container object specifications.	SMC	2001	DBLP DOI BibTeX RDF
16	Seong Myun Cho, Tag Gon Kim	Analysis of feasibility for real time simulation of RT-DEVs models.	SMC	2001	DBLP DOI BibTeX RDF
16	Young Kwan Cho, Bernard P. Zeigler, Hessam S. Sarjoughian	Design and implementation of distributed real-time DEVS/CORBA.	SMC	2001	DBLP DOI BibTeX RDF
16	Tag Gon Kim	Transactions Special Issue: Recent Advances in DEVS Methodology.	Simul.	2000	DBLP DOI BibTeX RDF
16	Hessam S. Sarjoughian, Bernard P. Zeigler, Sunwoo Park	Collaborative distributed network system: a lightweight middleware supporting collaborative DEVS modeling.	Future Gener. Comput. Syst.	2000	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, Hessam S. Sarjoughian, Herbert Prähofer	Theory of Quantized Systems: Devs Simulation of Perceiving Agents.	Cybern. Syst.	2000	DBLP DOI BibTeX RDF
16	Hans Vangheluwe, Ghislain C. Vansteenkiste	The cellular automata formalism and its relationship to DEVS.	ESM	2000	DBLP BibTeX RDF
16	Alfredo Anglani, Pierpaolo Caricato, Antonio Grieco, Francesco Nucci, Andrea Matta, Quirico Semeraro, Tullio Tolio	Evaluation of capacity expansion by means of fuzzy-DEVS.	ESM	2000	DBLP BibTeX RDF
16	Aziz Naamane, A. Damiba, Norbert Giambiasi	Generalized DEVS vs Continuous models.	ESM	2000	DBLP BibTeX RDF
16	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
16	Bernard P. Zeigler, Steven B. Hall, Hessam S. Sarjoughian	Exploiting HLA and DEVS To Promote Interoperability and Reuse in Lockheed's Corporate Environment.	Simul.	1999	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, Doohwan Kim, Stephen J. Buckley	Distributed supply chain simulation in a DEVS/CORBA execution environment.	WSC	1999	DBLP DOI BibTeX RDF	CORBA
16	Hyung Kim Ki, Tag Gon Kim, Kyu Ho Park	Hierarchical partitioning algorithm for optimistic distributed simulation of DEVS models.	J. Syst. Archit.	1998	DBLP DOI BibTeX RDF
16	M. Nedim Alpdemir, Richard N. Zobel	A Component Based Animation Framework for DEVS-Based Simulation Environments.	ESM	1998	DBLP BibTeX RDF
16	Yong Jae Kim, Tag Gon Kim	A Heterogeneous Simulation Framework Based on the DEVS BUS and the High Level Architecture.	WSC	1998	DBLP DOI BibTeX RDF
16	Fernando J. Barros, Bernard P. Zeigler, Paul A. Fishwick	Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM.	WSC	1998	DBLP DOI BibTeX RDF
16	Hyung Kim Ki, Yeong Rak Seong, Tag Gon Kim, Kyu Ho Park	Ordering of simultaneous events in distributed DEVS simulation.	Simul. Pract. Theory	1997	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, Yoonkeon Moon, Doohwan Kim, Jeong Geun Kim	DEVS-C++: A High Performance Modelling and Simulation Environment.	HICSS (1)	1996	DBLP DOI BibTeX RDF
16	P. Ninios, K. Vlahos, Derek W. Bunn	OO/DEVS: A platform for industry simulation and strategic modelling.	Decis. Support Syst.	1995	DBLP DOI BibTeX RDF
16	Herbert Praehofer, Wolfgang Mayr	An Environment for Graphical, Interactive Modeling and Simulation of Modular, Hierarchical DEVS-Based Systems.	EUROSIM	1995	DBLP BibTeX RDF
16	Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer	DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems.	Hybrid Systems	1994	DBLP DOI BibTeX RDF
16	Alex Chung Hen Chow, Bernard P. Zeigler	Parallel DEVS: a parallel, hierarchical, modular, modeling formalism.	WSC	1994	DBLP DOI BibTeX RDF
16	Herbert Praehofer, Franz Auernig, Gernot Reisinger	An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS.	Discret. Event Dyn. Syst.	1993	DBLP DOI BibTeX RDF
16	Myung Soo Ahn, Tag Gon Kim	DEVS methodology for evaluating time-constrained message routing policies.	Discret. Event Dyn. Syst.	1993	DBLP DOI BibTeX RDF
16	Yung-Hsin Wang, Bernard P. Zeigler	Extending the DEVS formalism for massively parallel simulation.	Discret. Event Dyn. Syst.	1993	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, Jinwoo Kim 0002	Extending the DEVS-Scheme knowledge-based simulation environment for real-time event-based control.	IEEE Trans. Robotics Autom.	1993	DBLP DOI BibTeX RDF
16	Herbert Praehofer, Dietmar Pree	Visual modeling of DEVS-based multiformalism systems based on higraphs.	WSC	1993	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, Sankait Vahie	DEVS formalism and methodology: unity of conception/diversity of application.	WSC	1993	DBLP DOI BibTeX RDF
16	Süleyman Sevinc	Simulation with DEVS-CLOS (abstract).	OOPSLA Addendum	1992	DBLP DOI BibTeX RDF
16	Tag Gon Kim	The role of polymorphism in class evolution in the DEVS-scheme environment.	WSC	1990	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler	DEVS representation of dynamical systems: event-based intelligent control.	Proc. IEEE	1989	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler, J. H. Hu, Jerzy W. Rozenblit	Hierarchical, modular modelling in DEVS-scheme.	WSC	1989	DBLP DOI BibTeX RDF
16	Tag Gon Kim, Bernard P. Zeigler	The DEVS formalism: hierarchical, modular systems specification in an object oriented framework.	WSC	1987	DBLP DOI BibTeX RDF
12	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
12	Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald	One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.	FMSB	2008	DBLP DOI BibTeX RDF
12	Azzedine Boukerche, Ming Zhang 0006	Towards Peer-to-Peer Based Distributed Simulations on a Grid Infrastructure.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	peer-to-peer, grid, distributed simulations
12	Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeun Kwak, Sungjoo Yeo	PLCStudio: Simulation based PLC code verification.	WSC	2008	DBLP DOI BibTeX RDF