CISUC

Dynamic Structure Discrete Event System Specification Formalism

Authors

Subject

Modeling and Simulation

Journal

Transactions of the Society for Computer Simulation, Vol. 13, #1, pp. 35-46, January 1996

Cited by

Year 2010 : 1 citations

 F. Deniz, Variable Structure And Dynamism Extensions to a DEVS Based Modeling And Simulation Framework. MSc. Thesis, The Graduate School of Natural and Applied Sciences of Middle East Technical University, 2010.

Year 2007 : 1 citations

 C. Ratzé, F. Gillet, J.-P. Müller e K. Stoffel, "Simulation modelling of ecological hierarchies in constructive dynamical systems.? Ecological Complexity, Vol. 4, pp. 13-25, 2007.

Year 2006 : 4 citations

 T. Pawletta, C. Deateu, O. Hagendorf, G. Colquhoun "DEVS-Based Modeling and Simulation in Scientific and Technical Environments.? Proceedings of the Agent Directed Simulation Conference/Spring Simulation Multiconference, pp. 151-158, 2006.

 X. Hu, L. Ntaimo. "Dynamic Multi-Resolution Cellular Space Modeling for Forest Fire Simulation.? Proceedings of the Agent Directed Simulation Conference/Spring Simulation Multiconference, pp. 95-102, 2006.

 S. Park e C. Hunt. " Coupling Permutation and Model Migration Based on Dynamic and Adaptive Coupling Mechanisms.? Proceedings of the Agent Directed Simulation Conference/Spring Simulation Multiconference, pp. 6-15, 2006.

 R. Duboz, D. Versmisse, G. Quesnel, A. Muzy e E. Ramat. "Specification of Dynamic Structure Discrete Event Multiagent Systems.? Proceedings of the Agent Directed Simulation Conference/Spring Simulation Multiconference, pp. 103-111, 2006.

Year 2005 : 4 citations

 S. Park e B. Kim. "Self-Reproducible DEVS Formalism.? Journal of Parallel and Distributed Computing, Vol. 65, No. 11, pp. 1329-1336, 2005.

 R. Duboz e C. Cambier. "Small World Properties in a DSDEVS Model of Ecosystem.? Proceedings of the Open International Conference on Modeling and Simulation, pp. 65-71, 2005.

 S. Park e K. Kim. "DEVS Formalism: A Hierarchical Generation Scheme.? Artificial Intelligence and Simulation:13th International Conference on AI, Simulation and Planning in High Autonomy Systems (AIS2004), Lecture Notes in Artificial Intelligence, Volume 3397, Springer, pp. 253 " 261, 2005.

 L. Baohong e H. Kedi. A Formal Description Specification for Multi-Resolution Modeling (MRM) Based on DEVS Formalism.? Artificial Intelligence and Simulation:13th International Conference on AI, Simulation and Planning in High Autonomy Systems (AIS2004), Lecture Notes in Artificial Intelligence, Volume 3397, Springer, pp. 285 " 294, 2005.

Year 2004 : 3 citations

 J.B. Filippi e P. Bisgambliglia. "JDEVS: An Implementation of a DEVS Based Formal Framework for Environmental Modelling.? Environmental Modeling and Software, Vol. 19, No. 3, pp. 261-274, 2004.

 T. Pawletta e S. Pawletta. "A DEVS-Based Simulation Approach for Structure Variable Hybrid Systems using High Accuracy Integration Methods.? Proceedings of the International Mediterranean Modeling Multiconference, (Bergeggi, Itália, 28-30 Outubro), pp. 368-373, 2004.

 R. Duboz, Intégration de Modèles Hétérogènes pour la Modélisation et la Simulation de Systèmes Complexes: Application à la Modélisation Multi-ÿchelles en ÿcologie Marine, Universidade do Litoral (Côte d" Opale), França, Dissertação de Doutoramento, 2004.

Year 2003 : 2 citations

 A. Muzy, E. Innocenti, J.-F. Santucci e D. Hill. "Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading.? Proceedings of the 36th Annual Simulation Symposium, pp. 1080-241, 2003.

 T. Pawletta, B. Lampe, S. Pawletta, W. Drewelow. "A DEVS-Based Approach for Modeling and Simulation of Hybrid Variable Structure Systems?, In S. Engell, G. Frehse e E. Schnieder (Eds.), Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Springer, pp. 107"130, 2003.

Year 2002 : 3 citations

 J. Lunze. "What is a Hybrid System?â? Modelling, Analysis, And Design Of Hybrid Systems, Lecture Notes in Control and Information Sciences, 279, 2002.

 I. Florea, "Upon Variable Number of Working Stations Preemptive Queueing System: A Formal and Object Oriented Approach.â? Advanced Modeling and Optimization, Vol. 4, No. 3, pp. 1-19, 2002.

 Emmanuelle Croce de Gentilli. Contribuition au development d'une méthode de validation d'architecture logicielle de télécommunication à l'aide de la modélisation et la simulation à événements discrets. Tese de Doutoramento, Universidade da Córsega, Dezembro 2002.