Computer technologies for model-based collaborative learning: A research-based approach with initial findings.
Comput. Appl. Eng. Educ., 2018
Using Model-Based Learning to Promote Computational Thinking Education.
Proceedings of the Emerging Research, Practice, and Policy on Computational Thinking., 2017
ACE - A Model Centered REU Program Standing on the Three Legs of CSE: Analysis, Computation and Experiment.
Proceedings of the International Conference on Computational Science, 2012
On Modelling, Simulating and Verifying a Decentralized Mission Control Algorithm for a Fleet of Collaborative UAVs.
Proceedings of the International Conference on Computational Science, 2012
A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity.
Proceedings of the Computational Science, 2009
Formal verification of AADL behavior models: a feasibility investigation.
Proceedings of the 47th Annual Southeast Regional Conference, 2009
Cultivating students' problem solving ability: developing a framework for computational science modules: panel discussion.
J. Comput. Sci. Coll., 2008
Templates and automation for temporal query generation.
Proceedings of the 44st Annual Southeast Regional Conference, 2006
Conceptual modeling with the object-process methodology in software architecture.
J. Comput. Sci. Coll., 2004
A proposal for introducing model checking into an undergraduate software engineering curriculum.
J. Comput. Sci. Coll., 2002