Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
110 | Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte |
XML-based DEVS modeling and interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DEVSJAVA, XLSC, XML, reusability, DEVS |
87 | Brian Webb, Gabriel A. Wainer |
Implementing the SCIDDICA landslide model in Cell-DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 15, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
landslide modelling, cellular automata, discrete event simulation, DEVS, Cell-DEVS |
80 | Mohammad Moallemi, Gabriel A. Wainer |
Design of Persian tapestry in CD++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 11, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Persian tapestry, cellular automata, DEVS |
77 | Kihyung Kim, Wonseok Kang, Bong Sagong, Hyungon Seo |
Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 33th Annual Simulation Symposium (SS 2000), 16-22 April 2000, Washington, DC, USA, pp. 227-, 2000, IEEE Computer Society, 0-7695-0598-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hierarchical simulation, discrete event simulation, distributed simulation, DEVS formalism |
75 | Patrick Castonguay, Tania Pendergast, Gabriel A. Wainer |
Tools for DEVS modeling, simulation and 3D visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 34, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
visualization, discrete-event simulation, CD++, cell-DEVS |
68 | Eugene Syriani, Hans Vangheluwe |
Programmed Graph Rewriting with DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 136-151, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Won Young Lee, Hee Suk Seo, Tae Ho Cho |
Modeling of Policy-Based Network with SVDB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 323-332, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism |
63 | Joe Mooney, Hessam S. Sarjoughian |
A framework for executable UML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
discrete event simulation, state machine, DEVS, executable UML |
63 | Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler |
DEVSML: automating DEVS execution over SOA towards transparent simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 287-295, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
DEVSML, JavaML, web services, SOA |
61 | Hernán P. Dacharry, Norbert Giambiasi |
A formal verification approach for DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 312-319, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
formal verification, timed automata, DEVS |
58 | Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa |
Modelling & simulation oriented components of wireless sensor network using DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 299-306, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
WSN, components, routing protocol, DEVS |
56 | Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa |
DEVS-WSN : A discrete event approach for Wireless Sensor Network simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 895-898, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Olivier Dalle, Gabriel A. Wainer |
An open issue on applying sharing modeling patterns in DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 7, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
shared components, discrete event simulation, DEVS, systems theory, component-based modeling |
56 | Ki-Hyung Kim, Won-Seok Kang |
CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV, pp. 167-176, 2004, Springer, 3-540-22060-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Ryo Sato |
Toward a unified theory of discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 62-72, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
52 | Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri |
Practical application of "lightweight" Z in DEVS framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
formal verification, DEVS, lightweight formal methods, Z specification |
52 | Eugene Syriani, Hans Vangheluwe |
Programmed Graph Rewriting with Time for Simulation-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 91-106, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Olivier Dalle, Bernard P. Zeigler, Gabriel A. Wainer |
Extending DEVS to support multiple occurrence in component-based simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 933-941, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Hui Shang, Gabriel A. Wainer |
A Model of Virus Spreading Using Cell-DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II, pp. 373-377, 2005, Springer, 3-540-26043-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Javier Ameghino, Gabriel A. Wainer |
Using Cell-DEVS for Modeling Complex Cell Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 233-242, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Eric Innocenti, Alexandre Muzy, Antoine Aïello, Jean François Santucci, David R. C. Hill |
Active-DEVS: a computational model for the simulation of forest fire propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1857-1863, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 307-315, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism |
49 | Hyung-Jong Kim 0002 |
Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 81-89, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism |
49 | HyungJong Kim 0002 |
System Specification Based Network Modeling for Survivability Testing Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2002, 5th International Conference Seoul, Korea, November 28-29, 2002, Revised Papers, pp. 90-106, 2002, Springer, 3-540-00716-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism |
46 | Baohong Liu, Kedi Huang |
A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 285-294, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Bernard P. Zeigler, Doohwan Kim, Herbert Praehofer |
DEVS Formalism as a Framework for Advanced Distributed Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 9-10 January 1997, Eilat, Israel, pp. 15-21, 1997, IEEE Computer Society, 0-8186-7773-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
45 | 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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
45 | 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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
45 | Fahad A. Shiginah, Bernard P. Zeigler |
A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 19(5), pp. 1267-1279, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
45 | Adelinde M. Uhrmacher, Jan Himmelspach, Mathias Röhl, Roland Ewald |
Introducing variable ports and multi-couplings for cell biological modeling in DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 832-840, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem |
Modeling of discrete event systems: A holistic and incremental approach using Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 14(4), pp. 389-423, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures |
45 | Alejandro J. Troccoli, Javier Ameghino, Fernando Iñón, Gabriel A. Wainer |
A Flow Injection Model Using Cell-DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), San Diego, California, USA, 14-18 April 2002, pp. 292-299, 2002, IEEE Computer Society, 0-7695-1552-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Javier Ameghino, Alejandro J. Troccoli, Gabriel A. Wainer |
Models of Complex Physical Systems Using Cell-DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 34th Annual Simulation Symposium (SS 2001), Seattle, WA, USA, 22-26 April 2001, pp. 266-, 2001, IEEE Computer Society, 0-7695-1092-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Hernán P. Dacharry, Norbert Giambiasi |
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 207-213, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
DEVS modeling methodology, multi-formalisms approach, discrete event modeling |
40 | Yinfeng Henry Yu, Gabriel A. Wainer |
eCD++: an engine for executing DEVS models in embedded platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 323-330, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
40 | Gabriel A. Wainer |
Modeling Robot Path Planning with CD++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 595-604, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Mohamed Abd El-Salam Ahmed, Khalil Yonis, Abdul-Rahman Elsahfei, Gabriel A. Wainer |
Design and Implementation of a Library of Network Protocols in CD++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 4-6 April 2005, San Diego, CA, USA, pp. 196-203, 2005, IEEE Computer Society, 0-7695-2322-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Mariana C. D'Abreu, Gabriel A. Wainer |
Hybrid dynamic systems: models for continous and hybrid system simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 641-649, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 542-549, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Jean François Santucci, Emmanuelle de Gentili |
Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Levi-Strauss, structural anthropology, variable dynamic structure, discrete event simulation, DEVS |
33 | Mamoun Sqali, Lucile Torres, Claudia S. Frydman |
Synthesizing scenarios to DEVS models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 22, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
requirement validation and checking, scenarios, DEVS, behavioral specification |
33 | Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle |
A modelling and simulation based process for dependable systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 6(4), pp. 437-451, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle |
A Modelling and Simulation Based Approach to Dependable System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 217-231, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Bernard P. Zeigler |
DEVS Today: Recent Advances in Discrete Event-Based Information Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 11th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2003), 12-15 October 2003, Orlando, FL, USA, pp. 148-, 2003, IEEE Computer Society, 0-7695-2039-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim |
Verification of the DEVS model implementation using aspect embedded DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
aspect oriented programming based verification, discrete event simulator verification, DEVS formalism |
29 | Daniel Foguelman, Esteban Lanzarotti, Emanuel Ferreyra, Rodrigo D. Castro |
Simulation of emergence in artificial societies: a practical model-based approach with the EB-DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.08170, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Jung Hyun Im, Ha-Ryoung Oh, Yeong Rak Seong |
Simulation of a Mobile IoT System Using the DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Syst. ![In: J. Inf. Process. Syst. 17(1), pp. 28-36, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Ehsan M. Ahmad, Hessam S. Sarjoughian |
A Behavior Annex For AADL Using The DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: 2019 Spring Simulation Conference, SpringSim 2019, Tucson, AZ, USA, April 29 - May 2, 2019, pp. 1-12, 2019, IEEE, 978-1-5108-8388-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Yentl Van Tendeloo, Hans Vangheluwe |
Extending the DEVS Formalism with Initialization Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04527, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Antoine Dominici, Emmanuelle de Gentili, Laurent Capocchi, Jean François Santucci |
Smart-Parking: Integration and data management by modeling and simulation using connected objects according to the DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UV ![In: 4th International Conference on Universal Village, UV 2018, Boston, MA, USA, October 21-24, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-5197-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | María Julia Blas, Silvio Miguel Gonnet, Horacio Pascual Leone, Bernard P. Zeigler |
A Conceptual Framework to Classify the Extensions of DEVS Formalism as Variants and Subclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2018 Winter Simulation Conference, WSC 2018, Gothenburg, Sweden, December 9-12, 2018, pp. 560-571, 2018, IEEE, 978-1-5386-6572-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Celine Kessler, Laurent Capocchi, Jean François Santucci, Bernard P. Zeigler |
Hierarchical Markov decision process based on DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017, pp. 1001-1012, 2017, IEEE, 978-1-5386-3428-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella |
UML state machine as modeling language for DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: XLII Latin American Computing Conference, CLEI 2016, Valparaíso, Chile, October 10-14, 2016, pp. 1-12, 2016, IEEE, 978-1-5090-1633-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Moath H. A. Jarrah |
Modeling and Simulation of Renewable Energy Sources in Smart Grid Using DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain, pp. 642-647, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Sangjoon Park, Seong-Moo Yoo |
Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 292, pp. 75-94, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Gabriel A. Wainer |
The cell-DEVS formalism as a method for activity tracking in spatial modelling and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Simul. Process. Model. ![In: Int. J. Simul. Process. Model. 10(1), pp. 19-38, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Youssef Bouanan, Mathilde Forestier, Judicaël Ribault, Gregory Zacharewicz, Bruno Vallespir, Néjib Moalla |
Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 63-68, 2015, SCS/ACM, 978-1-5108-0105-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
29 | Youcef Dahmani, Maâmar El-Amine Hamri |
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5638, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
29 | Sol Ha, Namkug Ku, Myung-Il Roh, Ju-Hwan Cha |
Reliability Analysis Method Using Dynamic Reliability Block Diagram Based on DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: AsiaSim 2013 - 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings, pp. 219-230, 2013, Springer, 978-3-642-45036-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Bastien Poggi, Thierry Antoine-Santoni |
Wireless Sensor Network deployment using DEVS formalism and GIS representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPECTS ![In: International Symposium on Performance Evaluation of Computer & Telecommunication Systems, SPECTS 2012, Genoa, Italy, July 8-11, 2012, pp. 1-6, 2012, IEEE, 978-1-4673-2235-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
29 | Xiaobo Li 0003, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002 |
A testing framework for DEVS formalism implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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)., pp. 183-188, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
29 | Gabriel A. Wainer, Rodrigo D. Castro |
A Survey on the Application of the Cell-DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 5(6), pp. 509-524, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
29 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 18(4), pp. 416-430, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastián Dormido 0001 |
System modeling using the Parallel DEVS formalism and the Modelica language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 18(7), pp. 998-1018, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SummerSim ![In: SummerSim '10 - 2010 Summer Simulation Multiconference, Ottawa, ON, Canada, July 11-14, 2010, pp. 250-257, 2010, Society for Computer Simulation International / ACM DL. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
29 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010, pp. 67, 2010, SCS/ACM, 978-1-4503-0069-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Mohammad Moallemi, Ali Arya, Gabriel A. Wainer |
Simulation of three dimensional elevator system using cell-DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010, pp. 156, 2010, SCS/ACM, 978-1-4503-0069-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Lukas Grulich, Frantisek Zboril |
Socioeconomic modelling using the DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Auton. Comput. ![In: Int. J. Auton. Comput. 1(2), pp. 173-181, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Gang Liu, Yiping Yao, Shaoliang Peng |
EDEVS : A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, Singapore, 25-28 October 2009, pp. 239-242, 2009, IEEE Computer Society, 978-0-7695-3868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Tag Gon Kim |
DEVS Formalism for Modeling of Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Dynamic System Modeling ![In: Handbook of Dynamic System Modeling., 2007, Chapman and Hall/CRC, 978-1-58488-565-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | KeungSik Choi, Doo-Hwan Bae, TagGon Kim |
An approach to a hybrid software process simulation using the DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Process. Improv. Pract. ![In: Softw. Process. Improv. Pract. 11(4), pp. 373-383, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Fahad Awadh Bait Shiginah |
Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
29 | Sangjoon Park, Byunggi Kim |
Self-reproducible DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 65(11), pp. 1329-1336, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Gabriel A. Wainer, Ezequiel Glinsky, Peter MacSween |
A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Driven Software Development ![In: Model-Driven Software Development, pp. 363-383, 2005, Springer, 978-3-540-25613-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Mauro Marcelo Mattos |
KBOS run-time environment based on DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IADIS AC ![In: AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, Volume 2, pp. 93-98, 2005, IADIS. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
29 | Sangjoon Park, Kwanjoong Kim |
DEVS Formalism: A Hierarchical Generation Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 253-261, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Alfredo Anglani, Antonio Grieco, Emanuela Guerriero, Francesco Nucci, Quirico Semeraro, Tullio Tolio |
Object-Oriented simulation models based on the DEVS formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESM ![In: 14th European Simulation Multiconference - Simulation and Modelling: Enablers for a Better Quality of Life, May 23-26, 2000, Ghent, Belgium, pp. 140-144, 2000, SCS Europe, 1-56555-204-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
29 | Yung-Hsin Wang, Bernard P. Zeigler |
Extending the DEVS formalism for massively parallel simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 3(2-3), pp. 193-218, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Bernard P. Zeigler, Sankait Vahie |
DEVS formalism and methodology: unity of conception/diversity of application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 25th Winter Simulation Conference, Los Angeles, California, USA, December 12-15, 1993, pp. 573-579, 1993, ACM Press, 0-7803-1381-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Arturo I. Concepcion, Bernard P. Zeigler |
DEVS Formalism: A Framework for Hierarchical Model Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(2), pp. 228-241, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Tag Gon Kim, Bernard P. Zeigler |
The DEVS formalism: hierarchical, modular systems specification in an object oriented framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 19th conference on Winter simulation, WSC 1987, Atlanta, GA, USA, December 14-16, 1987, pp. 559-566, 1987, ACM, 0-911801-32-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun 0003 |
Timing specification and analysis for service-oriented simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
service-oriented simulation, timing specifications and analysis, DEVS |
28 | Rodrigo D. Castro, Ernesto Kofman, Gabriel A. Wainer |
A formal framework for stochastic DEVS modeling and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 421-428, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
discrete event simulation, DEVS, stochastic systems |
28 | Kiril Kidisyuk, Gabriel A. Wainer |
CD++Modeler: a graphical toolkit to develop DEVS models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 8, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ramaswamy, Stephen S. Yau |
A simulation framework for service-oriented computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 845-853, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Rhys Goldstein, Gabriel A. Wainer, James J. Cheetham, Roderick S. Bain |
Vesicle-synapsin interactions modeled with Cell-DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 813-821, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Yi Sun, Xiaolin Hu |
Partial-modular DEVS for improving performance of cellular space wildfire spread simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 1038-1046, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte |
An XML-based language for DEVS components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2948, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Carsten Maus |
Component-Based Modelling of RNA Structure Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, pp. 44-62, 2008, Springer, 978-3-540-88561-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
RNA folding, model components, DEVS, secondary structure, multi-level |
28 | Chuan Feng, Jianfeng Peng, Haiyan Qiao, Jerzy W. Rozenblit |
Alert Fusion for a Computer Host Based Intrusion Detection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA, pp. 433-440, 2007, IEEE Computer Society, 0-7695-2772-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Hui Shang, Gabriel A. Wainer |
A simulation algorithm for dynamic structure DEVS modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 815-822, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Qi Liu 0009, Gabriel A. Wainer |
Simulating Market Dynamics with CD++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II, pp. 368-372, 2005, Springer, 3-540-26043-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Xiaolin Hu 0002, Bernard P. Zeigler |
Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 39(1), pp. 71-87, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distributed robotic system, model continuity, scalability, DEVS, modeling and simulation, team formation |
28 | Ki-Hyung Kim, Won-Seok Kang |
A Web Services-Based Distributed Simulation Architecture for Hierarchical DEVS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 370-379, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit |
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK, pp. 308-, 2000, IEEE Computer Society, 0-7695-0604-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Modeling, Embedded Systems, DEVS |
28 | Kung-Chao Liu |
An Environment for Information System Prototyping: A System Simulation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings, pp. 186-195, 1990, Springer, 3-540-53504-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Emilie Broutin, Paul Bisgambiglia, Jean François Santucci |
Simulation of heterogeneous DEVS models; application to the study of natural systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
catchment basin, reusability, DEVS, multilayer |
16 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
combat system effectiveness, DEVS, hybrid simulation, MATLAB/Simulink, HLA/RTI |
16 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
opto-electrical systems, DEVS, CD++, modelica |
16 | Paul Bisgambiglia, Emmanuelle de Gentili, Paul-Antoine Bisgambiglia, Jean François Santucci |
Fuzz-iDEVS: towards a fuzzy toolbox for discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 57, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fuzzy toolbox, simulation, fuzzy logic, fuzzy system, discrete event |