Search results for "DEVS"

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