James F. Leathrum Jr.

Proceedings of the Winter Simulation Conference, 2023

2021

Increased Need for Data Analytics Education in Support of Verification and Validation.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2021

A New M&S Engineering Program With A Base In Computer Engineering.

[BibT_eX]

[DOI]

Yuzhong Shen

Oscar R. González

Proceedings of the Winter Simulation Conference, 2021

2020

Education in Analytics Needed for the Modeling & Simulation Process.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2020

2019

A Multithreaded Simulation Executive in Support of Discrete Event Simulations.

[BibT_eX]

[DOI]

Brandon Waddell

Proceedings of the 2019 Winter Simulation Conference, 2019

Software Skills Required by M&S Graduates For Des Development.

[BibT_eX]

[DOI]

John A. Sokolowski

Yuzhong Shen

Michel A. Audette

Proceedings of the 2019 Winter Simulation Conference, 2019

An Education of Simulation Discussion.

[BibT_eX]

[DOI]

Andrew J. Collins

Ying Thaviphoke

David T. Sturrock

Proceedings of the 2019 Winter Simulation Conference, 2019

2018

Academic/Industry Educational Lab for simulation-based Test & Evaluation of Autonomous Vehicles.

[BibT_eX]

[DOI]

Yuzhong Shen

Harry Johnson

Proceedings of the 2018 Winter Simulation Conference, 2018

2017

Proposed unified discrete event simulation content roadmap for M&S curricula.

[BibT_eX]

[DOI]

Andrew J. Collins

Michel A. Audette

Proceedings of the 2017 Winter Simulation Conference, 2017

Visualization of event execution in a discrete event system.

[BibT_eX]

[DOI]

Samantha C. Collins

Nathan D. Gonda

Lee C. Dumaliang

Proceedings of the 50th Annual Simulation Symposium, Virginia Beach, VA, USA, April 23, 2017

2015

A successful EAC-ABET accredited undergraduate program in modeling and simulation engineering (M&SE).

[BibT_eX]

[DOI]

Frederic D. McKenzie

Proceedings of the 2015 Winter Simulation Conference, 2015

An architecture to support integrated manikin-based simulations.

[BibT_eX]

[DOI]

Proceedings of the Conference on Summer Computer Simulation, 2015

2011

Modeling the impact of security and disaster response on cargo operations.

[BibT_eX]

[DOI]

Reejo Mathew

Thomas W. Mastaglio

Simul., 2011

2000

A modular approach to using computer technology for education and training.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2000

1996

Issues in the Full Scale Use of Formal Methods for Automated Testing.

[BibT_eX]

[DOI]

James L. Crowley

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

A formal approach to requirements based testing in open systems standards.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

Verification of IEEE Compliant Subtractive Division Algorithms.

[BibT_eX]

[DOI]

Paul S. Miner

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

The unsettled world of testing in open systems standards.

[BibT_eX]

[DOI]

ACM Stand., 1995

1994

Automated testing of POSIX standards.

[BibT_eX]

[DOI]

ACM Stand., 1994

The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Automated Testing of Open Software Standards.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

The Evolving Role of Testing in Open Systems Standards.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

1985

Orthogonality of Concerns in Module Closure.

[BibT_eX]

[DOI]

Geoffrey George

Softw. Pract. Exp., 1985

1982

A Design Medium for Software.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1982

Efficient Semaphore Management Using Read/Modify/Write Memory Cycles.

[BibT_eX]

[DOI]

Richard M. Weatherly Jr.

ACM SIGOPS Oper. Syst. Rev., 1982

1973

Environment primitive operators in programming languages.

[BibT_eX]

[DOI]

Richard O. Clark