Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
119 | Jemin Lee, Hano Wang, Woohyun Seo, Daesik Hong |
QoS-guaranteed transmission mode selection for efficient resource utilization in multi-hop cellular networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(10), pp. 3697-3701, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
89 | Yoon Seok Jeong, Tae Wan Kim, Chun-Hyon Chang |
Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pp. 269-278, 2006, IEEE Computer Society, 0-7695-2561-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Yide Shen |
Transactive memory system development in virtual teams: the potential role of shared identity and shared context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2007 ACM SIGMIS CPR Conference on Computer Personnel Research 2007, April 19-21, 2007, St. Louis, Missouri, USA, pp. 228-230, 2007, ACM, 978-1-59593-641-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
shared identity, transactive memory system, virtual team, shared context |
74 | André Ivanov, Vinod K. Agarwal |
Dynamic testability measures for ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(5), pp. 598-608, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
64 | Lei Sun, Ke Xu 0002, Weidong Liu 0001, Jianping Wu |
TMS: A Scalable Transition Multicast Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2003, 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings, pp. 80-90, 2003, Springer, 3-540-20745-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
61 | Sangho Lee, Dong Hwi Lee, Kuinam J. Kim |
A Conceptual Design of Knowledge-Based Real-Time Cyber-Threat Early Warning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 1006-1017, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cyber-threat, TMS, Early-Warning, ESM |
60 | Lei Liu, Pamela J. Hinds |
Transactive memory systems: a perspective on coordination in human-robot incident response teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009, pp. 269-270, 2009, ACM, 978-1-60558-404-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transactive memory systems (TMS), human-robot interaction |
59 | Rachid Guerraoui, Michal Kapalka |
The semantics of progress in lock-based transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 404-415, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number |
59 | Ghada Badr, Eric Joanis, Samuel Larkin, Roland Kuhn 0001 |
Manageable Phrase-Based Statistical Machine Translation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Recognition Systems 2 ![In: Computer Recognition Systems 2, pp. 437-444, 2008, Springer, 978-3-540-75174-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Joshua J. Arulanandham |
Unconventional "Stateless" Turing-Like Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings, pp. 55-61, 2007, Springer, 978-3-540-73553-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Gabriel Baud-Bovy, Simone Rossi, Domenico Prattichizzo |
Effects of Transcranial Magnetic Stimulation of the Primary Motor Cortex on the Grip and Net Forces in the Tripod Grasp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHC ![In: First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, WHC 2005, Pisa, Italy, March 18-20, 2005, pp. 120-125, 2005, IEEE Computer Society, 0-7695-2310-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Junseok Hwang, Jörn Altmann, Ibrahim T. Okumus, Praveen Aravamudham |
Transaction management for sender/receiver-payment schemes in charging and accounting systems for interconnected networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS (1) ![In: Managing Next Generation Convergence Networks and Services, IEEE/IFIP Network Operations and Management Symposium, NOMS 2004, Seoul, Korea, 19-23 April 2004, Proceedings, pp. 569-582, 2004, IEEE, 0-7803-8230-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
59 | Neli Zlatareva |
Truth maintenance systems and their application for verifying Expert System Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 6(1), pp. 67-110, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Verification of Rule-based Systems, Expert Systems Design, Knowledge-based Systems, Belief Revision, Nonmonotonic Reasoning |
57 | Martin Tik, Michael Woletz, Anna-Lisa Schuler, Maria Vasileiadi, R. F. H. Cash, Andrew Zalesky, Claus Lamm, Christian Windischberger |
Acute TMS/fMRI response explains offline TMS network effects - An interleaved TMS-fMRI study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 267, pp. 119833, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
49 | Jürgen Bierbrauer |
A direct approach to linear programming bounds for codes and tms-nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 42(2), pp. 127-143, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AMS Classifications 11K38, 11K45, 94B65, 05E30 |
49 | Hansu Cho, Samar Abdi, Daniel Gajski |
Design and implementation of transducer for ARM-TMS communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 126-127, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Shefali S. Dash, Inder Pal Singh Sethi |
National Do Not Call Registry in India: a step towards restricting unsolicited telemarketing calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 335-340, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
NDNC registry, TRAI, national informatics centre, telemarketers, telemarketing, unsolicited commercial communication, telecom operators |
45 | Gregory M. Nielson, Liyan Zhang 0002, Kun Lee, Adam Huang |
Parameterizing Marching Cubes Isosurfaces with Natural Neighbor Coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Advances in Geometric Modeling and Processing, 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings, pp. 315-328, 2008, Springer, 978-3-540-79245-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Natural Neighbor Coordinates, Parameterization, Marching Cubes |
45 | David Rincón 0001, Matthew Roughan, Walter Willinger |
Towards a meaningful MRA of traffic matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Measurement Conference ![In: Proceedings of the 8th ACM SIGCOMM Internet Measurement Conference, IMC 2008, Vouliagmeni, Greece, October 20-22, 2008, pp. 331-336, 2008, ACM, 978-1-60558-334-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diffusion wavelets, traffic characterization, multi-resolution analysis, traffic matrices |
45 | Miao Ma |
Tabu Marking Scheme for IP Traceback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Sung-Hyuck Lee, Seung-Joon Seok, Seung-Jin Lee 0001, Sung-Kwan Youm, Chul-Hee Kang |
Two-Differentiated Marking Strategies for TCP Flows in a Differentiated Services Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS ![In: Quality of Future Internet Services, Second COST 263 International Workshop, Qofis 2001, Coimbra, Portugal, September 24-26, 2001, Proceedings, pp. 207-221, 2001, Springer, 3-540-42602-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Samir Boubezari, Eduard Cerny, Bozena Kaminska, Benoit Nadeau-Dostie |
Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(9), pp. 1327-1340, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen |
Timed Modal Specification - Theory and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 253-267, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
45 | Yuejun Jiang |
Another View of Autoepistemic Logic and Truth Maintenance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 520-529, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation |
38 | Ferrando Barros, Xiaolin Hu 0002, Joachim Denil, Hessam S. Sarjoughian (eds.) |
Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![ACM The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Abdurrahman Alshareef, Hessam S. Sarjoughian |
Parallelism semantics in modeling activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 6:1-6:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Fernando J. Barros |
Handling overlapping collisions: a dynamic topology approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 3:1-3:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Sanish Rai, Xiaolin Hu 0002 |
Hybrid agent-based and graph-based modeling for building occupancy simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 2:1-2:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Ifeoluwa Oyelowo, Bruno Artacho, Siu O'Young, Gabriel A. Wainer |
Using cell-DEVS for prototyping unmanned aircraft system traffic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 11:1-11:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Bernard P. Zeigler |
Closure under coupling: concept, proofs, DEVS recent examples (wip). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 7:1-7:6, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Stig Bosmans, Siegfried Mercelis, Peter Hellinckx, Joachim Denil |
Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 4:1-4:8, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | James J. Nutaro, Bernard P. Zeigler |
Towards a theory of economic value for modeling and simulation: incremental cost of parallel simulation (wip). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 9:1-9:11, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Ifeoluwa Oyelowo, Gabriel A. Wainer, Ngozi Silas Echegini, Joseph Boi-Ukeme, Sergio Zlotnik |
Cell-DEVS modeling and simulation of artificial hydraulic fracturing of rocks in boreholes (wip). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 12:1-12:8, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Xudong Zhang 0004, Ali Mohamed, Linda Nguyen, Feng Gu 0001 |
Performance analysis of parallel/distributed particle filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 5:1-5:11, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Sebastien Gougeaud, Soraya Zertal, Jacques-Charles Lafoucriere, Philippe Deniel |
Designing a parallel OGSSim through library specificities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 10:1-10:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Paul-Henri Martelloni, Gauthier Quesnel, Eric Innocenti, Paul-Antoine Bisgambiglia, Pierre-Régis Gonsolin, Paul Bisgambiglia |
Component-based simulation for spatial complex systems in VLE environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 8:1-8:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Chungman Seo, Bernard P. Zeigler, Doohwan Kim |
DEVS markov modeling and simulation: formal definition and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS) ![In: Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pp. 1:1-1:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![ACM, 978-1-5108-2321-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Damián Vicino, Olivier Dalle, Gabriel A. Wainer |
An advanced data type with irrational numbers to implement time in DEVS simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 23, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Benjamin Camus, Virginie Galtier, Mathieu Caujolle, Vincent Chevrier, Julien Vaubourg, Laurent Ciarletta, Christine Bourjot |
Hybrid co-simulation of FMUs using DEV&DESS in MECSYCO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 8, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Laouen Belloli, Gabriel A. Wainer, Rafael Najmanovich |
Parsing and model generation for biological processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 21, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Braulio Adriano de Mello, Gabriel A. Wainer |
Scheduling predictability in I-DEVS by schedulability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 20, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | David Ackerman, Hoda Mehrpouyan |
Modeling human behavior to anticipate insider attacks via system dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 3, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Gamini Bulumulle, Ladislau Bölöni |
A study of the automobile blind-spots' spatial dimensions and angle of orientation on side-sweep accidents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 18, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Xu Xie 0003, Alexander Verbraeck, Feng Gu |
Data assimilation in discrete event simulations: a rollback based Sequential Monte Carlo approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 11, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Nicholas Keller, Xiaolin Hu 0002 |
Data driven simulation modeling for mobile agent-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 24, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Rhys Goldstein, Simon Breslav, Azam Khan |
A quantum of continuous simulated time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 1, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Anna Deitsch, Vitali Schneider, Jennifer Kane, Winfried Dulz, Reinhard German |
Towards an efficient high-level modeling of heterogeneous image processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 16, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Hesham Saadawi, Gabriel A. Wainer, German Pliego |
DEVS execution acceleration with machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 10, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 4, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Rhys Goldstein, Simon Breslav, Azam Khan |
DesignDEVS: reinforcing theoretical principles in a practical and lightweight simulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 2, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Sahar Guermazi, Saadia Dhouib, Arnaud Cuccuru, Camille Letavernier, Sébastien Gérard |
Integration of UML models in FMI-based co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 7, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault |
Simulation fidelity distance: a game-theoretic framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 9, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Umut Durak, Anil Öztürk, Mehmet Katircioglu |
Simulation deployment blockset for MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 12, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Fernando J. Barros |
A modular representation of asynchronous, geometric solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 27, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Robert H. Kewley, Neil Kester, Joseph McDonnell |
DEVS distributed modeling framework: a parallel DEVS implementation via microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 22, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Daniella Niyonkuru, Gabriel A. Wainer |
A kernel for embedded systems development and simulation using the boost library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 13, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Gary R. Mayer |
Composition of composable cellular automata with respect to their dimensional attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 26, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Deniz Çetinkaya |
A model driven approach to web-based traffic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 14, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Priyasree Bhowmik, Christopher Dutchyn, Nathaniel D. Osgood |
An aspect oriented framework to applying markov chain Monte Carlo methods with dynamic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 19, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | David P. Y. Lawrence, Cláudio Gomes 0001, Joachim Denil, Hans Vangheluwe, Didier Buchs |
Coupling petri nets with deterministic formalisms using co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 6, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Sadaf Mustafiz, Cláudio Gomes 0001, Bruno Barroca, Hans Vangheluwe |
Modular design of hybrid languages by explicit modeling of semantic adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 29, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Peter M. Maurer |
Time-parallel multi-delay logic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 17, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Andrea D'Ambrogio, Emiliano Paglia, Paolo Bocciarelli, Andrea Giglio |
Towards performance-oriented perfective evolution of BPMN models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 15, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Abdurrahman Alshareef, Hessam S. Sarjoughian, Bahram Zarrin |
An approach for activity-based DEVS model specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 25, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré |
Integrated framework for model-driven systems engineering: a research roadmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 28, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Yentl Van Tendeloo, Hans Vangheluwe |
Teaching the fundamentals of the modelling of cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 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, pp. 5, 2016, ACM, 978-1-5108-2321-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
38 | Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (eds.) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![SCS/ACM The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Khaoula Al Ali, Wolfgang Fengler 0001, Bernd Däne |
Extended coloured Petri nets with structured tokens formal method for distributed systems. ![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. 175-182, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Jeffrey P. Buzen |
The rationale for shaped simulation. ![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. 83-88, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Saurabh Mittal, Scott A. Douglass |
From domain specific languages to DEVS components: application to cognitive M&S. ![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. 256-265, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Pau Fonseca i Casas, Miquel Ramo Nñerola, Angel A. Juan |
Using specification and description language to represent users' profiles in OMNET++ simulations. ![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. 221-228, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel A. Wainer |
Interfacing DEVS and visualization models for emergency management. ![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. 111-116, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Pascal Weyprecht, Oliver Rose |
Model-driven development of simulation solution based on SysML starting with the simulation core. ![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. 189-192, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Allan I. McInnes, Brian R. Thorne |
ScipySim: towards distributed heterogeneous system simulation for the SciPy platform. ![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. 89-94, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Hoda Ahmadinejad, Fatemeh Refan, Hessam S. Sarjoughian |
NoC simulation modeling in DEVS-suite. ![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. 134-139, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, Bruno Silva 0001, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves |
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. ![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. 274-281, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Shafagh Jafer, Gabriel A. Wainer |
A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models. ![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. 103-110, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Olivier Dalle, Judicaël Ribault |
Some desired features for the DEVS architecture description language. ![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. 248-255, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler |
Automating DEVS over data distribution service for high performance and interoperability. ![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. 199-204, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Saurabh Mittal, Scott A. Douglass |
Net-centric act-R-based cognitive architecture with DEVS unified process. ![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. 34-44, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Ken Edwards, Gabriel A. Wainer |
GATLAS: Google Earth visualization for ATLAS. ![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. 213-220, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Horacio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal |
HiLeS2: model driven embedded system virtual prototype generation. ![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. 75-82, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Margherita Napoli, Mimmo Parente |
Graded CTL model checking for test generation. ![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. 59-66, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Ronald Apriliyanto Halim |
The simulation-based multi-objective evolutionary optimization (SIMEON) framework. ![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. 169-174, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Luc Touraille, Mamadou K. Traoré, David R. C. Hill |
A model-driven software environment for modeling, simulation and analysis of complex systems. ![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. 229-237, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Hessam S. Sarjoughian, Yu Chen |
Standardizing DEVS models: an endogenous standpoint. ![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. 266-273, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Olivier Zanon |
The SimTG simulation modeling framework a domain specific language for space simulation. ![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. 16-23, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Paulo Salem da Silva, Ana Cristina Vieira de Melo |
On-the-fly verification of discrete event simulations by means of simulation purposes. ![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. 238-247, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua |
Synchronizing sequences on not strongly connected Petri nets. ![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. 45-50, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Greg Franks |
Simulating layered queueing networks with passive resources. ![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. 8-15, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Zhiying Tu, Gregory Zacharewicz, David Chen 0001 |
Harmonized and reversible development framework for HLA based interoperable application. ![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. 51-58, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Norbert Giambiasi |
ISTSM: incompletely specified timed sequential machines. ![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. 146-151, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Paolo Bocciarelli, Andrea D'Ambrogio |
A BPMN extension for modeling non functional properties of business processes. ![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. 160-168, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | 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 |
|
38 | Reehan Shaikh, Hans Vangheluwe |
Transforming UML2.0 class diagrams and statecharts to atomic DEVS. ![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. 205-212, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Moon Ho Hwang |
Taxonomy of DEVS subclasses for standardization. ![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. 152-159, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Joachim Denil, Hans Vangheluwe, Pieter Ramaekers, Paul De Meulenaere, Serge Demeyer |
DEVS for AUTOSAR platform modelling. ![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. 67-74, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Mohammad Moallemi, Gabriel A. Wainer |
I-DEVS: imprecise real-time and embedded DEVS modeling. ![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. 95-102, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Pamela Viale, Claudia S. Frydman, Jacques Pinaton |
Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes. ![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. 193-198, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|