• Publications
  • Influence
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
TLDR
We present a procedure for formal modeling and verifying DRBD for computer-based systems and present an algorithm that automatically converts a model into a colored Petri net. Expand
  • 104
  • 5
  • PDF
Drbd: Dynamic Reliability Block Diagrams for System Reliability Modelling
TLDR
In this paper, we introduce a new reliability modelling tool, called dynamic reliability block diagrams (DRBD), to model dynamic relationships between system components. Expand
  • 44
  • 4
  • PDF
Investigating the Mathematical Discourse of Young Learners Involved in Multi-Modal Mathematical Investigations: The Case of Haptic Technologies
In this chapter, we examined the experiences of 10-year old (fourth grade) students in the United States involved in a dynamic multi-modal environment as they explored the characteristics of 3DExpand
  • 18
  • 1
Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets 1
The increasing reliance on computer technology nowadays has resulted in a rapidly growing need to build reliable and fault resistant computer-based systems. Computer system reliabilities areExpand
  • 14
  • PDF
Examining Expressive Discourse in Multi-Modal Technology Environments.
TLDR
We investigate the impact of integrating dynamic geometry environments with haptic devices, which allow users to not only see and manipulate geometric figures on a screen but also feel, through force-feedback, the result of interacting with such objects. Expand
  • 2
  • PDF
Reflections on Significant Developments in Designing SimCalc Software
TLDR
We designed and developed the SimCalc software using technological affordances as a way to introduce new mathematical affordances into the classroom. Expand
  • 4