Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Federico Bergero, Ernesto Kofman, François E. Cellier |
A novel parallelization technique for DEVS simulation of continuous and hybrid systems. |
Simul. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mohammed Redjimi, Sofiane Boukelkoul |
Algorithmic Tools for the Transformation of Petri Nets to DEVS. |
Informatica (Slovenia) |
2013 |
DBLP BibTeX RDF |
|
16 | Soremekun Ezekiel Olamide, Mamadou Kaba Traoré |
Formal verification and validation of DEVS simulation models. |
AFRICON |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Mingxin Zhang, Mamadou D. Seck, Alexander Verbraeck |
A DEVS-based M&S method for large-scale multi-agent systems. |
SummerSim |
2013 |
DBLP BibTeX RDF |
|
16 | Misagh Tavanpour, Gabriel A. Wainer, Gary Boudreau, Ronald Casselman |
DEVS-based modeling of coordinated multipoint techniques for LTE-advanced. |
SpringSim (CNS) |
2013 |
DBLP BibTeX RDF |
|
16 | Saurabh Mittal, José Luis Risco-Martín |
Model-driven systems engineering for netcentric system of systems with DEVS unified process. |
WSC |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Sol Ha, Namkug Ku, Myung-Il Roh, Ju-Hwan Cha |
Reliability Analysis Method Using Dynamic Reliability Block Diagram Based on DEVS Formalism. |
AsiaSim |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Verónica Bogado, Silvio Gonnet, Horacio Pascual Leone |
Toward an Integrated Quality Evaluation of Web Applications with DEVS. |
ICWE Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Yentl Van Tendeloo, Hans Vangheluwe |
Logisim to DEVS Translation. |
DS-RT |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Xiaolin Hu, Yi Sun, Lewis Ntaimo |
DEVS-FIRE: design and application of formal discrete event wildfire spread and suppression models. |
Simul. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Christina Deatcu, Thorsten Pawletta |
A Qualitative Comparison of Two Hybrid DEVS Approaches. |
Simul. Notes Eur. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | June D. Rodriguez, John O. Miller, Kenneth W. Bauer Jr. |
Mathematical description of a discrete event simulation (DEVS) using factor analytic method. |
J. Oper. Res. Soc. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Thècle Alix, Gregory Zacharewicz |
Product-service systems scenarios simulation based on G-DEVS/HLA: Generalized discrete event specification/high level architecture. |
Comput. Ind. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Haidong Xue, Xiaolin Hu, Nathan Dahl, Ming Xue |
Post-frontal Combustion Heat Modeling in DEVS-fire for Coupled Atmosphere-fire Simulation. |
ICCS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ahmet Zengin, Muhammed Maruf Öztürk |
Formal verification and validation with DEVS-Suite: OSPF Case study. |
Simul. Model. Pract. Theory |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Garredu, Evelyne Vittori, Jean François Santucci, Paul-Antoine Bisgambiglia |
A Meta-Model for DEVS - Designed following Model Driven Engineering Specifications. |
SIMULTECH |
2012 |
DBLP BibTeX RDF |
|
16 | H. Gregor Molter, Johannes Kohlmann, Sorin A. Huss |
Automated Generation of Embedded Systems Software from Timed DEVS Model of Computation Specifications. |
DSD |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Sixuan Wang, Michael Van Schyndel, Gabriel A. Wainer, Vinu Subashini Rajus, Robert F. Woodbury |
Devs-based building information modeling and simulation for emergency evacuation. |
WSC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Steiniger, Frank Krüger 0001, Adelinde M. Uhrmacher |
Modeling agents and their environment in multi-level-DEVS. |
WSC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Maâmar El-Amine Hamri, Gregory Zacharewicz |
Automatic generation of object-oriented code from DEVS graphical specifications. |
WSC |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Hae Sang Song, Tag Gon Kim |
Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models. |
AsiaSim (1) |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alan Davoust, Gabriel A. Wainer, Babak Esfandiari |
DEVS simulation of peer-to-peer file-sharing. |
HPCS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Alfonso Urquia, Carla Martin-Villalba, Mohammad Moallemi, Gabriel A. Wainer |
DEVS Graph In Modelica For Real-Time Simulation. |
ECMS |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Bastien Poggi, Thierry Antoine-Santoni |
Wireless Sensor Network deployment using DEVS formalism and GIS representation. |
SPECTS |
2012 |
DBLP BibTeX RDF |
|
16 | Gabriel A. Wainer, Ezequiel Glinsky, Marcelo Gutierrez-Alcaraz |
Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark. |
Simul. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Shabnam Tauböck, Felix Breitenecker, Dietmar Wiegand, Nikolas Popper |
The Project: Modelling and Simulation of Room Management and Schedule Planning at University by Combining DEVS and Agent-based Approaches. |
Simul. Notes Eur. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Robert Schoech, Susanne Schmid, Christian Hillbrand |
Cycle Time Analyses of Plants by Automated ModelingTechniques and DEVS. |
Simul. Notes Eur. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Schwatinski, Thorsten Pawletta |
A Quantization-based ODE Approximation and HPP-LGCA Approach to ARGESIM Benchmark C17 'SIR-type Epidemic' in a DEVS Environment based on MATLAB. |
Simul. Notes Eur. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Martin Petzold, Oliver Ullrich, Ewald Speckenmeyer |
Dynamic Distributed Simulation of DEVS Models on the OSGi Service. |
Simul. Notes Eur. |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jean François Santucci, Laurent Capocchi |
Visualization of Folktales on a Map by Coupling Dynamic DEVS Simulation within Google Earth. |
SIMULTECH |
2011 |
DBLP BibTeX RDF |
|
16 | H. Gregor Molter, André Seffrin, Sorin A. Huss |
State space optimization within the DEVS model of computation for timing efficiency. |
VLSI-SoC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Youcef Dahmani, Maâmar El-Amine Hamri |
Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case. |
EMS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Moallemi, Gabriel A. Wainer, Federico Bergero, Rodrigo D. Castro |
Component-oriented interoperation of real-time DEVS engines. |
SpringSim (ANSS) |
2011 |
DBLP BibTeX RDF |
|
16 | Yilin Huang, Mamadou D. Seck, Alexander Verbraeck |
A DEVS library for rail operations simulation. |
SpringSim (EAIA) |
2011 |
DBLP BibTeX RDF |
|
16 | Eugene Syriani, Hans Vangheluwe, Amr Al Mallah |
Modelling and simulation-based design of a distributed devs simulator. |
WSC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Mariano Zapatero, Rodrigo D. Castro, Gabriel A. Wainer, Maysoun Houssein |
Architecture for integrated modeling, simulation and visualization of environmental systems using GIS and cell-devs. |
WSC |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Garredu, Evelyne Vittori, Jean François Santucci, Dominique Urbani |
A methodology to specify DEVS domain specific profiles and create profile-based models. |
IRI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hae Young Lee, Ingeol Chun, Won-Tae Kim |
DVML: DEVS-Based Visual Modeling Language for Hybrid Systems. |
FGIT-CA/CES3 |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Laurent Capocchi, Jean François Santucci, Bastien Poggi, Celine Nicolai |
DEVSimPy: A Collaborative Python Software for Modeling and Simulation of DEVS Systems. |
WETICE |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas G. Meseth |
XML-based DEVS modeling and interpretation. |
|
2011 |
RDF |
|
16 | Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi |
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow. |
Simul. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Eduardo Pérez, Lewis Ntaimo, Carla Bailey, Peter McCormack |
Modeling and Simulation of Nuclear Medicine Patient Service Management in DEVS. |
Simul. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ahmet Zengin |
Large-Scale Integrated Network System Simulation with DEVS-Suite. |
KSII Trans. Internet Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer, Rodrigo D. Castro |
A Survey on the Application of the Cell-DEVS Formalism. |
J. Cell. Autom. |
2010 |
DBLP BibTeX RDF |
|
16 | Young-Sik Jeong, Won-Hee Han, Eun-Ha Song, Sang-Soo Yeo |
Performance evaluation with DEVS formalism and implementation of active emergency call system for realtime location and monitoring. |
Simul. Model. Pract. Theory |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastián Dormido 0001 |
System modeling using the Parallel DEVS formalism and the Modelica language. |
Simul. Model. Pract. Theory |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Arnis Lektauers, Yuri Merkuryev |
Creating Defence Models Using V-DEVS Framework. |
Sci. J. Riga Tech. Univ. Ser. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Kyu Cheol Cho, Sung-Ho Jang, Chang Hyeon Noh, Tae-young Kim, Jong Sik Lee, Jae Min Lee, Taesup Kim, Kangsun Lee |
Route reasoning-based mobility modeling and simulation for street fight using DEVS. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
16 | Bin Chen 0003, Hans Vangheluwe |
Symbolic flattening of DEVS models. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
16 | Mahuna Akplogan, Gauthier Quesnel, Frédérick Garçia, Alexandre Joannon, Roger Martin-Clouaire |
Towards a deliberative agent system based on DEVS formalism for application in agriculture. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
16 | Michael W. Floyd, Gabriel A. Wainer |
Creation of DEVS models using imitation learning. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
16 | Seyed Ali Etemad, Gabriel A. Wainer |
DEVS-based modeling of a human motion data synthesis and control system. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
16 | Bahaa Nader, Jean-Baptiste Filippi, Paul Bisgambiglia |
A DEVS fire jumps model and associated simulations using ForeFire. |
SummerSim |
2010 |
DBLP BibTeX RDF |
|
16 | Radek Kocí, Vladimír Janousek |
OOPN and DEVS Formalisms for System Specification and Analysis. |
ICSEA |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
Temporal verification of RT-DEVS models with implementation aspects. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Deniz Cetinkaya, Alexander Verbraeck, Mamadou D. Seck |
A metamodel and a DEVS implementation for component based hierarchical simulation modeling. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Schwatinski, Thorsten Pawletta |
An advanced simulation approach for parallel DEVS with ports. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Brahim Khalil Rebai, Gregory Zacharewicz, David Reymond, Patrice Corbe |
AnCaraS: a new webometrics web-spider: G-DEVS-based validation of concepts. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jang Won Bae, Tag Gon Kim |
DEVS based plug-in framework for interoperability of simulators. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Keith Holman, Jeremy Kuzub, Gabriel A. Wainer |
UAV search strategies using Cell-DEVS. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Qi Liu 0009, Gabriel A. Wainer |
Accelerating large-scale DEVS-based simulation on the cell processor. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Chang Beom Choi, Jang Won Bae, Tag Gon Kim, Jaeick Kim, Woong-Gie Han, Cheol Ho Kim |
Benefits and challenges in developing warship simulator based on DEVS formalism. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Andrea D'Ambrogio, Daniele Gianni, José L. Risco-Martín, Alessandra Pieroni |
A MDA-based approach for the development of DEVS/SOA simulations. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Moreno, José L. Risco-Martín, Joaquín Aranda Almansa |
Uncovering DEVS simulation behaviour throughout the open provenance model. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Eduardo Pérez, Lewis Ntaimo, Eunshin Byon, Yu Ding 0002 |
A stochastic DEVS wind turbine component model for wind farm simulation. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jeong-Hoon Kim, Chang Beom Choi, Il-Chul Moon, Tag Gon Kim |
DEVS-based doctrine validation of fleet anti-air defense. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Moallemi, Gabriel A. Wainer |
Designing an interface for real-time and embedded DEVS. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Moallemi, Gabriel A. Wainer, Antoine Awad, Dieynaba Alpha Tall |
Application of RT-DEVS in military. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan D. Gibbs, Hessam S. Sarjoughian |
Synchronizing DEVS/SOA simulator with ping monitoring application. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Sayed Ahmed, Gabriel A. Wainer, Samy Mahmoud |
Integrating building information modeling & cell-DEVS simulation. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Victorino Sanz, Alfonso Urquia, Sebastián Dormido 0001 |
Integrating Parallel DEVS and equation-based object-oriented modeling. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Moallemi, Ali Arya, Gabriel A. Wainer |
Simulation of three dimensional elevator system using cell-DEVS formalism. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Song Guo, Xiaolin Hu 0002 |
Profile-based partition for parallel simulation of DEVS-FIRE. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Sabine Zinn, Jutta Gampe, Jan Himmelspach, Adelinde M. Uhrmacher |
A DEVS model for demographic microsimulation. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Maâmar El-Amine Hamri, Lassaad Baati |
On using design patterns for DEVS modeling and simulation tools. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Ahmet Zengin, Hessam S. Sarjoughian |
DEVS-Suite simulator: A tool teaching network protocols. |
WSC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Yilin Huang, Mamadou D. Seck, Alexander Verbraeck |
LIBROS-II: Railway modeling with DEVS. |
WSC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Qi Liu 0009, Gabriel A. Wainer |
Exploring Multi-Grained Parallelism in Compute-Intensive DEVS Simulations. |
PADS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Michele Fumarola, Mamadou D. Seck, Alexander Verbraeck |
A DEVS component library for simulation-based design of automated container terminals. |
SimuTools |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Emilie Broutin, Paul Bisgambiglia, Jean François Santucci |
Multilayered DEVS Modeling And Simulation Implementation Validation On A Concrete Example: Prediction Of The Behavior Of A Catchment Basin. |
ECMS |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Shafagh Jafer, Gabriel A. Wainer |
Global Lookahead Management (GLM) Protocol for Conservative DEVS Simulation. |
DS-RT |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Verónica Bogado, Silvio Gonnet, Horacio Pascual Leone |
An Approach Based on DEVS for Evaluating Quality Attributes. |
SCCC |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel A. Wainer, Qi Liu 0009 |
Tools for Graphical Specification and Visualization of DEVS Models. |
Simul. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | José L. Risco-Martín, Jesús Manuel de la Cruz, Saurabh Mittal, Bernard P. Zeigler |
eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation. |
Simul. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yi Sun, Xiaolin Hu |
Performance Measurement of Dynamic Structure DEVS for Large-Scale Cellular Space Models. |
Simul. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Azzedine Boukerche, Abdulaziz Al Hamidi, Ming Zhang 0006 |
Design of a virtual environment aided by a model-based formal approach using DEVS. |
Concurr. Comput. Pract. Exp. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christina Deatcu, Thorsten Pawletta |
Towards Dynamic Structure Hybrid DEVS forScientific and Technical Computing Environments. |
Simul. Notes Eur. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lukas Grulich, Frantisek Zboril |
Socioeconomic modelling using the DEVS formalism. |
Int. J. Auton. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hyung-Jong Kim, Myuhng Joo Kim, Yoonjeong Kim, Hyun-Cheol Jeong |
DEVS-Based modeling of VoIP spam callers' behavior for SPIT level calculation. |
Simul. Model. Pract. Theory |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yonglin Lei, Weiping Wang 0002, Qun Li 0004, Yifan Zhu |
A transformation model from DEVS to SMP2 based on MDA. |
Simul. Model. Pract. Theory |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Gregory Zacharewicz, Patrick Pujo, Claudia S. Frydman, Norbert Giambiasi |
Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus. |
J. Decis. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Arnis Lektauers |
Multi-Agent Geosimulation of Urban Dynamics within the V-Devs Framework. |
Sci. J. Riga Tech. Univ. Ser. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Moon Ho Hwang, Bernard P. Zeigler |
Reachability Graph of Finite and Deterministic DEVS Networks. |
IEEE Trans Autom. Sci. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Garredu, Paul-Antoine Bisgambiglia, Evelyne Vittori, Jean François Santucci |
A New Approach to Describe DEVS Models Using Both UML State Machine Diagrams and Fuzzy Logic. |
HSC |
2009 |
DBLP BibTeX RDF |
|
16 | Gregory Zacharewicz, Thècle Alix, Bruno Vallespir |
Services Modeling and Distributed Simulation DEVS / HLA Supported. |
WSC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rhys Goldstein, Gabriel A. Wainer |
DEVS-based Design of Spatial Simulations of Biological Systems. |
WSC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Blerim Qela, Gabriel A. Wainer, Hussein T. Mouftah |
Simulation of Large Wireless Sensor Networks Using Cell-DEVS. |
WSC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rodrigo D. Castro, Ernesto Kofman, Gabriel A. Wainer |
A DEVS - based End-to-end Methodology for Hybrid Control of Embedded Networking Systems. |
ADHS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | H. Gregor Molter, André Seffrin, Sorin Alexander Huss |
DEVS2VHDL: Automatic transformation of XML-specified DEVS Model of Computation into synthesizable VHDL code. |
FDL |
2009 |
DBLP BibTeX RDF |
|
16 | Gang Liu, Yiping Yao, Shaoliang Peng |
EDEVS : A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations. |
DS-RT |
2009 |
DBLP DOI BibTeX RDF |
|