Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|