Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Soroosh Gholami, Hessam S. Sarjoughian	Observations on real-time simulation design and experimentation.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Moon Ho Hwang	Revisit of system variable trajectories (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Giulio Caravagna, Alberto d'Onofrio, Giancarlo Mauri	NoisySim: exact simulation of stochastic chemically reacting systems with extrinsic bounded noises (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Christian Berger 0001, Michel R. V. Chaudron, Rogardt Heldal, Olaf Landsiedel, Elad Michael Schiller	Model-based, composable simulation for the development of autonomous miniature vehicles.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Paul-Antoine Bisgambiglia, Romain Franceschini	Agent-oriented approach based on discrete event systems (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Herbert Prähofer	Towards a theory of interface-based design of hierarchical reactive systems.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Ning Ge 0002, Shin Nakajima 0001, Marc Pantel	Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Bernard P. Zeigler, Chungman Seo, Robert Coop, Doohwan Kim	Creating suites of models with system entity structure: global warming example.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Shao-Jen Weng, Po-Yu Huang, Wei-Hsiu Chang, Lee-Min Wang, Chun-Yueh Chang	The impact of operations strategies for emergency room in Taiwan.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Fernando J. Barros	On the representation of product lines using pluggable software units: results from an exploratory study.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Simon J. E. Taylor, Azam Khan, Katherine L. Morse, Andreas Tolk, Levent Yilmaz, Justyna Zander	Grand challenges on the theory of modeling and simulation.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Hessam S. Sarjoughian, James Smith, Gary W. Godding, Mohammed A. Muqsith	Model composability and execution across simulation, optimization, and forecast models.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Zhi Han, Pieter J. Mosterman, Justyna Zander, Fu Zhang	Systematic management of simulation state for multi-branch simulations in simulink.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Justyna Zander, Pieter J. Mosterman	Semantics for an interdisciplinary computation (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Martin Hoppen, Michael Schluse, Jürgen Rossmann	A metamodel-based approach for generalizing requirements in database-driven 3D simulation (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Andrea Bracciali, Giulio Caravagna, Amjad Ullah	Survival vs. revenue: modelling and reasoning on population dynamics (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Eun-Young Kang 0001, Pierre-Yves Schobbens	Enabling formal analysis of energy-aware automotive embedded systems in East-adl.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Gabriel A. Wainer, Pieter J. Mosterman (eds.)	2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Ola Batarseh, Leon F. McGinnis	SysML to discrete-event simulation to analyze electronic assembly systems.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Thomas A. Wall, Michael Hunter, Michael O. Rodgers	A method to federate a discrete event-based logistics simulator and a discrete time step-based traffic microsimulator: a transportation case study (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Rosa López-Landa, Julieta Noguez	PRoModel: a model-driven software environment that facilitates and expedites the development of systems that handle uncertainty.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Mandeep Gill, Steve McKeever, David Gavaghan	Modular mathematical modelling of biological systems.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Anastasiya Shtiliyanova, Fabien Feschet, Pascal Pommier	Scheduling model for a tool evaluating new radiotherapies.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Saurabh Mittal, Scott A. Douglass	DEVSML 2.0: the language and the stack.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Chethan Kotekar	An approach to translate legacy 'C' code to Simulink® model using XML.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Alexandre Muzy, Bernard P. Zeigler	Activity-based credit assignment (ACA) in hierarchical simulation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle	ModelicaML value bindings for automated model composition.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Matthew Hause, James Hummell	Simulation of an electrical network and control system in SysML.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Çagri Tekinay, Mamadou D. Seck, Alexander Verbraeck	Exploring multi-level model dynamics: performance and accuracy (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Sandro Rodriguez Garzon, Dmytro Hritsevskyy	Model-based generation of scenario-specific event sequences for the simulation of recurrent user behavior within context-aware applications (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Alfredo Garro, Andrea Tundis	A model-based method for system reliability analysis.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Judicaël Ribault, Gabriel A. Wainer	Using workflows and web services to manage simulation studies (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Andreas Bayha, Franziska Grüneis, Bernhard Schätz	Model-based software in-the-loop-test of autonomous systems.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra	Formal specification of multisimulations using Maude.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Daniele Gianni, Andrea D'Ambrogio, Marco Grasso	BOM2UML: integrating BOM specifications into UML-based development environments.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Mondher Bouden, Bernard Moulin	A multi-actor spatio-temporal interaction model used to geosimulate the zoonosis propagation (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Samira Chaou, Franck Pommereau	Formal modelling and analysis of behaviour grading within a peer-to-peer storage system.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Rizwan A. Ashraf, Francis Luna, Damian Dechev, Ronald F. DeMara	Designing digital circuits for FPGAs using parallel genetic algorithms (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Fernando J. Barros	Modeling and simulation of mobile phones using dynamic topologies.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Damien Foures, Vincent Albert, Jean-Claude Pascal, Alexandre Nketsa	Automation of SysML activity diagram simulation with model-driven engineering approach.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Ji-Yeon Kim, Dal-Nim Choi, Hyung-Jong Kim 0002, Jin Myoung Kim, Won-Tae Kim	Abstracted CPS model: a model for interworking between physical system and simulator for CPS simulation (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Heather Morris, Gabriel A. Wainer	Music generation using cellular models.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Fu Zhang, Murali Yeddanapudi	Modeling and simulation of time-varying delays.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Ravi Mukkamala, Jeremiah Creedon, Puya Ghazizadeh	Analyzing a subsystem to identify properties of a large system: an application in airline routing decisions.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Bernard P. Zeigler, James J. Nutaro, Chungman Seo, Steven B. Hall, Pamela Clark, Michael Rilee, Sidney C. Bailin, Thomas Speller, Walter Powell	Frontier modeling support environment: flexibility to adapt to diverse stakeholders.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Joachim Denil, Hans Vangheluwe, Paul De Meulenaere, Serge Demeyer	Calibration of deployment simulation models: a multi-paradigm modelling approach.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Pamela Viale, Norbert Giambiasi, Claudia S. Frydman, Jacques Pinaton	Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Paolo Bocciarelli, Andrea D'Ambrogio	Automated performance analysis of business processes.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Markus Koch, Juri Tolujew, Michael Schenk	Approaching complexity in modeling and simulation of logistics systems (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Rodrigo D. Castro, Iván Ramello, Matías Bonaventura, Gabriel A. Wainer	M&S-based design of embedded controllers on network processors.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Song Guo, Xiaolin Hu 0002, Xiaoming Wang 0001	On time granularity and event granularity in simulation service composition (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Johannes Groß, Stephan Rudolph	Generating simulation models from UML - a FireSat example.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Afonso Sales	SAN lite-solver: a user-friendly software tool to solve SAN models.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Sol Ha, Namkuk Ku, Kyu-Yeul Lee	Lattice Boltzmann approach to acoustic propagation for underwater warfare simulation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Steven Hart, Eitan Frachtenberg, Mateusz Berezecki	Predicting memcached throughput using simulation and modeling.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	H. Job Honig, Mamadou D. Seck	ΦDEVS: phase based discrete event modeling.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
36	Matthew F. Steele, Todd R. Andel	Modeling the optimized link-state routing protocol for verification.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
35	Devinder Thapa, Chang Mok Park, Kwan Hee Han, Sang C. Park, Gi-Nam Wang	Architecture for modeling, simulation, and execution of PLC based manufacturing system.	WSC	2008	DBLP DOI BibTeX RDF
35	Eung Nam Ko, SoonGohn Kim	Simulating an Adaptive Fault Tolerance for Situation-Aware Ubiquitous Computing.	ICIC (3)	2008	DBLP DOI BibTeX RDF
35	Qi Liu 0009, Gabriel A. Wainer	Performance Analysis of an Optimistic Simulator for CD++.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
35	Zhanping Yin, Victor C. M. Leung	Adaptive contention access suspension in IEEE 802.15.3 MAC.	BROADNETS	2007	DBLP DOI BibTeX RDF
35	Eunchang Choi, Jae-Doo Huh, Soo-Joong Kim, WoongChul Choi	Energy Efficient PNC Selection Procedure for the IEEE 802.15.3-Based HR-WPAN.	EUC Workshops	2006	DBLP DOI BibTeX RDF	HR-WPAN, Superframe, PNC (Piconet Cooordinator), Piconet, IEEE 802.15.3, Beacon
35	Gabriel A. Wainer	Modeling Robot Path Planning with CD++.	ACRI	2006	DBLP DOI BibTeX RDF
35	Mohamed Abd El-Salam Ahmed, Khalil Yonis, Abdul-Rahman Elsahfei, Gabriel A. Wainer	Design and Implementation of a Library of Network Protocols in CD++.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF
35	Xiaolin Hu, Alexandre Muzy, Lewis Ntaimo	A hybrid agent-cellular space modeling approach for fire spread and suppression simulation.	WSC	2005	DBLP DOI BibTeX RDF
35	Xuhui Li 0001, Jiannong Cao 0001, Yanxiang He, Jingyang Zhou	A Discrete Event System Model for Simulating Mobile Agent.	ISPA	2005	DBLP DOI BibTeX RDF
35	Mariana C. D'Abreu, Gabriel A. Wainer	Hybrid dynamic systems: models for continous and hybrid system simulation.	WSC	2003	DBLP DOI BibTeX RDF
35	Norbert Giambiasi, Bruno Escude, Sumit Ghosh	GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems.	ISADS	2001	DBLP DOI BibTeX RDF
35	Tyrone O'Neill, Norman Y. Foo	Reasoning about Continuous Change.	PRICAI	1998	DBLP DOI BibTeX RDF
35	Tyrone O'Neill, Norman Y. Foo	Belief Update, the Markovian Situation Calculus, and Discrete Event Systems.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
32	Jean Claude Carmona, Norbert Giambiasi	New design and simulation of the GDEVS abstraction of an integrator.	SCSC	2007	DBLP BibTeX RDF	G-DEVS, discrete event model: DEVS, hybrid continuous systems, piecewise linear trajectory, discrete systems
32	Jean Claude Carmona, Norbert Giambiasi, Aziz Naamane	Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	discrete event model: DEVS, G-DEVS, hybrid continuous systems, piecewise linear trajectory, discrete systems
32	Yuri B. Boiko, Gabriel A. Wainer	Modeling spiking neural terminals in DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF	atomic model, coupled model, neural network, discrete event simulation, DEVS, spiking neuron
32	Rajanikanth Jammalamadaka, Bernard P. Zeigler, Ming Zhang 0006, M. E. Gettings, M. Bultman	Complex system simulation: DEVS implementation of the valley fever model.	SpringSim (2)	2007	DBLP BibTeX RDF	valley fever, discrete event simulation, complex systems, DEVS
32	Chun-Hee Lee, Jang Won Bae, Euihyun Paik	GO-DEVS: Storage and Retrieval System for DEVS Models Using Graph and Ontology Representation.	Sensors	2021	DBLP DOI BibTeX RDF
32	María Julia Blas, Silvio Gonnet, Bernard P. Zeigler	Towards a Universal Representation of DEVS: A Metamodel-Based Definition of DEVS Formal Specification.	ANNSIM	2021	DBLP DOI BibTeX RDF
32	Matthew B. McLaughlin, Hessam S. Sarjoughian	DEVS-scripting: A Black-Box Test Frame for Devs Models.	WSC	2020	DBLP DOI BibTeX RDF
32	Randy Paredis, Simon Van Mierlo, Hans Vangheluwe	Translating Process Interaction World View Models to DEVS: GPSS to (Python(P))DEVS.	WSC	2020	DBLP DOI BibTeX RDF
32	Julien Vaubourg	Intégration de modèles de réseaux IP à un multi-modèle DEVS, pour la co-simulation de systèmes cyber-physiques. (Integration of IP network models to DEVS multi-models, for cyber-physical system co-simulations).		2017	RDF
32	Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman	CML-DEVS: A specification language for DEVS conceptual models.	Simul. Model. Pract. Theory	2015	DBLP DOI BibTeX RDF
32	Khaldoon Al-Zoubi, Gabriel A. Wainer	Distributed simulation of DEVS and Cell-DEVS models using the RISE middleware.	Simul. Model. Pract. Theory	2015	DBLP DOI BibTeX RDF
32	Bin Chen 0003, Lao-bing Zhang, Xiaocheng Liu, Hans Vangheluwe	Activity-based simulation using DEVS: increasing performance by an activity model in parallel DEVS simulation.	J. Zhejiang Univ. Sci. C	2014	DBLP DOI BibTeX RDF
32	Youssef Bouanan, Merouane Bouhamidi El Alaoui, Gregory Zacharewicz, Bruno Vallespir	Using DEVS and CELL-DEVS for Modelling of Information Impact on Individuals in Social Network.	APMS (3)	2014	DBLP DOI BibTeX RDF
32	Doruk Bozagaç	Metamodeling atomic models in discrete event system specificatıon (DEVS) formalism using multivariate adaptive regression splines (MARS) (Kesikli olay sistem belirtimi (DEVS) formalizmindeki atomik modellerin çok değişkenli uyarlanabilir regresyon eğrileri (MARS) ile metamodellenmesi)		2014	RDF
32	Bastien Poggi	Développement de concepts et outils d'aide à la décision pour l'optimisation via simulation : Intégration des métaheuristiques au formalisme DEVS. (Toward a optimization via simulation architecture : concepts and tools / Toward a optimization via simulation architecture : concepts and tools : DEVS and Metaheuristic merged).		2014	RDF
32	Ahmet Kara 0001	A Methodology for cross-resolution modeling in DEVS using event-B refinement ; DEVS için melez-çözünürlüklü modellemede event-b arıtımı kullanan bir yöntembilimi. (PDF / PS)		2014	RDF
32	Stéphane Garredu, Evelyne Vittori, Jean François Santucci, Paul-Antoine Bisgambiglia	From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach.	SIMULTECH	2013	DBLP DOI BibTeX RDF
32	Gabriel A. Wainer, Misagh Tavanpour, Emilie Broutin	Application of the DEVS and Cell-DEVS formalisms for modeling networking applications.	WSC	2013	DBLP DOI BibTeX RDF
32	Stéphane Garredu	Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS. (Meta-modeling approach and model transformations in the context of modeling and discrete event simulation : application DEVS formalism).		2013	RDF
32	Luc Touraille	Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation. (Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS).		2012	RDF
32	Fahad A. Shiginah, Bernard P. Zeigler	A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations.	Simul. Model. Pract. Theory	2011	DBLP DOI BibTeX RDF
32	Luc Touraille, Mamadou K. Traoré, David R. C. Hill	Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator.	SummerSim	2010	DBLP BibTeX RDF
32	Shafagh Jafer, Gabriel A. Wainer	Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study.	SummerSim	2010	DBLP BibTeX RDF
32	Hesham Saadawi, Gabriel A. Wainer	Rational time-advance DEVS (RTA-DEVS).	SpringSim	2010	DBLP DOI BibTeX RDF
32	Hesham Saadawi, Gabriel A. Wainer	From DEVS to RTA-DEVS.	DS-RT	2010	DBLP DOI BibTeX RDF
32	Sinan Tüncel	Gezgin ağ yönlendirme protokolleri için DEVS tabanlı benzetim aracı tasarımı (Design and application of a DEVS-based network simulator for mobile routing protocols)		2010	RDF
32	Saurabh Mittal, José L. Risco-Martín, Bernard P. Zeigler	DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process.	Simul.	2009	DBLP DOI BibTeX RDF
32	Felix Madlener, H. Gregor Molter, Sorin A. Huss	SC-DEVS: An efficient SystemC extension for the DEVS model of computation.	DATE	2009	DBLP DOI BibTeX RDF
32	Chungman Seo, Bernard P. Zeigler	DEVS Namespace for Interoperable DEVS/SOA.	WSC	2009	DBLP DOI BibTeX RDF
32	Alejandro Moreno, José L. Risco-Martín, Eva Besada-Portas, Saurabh Mittal, Joaquín Aranda Almansa	DEVS/SOA: Towards DEVS Interoperability in Distributed M&S.	DS-RT	2009	DBLP DOI BibTeX RDF