Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Gabriel A. Wainer, Rami Madhoun, Khaldoon Al-Zoubi	Distributed simulation of DEVS and Cell-DEVS models in CD++ using Web-Services.	Simul. Model. Pract. Theory	2008	DBLP DOI BibTeX RDF
32	Qi Liu 0009, Gabriel A. Wainer	Parallel Environment for DEVS and Cell-DEVS Models.	Simul.	2007	DBLP DOI BibTeX RDF
32	Laurent Capocchi, Fabrice Bernardi, Dominique Federici, Paul Bisgambiglia	BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation.	Simul. Model. Pract. Theory	2006	DBLP DOI BibTeX RDF
32	Gregory Zacharewicz	Un environnement G-DEVS/HLA :Application a la Modelisation et Simulation distribuee de Workflow. (A G-DEVS / HLA Environment:Application to Distributed Modelling and Simulation of Workflow).		2006	RDF
32	Xiaolin Hu 0002, Bernard P. Zeigler, Jerry M. Couretas	DEVS-on-a-chip: implementing DEVS in real-time Java on a tiny Internet interface for scalable factory automation.	SMC	2001	DBLP DOI BibTeX RDF
28	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
28	Feng Gu 0001, Xuefeng Yan, Xiaolin Hu 0002	State estimation using particle filters in wildfire spread simulation.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS-FIRE, particle filters, dynamic systems, state estimation
28	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
28	Taekyu Kim, Youngshin Han, Tae-young Kim, Jong Sik Lee	Ontology Methodology Based Context Awareness Using System Entity Structure for Network Analysis.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	System Entity Structure (SES), network traffic analysis and Discrete Event Simulation (DEVS), ontology, data engineering
28	James J. Nutaro	A discrete event method for wave simulation.	ACM Trans. Model. Comput. Simul.	2006	DBLP DOI BibTeX RDF	digital waveguide networks, DEVS, wave propagation
28	Avdhoot Saple, Levent Yilmaz	Agent-based simulation study of behavioral anticipation: anticipatory fault management in computer networks.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	anticipatory agents, simulation, intelligent agents, DEVS
28	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
28	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
28	Radek Kocí, Vladimír Janousek	Simulation Based Design of Control Systems Using DEVS and Petri Nets.	EUROCAST	2009	DBLP DOI BibTeX RDF
28	Hengheng Xie, Azzedine Boukerche, Ming Zhang 0006, Bernard P. Zeigler	Design of A QoS-Aware Service Composition and Management System in Peer-to-Peer Network Aided by DEVS.	DS-RT	2008	DBLP DOI BibTeX RDF
28	Chiril Chidisiuc, Gabriel A. Wainer	CD++Builder: an eclipse-based IDE for DEVS modeling.	SpringSim (2)	2007	DBLP BibTeX RDF
28	Victorino Sanz, Alfonso Urquia, Sebastián Dormido 0001	DEVS specification and implementation of SIMAN blocks using Modelica language.	WSC	2007	DBLP DOI BibTeX RDF
28	Xiaolin Hu 0002, Bernard P. Zeigler, Moon Ho Hwang, Eddie Mak	DEVS Systems-Theory Framework for Reusable Testing of I/O Behaviors in Service Oriented Architectures.	IRI	2007	DBLP DOI BibTeX RDF
28	Alexander Scott Campbell, Gabriel A. Wainer	Applying DEVS modeling for discrete event multiple model control of a time varying plant.	WSC	2006	DBLP DOI BibTeX RDF
28	Adelinde M. Uhrmacher, Corrado Priami	Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS.	WSC	2005	DBLP DOI BibTeX RDF
28	Bernard P. Zeigler, Rajanikanth Jammalamadaka, Salil R. Akerkar	Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems.	AIS	2004	DBLP DOI BibTeX RDF
28	Baohong Liu, Kedi Huang	A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism.	AIS	2004	DBLP DOI BibTeX RDF
28	Pengfei Wu, Xiuping Wu, Gabriel A. Wainer	Applying Cell-DEVS in 3D Free-Form Shape Modeling.	ACRI	2004	DBLP DOI BibTeX RDF
28	Alejandro López, Gabriel A. Wainer	Improved Cell-DEVS Model Definition in CD++.	ACRI	2004	DBLP DOI BibTeX RDF
28	Sunwoo Park, Bernard P. Zeigler	Distributing Simulation Work Based on Component Activity: A New Approach to Partitioning Hierarchical DEVS Models.	CLADE	2003	DBLP DOI BibTeX RDF
28	Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne	Simulation and verification II: from timed automata to DEVS models.	WSC	2003	DBLP DOI BibTeX RDF
28	Sung-Do Chi, Jong Sou Park, Jang-Se Lee	A Role of DEVS Simulation for Information Assurance.	WISA	2003	DBLP DOI BibTeX RDF
28	Ezequiel Glinsky, Gabriel A. Wainer	Extensions: performance analysis of real-time DEVS models.	WSC	2002	DBLP DOI BibTeX RDF
28	Bernard P. Zeigler, Hessam S. Sarjoughian	Distributed simulation: creating distributed simulation using DEVS M&S environments.	WSC	2000	DBLP DOI BibTeX RDF
28	Bernard P. Zeigler, Doohwan Kim, Herbert Praehofer	DEVS Formalism as a Framework for Advanced Distributed Simulation.	DIS-RT	1997	DBLP DOI BibTeX RDF
23	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Actor-Based Simulation of PDEVS systems over HLA.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	PDEVS, variable structure systems, HLA, actors, Modelling and simulation
23	Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ramaswamy, Stephen S. Yau	A simulation framework for service-oriented computing systems.	WSC	2008	DBLP DOI BibTeX RDF
23	Feng Gu 0001, Xiaolin Hu 0002	Towards applications of particle filters in wildfire spread simulation.	WSC	2008	DBLP DOI BibTeX RDF
23	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
23	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
23	Seunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae	Deriving Software Process Simulation Model from SPEM-based Software Process Model.	APSEC	2007	DBLP DOI BibTeX RDF
23	Weilong Hu, Hessam S. Sarjoughian	A co-design modeling approach for computer network systems.	WSC	2007	DBLP DOI BibTeX RDF
23	Mamadou K. Traoré	Analyzing static and temporal properties of simulation models.	WSC	2006	DBLP DOI BibTeX RDF
23	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
23	Hessam S. Sarjoughian, Dongping Huang, Gary W. Godding, Karl G. Kempf, Wenlin Wang, Daniel E. Rivera, Hans D. Mittelmann	Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing.	WSC	2005	DBLP DOI BibTeX RDF
23	Qi Liu 0009, Gabriel A. Wainer	Simulating Market Dynamics with CD++.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
23	Yung-Hsin Wang, Yu-Chuang Liao	Implementation of a Collaborative Web-Based Simulation Modeling Environment.	DS-RT	2003	DBLP DOI BibTeX RDF
23	David Wangerin, Chris DeCoro, Luís Miguel Campos, Hugo Coyote, Isaac D. Scherson	A Modular Client-Server Discrete Event Simulator for Networked Computer.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
23	Hessam S. Sarjoughian, Bernard P. Zeigler	Models and representation of their ownership.	WSC	2000	DBLP DOI BibTeX RDF
23	Herbert Praehofer, Johannes Sametinger, Alois Stritzinger	Component Frameworks - A Case Study.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
23	Yung-Hsin Wang, Lung-Hsiung Wang	A Modeling and Simulation Example Using DEVSW.	Annual Simulation Symposium	1998	DBLP DOI BibTeX RDF
23	Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro	Introducing Planning in Discrete Event Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
23	Bernard P. Zeigler, Doohwan Kim	Design of High Level Modelling / High Performance Simulation Environments.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Discrete Event System Specification, Distributed Parallel Simulation, Containers Classes, Watershed Modelling, Connection Machine CM-5, Geographical Information System, Object-oriented Programming
23	Kung-Chao Liu	An Environment for Information System Prototyping: A System Simulation Approach.	ICCI	1990	DBLP DOI BibTeX RDF
16	Khaldoon Al-Zoubi, Gabriel A. Wainer	Using REST Web-Services Architecture for Distributed Simulation.	PADS	2009	DBLP DOI BibTeX RDF	Web-Services, SOA, Distributed Simulation, DEVS, REST, CD++
16	Olaf Hagendorf, Thorsten Pawletta	An approach for simulation based structure optimisation of discrete event systems.	SpringSim	2008	DBLP DOI BibTeX RDF	DSDEVS Matlab toolbox, SES, structure optimisation, discrete event simulation, DEVS
16	Shafagh Jafer, Gabriel A. Wainer, Juan Carlos Maureira Bravo, Olivier Dalle	Event behavior of discrete event simulations in CD++ vs. NS-2.	SpringSim	2008	DBLP DOI BibTeX RDF	ELT, FES, DEVS, NS-2, CD++
16	Jochen Wittmann, Johannes Göbel, Dietmar P. F. Möller, Bernard J. Schroer	Refinement of the virtual intermodal transportation system (VITS) and adoption for metropolitan area traffic simulation.	SCSC	2007	DBLP BibTeX RDF	decision support systems, discrete event simulation, DEVS, environmental science
16	Gauthier Quesnel, Raphaël Duboz, Éric Ramat, Mamadou K. Traoré	VLE: a multimodeling and simulation environment.	SCSC	2007	DBLP BibTeX RDF	DEVS extensions, modeling and simulation cycle, multimodeling
16	Jon A. Preston, Xiaolin Hu, Sushil K. Prasad	Simulation-based architectural design and implementation of a real-time collaborative editing system.	SpringSim (2)	2007	DBLP BibTeX RDF	OT, dynamic locking, real-time collaborative editing, DEVS, communication costs
16	Sung-Do Chi, Bernard P. Zeigler	Hierarchical model-based diagnosis for high autonomy systems.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	high autonomy systems, simulation, robotics, DEVS, Model-based diagnosis
16	Clarisa Espertino, María Julia Blas, Silvio Gonnet	Mapping RDEVSNL-based Definitions of Constrained Network Models to Routed DEVS Simulation Models.	J. Braz. Comput. Soc.	2024	DBLP DOI BibTeX RDF
16	José L. Risco-Martín, Saurabh Mittal, Juan Carlos Fabero Jiménez, Marina Zapater, Román Hermida	Reconsidering the performance of DEVS modeling and simulation environments using the DEVStone benchmark.	CoRR	2024	DBLP DOI BibTeX RDF
16	Ali Ayadi, Claudia S. Frydman, Wissame Laddada, Isabelle Imbert, Cecilia Zanni-Merk, Lina Fatima Soualmia	Combining DEVS simulation and ontological modeling for hierarchical analysis of the SARS-CoV-2 replication.	Simul.	2023	DBLP DOI BibTeX RDF
16	María Julia Blas, Silvio Gonnet	Metamodel-based formalization of DEVS atomic models.	Simul.	2023	DBLP DOI BibTeX RDF
16	Yoro Diouf, Oumar Y. Maïga, Mamadou Kaba Traoré	A theoretical approach to the computational complexity measure of abstract DEVS simulators.	Int. J. Model. Simul. Sci. Comput.	2023	DBLP DOI BibTeX RDF
16	Xinquan Wu, Xuefeng Yan, Xingchan Li, Yongzhen Wang	Simulating hybrid SysML models: a model transformation approach under the DEVS framework.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
16	David Jammer, Peter Junglas, Thorsten Pawletta, Sven Pawletta	Modeling and Simulation of a Real-world Application using NSA-DEVS.	Simul. Notes Eur.	2023	DBLP DOI BibTeX RDF
16	David Jammer, Peter Junglas, Thorsten Pawletta, Sven Pawletta	A Simulator for NSA-DEVS in Matlab.	Simul. Notes Eur.	2023	DBLP DOI BibTeX RDF
16	Guillermo G. Trabes, Gabriel A. Wainer, Veronica Gil-Costa	A Parallel Algorithm to Accelerate DEVS Simulations in Shared Memory Architectures.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
16	Laurent Capocchi, Jean François Santucci	Towards a DEVS Model Management System for Decision-Making Web Applications.	Inf.	2023	DBLP DOI BibTeX RDF
16	Benfei Zhu, Qiang Zhou, Yu Tian	DEVS-based modular modelling method of dry bulk terminals.	J. Simulation	2023	DBLP DOI BibTeX RDF
16	Navid Gholizadeh, Joseph M. Hood, Roger A. Dougal	Suitability of Quantized DEVS LIM Methods for Simulation of Power Systems.	CoRR	2023	DBLP DOI BibTeX RDF
16	Román Cárdenas, Kevin Henares, Patricia Arroba, José L. Risco-Martín, Gabriel A. Wainer	The DEVStone Metric: Performance Analysis of DEVS Simulation Engines.	CoRR	2023	DBLP DOI BibTeX RDF
16	Sasisekhar Mangalam Govind, John Sahaya Rani Alex, Gabriel A. Wainer	Adapting the DEVS kernel 'RT-CADMIUM' to the ESP32 embedded platform.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ehsan Ahmad, Hessam S. Sarjoughian	An Environment for Developing Simulatable AADL-DEVS Models.	Simul. Model. Pract. Theory	2023	DBLP DOI BibTeX RDF
16	Mariane El Kassis, François Trousset, Gregory Zacharewicz, Nicolas Daclin	Incremental Transformation of BPSIM-Enriched BPMN Models into DEVS.	WSC	2023	DBLP DOI BibTeX RDF
16	Jordan Parezys, Randy Paredis, Hans Vangheluwe	CLAVS/ODVS: Combining Class/Object Diagrams and DEVS.	WSC	2023	DBLP DOI BibTeX RDF
16	Alvi Jawad, Cristina Ruiz Martin, Gabriel A. Wainer	Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism.	WSC	2023	DBLP DOI BibTeX RDF
16	Yentl Van Tendeloo, Randy Paredis, Hans Vangheluwe	An Introduction to Discrete-Event Modeling and Simulation with Devs.	WSC	2023	DBLP DOI BibTeX RDF
16	Joel Santana, Alonso Inostrosa-Psijas, Francisco Moreno, Mauricio Oyarzún, Gabriel A. Wainer	Devs Modeling and Simulation of The Loading and Hauling Process in Open Pit Mines.	WSC	2023	DBLP DOI BibTeX RDF
16	María Julia Blas, Silvio Gonnet, Doohwan Kim, Bernard P. Zeigler	A Context-Free Grammar for Generating Full Classic DEVS Models.	WSC	2023	DBLP DOI BibTeX RDF
16	Segundo Esteban, José L. Risco-Martín, Jesús Chacon 0001, Eva Besada-Portas, Giordy A. Andrade	Project Simulation, Validation and Deployment with DEVS. IoT Framework for Blooms Monitoring and Alert.	WSC	2023	DBLP DOI BibTeX RDF
16	Ali Ayadi, Claudia S. Frydman, Thanh Quynh Le	Modeling and Simulation of the SARS-COV-2 Lung Infection and Immune Response with Cell-DEVS.	WSC	2023	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Joseph Boi-Ukeme, Vedant Paranjape	Sensor Fusion Devs for Angle Estimation on Inertial Measurement Unit.	WSC	2023	DBLP DOI BibTeX RDF
16	Iman Alavi Fazel, Gabriel A. Wainer	A DEVS-Based Methodology for Simulation and Model-Driven Development of IoT.	SimuTools	2023	DBLP DOI BibTeX RDF
16	Mahya Shahmohammadimehrjardi, Gabriel A. Wainer, Mengyao Wu, Xinrui Zhang	PID Control Using Quantized State Systems in RT-DEVS Frameworks.	ANNSIM	2023	DBLP BibTeX RDF
16	Samuel Ferrero-Losada, Eva Besada-Portas, José L. Risco-Martín, José Antonio López Orozco	DEVS-Based Modeling and Simulation of Data-Driven Exploration Algorithms of Lentic Water Bodies with AN ASV.	ANNSIM	2023	DBLP BibTeX RDF
16	Guillermo G. Trabes, Veronica Gil-Costa, Gabriel A. Wainer	Energy and Power Evaluation of Parallel Devs Simulations on Multicore Architectures.	ANNSIM	2023	DBLP BibTeX RDF
16	Rishabh Sudhir Jiresal, Gabriel A. Wainer	Formalizing Cyber-Physical System Interfaces Using Devs.	ANNSIM	2023	DBLP BibTeX RDF
16	Jean François Santucci, Laurent Capocchi	The legacy of Norbert Giambiasi to the University of Corsica: from behavioral testing to DEVS fault simulation.	Simul.	2022	DBLP DOI BibTeX RDF
16	Braulio Mello, Gabriel A. Wainer	Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints.	Simul.	2022	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer	Advanced Cell-DEVS modeling applications: a legacy of Norbert Giambiasi.	Simul.	2022	DBLP DOI BibTeX RDF
16	Maâmar El-Amine Hamri, Aziz Naamane, Claudia S. Frydman, Nesrine Driouche	Why we should use Min Max DEVS for modeling and simulation of digital circuits.	Simul.	2022	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler	DEVS and MBSE: A review.	Int. J. Model. Simul. Sci. Comput.	2022	DBLP DOI BibTeX RDF
16	María Julia Blas, Horacio Pascual Leone, Silvio Gonnet	DEVS-based formalism for the modeling of routing processes.	Softw. Syst. Model.	2022	DBLP DOI BibTeX RDF
16	David Jammer, Peter Junglas, Thorsten Pawletta, Sven Pawletta	Implementing Standard Examples with NSA-DEVS.	Simul. Notes Eur.	2022	DBLP DOI BibTeX RDF
16	Taeho Cho	ST-DEVS: A Methodology Using Time-Dependent-Variable-Based Spatiotemporal Computation.	Symmetry	2022	DBLP DOI BibTeX RDF
16	Juan Bautista Bordón-Ruiz, Eva Besada-Portas, José Antonio López Orozco	Cloud DEVS-based computation of UAVs trajectories for search and rescue missions.	J. Simulation	2022	DBLP DOI BibTeX RDF
16	Román Cárdenas, Kevin Henares, Patricia Arroba, José L. Risco-Martín, Gabriel A. Wainer	The DEVStone Metric: Performance Analysis of DEVS Simulation Engines.	ACM Trans. Model. Comput. Simul.	2022	DBLP DOI BibTeX RDF
16	Román Cárdenas, Gabriel A. Wainer	Asymmetric Cell-DEVS models with the Cadmium simulator.	Simul. Model. Pract. Theory	2022	DBLP DOI BibTeX RDF
16	Sang Seo, Sangwoo Han, Dohoon Kim	D-CEWS: DEVS-Based Cyber-Electronic Warfare M&S Framework for Enhanced Communication Effectiveness Analysis in Battlefield.	Sensors	2022	DBLP DOI BibTeX RDF
16	Abdelfettah Maatoug, Ghalem Belalem, Saïd Mahmoudi	A location-based fog computing optimization of energy management in smart buildings: DEVS modeling and design of connected objects.	Frontiers Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Abdurrahman Alshareef, María Julia Blas, Matías Bonaventura, Thomas Paris, Aznam Yacoub, Bernard P. Zeigler	Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design.	Honoring Professor Mohammad S. Obaidat	2022	DBLP DOI BibTeX RDF
16	Laurent Capocchi, Jean François Santucci, Johanna Fericean, Bernard P. Zeigler	DEVS Model Design for Simulation Web App Deployment.	WSC	2022	DBLP DOI BibTeX RDF