Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Hessam S. Sarjoughian, Chao Zhang	Composable Geo-Referenced Multi-Resolution Multi-Agent CA-Based DEVS, KIB, and PDE Models.	WSC	2022	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Cristina Ruiz Martin	Defining DEVS Models Using the Cadmium Toolkit.	WSC	2022	DBLP DOI BibTeX RDF
16	Neal DeBuhr, Hessam S. Sarjoughian	Cross-Formalism Decomposition of Devs Coupled Models.	WSC	2022	DBLP DOI BibTeX RDF
16	Nadiya Shvai, Arcadi Llanza, Abul Hasnat 0001, Amir Nakib	DEvS: data distillation algorithm based on evolution strategy.	GECCO Companion	2022	DBLP DOI BibTeX RDF
16	Penka Yochkova, Veneta Tabakova-Komsalova, Stoyan Cherecharov, Lyubka Doukovska, Stanimir Stoyanov	DEVS Modeling of an Irrigation System.	IS	2022	DBLP DOI BibTeX RDF
16	Bruno St-Aubin, Gabriel A. Wainer	Metadata Specification for DEVS simulation models.	DS-RT	2022	DBLP DOI BibTeX RDF
16	Mohammed Al-Saeedi, Gabriel A. Wainer	Cell-DEVS CO2 Models With Occupants and Ducts.	DS-RT	2022	DBLP DOI BibTeX RDF
16	Hamza Qassoud, Bruno St-Aubin, Gabriel A. Wainer, Cristina Ruiz Martin	Enabling Collaborative Modeling Through A Web Library of DEVS Models.	ANNSIM	2022	DBLP DOI BibTeX RDF
16	Mitali Patel, Vinu Subashini Rajus, Gabriel A. Wainer	Software Architecture For Integrating Devs Simulation Into BIM.	ANNSIM	2022	DBLP DOI BibTeX RDF
16	Istvan David, Eugene Syriani	Devs Model Construction As A Reinforcement Learning Problem.	ANNSIM	2022	DBLP DOI BibTeX RDF
16	Daniella Niyonkuru, Gabriel A. Wainer	A DEVS-based engine for building digital quadruplets.	Simul.	2021	DBLP DOI BibTeX RDF
16	Sid Ahmed Mokhtar Mostefaoui, Bendaoud Mebarek, Mohamed Redha Djebbara	A DBN-DEVS Extension for Modeling and Simulate Uncertain Systems.	Appl. Artif. Intell.	2021	DBLP DOI BibTeX RDF
16	Peter Junglas	NSA-DEVS: Combining Mealy Behaviour and Causality.	Simul. Notes Eur.	2021	DBLP DOI BibTeX RDF
16	Majeda Albataineh, Moath H. A. Jarrah	DEVS-IoT: performance evaluation of smart home devices network.	Multim. Tools Appl.	2021	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler	DEVS-Based Building Blocks and Architectural Patterns for Intelligent Hybrid Cyberphysical System Design.	Inf.	2021	DBLP DOI BibTeX RDF
16	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
16	Daniel Foguelman, Philipp Henning, Adelinde M. Uhrmacher, Rodrigo D. Castro	EB-DEVS: A formal framework for modeling and simulation of emergent behavior in dynamic complex systems.	J. Comput. Sci.	2021	DBLP DOI BibTeX RDF
16	TaeYoung Kim, Hyung-Jong Kim 0002	DEVS-based experimental framework for blockchain services.	Simul. Model. Pract. Theory	2021	DBLP DOI BibTeX RDF
16	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
16	Mostafa D. Fard, Hessam S. Sarjoughian	A Restful Persistent Devs-Based Interaction Model For The Componentized Weap and Leap Restful Frameworks.	WSC	2021	DBLP DOI BibTeX RDF
16	Abdurrahman Alshareef, Chungman Seo, Anthony Kim, Bernard P. Zeigler	DEVS Markov Modeling and Simulation of Activity-Based Models for MBSE Application.	WSC	2021	DBLP DOI BibTeX RDF
16	Neal DeBuhr, Hessam S. Sarjoughian	Model Transformation Across Devs and Event Graph Formalisms.	WSC	2021	DBLP DOI BibTeX RDF
16	Randy Paredis, Joachim Denil, Hans Vangheluwe	Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs.	WSC	2021	DBLP DOI BibTeX RDF
16	Juan Bautista Bordón-Ruiz, Eva Besada-Portas, José Luis Risco-Martín, José Antonio López Orozco	DEVS-based Evaluation of UAVs-based Target-search Strategies in Realistically-modeled Missions.	SIGSIM-PADS	2021	DBLP DOI BibTeX RDF
16	Aidan Fahlman, Cristina Ruiz Martin, Gabriel A. Wainer, Peter Dobias, Mark Rempel	Extended Compartmental Model of Covid-19: A Cell-DEVS Defitinion.	DS-RT	2021	DBLP DOI BibTeX RDF
16	Jean-Pierre Müller	Towards a Categorical Semantics of DEVS.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Juan Bautista Bordón-Ruiz, Eva Besada-Portas, José Antonio López Orozco, José L. Risco-Martín	DEVS-Based Simulation for Search and Rescue Missions Involving Multiple UAVS.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Román Cárdenas, Cristina Ruiz Martin, Gabriel A. Wainer, Peter Dobias, Mark Rempel	Studying the Spread of Diseases Using Geographical Data and Irregular Topologies with Cell-DEVS.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Hoda Khalil, Gabriel A. Wainer	CD2: An Automation Tool for Cell-Devs CO2 Diffusion Models.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Ali Ayadi, Claudia S. Frydman, Wissame Laddada, Lina Fatima Soualmia, Cecilia Zanni-Merk, India L'Hote, Emeline Grellet, Isabelle Imbert	Combining Devs and Semantic Technologies for Modeling the SARS-CoV-2 Replication Machinery.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Soroosh Gholami, Hessam S. Sarjoughian	Unified Property Evaluations of Constrained-DEVS Models for Simulation and Model Checking.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Bruno St-Aubin, Jon Menard, Gabriel A. Wainer	A Web Based Modeling and Simulation Environment to Support the DEVS Simulation Lifecycle.	ANNSIM	2021	DBLP DOI BibTeX RDF
16	Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré	A DEVS-based pivotal modeling formalism and its verification and validation framework.	Simul.	2020	DBLP DOI BibTeX RDF
16	Ange-Lionel Toba, L. Michael Griffel, Damon S. Hartley	Devs based modeling and simulation of agricultural machinery movement.	Comput. Electron. Agric.	2020	DBLP DOI BibTeX RDF
16	Hoda Khalil, Gabriel A. Wainer	Cell-DEVS for Social Phenomena Modeling.	IEEE Trans. Comput. Soc. Syst.	2020	DBLP DOI BibTeX RDF
16	Jiyeon Kim, Hyung-Jong Kim	DEVS-based Modeling Methodology for Cybersecurity Simulations from a Security Perspective.	KSII Trans. Internet Inf. Syst.	2020	DBLP DOI BibTeX RDF
16	Youcef Dahmani, Maâmar El-Amine Hamri, Nesrine Driouche	Closure under Coupling of Cellular-DEVS for the Optimization of Memory Resource: Wildfire Spread Case Study.	CoRR	2020	DBLP BibTeX RDF
16	Maâmar El-Amine Hamri	An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns.	CoRR	2020	DBLP BibTeX RDF
16	Daniel J. Foguelman, Philipp Henning, Adelinde M. Uhrmacher, Rodrigo D. Castro	EB-DEVS: A Formal Framework for Modeling and Simulation of Emergent Behavior in Dynamic Complex Systems.	CoRR	2020	DBLP BibTeX RDF
16	Youcef Dahmani, Hemza Nedjari Benhadj Ali, Abdelkader Boubekeur	XML-based DEVS modelling and simulation tracking.	Int. J. Simul. Process. Model.	2020	DBLP DOI BibTeX RDF
16	Ala'a Al-Habashna, Gabriel A. Wainer	Studying Malware Propagation in Wireless Sensor Networks with Cell-DEVS.	SpringSim	2020	DBLP DOI BibTeX RDF
16	Chao Zhang, Hessam S. Sarjoughian, Moon Gi Seok	A Framework for Composable Cellular Automata Devs Modeling, Simulation, And Visualization.	SpringSim	2020	DBLP DOI BibTeX RDF
16	Ben Earle, Kyle Bjornson, Cristina Ruiz Martin, Gabriel A. Wainer	Development of A Real-Time Devs Kernel: RT-Cadmium.	SpringSim	2020	DBLP DOI BibTeX RDF
16	Joseph M. Hood, Roger A. Dougal	A Linear-Implicit Quantized Devs Nethod For Very Stiff Electrical Networks Using A Latency Insertion Method.	SpringSim	2020	DBLP DOI BibTeX RDF
16	Joseph Boi-Ukeme, Gabriel A. Wainer	A Framework for the Extension of DEVS With Sensor Fusion Capabilities.	SpringSim	2020	DBLP DOI BibTeX RDF
16	Juan Lanuza, Guillermo G. Trabes, Gabriel A. Wainer	Parallel Execution of DEVS in Shared-Memory Multicore Architectures.	SpringSim	2020	DBLP DOI BibTeX RDF
16	Hoda Khalil, Gabriel A. Wainer, Zachary Dunnigan	Cell-DEVS Models for CO2 Sensors Locations in Closed Spaces.	WSC	2020	DBLP DOI BibTeX RDF
16	Guillermo G. Trabes, Veronica Gil-Costa, Gabriel A. Wainer	Energy Efficiency Evaluation of Parallel Execution of DEVS Models in Multicore Architectures.	WSC	2020	DBLP DOI BibTeX RDF
16	Ezequiel Pecker Marcosig, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo D. Castro	Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems.	WSC	2020	DBLP DOI BibTeX RDF
16	Román Cárdenas, Kevin Henares, Patricia Arroba, Gabriel A. Wainer, José L. Risco-Martín	A dEVS Simulation Algorithm Based on Shared Memory for Enhancing Performance.	WSC	2020	DBLP DOI BibTeX RDF
16	Songyuan Gu, Chen Wu, Yuanyuan Qin	DEVS-Based Modeling and Simulation of Wireless Sensor Network.	HCC	2020	DBLP DOI BibTeX RDF
16	Joseph Boi-Ukeme, Cristina Ruiz Martin, Gabriel A. Wainer	Real-Time Fault Detection and Diagnosis of CPS Faults in DEVS.	DependSys	2020	DBLP DOI BibTeX RDF
16	Román Cárdenas, Kevin Henares, Cristina Ruiz Martin, Gabriel A. Wainer	Cell-DEVS Models for the Spread of COVID-19.	ACRI	2020	DBLP DOI BibTeX RDF
16	Hoda Khalil, Gabriel A. Wainer	Modeling Carbon Dioxide Dispersion Indoors - A Cell-DEVS Experiment.	ACRI	2020	DBLP DOI BibTeX RDF
16	Maximiliano Cristiá, Diego A. Hollmann, Claudia S. Frydman	A multi-target compiler for CML-DEVS.	Simul.	2019	DBLP DOI BibTeX RDF
16	Kadda Mostefaoui, Youcef Dahmani	NB-DEVS: a hybrid approach for modelling and simulation of imperfect systems.	Int. J. Simul. Process. Model.	2019	DBLP DOI BibTeX RDF
16	Laurent Capocchi, Jean François Santucci, Bernard P. Zeigler	PDEVS protocol performance prediction using activity patterns with finite probabilistic devs.	SummerSim	2019	DBLP BibTeX RDF
16	Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton	Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA.	SummerSim	2019	DBLP BibTeX RDF
16	Gabriel A. Wainer	Traffic modeling and simulation: a devs library.	SummerSim	2019	DBLP BibTeX RDF
16	Hendrik Folkerts, Thorsten Pawletta, Christina Deatcu, Jean François Santucci, Laurent Capocchi	An integrated modeling, simulation and experimentation environment in python based on SES/MB and DEVS.	SummerSim	2019	DBLP BibTeX RDF
16	Bruno St-Aubin, Gabriel A. Wainer	A Cell-Devs Model for Logistic Urban Growth.	SpringSim	2019	DBLP DOI BibTeX RDF
16	Ehsan M. Ahmad, Hessam S. Sarjoughian	A Behavior Annex For AADL Using The DEVS Formalism.	SpringSim	2019	DBLP DOI BibTeX RDF
16	Ben Earle, Kyle Bjornson, Joseph Boi-Ukeme, Gabriel A. Wainer	Design and Implementation of A Building Control System in Real-Time Devs.	SpringSim	2019	DBLP DOI BibTeX RDF
16	Ala'a Al-Habashna, Cristina Ruiz Martin, Gabriel A. Wainer	Analyzing the Impact of Quantum Size on the Accuracy and Performance of Cell-Devs Fire Models.	SpringSim	2019	DBLP DOI BibTeX RDF
16	Cristina Ruiz Martin, Ala'a Al-Habashna, Gabriel A. Wainer, Laouen Belloli	Control of a Quadcopter Application With Devs.	SpringSim	2019	DBLP DOI BibTeX RDF
16	Laouen Belloli, Damián Vicino, Cristina Ruiz Martin, Gabriel A. Wainer	Building Devs Models with the Cadmium Tool.	WSC	2019	DBLP DOI BibTeX RDF
16	Yentl Van Tendeloo, Hans Vangheluwe, Romain Franceschini	An Introduction to Modeling and Simulation with (Python(P))DEVS.	WSC	2019	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer	An Introduction to Cellular Automata Models With Cell-DEVS.	WSC	2019	DBLP DOI BibTeX RDF
16	Bernard P. Zeigler	Introduction to Iterative System Computational Foundations and Devs.	WSC	2019	DBLP DOI BibTeX RDF
16	Zhenxing Luo, Lulu Zhao, Wanyong Tian, Dan Yang, Yiyuan Chen, Jiabin Yu, Jianjun Li	Data Link Modeling and Simulation Based on DEVS.	SPML	2019	DBLP DOI BibTeX RDF
16	Majeda Albataineh, Moath H. A. Jarrah	DEVS-Based IoT Management System for Modeling and Exploring Smart Home Devices.	IoTSMS	2019	DBLP DOI BibTeX RDF
16	Thierry Antoine-Santoni, Bastien Poggi, Evelyne Vittori, Ho Van Hieux, Marielle Delhom, Antoine Aïello	"Smart Entity" - How to Build DEVS Models from Large Amount of Data and Small Amount of Knowledge?	SimuTools	2019	DBLP DOI BibTeX RDF
16	Shrikant D. Pawar, Aditya Stanam	Developing a DEVS-JAVA Model to Simulate and Pre-test Changes to Emergency Care Delivery in a Safe and Efficient Manner.	IWBBIO (2)	2019	DBLP DOI BibTeX RDF
16	Benjamin Camus, Thomas Paris, Julien Vaubourg, Yannick Presse, Christine Bourjot, Laurent Ciarletta, Vincent Chevrier	Co-simulation of cyber-physical systems using a DEVS wrapping strategy in the MECSYCO middleware.	Simul.	2018	DBLP DOI BibTeX RDF
16	Navonil Mustafee, Saurabh Mittal, Saikou Y. Diallo, Gregory Zacharewicz	The advances in the state of the art of modeling and simulation: Discrete event system specification (DEVS).	Simul.	2018	DBLP DOI BibTeX RDF
16	Alonso Inostrosa-Psijas, Veronica Gil-Costa, Mauricio Marín, Gabriel A. Wainer	Semi-asynchronous approximate parallel DEVS simulation of web search engines.	Concurr. Comput. Pract. Exp.	2018	DBLP DOI BibTeX RDF
16	Yentl Van Tendeloo, Hans Vangheluwe	Extending the DEVS Formalism with Initialization Information.	CoRR	2018	DBLP BibTeX RDF
16	Abdurrahman Alshareef, Hessam S. Sarjoughian, Bahram Zarrin	Activity-based DEVS modeling.	Simul. Model. Pract. Theory	2018	DBLP DOI BibTeX RDF
16	Mostéfa Mokaddem, Baghdad Atmani, Abdelmalek Boularas, Chihab eddine Mokaddem	DEVSServer: ambient intelligence and DEVS modelling-based simulation server for epidemic modelling.	Int. J. Simul. Process. Model.	2018	DBLP DOI BibTeX RDF
16	Yentl Van Tendeloo, Hans Vangheluwe	DEVS modelling and simulation of a multi-paradigm modelling tool.	SummerSim	2018	DBLP BibTeX RDF
16	Bruno St-Aubin, Omar Hesham, Gabriel A. Wainer	A Cell-DEVS visualization and analysis platform.	SummerSim	2018	DBLP BibTeX RDF
16	Avneet Behl, Gabriel A. Wainer, Cristina Ruiz Martin	Cell-DEVS: an approach to model the influence of social interactions in human behavior.	SummerSim	2018	DBLP BibTeX RDF
16	Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman	Towards using DEVS for modelling adaptive storytelling in virtual games.	SummerSim	2018	DBLP BibTeX RDF
16	Thomas Paris, Laurent Ciarletta, Vincent Chevrier	A component approach for DEVS.	SummerSim	2018	DBLP BibTeX RDF
16	Gabriel A. Wainer	Crowd Modeling and Simulation of Spatial Systems with Cell-DEVS.	SIMULTECH	2018	DBLP BibTeX RDF
16	Amelia Badica, Costin Badica, Ion Buligiu, Liviu Ciora	DEVS Modeling and Simulation Using BDI Agents: Preliminary Considerations.	WIMS	2018	DBLP DOI BibTeX RDF
16	Abdurrahman Alshareef, Hessam S. Sarjoughian	Model-driven time-accurate DEVS-based approaches for CPS design.	SpringSim (Mod4Sim)	2018	DBLP BibTeX RDF
16	Yentl Van Tendeloo, Hans Vangheluwe	Introduction to parallel DEVS modelling and simulation.	SpringSim (Mod4Sim)	2018	DBLP BibTeX RDF
16	Ifeoluwa Oyelowo, Bruno Artacho, Siu O'Young, Gabriel A. Wainer	Using cell-DEVS for prototyping unmanned aircraft system traffic simulation.	SpringSim (TMS)	2018	DBLP BibTeX RDF
16	Bernard P. Zeigler	Closure under coupling: concept, proofs, DEVS recent examples (wip).	SpringSim (TMS)	2018	DBLP BibTeX RDF
16	Ifeoluwa Oyelowo, Gabriel A. Wainer, Ngozi Silas Echegini, Joseph Boi-Ukeme, Sergio Zlotnik	Cell-DEVS modeling and simulation of artificial hydraulic fracturing of rocks in boreholes (wip).	SpringSim (TMS)	2018	DBLP BibTeX RDF
16	Bernard P. Zeigler, Saurabh Mittal, Mamadou K. Traoré	Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systems: healthcare reform.	SpringSim (MSCIAAS)	2018	DBLP BibTeX RDF
16	Chungman Seo, Bernard P. Zeigler, Doohwan Kim	DEVS markov modeling and simulation: formal definition and implementation.	SpringSim (TMS)	2018	DBLP BibTeX RDF
16	Emmanuel Barbieri, Laurent Capocchi, Jean François Santucci	DEVS Modeling and Simulation of Financial Leverage Effect Based on Markov Decision Process.	UV	2018	DBLP DOI BibTeX RDF
16	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
16	István Dávid, Hans Vangheluwe, Yentl Van Tendeloo	Translating Engineering Workflow Models to DEVS for Performance Evaluation.	WSC	2018	DBLP DOI BibTeX RDF
16	Gabriel A. Wainer, Cristina Ruiz Martin, Rodrigo D. Castro	Building Partial differential equations Models using cell-DEVS.	WSC	2018	DBLP DOI BibTeX RDF
16	Ezequiel Pecker Marcosig, Juan I. Giribet, Rodrigo D. Castro	Devs-over-ROS (Dover): a Framework for simulation-Driven Embedded control of robotic Systems based on Model Continuity.	WSC	2018	DBLP DOI BibTeX RDF
16	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
16	Shuo Zhu, Hua Zhang 0012, Zhigang Jiang, Qingshan Gong	Research on Dynamic Integrated Energy Efficiency Model of CNC Machine Tools Based on DEVS.	SMC	2018	DBLP DOI BibTeX RDF