Search results for "TMS"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Daniele Gianni, Paolo Bocciarelli, Andrea D'Ambrogio	Temporal capabilities in support of conceptual process modeling using object-role modeling.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Selim Ciraci, Jeff A. Daily, Jason C. Fuller, Andrew Fisher 0003, Laurentiu Marinovici, Khushbu Agarwal	FNCS: a framework for power system and communication networks co-simulation.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	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
19	Hans Vangheluwe, Joachim Denil, Sadaf Mustafiz, Daniel Riegelhaupt, Simon Van Mierlo	Explicit modelling of a CBD experimentation environment.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	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
19	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
19	Bart Pussig, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe	Generation of functional mock-up units for co-simulation from simulink®, using explicit computational semantics: work in progress paper.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19		2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL, USA, April 13-16, 2014, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	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
19	Sixuan Wang, Gabriel A. Wainer	Semantic mashups for simulation as a service with tag mining and ontology learning.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Michael Todd Gardner, Cory C. Beard, Appie van de Liefvoort	Efficient matrix-exponential random variate generation using a numeric linear combination approach.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Michael Van Schyndel, Gabriel A. Wainer	Advanced computational fluid dynamic solver based on cell-DEVS.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	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
19	Moon Ho Hwang	Taxonomy of DEVS variants.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Joseph Ledet, Alejandro Teran-Somohano, Zachary Butcher, Levent Yilmaz, Alice E. Smith, Halit Oguztüzün, Orçun Dayibas, Bilge Kaan Görür	Toward model-driven engineering principles and practices for model replicability and experiment reproducibility.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Andreas Blunk, Joachim Fischer	A highly efficient simulation core in C++.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Mohamed Ammar Ben Khadra, Yu Bai 0003, Klaus Schneider 0001	High level modeling of elastic circuits in SystemC.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Saurabh Mittal, Bernard P. Zeigler	Modeling attention switching in resource-constrained complex intelligent dynamical systems (RCIDS).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Jaewoong Lee, Abdelsalam Helal, Yunsick Sung, Kyungeun Cho	Context activity selection and scheduling in context-driven simulation.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	A. L. Mancini, L. G. Barioni, H. N. Lima, J. W. Santos, R. D. R. Silva, E. H. Santos, F. R. T. Dias	A compact and flexible C++ framework to support modular development of hierarchical dynamic systems simulators (wip): Embrapa agricultural informatics.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Suad Albarrak	A simulation-based model for a multi-domain distributed GMPLS-based IP-over-optical network: work in progress paper.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Shaowei Wang 0004, Mamadou Kaba Traoré	DEVS-based case management (wip).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Arne N. Johanson, Wilhelm Hasselbring	Sprat: hierarchies of domain-specific languages for marine ecosystem simulation engineering.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	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
19	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
19	Yuan Long, Xiaolin Hu 0002	Dynamic data driven simulation with soft data.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	James N. Elele, David H. Hall, Allie R. Farid, David J. Turner, Mark E. Davis, David R. Keyser	Lessons learned from independent verification and validation of models and simulations (work in progress).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Matthew Powers, Jeff Appleget, Danny Heerlein	The peace game: a software-based model for understanding the complexities of modern conflict at the strategic level.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Vitali Schneider, Anna Yupatova, Winfried Dulz, Reinhard German	How to avoid model interferences for test-driven agile simulation based on standardized UML profiles (work in progress).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Paolo Bocciarelli, Andrea D'Ambrogio, Andrea Giglio, Emiliano Paglia, Daniele Gianni	Empowering business process simulation through automated model transformations.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Shaun Bloom, Mathieu Karamitros, Sébastien Incerti, Shuang (Sean) Luan	Geometric algorithms and data structures for simulating diffusion-limited reactions.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Joachim Denil, Pieter J. Mosterman, Hans Vangheluwe	Rule-based model transformation for, and in simulink.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Glenn A. Hodges, Rudolph P. Darken, Michael McCauley	An analytical method for assessing the effectiveness of human in the loop simulation environments: a work in progress.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
19	Rhys Goldstein, Simon Breslav, Azam Khan	Informal DEVS conventions motivated by practical considerations (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Paolo Bocciarelli, Andrea D'Ambrogio, Daniele Gianni	4SEE: a model-driven simulation engineering framework for business process analysis in a SaaS paradigm.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Andreas Naderlinger	Multiple real-time semantics on top of synchronous block diagrams.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Hassan Bazoun, Gregory Zacharewicz, Yves Ducq, Hadrien Boyé	Transformation of extended actigram star to BPMN2.0 and simulation model in the frame of model driven service engineering architecture.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Kishoj Bajracharya, Raphaël Duboz	Comparison of three agent-based platforms on the basis of a simple epidemiological model (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Judicaël Bedouet, Nicolas Huynh, Romain Kervarc	GAMME, a meta-model to unify data needs in simulation modeling (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Philip Guin, Eugene Syriani	Model-based animation of micro-traffic simulation (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Steve McKeever, Mandeep Gill, Anthony J. Connor, David Johnson 0006	Abstraction in physiological modelling languages.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Gürkan Özhan, Halit Oguztüzün	Data and behavior decomposition for the model-driven development of an executable simulation model.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Kurt Rohloff, Kyle Usbeck, Joseph P. Loyall	GAMETE: general adaptable metric execution tool and environment (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Peter M. Maurer	Metamorphic differential simulation using the multi-delay timing model.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	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
19	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
19	Nagesh Shukla, Albert Munoz, Jun Ma, Nam Huynh	Hybrid agent based simulation with adaptive learning of travel mode choices for university commuters (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier	Principles for the realization of an open simulation framework based on fUML (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Soroosh Gholami, Hessam S. Sarjoughian	Observations on real-time simulation design and experimentation.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Moon Ho Hwang	Revisit of system variable trajectories (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	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
19	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
19	Paul-Antoine Bisgambiglia, Romain Franceschini	Agent-oriented approach based on discrete event systems (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Gabriel A. Wainer, Pieter J. Mosterman, Fernando J. Barros, Gregory Zacharewicz (eds.)	2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	Herbert Prähofer	Towards a theory of interface-based design of hierarchical reactive systems.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	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
19	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
19	Hesham Saadawi, Gabriel A. Wainer	Hybrid systems modeling and verification with DEVS (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	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
19	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
19	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
19	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
19	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
19	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
19	Justyna Zander, Pieter J. Mosterman	Semantics for an interdisciplinary computation (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	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
19	Andrea Bracciali, Giulio Caravagna, Amjad Ullah	Survival vs. revenue: modelling and reasoning on population dynamics (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
19	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
19	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
19	Ola Batarseh, Leon F. McGinnis	SysML to discrete-event simulation to analyze electronic assembly systems.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	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
19	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
19	Donghun Kang, Joohoe Kong, Byoung Kyu Choi	DEVS modeling of urban traffic systems (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	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
19	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
19	Mandeep Gill, Steve McKeever, David Gavaghan	Modular mathematical modelling of biological systems.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Anastasiya Shtiliyanova, Fabien Feschet, Pascal Pommier	Scheduling model for a tool evaluating new radiotherapies.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Saurabh Mittal, Scott A. Douglass	DEVSML 2.0: the language and the stack.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Chethan Kotekar	An approach to translate legacy 'C' code to Simulink® model using XML.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Alexandre Muzy, Bernard P. Zeigler	Activity-based credit assignment (ACA) in hierarchical simulation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Wladimir Schamai, Peter Fritzson, Christiaan J. J. Paredis, Philipp Helle	ModelicaML value bindings for automated model composition.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Matthew Hause, James Hummell	Simulation of an electrical network and control system in SysML.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Çagri Tekinay, Mamadou D. Seck, Alexander Verbraeck	Exploring multi-level model dynamics: performance and accuracy (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	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
19	Thècle Alix, Gregory Zacharewicz	G-DEVS based simulation of toy industry client behavior in PSS (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	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
19	Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman	Adapting model-based testing techniques to DEVS models validation.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Hesham Saadawi, Gabriel A. Wainer	On the verification of hybrid DEVS models.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Alfredo Garro, Andrea Tundis	A model-based method for system reliability analysis.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Judicaël Ribault, Gabriel A. Wainer	Using workflows and web services to manage simulation studies (WIP).	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	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
19	Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra	Formal specification of multisimulations using Maude.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Daniele Gianni, Andrea D'Ambrogio, Marco Grasso	BOM2UML: integrating BOM specifications into UML-based development environments.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Moon Ho Hwang	Qualitative verification of finite and real-time DEVS networks.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	Deniz Cetinkaya, Alexander Verbraeck, Mamadou D. Seck	Model transformation from BPMN to DEVS in the MDD4MS framework.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
19	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
19	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
19	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
19	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
19	Fernando J. Barros	Modeling and simulation of mobile phones using dynamic topologies.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF