Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Yentl Van Tendeloo, Hans Vangheluwe	PythonPDEVS: a distributed parallel DEVS simulator.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Christopher Herbez, Gauthier Quesnel, Éric Ramat	Building partitioning graphs in parallel-DEVS context for parallel simulations (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Özgür Özmen, James J. Nutaro	Activity diagrams for DEVS models: a case study modeling health care behavior (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
52	Min Kwak, Chungman Seo	A study on effective operations of sound underwater signal using DEVS modeling and simulation (WIP).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Shafagh Jafer, Wei Mi	Simulation of aircraft boarding strategies with discrete-event cellular DEVS.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Bastien Poggi, Jean François Santucci, Thierry Antoine-Santoni	Optimization based on dynamic and hybrid metaheuristics via DEVS simulation.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Ahmet Kara 0001, Halit Oguztüzün, M. Nedim Alpdemir	Heterogeneous DEVS simulations with connectors and Reo based compositions.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Yentl Van Tendeloo, Hans Vangheluwe	The modular architecture of the python(P)DEVS simulation kernel: work in progress paper.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Michael Van Schyndel, Gabriel A. Wainer	Advanced computational fluid dynamic solver based on cell-DEVS.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Chungman Seo, Wontae Kang, Bernard P. Zeigler, Doohwan Kim	Expanding DEVS and SES applicability: using M&S kernels within IT systems.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Moon Ho Hwang	Taxonomy of DEVS variants.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Shaowei Wang 0004, Mamadou Kaba Traoré	DEVS-based case management (wip).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Sol Ha, Namkug Ku, Myung-Il Roh, Ki Su Kim, Seung-Ho Ham, Xing Li, Jung-woo Hong, Hyewon Lee	DEVS-based scenario manager of multibody dynamics simulator for shipbuilding production process (WIP).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Hassan Bazoun, Youssef Bouanan, Gregory Zacharewicz, Yves Ducq, Hadrien Boyé	Business process simulation: transformation of BPMN 2.0 to DEVS models (WIP).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
52	Rhys Goldstein, Simon Breslav, Azam Khan	Informal DEVS conventions motivated by practical considerations (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
52	Sixuan Wang, Gabriel A. Wainer, Vinu Subashini Rajus, Robert F. Woodbury	Occupancy analysis using building information modeling and cell-DEVS simulation.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
52	Carlos María Chezzi, Ana Rosa Tymoschuk, Ricardo Lerman	A method for DEVS simulation of e-commerce processes for integrated business and technology evaluation (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
52	Chungman Seo, Bernard P. Zeigler, Robert Coop, Doohwan Kim	DEVS modeling and simulation methodology with MS4 Me software tool.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
52	Hesham Saadawi, Gabriel A. Wainer	Hybrid systems modeling and verification with DEVS (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
52	Daejin Park, Tag Gon Kim	Discrete-event system-on-a-chip with universal event tracer and floating-point synchronizer for interoperation of a DEVS simulator and an on-chip debugger.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Hessam S. Sarjoughian, Mohammed A. Muqsith, Dazhi Huang, Stephen S. Yau	Validation of service oriented computing DEVS simulation models.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Donghun Kang, Joohoe Kong, Byoung Kyu Choi	DEVS modeling of urban traffic systems (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Colette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman	PSYOPS and CIMIC operations: from concepts to G-DEVS models.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Thècle Alix, Gregory Zacharewicz	G-DEVS based simulation of toy industry client behavior in PSS (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman	Adapting model-based testing techniques to DEVS models validation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Hesham Saadawi, Gabriel A. Wainer	On the verification of hybrid DEVS models.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Moon Ho Hwang	Qualitative verification of finite and real-time DEVS networks.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Deniz Cetinkaya, Alexander Verbraeck, Mamadou D. Seck	Model transformation from BPMN to DEVS in the MDD4MS framework.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Se Jung Kwon, Tag Gon Kim	Design and implementation of event-based DEVS execution environment for faster execution of iterative simulation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Hessam S. Sarjoughian, Abbas Mahmoodi Markid	EMF-DEVS modeling.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Ufuoma Bright Ighoroje, Oumar Y. Maïga, Mamadou Kaba Traoré	The DEVS-driven modeling language: syntax and semantics definition by meta-modeling and graph transformation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Chungman Seo, Bernard P. Zeigler	Simulation model standardization through web services: interoperation and federation on the DEVS/SOA platform.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
52	Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (eds.)	2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS).	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Khaoula Al Ali, Wolfgang Fengler 0001, Bernd Däne	Extended coloured Petri nets with structured tokens formal method for distributed systems.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Jeffrey P. Buzen	The rationale for shaped simulation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Pau Fonseca i Casas, Miquel Ramo Nñerola, Angel A. Juan	Using specification and description language to represent users' profiles in OMNET++ simulations.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Pascal Weyprecht, Oliver Rose	Model-driven development of simulation solution based on SysML starting with the simulation core.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Allan I. McInnes, Brian R. Thorne	ScipySim: towards distributed heterogeneous system simulation for the SciPy platform.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, Bruno Silva 0001, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves	A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Ken Edwards, Gabriel A. Wainer	GATLAS: Google Earth visualization for ATLAS.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Horacio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal	HiLeS2: model driven embedded system virtual prototype generation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Margherita Napoli, Mimmo Parente	Graded CTL model checking for test generation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Ronald Apriliyanto Halim	The simulation-based multi-objective evolutionary optimization (SIMEON) framework.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Luc Touraille, Mamadou K. Traoré, David R. C. Hill	A model-driven software environment for modeling, simulation and analysis of complex systems.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Olivier Zanon	The SimTG simulation modeling framework a domain specific language for space simulation.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Paulo Salem da Silva, Ana Cristina Vieira de Melo	On-the-fly verification of discrete event simulations by means of simulation purposes.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua	Synchronizing sequences on not strongly connected Petri nets.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Greg Franks	Simulating layered queueing networks with passive resources.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Zhiying Tu, Gregory Zacharewicz, David Chen 0001	Harmonized and reversible development framework for HLA based interoperable application.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Norbert Giambiasi	ISTSM: incompletely specified timed sequential machines.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Paolo Bocciarelli, Andrea D'Ambrogio	A BPMN extension for modeling non functional properties of business processes.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise	Developing discrete event simulations from rigorous process definitions.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Michael Müller, Georg-Peter Ostermeyer	Common simulation methods for heat conduction from the perspective of cellular automata.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Valeria Perelman, Judith Somekh, Dov Dori	Model verification framework with application to molecular biology.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
52	Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro	Performance of a multi-agent system over a multi-core cluster managed by Terracotta.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
51	Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer	Experiences with the DEVStone benchmark.	SpringSim	2008	DBLP DOI BibTeX RDF	ADEVS, M&S tool, simulator performance evaluation, synthetic benchmark, DEVS, CD++
51	Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem	Modeling of discrete event systems: A holistic and incremental approach using Petri nets.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
51	Yinfeng Henry Yu, Gabriel A. Wainer	eCD++: an engine for executing DEVS models in embedded platforms.	SCSC	2007	DBLP BibTeX RDF
51	Adelinde M. Uhrmacher, Jan Himmelspach, Mathias Röhl, Roland Ewald	Introducing variable ports and multi-couplings for cell biological modeling in DEVS.	WSC	2006	DBLP DOI BibTeX RDF
51	Gregory Zacharewicz, Norbert Giambiasi, Claudia S. Frydman	Improving the Lookahead Computation in G-DEVS/HLA Environment.	DS-RT	2005	DBLP DOI BibTeX RDF
51	Ezequiel Glinsky, Gabriel A. Wainer	DEVStone: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments.	DS-RT	2005	DBLP DOI BibTeX RDF
51	Alejandro J. Troccoli, Gabriel A. Wainer	Implementing Parallel Cell-DEVS.	Annual Simulation Symposium	2003	DBLP DOI BibTeX RDF
51	James J. Nutaro, Bernard P. Zeigler, Rajanikanth Jammalamadaka, Salil R. Akerkar	Discrete Event Solution of Gas Dynamics within the DEVS Framework.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
51	Alejandro J. Troccoli, Javier Ameghino, Fernando Iñón, Gabriel A. Wainer	A Flow Injection Model Using Cell-DEVS.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
51	Alexandre Muzy, Eric Innocenti, Antoine Aïello, Jean François Santucci, Gabriel A. Wainer	Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application.	WSC	2002	DBLP DOI BibTeX RDF
51	Javier Ameghino, Alejandro J. Troccoli, Gabriel A. Wainer	Models of Complex Physical Systems Using Cell-DEVS.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
48	Alejandra Davidson, Gabriel A. Wainer	Specifying Truck Movement in Traffic Models Using Cell-DEVS.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Simulation methods: Discrete-event simulation Modeling methodology: DEVS models, Cell-DEVS models, Applications: traffic models
48	Shafagh Jafer, Gabriel A. Wainer	Conservative DEVS: a novel protocol for parallel conservative simulation of DEVS and cell-DEVS models.	SpringSim	2010	DBLP DOI BibTeX RDF
47	Eugene Syriani, Hans Vangheluwe	Programmed Graph Rewriting with Time for Simulation-Based Design.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
47	Zhanping Yin, Victor C. M. Leung	IEEE 802.15.3 intra-piconet route optimization with application awareness and multi-rate carriers.	IWCMC	2006	DBLP DOI BibTeX RDF	routing, rate adaptive, wireless personal area network
47	Ryo Sato	Toward a unified theory of discrete event systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
44	Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi	Mapping PIOVRA in GDEVS/HLA environment.	SCSC	2007	DBLP BibTeX RDF	G-DEVS, distributed simulation, HLA, DEVS
44	Emilie Broutin, Paul Bisgambiglia, Jean François Santucci	Simulation of heterogeneous DEVS models; application to the study of natural systems.	SpringSim	2009	DBLP BibTeX RDF	catchment basin, reusability, DEVS, multilayer
44	Rachid Chreyh, Gabriel A. Wainer	CD++ repository: an internet based searchable database of DEVS models and their experimental frames.	SpringSim	2009	DBLP DOI BibTeX RDF	experimental frames, model libraries, model re-use, DEVS, CD++
44	Chang Ho Sung, Jeong-Hee Hong, Tag Gon Kim	Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models.	SpringSim	2009	DBLP DOI BibTeX RDF	combat system effectiveness, DEVS, hybrid simulation, MATLAB/Simulink, HLA/RTI
44	Victorino Sanz, Shafagh Jafer, Gabriel A. Wainer, Gabriela Nicolescu, Alfonso Urquia, Sebastián Dormido 0001	Hybrid modeling of opto-electrical interfaces using DEVS and modelica.	SpringSim	2009	DBLP DOI BibTeX RDF	opto-electrical systems, DEVS, CD++, modelica
44	Qi Liu 0009, Gabriel A. Wainer	A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models.	PADS	2009	DBLP DOI BibTeX RDF	Optimistic Parallel Simulation, Lightweight Time Warp, DEVS models, Environmental Models
44	Monageng Kgwadi, Hui Shang, Gabriel A. Wainer	Definition of dynamic DEVS models: Dynamic Structure CD++.	SpringSim	2008	DBLP DOI BibTeX RDF	Dynamic Structure DEVS, CD++
44	Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou D. Seck	Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach.	SCSC	2007	DBLP BibTeX RDF	discrete event modeling and simulation, low intensity conflicts, variable/dynamic structure, DEVS, hierarchical structure
44	Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi	LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.	SpringSim (2)	2007	DBLP BibTeX RDF	computer generated forces, discrete event modeling and simulation, variable/dynamic structure, DEVS, hierarchical structure
44	Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko	Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation.	SpringSim (2)	2007	DBLP BibTeX RDF	evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
44	Arturo I. Concepcion, Bernard P. Zeigler	DEVS Formalism: A Framework for Hierarchical Model Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	hierarchical model development, distributed simulator architectures, Discrete Event System Specification, hierarchical model specification, top-down model development, software engineering, distributed processing, programming theory, DEVS, model representation, discrete event models
40	Jean François Santucci, Emmanuelle de Gentili	Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics.	SpringSim	2009	DBLP DOI BibTeX RDF	Levi-Strauss, structural anthropology, variable dynamic structure, discrete event simulation, DEVS
40	Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun 0003	Timing specification and analysis for service-oriented simulation.	SpringSim	2009	DBLP DOI BibTeX RDF	service-oriented simulation, timing specifications and analysis, DEVS
40	Matthew R. Hosking, Ferat Sahin	An XML based system of systems discrete event simulation communications framework.	SpringSim	2009	DBLP BibTeX RDF	GroundScout robots, swarm behavior, XML, discrete event simulation, DEVS, system of systems
40	Hessam S. Sarjoughian, Vignesh Elamvazhuthi	CoSMoS: a visual environment for component-based modeling, experimental design, and simulation.	SimuTools	2009	DBLP DOI BibTeX RDF	DEVS-suite, M&S lifecycle, visual modeling, CoSMoS
40	Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher	Hierarchical Modeling for Computational Biology.	SFM	2008	DBLP DOI BibTeX RDF	model components, DEVS, hierarchical models, pi calculus, multi-level modeling
40	Carsten Maus	Component-Based Modelling of RNA Structure Folding.	CMSB	2008	DBLP DOI BibTeX RDF	RNA folding, model components, DEVS, secondary structure, multi-level
40	Andrew E. Ferayorni, Hessam S. Sarjoughian	Domain driven simulation modeling for software design.	SCSC	2007	DBLP BibTeX RDF	astronomical observatory, software design simulation, design patterns, DEVS, domain specific modeling
40	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
40	Xiaolin Hu 0002, Bernard P. Zeigler	Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	distributed robotic system, model continuity, scalability, DEVS, modeling and simulation, team formation
40	Won Young Lee, Hee Suk Seo, Tae Ho Cho	Modeling of Policy-Based Network with SVDB.	AIS	2004	DBLP DOI BibTeX RDF	PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism
40	Adelinde M. Uhrmacher	Dynamic structures in modeling and simulation: a reflective approach.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	modeling and simulation formalism, variable structure models, reflection, bisimulation, DEVS
39	Kiril Kidisyuk, Gabriel A. Wainer	CD++Modeler: a graphical toolkit to develop DEVS models.	SpringSim	2008	DBLP DOI BibTeX RDF
39	Rhys Goldstein, Gabriel A. Wainer, James J. Cheetham, Roderick S. Bain	Vesicle-synapsin interactions modeled with Cell-DEVS.	WSC	2008	DBLP DOI BibTeX RDF
39	Yi Sun, Xiaolin Hu	Partial-modular DEVS for improving performance of cellular space wildfire spread simulation.	WSC	2008	DBLP DOI BibTeX RDF
39	Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte	An XML-based language for DEVS components.	WSC	2008	DBLP DOI BibTeX RDF
39	Adelinde M. Uhrmacher, Roland Ewald, Mathias John, Carsten Maus, Matthias Jeschke, Susanne Biermann	Combining micro and macro-modeling in DEVS for computational biology.	WSC	2007	DBLP DOI BibTeX RDF
39	Hui Shang, Gabriel A. Wainer	A simulation algorithm for dynamic structure DEVS modeling.	WSC	2006	DBLP DOI BibTeX RDF
39	Dongping Huang, Hessam S. Sarjoughian, Gary W. Godding, Daniel E. Rivera, Karl G. Kempf	Flexible experimentation and analysis for hybrid DEVS and MPC models.	WSC	2006	DBLP DOI BibTeX RDF