Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
198	Chungman Seo, Bernard P. Zeigler	Interoperability between DEVS simulators using service oriented architecture and DEVS namespace.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS namespace, interoperability of DEVS simulators, service oriented architecture, SOAP, DEVS, WSDL
151	José Luis Risco-Martín, Alejandro Moreno, Jesús Manuel de la Cruz, Joaquín Aranda Almansa	Interoperability between DEVS and non-DEVS models using DEVS/SOA.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS/SOA, interoperability, standard, Matlab, DEVS
138	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	XML-based DEVS modeling and interpretation.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVSJAVA, XLSC, XML, reusability, DEVS
130	Brian Webb, Gabriel A. Wainer	Implementing the SCIDDICA landslide model in Cell-DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF	landslide modelling, cellular automata, discrete event simulation, DEVS, Cell-DEVS
121	Mara Nikolaidou, Vassilis Dalakas, Loreta Mitsi, Georgios-Dimitrios Kapos, Dimosthenis Anagnostopoulos	A SysML Profile for Classical DEVS Simulators.	ICSEA	2008	DBLP DOI BibTeX RDF
114	Ezequiel Glinsky, Gabriel A. Wainer	New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
107	Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim	Verification of the DEVS model implementation using aspect embedded DEVS.	SpringSim	2009	DBLP BibTeX RDF	aspect oriented programming based verification, discrete event simulator verification, DEVS formalism
102	Angelo Furfaro, Libero Nigro	A development methodology for embedded systems based on RT-DEVS.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Embedded control systems, Model continuity, Java, Model checking, Timed automata, DEVS, Temporal analysis, Real-time constraints
102	Hesham Saadawi, Gabriel A. Wainer	Verification of real-time DEVS models.	SpringSim	2009	DBLP DOI BibTeX RDF	formal methods verification, timed automata, DEVS, real-time software
102	Patrick Castonguay, Tania Pendergast, Gabriel A. Wainer	Tools for DEVS modeling, simulation and 3D visualization.	SimuTools	2009	DBLP DOI BibTeX RDF	visualization, discrete-event simulation, CD++, cell-DEVS
102	Hui Shang, Gabriel A. Wainer	A flexible dynamic structure DEVS algorithm towards real-time systems.	SCSC	2007	DBLP BibTeX RDF	experimental environment, real-time systems, DEVS, dynamic structure
102	José Luis Risco-Martín, Saurabh Mittal, M. A. López-Peña, Jesús Manuel de la Cruz	A W3C XML schema for DEVS scenarios.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS (Discrete EVent System Specification), XML (eXtensible Markup Language), meta-model, XML-Schema, meta-language
102	Bo Feng, Gabriel A. Wainer	a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models.	DS-RT	2008	DBLP DOI BibTeX RDF
102	Rami Madhoun, Gabriel A. Wainer	Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models.	SpringSim (2)	2007	DBLP BibTeX RDF
98	Yi Sun, James J. Nutaro	Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based Applications.	DS-RT	2008	DBLP DOI BibTeX RDF
94	Herbert Praehofer, Bernard P. Zeigler	On the Expressibility of Discrete Event Specified Systems.	CAST	1994	DBLP DOI BibTeX RDF
91	Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi	DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS-suite, DEVSJAVA, simulation monitoring, experimental design, visual complexity
91	Shoupeng Han, Kedi Huang	Equivalent Semantic Translation from Parallel DEVS Models to Time Automata.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Discrete Event System Specification (DEVS), Timed Transition System (TTS), Timed Automata (TA), Semantic Equivalence
91	Ming Zhang 0006	An introduction to DEVS and distributed DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF
88	Bo Feng, Qi Liu 0009, Gabriel A. Wainer	Parallel simulation of DEVS and Cell-DEVS models on Windows-based PC cluster systems.	SpringSim	2008	DBLP DOI BibTeX RDF	discrete event simulation, parallel simulation, DEVS, cluster systems, Cell-DEVS
86	Mohammad Moallemi, Gabriel A. Wainer	Design of Persian tapestry in CD++.	SpringSim	2008	DBLP DOI BibTeX RDF	Persian tapestry, cellular automata, DEVS
86	Mamadou K. Traoré	Easy DEVS.	SpringSim (2)	2007	DBLP BibTeX RDF
86	Moon Ho Hwang, Feng Lin 0001	State Minimization of SP-DEVS.	AIS	2004	DBLP DOI BibTeX RDF
86	Bernard P. Zeigler, Hessam S. Sarjoughian, Sunwoo Park, Jong S. Lee, Young Kwan Cho, James J. Nutaro	Devs Modeling And Simulation: A New Layer Of Middleware.	Active Middleware Services	2001	DBLP DOI BibTeX RDF
84	Shafagh Jafer, Gabriel A. Wainer	A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
84	Mohammad Moallemi, Gabriel A. Wainer	I-DEVS: imprecise real-time and embedded DEVS modeling.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
84	Gabriel A. Wainer, Norbert Giambiasi	N-dimensional Cell-DEVS Models.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	DEVS models, modeling paradigms, cell-DEVS models, cellular automata, discrete event simulation
79	Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri	Practical application of "lightweight" Z in DEVS framework.	SpringSim	2009	DBLP BibTeX RDF	formal verification, DEVS, lightweight formal methods, Z specification
79	Elie El Ajaltouni, Azzedine Boukerche, Ming Zhang 0006	A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations.	SpringSim	2009	DBLP DOI BibTeX RDF	grid, discrete event simulation, dynamic load balancing, DEVS
79	Stéphane Garredu, Evelyne Vittori, Jean François Santucci	A DEVS-oriented intuitive modeling language.	SpringSim	2009	DBLP DOI BibTeX RDF	methodology, code generation, MDA, specification languages, DEVS
79	Chungman Seo, Bernard P. Zeigler	Automating the DEVS modeling and simulation interface to web services.	SpringSim	2009	DBLP BibTeX RDF	dynamic web service invocation, web service execution language, web services, DEVS, WSDL
79	Yuri B. Boiko, Gabriel A. Wainer	Modeling quantum dot devices in Cell-DEVS environment.	SpringSim	2008	DBLP DOI BibTeX RDF	majority vote gates, quantum wire, cellular automata, discrete event simulation, quantum dot, XOR gates, cell-DEVS, quantum automata
79	Tag Gon Kim, Chang Ho Sung	Objective-driven DEVS modeling using OPI matrix for performance evaluation of discrete event systems.	SCSC	2007	DBLP BibTeX RDF	OPI matrix, objective-driven modeling, war game modeling, DEVS
79	Olivier Dalle, Gabriel A. Wainer	An open issue on applying sharing modeling patterns in DEVS.	SCSC	2007	DBLP BibTeX RDF	shared components, discrete event simulation, DEVS, systems theory, component-based modeling
79	Hernán P. Dacharry, Norbert Giambiasi	A formal verification approach for DEVS.	SCSC	2007	DBLP BibTeX RDF	formal verification, timed automata, DEVS
79	Shafagh Jafer, Gabriel A. Wainer	Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS.	CSE (1)	2009	DBLP DOI BibTeX RDF
75	Joe Mooney, Hessam S. Sarjoughian	A framework for executable UML models.	SpringSim	2009	DBLP DOI BibTeX RDF	discrete event simulation, state machine, DEVS, executable UML
75	Mohammad Moallemi, J. Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer	ECD++ a DEVS based real-time simulator for embedded systems.	SpringSim	2008	DBLP DOI BibTeX RDF	embedded CD++ (ECD++), mindstorms, robocart, real-time
75	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with DEVS.	AGTIVE	2007	DBLP DOI BibTeX RDF
75	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVSML: automating DEVS execution over SOA towards transparent simulators.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVSML, JavaML, web services, SOA
75	Sivakumar Palaniappan, Anil Sawhney, Hessam S. Sarjoughian	Application of the DEVS framework in construction simulation.	WSC	2006	DBLP DOI BibTeX RDF
70	Zhanping Yin, Victor C. M. Leung	Third-Party Handshake Protocol for Efficient Peer Discovery and Route Optimization in IEEE 802.15.3 WPANs.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	802.15.3, peer discovery, medium access control (MAC), wireless personal area network (WPAN)
68	Robert H. Kewley, Neil Kester, Joseph McDonnell	DEVS distributed modeling framework: a parallel DEVS implementation via microservices.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
68	Romain Franceschini, Paul-Antoine Bisgambiglia, Paul Bisgambiglia, David R. C. Hill	DEVS-ruby: a domain specific language for DEVS modeling and simulation (WIP).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
68	Saurabh Mittal, Scott A. Douglass	From domain specific languages to DEVS components: application to cognitive M&S.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel A. Wainer	Interfacing DEVS and visualization models for emergency management.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Hoda Ahmadinejad, Fatemeh Refan, Hessam S. Sarjoughian	NoC simulation modeling in DEVS-suite.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Olivier Dalle, Judicaël Ribault	Some desired features for the DEVS architecture description language.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler	Automating DEVS over data distribution service for high performance and interoperability.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Saurabh Mittal, Scott A. Douglass	Net-centric act-R-based cognitive architecture with DEVS unified process.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Hessam S. Sarjoughian, Yu Chen	Standardizing DEVS models: an endogenous standpoint.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Xiaobo Li 0003, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002	A testing framework for DEVS formalism implementations.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Reehan Shaikh, Hans Vangheluwe	Transforming UML2.0 class diagrams and statecharts to atomic DEVS.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Moon Ho Hwang	Taxonomy of DEVS subclasses for standardization.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Joachim Denil, Hans Vangheluwe, Pieter Ramaekers, Paul De Meulenaere, Serge Demeyer	DEVS for AUTOSAR platform modelling.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
68	Pamela Viale, Claudia S. Frydman, Jacques Pinaton	Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
67	Luc Touraille, Mamadou K. Traoré, David R. C. Hill	A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models.	SpringSim	2009	DBLP BibTeX RDF	web service, XML, interoperability, DEVS
67	Feng Gu 0001, Xiaolin Hu 0002, Lewis Ntaimo	Towards validation of DEVS-FIRE wildfire simulation model.	SpringSim	2008	DBLP DOI BibTeX RDF	DEVS-FIRE, cellular space model, wildfire, validation
67	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVS-based simulation web services for net-centric T&E.	SCSC	2007	DBLP BibTeX RDF	DEVSML, SOADEVS, T&E, web services, XML, DEVS
67	Jung H. Kim, Tag G. Kim, JinLip. Jeong	Embedding DEVS methodology in CBD process for development of war game simulators.	SCSC	2007	DBLP BibTeX RDF	war game, UML, object-oriented, CBD, DEVS
67	Taekyu Kim, Moon Ho Hwang, Doohwan Kim, Bernard P. Zeigler	DEVS/NS-2 environment: integrated tool for efficient networks modeling and simulation.	SpringSim (2)	2007	DBLP BibTeX RDF	interoperable simulation, wireless sensor network, DEVS, NS-2
67	Kihyung Kim, Wonseok Kang, Bong Sagong, Hyungon Seo	Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	hierarchical simulation, discrete event simulation, distributed simulation, DEVS formalism
63	James J. Nutaro	On constructing optimistic simulation algorithms for the discrete event system specification.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	discrete-event simulation, parallel simulation, DEVS, Time Warp
63	Olivier Dalle, Bernard P. Zeigler, Gabriel A. Wainer	Extending DEVS to support multiple occurrence in component-based simulation.	WSC	2008	DBLP DOI BibTeX RDF
63	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	DEVS-WSN : A discrete event approach for Wireless Sensor Network simulation.	AICCSA	2008	DBLP DOI BibTeX RDF
63	Khaldoon Al-Zoubi, Gabriel A. Wainer	Interfacing and Coordination for a DEVS Simulation Protocol Standard.	DS-RT	2008	DBLP DOI BibTeX RDF
63	Hui Shang, Gabriel A. Wainer	A Model of Virus Spreading Using Cell-DEVS.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
63	Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman	Simulation Semantics for Min-Max DEVS Models.	AIS	2004	DBLP DOI BibTeX RDF
63	Sangjoon Park, Kwanjoong Kim	DEVS Formalism: A Hierarchical Generation Scheme.	AIS	2004	DBLP DOI BibTeX RDF
63	Javier Ameghino, Gabriel A. Wainer	Using Cell-DEVS for Modeling Complex Cell Spaces.	AIS	2004	DBLP DOI BibTeX RDF
63	Eric Innocenti, Alexandre Muzy, Antoine Aïello, Jean François Santucci, David R. C. Hill	Active-DEVS: a computational model for the simulation of forest fire propagation.	SMC (2)	2004	DBLP DOI BibTeX RDF
63	Ki-Hyung Kim, Won-Seok Kang	CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
63	Yung-Hsin Wang, Szu-Hsuan Ho	Implementation of a DEVS-JavaBean Simulation Environment.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
63	Manuel Cabarcos, Ramón P. Otero, Silvia Gómez Pose	Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference.	EUROCAST	1999	DBLP DOI BibTeX RDF
60	Hui Shang, Gabriel A. Wainer	Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Dynamic Structure DEVS, Real-Time Systems, Embedded Systems, DEVS, CD++
60	Sergio Daicz, Alejandro J. Troccoli, Sergio Zlotnik, Gabriel A. Wainer	Using the DEVS Paradigm to Implement a Simulated Processor.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Simulation methods: Discrete-event simulation, Modeling methodology: DEVS models, Cell-DEVS models, Applications: traffic models
59	Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi	Using Simulation for the Validation of High Level Specifications of Control Systems.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	discrete event control systems, multiformalism, simulation, validation
56	Gabriel A. Wainer, Qi Liu 0009, Julien Chazal, Loïc Quinet, Mamadou K. Traoré	Performance analysis of web-based distributed simulation in DCD++: a case study across the Atlantic Ocean.	SpringSim	2008	DBLP DOI BibTeX RDF	web services, DEVS, CD++, Cell-DEVS
56	Patrick Castonguay, Gabriel A. Wainer	Aircraft evacuation DEVS implementation & visualization.	SpringSim	2009	DBLP DOI BibTeX RDF	blender, visualization, CD++, Cell-DEVS
56	Yuri B. Boiko, Gabriel A. Wainer	Modeling of neural decoder based on binary spiking neurons in DEVS.	SpringSim	2009	DBLP BibTeX RDF	binary response function, brain machine, neural spiking decoder, spiking decoding, discrete event simulation, DEVS, spiking neuron
56	Mamadou K. Traoré	A graphical notation for DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	state/event chart, business process, DEVS, flowchart, graphical notation
56	Rodrigo D. Castro, Ernesto Kofman, Gabriel A. Wainer	A formal framework for stochastic DEVS modeling and simulation.	SpringSim	2008	DBLP DOI BibTeX RDF	discrete event simulation, DEVS, stochastic systems
56	Mamoun Sqali, Lucile Torres, Claudia S. Frydman	Synthesizing scenarios to DEVS models.	SpringSim	2008	DBLP DOI BibTeX RDF	requirement validation and checking, scenarios, DEVS, behavioral specification
56	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	Modelling & simulation oriented components of wireless sensor network using DEVS formalism.	SpringSim (2)	2007	DBLP BibTeX RDF	WSN, components, routing protocol, DEVS
56	Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit	Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling.	ECBS	2000	DBLP DOI BibTeX RDF	Modeling, Embedded Systems, DEVS
55	Qi Liu 0009, Gabriel A. Wainer	Lightweight Time Warp - A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models.	DS-RT	2008	DBLP DOI BibTeX RDF
55	Chen Liu, Qun Li 0004, Weiping Wang 0002, Yifan Zhu	Extend SRML schema based on DEVS: an executable DEVS language.	WSC	2005	DBLP DOI BibTeX RDF
52	Damián Vicino, Olivier Dalle, Gabriel A. Wainer	An advanced data type with irrational numbers to implement time in DEVS simulators.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
52	Braulio Adriano de Mello, Gabriel A. Wainer	Scheduling predictability in I-DEVS by schedulability analysis.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
52	Hesham Saadawi, Gabriel A. Wainer, German Pliego	DEVS execution acceleration with machine learning.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
52	Abdurrahman Alshareef, Hessam S. Sarjoughian, Bahram Zarrin	An approach for activity-based DEVS model specification.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
52	Robert H. Kewley, Alex MacCalman, Joseph McDonnell, Carl Hein	DEVS distributed parallel architecture for enterprise simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Mostafa D. Fard, Hessam S. Sarjoughian	Visual and persistence behavior modeling for DEVS in CoSMoS.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Youssef Bouanan, Mathilde Forestier, Judicaël Ribault, Gregory Zacharewicz, Bruno Vallespir, Néjib Moalla	Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Chungman Seo, Bernard P. Zeigler, Doohwan Kim, Kenneth Duncan	Integrating web-based simulation on IT systems with finite probabilistic DEVS.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Benjamin Camus, Christine Bourjot, Vincent Chevrier	Combining DEVS with multi-agent concepts to design and simulate multi-models of complex systems (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Megan M. Olsen, Mohammad S. Raunak	A method for quantified confidence of DEVS validation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Hessam S. Sarjoughian, Savitha Sundaramoorthi	Superdense time trajectories for DEVS simulation models.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Simon Van Mierlo, Yentl Van Tendeloo, Bruno Barroca, Sadaf Mustafiz, Hans Vangheluwe	Explicit modelling of a parallel DEVS experimentation environment.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Jean François Santucci, Laurent Capocchi, Bernard P. Zeigler	SES extension to integrate abstraction hierarchy into DEVS modeling and simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF