Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Emna Chebbi, Patrick Sondi, Éric Ramat, Lucas Rivoirard, Martine Wahl |
Simulation of a Clustering Scheme for Vehicular Ad Hoc Networks Using a DEVS-based Virtual Laboratory Environment. |
ANT/SEIT |
2018 |
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. |
Simul. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe |
Debugging Parallel DEVS. |
Simul. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yentl Van Tendeloo, Hans Vangheluwe |
An evaluation of DEVS simulation tools. |
Simul. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Denil, Paul De Meulenaere, Serge Demeyer, Hans Vangheluwe |
DEVS for AUTOSAR-based system deployment modeling and simulation. |
Simul. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Herbez, Éric Ramat, Gauthier Quesnel |
Vers une distribution optimale des modèles DEVS dans un contexte pessimiste. De l'apprentissage à la distribution. |
Tech. Sci. Informatiques |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Camus, Julien Vaubourg, Thomas Paris, Yannick Presse, Christine Bourjot, Laurent Ciarletta, Vincent Chevrier |
Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques. |
Tech. Sci. Informatiques |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Jean François Santucci, Laurent Capocchi, Bernard P. Zeigler |
Intégration de la hiérarchie d'abstraction et de la granularité temporelle au sein de la modélisation et la simulation DEVS. |
Tech. Sci. Informatiques |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Bernard P. Zeigler |
Using the Parallel DEVS Protocol for General Robust Simulation with Near Optimal Performance. |
Comput. Sci. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yentl Van Tendeloo, Hans Vangheluwe |
An Introduction to Classic DEVS. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Noreen Akhtar, Muaz A. Niazi, Farah Mustafa, Amir Hussain 0001 |
A discrete event system specification (DEVS)-based model of consanguinity. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
16 | Baohong Liu, Alexander Verbraeck |
Multi-resolution modeling based on quotient space and DEVS. |
Simul. Model. Pract. Theory |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Bernard P. Zeigler, James J. Nutaro, Chungman Seo |
Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis. |
Int. J. Simul. Process. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Razvan-Gabriel Rotari, Ionut Hulub, Stefan Oprea, Mihaela Plamada-Onofrei, Alina Beatrice Lorent, Raluca Preisler, Adrian Iftene, Diana Trandabat |
Wild Devs' at SemEval-2017 Task 2: Using Neural Networks to Discover Word Similarity. |
SemEval@ACL |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Etemad, Mohammad Aazam, Marc St-Hilaire |
Using DEVS for modeling and simulating a Fog Computing environment. |
ICNC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe |
Time- and space-conscious omniscient debugging of parallel DEVS. |
SpringSim (TMS) |
2017 |
DBLP BibTeX RDF |
|
16 | Mariem Sbayou, Youssef Bouanan, Gregory Zacharewicz, Judicaël Ribault, Julien François |
Devs modelling and simulation for healthcare process application for hospital emergency department. |
SpringSim (ANSS) |
2017 |
DBLP BibTeX RDF |
|
16 | Abdurrahman Alshareef, Hessam S. Sarjoughian |
DEVS specification for modeling and simulation of the UML activities. |
SpringSim (Mod4Sim) |
2017 |
DBLP BibTeX RDF |
|
16 | Suresh K. Damodaran, Saurabh Mittal |
Modeling cyber effects in cyber-physical systems with DEVS. |
SpringSim (TMS) |
2017 |
DBLP BibTeX RDF |
|
16 | Saurabh Mittal, José L. Risco-Martín |
DEVSML 3.0 stack: rapid deployment of DEVS farm in distributed cloud environment using microservices and containers. |
SpringSim (TMS) |
2017 |
DBLP BibTeX RDF |
|
16 | Misagh Tavanpour, Jan Mikhail, Gabriel A. Wainer, Gary Boudreau |
The case for DEVS in networking M&S: upload user collaboration in mobile networks using coordinated multipoint. |
SpringSim (TMS) |
2017 |
DBLP BibTeX RDF |
|
16 | Soroosh Gholami, Hessam S. Sarjoughian |
Modeling and verification of network-on-chip using constrained-DEVS. |
SpringSim (TMS) |
2017 |
DBLP BibTeX RDF |
|
16 | Celine Kessler, Laurent Capocchi, Jean François Santucci, Bernard P. Zeigler |
Hierarchical Markov decision process based on DEVS formalism. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer, Scott Stewart |
A cell-DEVS model for fracture propagation in rock. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Celine Kessler, Laurent Capocchi, Bernard P. Zeigler, Jean François Santucci |
Generic architecture for interactive mobile simulation of parallel Devs models: A missile defense application. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | María Julia Blas, Silvio Gonnet, Horacio Pascual Leone |
Routing structure over discrete event system specification: A DEVS adaptation to develop smart routing in simulation models. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ange-Lionel Toba |
A DEVS based modeling architecture of electrical power systems. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Barbieri, Laurent Capocchi, Jean François Santucci |
DEVS modeling and simulation based on Markov Decision Process of financial leverage effect in the EU development programs. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Yentl Van Tendeloo, Hans Vangheluwe |
Classic DEVS modelling and simulation. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Soroosh Gholami |
Combined DEVS multiresolution simulation and model checking. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Hae Young Lee |
Buffer overflow detection in DEVS simulation using canaries. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ange-Lionel Toba, Mamadou D. Seck, Matthew Amissah, Sarah Bouazzaoui |
An approach for DEVS based modeling of electrical power systems. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Eduardo Perez |
Integrating mathematical optimization in devs for nuclear medicine patient and resource scheduling. |
WSC |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Verónica Bogado, Silvio Gonnet, Horacio Pascual Leone |
DEVS-based methodological framework for multi-quality attribute evaluation using software architectures. |
CLEI |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Chao Zhang, Hessam S. Sarjoughian |
Cellular Automata DEVS: A Modeling, Simulation, and Visualization Environment. |
SimuTools |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ala'a Al-Habashna, Gabriel A. Wainer |
Modeling pedestrian behavior with Cell-DEVS: theory and applications. |
Simul. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jean François Santucci, Laurent Capocchi, Bernard P. Zeigler |
System entity structure extension to integrate abstraction hierarchies and time granularity into DEVS modeling and simulation. |
Simul. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer, Joaquín Fernández |
Modelling and simulation of complex cellular models using Cell-DEVS. |
Simul. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | David Ifeoluwa Adelani, Mamadou Kaba Traoré |
Enhancing the reusability and interoperability of artificial neural networks with DEVS modeling and simulation. |
Int. J. Model. Simul. Sci. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Gary R. Mayer, Hessam S. Sarjoughian |
Building a hybrid DEVS and GRASS model using a composable cellular automaton. |
Int. J. Model. Simul. Sci. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Lahcene Aid, Lynda Zaoui, Sid Ahmed Mokhtar Mostefaoui |
Using DEVS for modeling and simulation of ambient objects in intelligent buildings. |
J. Ambient Intell. Humaniz. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Fatih Çelik |
DEVS-M: A discrete event simulation framework for MANETs. |
J. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Steiniger, Adelinde M. Uhrmacher |
Intensional Couplings in Variable-Structure Models: An Exploration Based on Multilevel-DEVS. |
ACM Trans. Model. Comput. Simul. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Youssef Bouanan, Gregory Zacharewicz, Bruno Vallespir |
DEVS modelling and simulation of human social interaction and influence. |
Eng. Appl. Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Anargyros Tsadimas, George-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos |
Simulating simulation-agnostic SysML models for enterprise information systems via DEVS. |
Simul. Model. Pract. Theory |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Hassan Bazoun, Judicaël Ribault, Gregory Zacharewicz, Yves Ducq, Hadrien Boyé |
SLMToolBox: enterprise service process modelling and simulation by coupling DEVS and services workflow. |
Int. J. Simul. Process. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer |
Real-time simulation of DEVS models in CD++. |
Int. J. Simul. Process. Model. |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Kristian Nybom, Jens Smeds, Ivan Porres |
On the Impact of Mixing Responsibilities Between Devs and Ops. |
XP |
2016 |
DBLP DOI BibTeX RDF |
|
16 | José L. Risco-Martín, Saurabh Mittal, Juan Carlos Fabero Jiménez, Pedro Malagón, José L. Ayala |
Real-time hardware/software co-design using devs-based transparent M&S framework. |
SummerSim |
2016 |
DBLP BibTeX RDF |
|
16 | Saurabh Mittal, José L. Risco-Martín |
DEVSML studio: a framework for integrating domain-specific languages for discrete and continuous hybrid systems into DEVS-based m&s environment. |
SummerSim |
2016 |
DBLP BibTeX RDF |
|
16 | Alonso Inostrosa-Psijas, Veronica Gil-Costa, Gabriel A. Wainer, Mauricio Marín |
Formal verification of DEVS simulation: web search engine model case study. |
SummerSim |
2016 |
DBLP BibTeX RDF |
|
16 | Youssef Bouanan, Gregory Zacharewicz, Bruno Vallespir, Judicaël Ribault, Saikou Y. Diallo |
DEVS based network: modeling and simulation of propagation processes in a multi-layers network. |
SpringSim (MSCIAAS/SPACE) |
2016 |
DBLP BibTeX RDF |
|
16 | Mostéfa Mokaddem, Baghdad Atmani, Abdelmalek Boularas |
DevsServer: ambient intelligence and DEVS modeling based simulation server. |
SpringSim (MSCIAAS/SPACE) |
2016 |
DBLP BibTeX RDF |
|
16 | Julien Vaubourg, Vincent Chevrier, Laurent Ciarletta |
Co-simulation of IP network models in the Cyber-Physical systems context, using a DEVS-based platform. |
SpringSim (CNS) |
2016 |
DBLP BibTeX RDF |
|
16 | Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella |
UML state machine as modeling language for DEVS formalism. |
CLEI |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Moath H. A. Jarrah |
Modeling and Simulation of Renewable Energy Sources in Smart Grid Using DEVS Formalism. |
ANT/SEIT |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Sofiane Boukelkoul, Ramdane Maamri |
Model-based DEVS for modeling and simulation of resource-constrained business processes. |
ICAASE |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Yilin Huang, Mamadou D. Seck, Alexander Verbraeck |
Component-based light-rail modeling in discrete event systems specification (DEVS). |
Simul. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hessam S. Sarjoughian, Soroosh Gholami |
Action-level real-time DEVS modeling and simulation. |
Simul. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Maryam M. Maleki, Robert F. Woodbury, Rhys Goldstein, Simon Breslav, Azam Khan |
Designing DEVS visual interfaces for end-user programmers. |
Simul. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Ariel Gonzalez, Carlos Luna 0001, Marcela Daniele, Roque Cuello, Marcela Perez |
Towards an automatic model transformation mechanism from UML state machines to DEVS models. |
CLEI Electron. J. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Djamel Djenouri, Elmouatezbillah Karbab, Sahar Boulkaboul, Antoine B. Bagula |
Networked Wireless Sensors, Active RFID, and Handheld Devices for Modern Car Park Management: WSN, RFID, and Mob Devs for Car Park Management. |
Int. J. Handheld Comput. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sangjoon Park, Seong-Moo Yoo |
Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance. |
Inf. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer, Mariana C. D'Abreu |
Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler. |
Adv. Eng. Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Heredia, Victorino Sanz, Alfonso Urquia, Máximo Sandín |
A systemic approach for modeling biological evolution using Parallel DEVS. |
Biosyst. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Judicaël Ribault, Gregory Zacharewicz |
Time-based orchestration of workflow, interoperability with G-Devs/Hla. |
J. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer |
The cell-DEVS formalism as a method for activity tracking in spatial modelling and simulation. |
Int. J. Simul. Process. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alonso Inostrosa-Psijas, Veronica Gil-Costa, Roberto Solar, Mauricio Marín |
Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event Simulations. |
PDP |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Herbez, Éric Ramat, Gauthier Quesnel |
Optimization of Parallel-DEVS Simulations with Partitioning Techniques. |
SIMULTECH |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Maâmar El-Amine Hamri, Nesrine Driouche |
Modeling and Simulation of Logic Gates using DEVS. |
SIMULTECH |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Misagh Tavanpour, Jan Mikhail, Gabriel A. Wainer, Mohammad Moallemi, Gary Boudreau, Ronald Casselman |
DEVS based modeling of shared segmented upload in LTE-A mobile networks. |
SpringSim (CNS) |
2015 |
DBLP BibTeX RDF |
|
16 | Hessam S. Sarjoughian, Abdurrahman Alshareef, Yonglin Lei |
Behavioral DEVS metamodeling. |
WSC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Cristina Ruiz Martin, Gabriel A. Wainer, Adolfo López-Paredes |
Modeling the communications in an emergency plan with P-DEVS. |
WSC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer |
Devs modelling and simulation for development of embedded systems. |
WSC |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Daniella Niyonkuru, Gabriel A. Wainer |
Towards a DEVS-based Operating System. |
SIGSIM-PADS |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Natacha Ellul, Laurent Capocchi, Jean François Santucci |
Big Data Decision Making Based on Predictive Data Analysis Using DEVS Simulations. |
SIGSIM-PADS |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Damián Vicino, Olivier Dalle, Gabriel A. Wainer |
Using finite forkable DEVS for decision-making based on time measured with uncertainty. |
SimuTools |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Bruno Barroca, Sadaf Mustafiz, Simon Van Mierlo, Hans Vangheluwe |
Integrating a neutral action language in a DEVS modelling environment. |
SimuTools |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sofiane Boukelkoul, Ramdane Maamri |
Optimal model transformation of BPMN to DEVS. |
AICCSA |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Sixuan Wang, Gabriel A. Wainer |
Web-based simulation using Cell-DEVS modeling and GIS visualization. |
Modeling and Simulation-Based Systems Engineering Handbook |
2014 |
DBLP BibTeX RDF |
|
16 | Georgios-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos |
An integrated framework for automated simulation of SysML models using DEVS. |
Simul. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Kyung-Min Seo, Chang Beom Choi, Tag Gon Kim, Jung Hoon Kim |
DEVS-based combat modeling for engagement-level simulation. |
Simul. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Federico Bergero, Ernesto Kofman |
A vectorial DEVS extension for large scale system modeling and parallel simulation. |
Simul. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Noureddine Seddari, Mohammed Redjimi, Sofiane Boukelkoul |
Using of DEVS and MAS Tools for Modeling and Simulation of an Industrial Steam Generator. |
J. Comput. Inf. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman |
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Youcef Dahmani, Maâmar El-Amine Hamri |
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
16 | Ji-Yeon Kim, Hyung-Jong Kim 0002 |
System Specification-based Design of Cloud Data Centre and DEVS Simulation for Availability Evaluatio. |
J. Res. Pract. Inf. Technol. |
2014 |
DBLP BibTeX RDF |
|
16 | Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman |
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. |
Simul. Model. Pract. Theory |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Garredu, Evelyne Vittori, Jean François Santucci, Bastien Poggi |
A survey of Model-Driven approaches applied to DEVS - a comparative study of metamodels and transformations. |
SIMULTECH |
2014 |
DBLP BibTeX RDF |
|
16 | Mingxin Zhang, Alexander Verbraeck |
A composable PRS-based agent meta-model for multi-agent simulation using the DEVS framework. |
SpringSim (ADS) |
2014 |
DBLP BibTeX RDF |
|
16 | Ji-Hyeon Yoon, Hae Young Lee |
Nondeterministic and elapsed-time-sensitive DEVS. |
SpringSim (Posters) |
2014 |
DBLP BibTeX RDF |
|
16 | Yunping Hu, Jun Xiao, Gang Rong, Xiaolin Hu |
A structured devs model representation based on extended structured modeling. |
WSC |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Alonso Inostrosa-Psijas, Gabriel A. Wainer, Veronica Gil-Costa, Mauricio Marín |
DEVs modeling of large scale web search engines. |
WSC |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Michael Van Schyndel, Gabriel A. Wainer, Azam Khan, Rhys Goldstein |
Computational fluid dynamic cell-DEVS M&S of coronary heart disease. |
SummerSim |
2014 |
DBLP BibTeX RDF |
|
16 | Ariel Gonzalez, Carlos Daniel Luna, Roque Cuello, Marcela Perez, Marcela Daniele |
Metamodel-based transformation from UML state machines to DEVS models. |
CLEI |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Nesrine Darragi, El-Miloudi El-Koursi, Simon Collart Dutilleul |
From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Romain Franceschini, Paul-Antoine Bisgambiglia |
Decentralized Approach for Efficient Simulation of Devs Models. |
APMS (3) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Damián Vicino, Olivier Dalle, Gabriel A. Wainer |
A data type for discretized time representation in DEVS. |
SimuTools |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer |
Cellular Modeling with Cell-DEVS: A Discrete-Event Cellular Automata Formalism. |
ACRI |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Adedoyin Adegoke, Hamidou Togo, Mamadou K. Traoré |
A unifying framework for specifying DEVS parallel and distributed simulation architectures. |
Simul. |
2013 |
DBLP DOI BibTeX RDF |
|