Search results for "DEVS"

Hits ?▲	Authors	Title	Venue	Year	Link
39	Matthew MacLeod, Rachid Chreyh, Gabriel A. Wainer	Improved Cell-DEVS Models for Fire Spreading Analysis.	ACRI	2006	DBLP DOI BibTeX RDF
39	Mariana C. D'Abreu, Gabriel A. Wainer	M/CD++: modeling continuous systems using Modelica and DEVS.	MASCOTS	2005	DBLP DOI BibTeX RDF
39	Ki-Hyung Kim, Won-Seok Kang	A Web Services-Based Distributed Simulation Architecture for Hierarchical DEVS Models.	AIS	2004	DBLP DOI BibTeX RDF
39	Jong Sou Park, Khin Mi Mi Aung	Transient Time Analysis of Network Security Survivability Using DEVS.	AIS	2004	DBLP DOI BibTeX RDF
39	Bernard P. Zeigler	DEVS Today: Recent Advances in Discrete Event-Based Information Technology.	MASCOTS	2003	DBLP DOI BibTeX RDF
39	Lyes Hamaidi, Patrick Bourseau, Gilles Muratet, Jerry M. Couretas, Bernard P. Zeigler	DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning.	EUROCAST	1995	DBLP DOI BibTeX RDF
39	Ramón P. Otero, David Lorenzo, Pedro Cabalar	Automatic Induction of DEVS Structures.	EUROCAST	1995	DBLP DOI BibTeX RDF
36	Fernando Barros, Herbert Prähofer, Xiaolin Hu 0002, Joachim Denil (eds.)	Proceedings of the Symposium on Theory of Modeling & Simulation, TMS/DEVS 2016, part of the 2016 Spring Simulation Multiconference, SpringSim '16, Pasadena, CA, USA, April 3-6, 2016	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Benjamin Camus, Virginie Galtier, Mathieu Caujolle, Vincent Chevrier, Julien Vaubourg, Laurent Ciarletta, Christine Bourjot	Hybrid co-simulation of FMUs using DEV&DESS in MECSYCO.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Laouen Belloli, Gabriel A. Wainer, Rafael Najmanovich	Parsing and model generation for biological processes.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	David Ackerman, Hoda Mehrpouyan	Modeling human behavior to anticipate insider attacks via system dynamics.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Gamini Bulumulle, Ladislau Bölöni	A study of the automobile blind-spots' spatial dimensions and angle of orientation on side-sweep accidents.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Xu Xie 0003, Alexander Verbraeck, Feng Gu	Data assimilation in discrete event simulations: a rollback based Sequential Monte Carlo approach.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Nicholas Keller, Xiaolin Hu 0002	Data driven simulation modeling for mobile agent-based systems.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Rhys Goldstein, Simon Breslav, Azam Khan	A quantum of continuous simulated time.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Anna Deitsch, Vitali Schneider, Jennifer Kane, Winfried Dulz, Reinhard German	Towards an efficient high-level modeling of heterogeneous image processing systems.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Ben Cardoen, Stijn Manhaeve, Tim Tuijn, Yentl Van Tendeloo, Kurt Vanmechelen, Hans Vangheluwe, Jan Broeckhove	Performance analysis of a PDEVS simulator supporting multiple synchronization protocols.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Rhys Goldstein, Simon Breslav, Azam Khan	DesignDEVS: reinforcing theoretical principles in a practical and lightweight simulation environment.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Sahar Guermazi, Saadia Dhouib, Arnaud Cuccuru, Camille Letavernier, Sébastien Gérard	Integration of UML models in FMI-based co-simulation.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault	Simulation fidelity distance: a game-theoretic framework.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Umut Durak, Anil Öztürk, Mehmet Katircioglu	Simulation deployment blockset for MATLAB/Simulink.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Fernando J. Barros	A modular representation of asynchronous, geometric solvers.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Daniella Niyonkuru, Gabriel A. Wainer	A kernel for embedded systems development and simulation using the boost library.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Gary R. Mayer	Composition of composable cellular automata with respect to their dimensional attributes.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Deniz Çetinkaya	A model driven approach to web-based traffic simulation.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Priyasree Bhowmik, Christopher Dutchyn, Nathaniel D. Osgood	An aspect oriented framework to applying markov chain Monte Carlo methods with dynamic models.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	David P. Y. Lawrence, Cláudio Gomes 0001, Joachim Denil, Hans Vangheluwe, Didier Buchs	Coupling petri nets with deterministic formalisms using co-simulation.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Sadaf Mustafiz, Cláudio Gomes 0001, Bruno Barroca, Hans Vangheluwe	Modular design of hybrid languages by explicit modeling of semantic adaptation.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Peter M. Maurer	Time-parallel multi-delay logic simulation.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Andrea D'Ambrogio, Emiliano Paglia, Paolo Bocciarelli, Andrea Giglio	Towards performance-oriented perfective evolution of BPMN models.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré	Integrated framework for model-driven systems engineering: a research roadmap.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Yentl Van Tendeloo, Hans Vangheluwe	Teaching the fundamentals of the modelling of cyber-physical systems.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
36	Fernando Barros, Moon Ho Wang, Herbert Prähofer, Xiaolin Hu 0002 (eds.)	Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, part of the 2015 Spring Simulation Multiconference, SpringSim '15, Alexandria, VA, USA, April 12-15, 2015	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Armin Alaghi, John P. Hayes	Dimension reduction in statistical simulation of digital circuits.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Bert Van Acker, Joachim Denil, Hans Vangheluwe, Paul De Meulenaere	Generation of an optimised master algorithm for FMI co-simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Damián Vicino, Daniella Niyonkuru, Gabriel A. Wainer, Olivier Dalle	Sequential PDEVS architecture.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Peter M. Maurer	Levelized compiled code multi-delay logic simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Joachim Denil, Bart Meyers, Paul De Meulenaere, Hans Vangheluwe	Explicit semantic adaptation of hybrid formalisms for FMI co-simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Adisak Intana, Michael R. Poppleton, Geoff V. Merrett	A model-based trace testing approach for validation of formal co-simulation models.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fischmeister	Instrumentation and preservation of extra-functional properties of simulink models.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Paolo Bocciarelli, Andrea D'Ambrogio, Andrea Giglio, Emiliano Paglia	A model-driven framework for distributed simulation of autonomous systems.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Romain Franceschini, Paul-Antoine Bisgambiglia, Paul Bisgambiglia	A comparative study of pending event set implementations for PDEVS simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Bernard P. Zeigler, James J. Nutaro, Chungman Seo	What's the best possible speedup achievable in distributed simulation: Amdahl's law reconstructed.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Fernando Barros	A modular representation of fluid stochastic petri nets.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Gamini Bulumelle, Ladislau Bölöni	Simulating the impact of blind-spots on the frequency of side-sweep accidents.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Michael Todd Gardner, Cory C. Beard, Appie van de Liefvoort	Mission critical publish-subscribe performance modeling using linear algebraic and classical methods.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Priyasree Bhowmik, Nathaniel D. Osgood, Christopher Dutchyn	Improving the flexibility of simulation modeling with aspects.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	James J. Nutaro, Bernard P. Zeigler	Towards a probabilistic interpretation of validity for simulation models.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Virginie Galtier, Stéphane Vialle, Cherifa Dad, Jean-Philippe Tavella, Jean-Philippe Lam-Yee-Mui, Gilles Plessis	FMI-based distributed multi-simulation with DACCOSIM.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Artur Schmidt, Umut Durak, Christoph Rasch, Thorsten Pawletta	Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Yuan Long, Xiaolin Hu 0002	SpSIR: a spatially-dependent sequential importance resampling for high dimensional spatial temporal system simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Fernando Barros	Asynchronous, polynomial ODE solvers based on error estimation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Michael Lütjen, Daniel Rippel, Michael Freitag 0001	Automatic simulation model generation in the context of micro manufacturing (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Josef Müller, Klaas Gadeyne, Mike Nicolai, Herman Van der Auweraer	Automatic generation of simulation models for early stage evaluation of physical system topologies (WIP).	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Benoit Bayol, Yuting Chen, Charlotte Baey, Gautier Viaud, Paul-Henry Cournède	WIP - Promoting good modeling practice with a domain-specific language and statistical algorithms designed for parallel computing.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Alfredo Garro, Alberto Falcone	On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Ken Vanherpen, Joachim Denil, Hans Vangheluwe, Paul De Meulenaere	Model transformations for round-trip engineering in control deployment co-design.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36	Sixuan Wang, Gabriel A. Wainer	Semantic selection for model composition using SAMSaaS.	SpringSim (TMS-DEVS)	2015	DBLP BibTeX RDF
36		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
36	Norbert Giambiasi, Claudia S. Frydman	Timed synchronizing sequences.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Asli Soyler Akbas, Konstantinos Mykoniatis, Anastassia Angelopoulou, Waldemar Karwowski	A model-based approach to modeling a hybrid simulation platform (work in progress).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Alfredo Garro, Andrea Tundis	RAMSAS4Modelica: a simulation-driven method for system dependability analysis centered on the modelica language and related tools.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Leandro H. Watanabe, Chris J. Myers	Hierarchical stochastic simulation of genetic circuits.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Fernando J. Barros	On the representation of dynamic topologies: the case for centralized and modular approaches.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Yue Zhang, Donald E. Brown	Simulation optimization of police patrol district design using an adjusted simulated annealing approach.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	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
36	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
36	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
36	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
36	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
36	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
36	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
36	Andreas Blunk, Joachim Fischer	A highly efficient simulation core in C++.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	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
36	Saurabh Mittal, Bernard P. Zeigler	Modeling attention switching in resource-constrained complex intelligent dynamical systems (RCIDS).	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Jaewoong Lee, Abdelsalam Helal, Yunsick Sung, Kyungeun Cho	Context activity selection and scheduling in context-driven simulation.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	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
36	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
36	Arne N. Johanson, Wilhelm Hasselbring	Sprat: hierarchies of domain-specific languages for marine ecosystem simulation engineering.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	Yuan Long, Xiaolin Hu 0002	Dynamic data driven simulation with soft data.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	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
36	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
36	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
36	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
36	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
36	Joachim Denil, Pieter J. Mosterman, Hans Vangheluwe	Rule-based model transformation for, and in simulink.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
36	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
36	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
36	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
36	Andreas Naderlinger	Multiple real-time semantics on top of synchronous block diagrams.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	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
36	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
36	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
36	Philip Guin, Eugene Syriani	Model-based animation of micro-traffic simulation (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Steve McKeever, Mandeep Gill, Anthony J. Connor, David Johnson 0006	Abstraction in physiological modelling languages.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	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
36	Kurt Rohloff, Kyle Usbeck, Joseph P. Loyall	GAMETE: general adaptable metric execution tool and environment (WIP).	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	Peter M. Maurer	Metamorphic differential simulation using the multi-delay timing model.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
36	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
36	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