Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators. - José M. Garrido (Software Engineering Research and Practice, 2003)

Teaching object-oriented simulation with PsimJ simulation package. - José M. Garrido; Kyungsoo Im (ACM Southeast Regional Conference, 2004)

Constructing object-oriented discrete event simulation models using Java: tutorial presentation. - José M. Garrido (J. Comput. Sci. Coll., 2004)

A repository for multi-disciplinary computational models and tools. - José M. Garrido; Amit Jain (ACM Southeast Regional Conference (1), 2005)

Studying the performance of a firewall in network courses. - José M. Garrido (J. Comput. Sci. Coll., 2005)

A modeling framework for operating systems courses. - Rich Schlesinger; José M. Garrido (J. Comput. Sci. Coll., 2006)

Enhancing operating systems courses with object-oriented simulation. - José M. Garrido (J. Comput. Sci. Coll., 2007)

Principles of modern operating systems. - José M. Garrido; Richard Schlesinger (Jones and Bartlett Publishers, 2008)

The Use of Videogames to Mediate Curricular Learning. - Begoña Gros; José M. Garrido (DIGITEL, 2008)

Introduction to object-oriented discrete event simulation with OOsimL and Java: tutorial presentation. - José M. Garrido (J. Comput. Sci. Coll., 2008)

Understanding distributed denial of service with object oriented simulation. - José M. Garrido (ACM Southeast Regional Conference, 2009)

OOSimL: An Object-Oriented Discrete-Event Simulation Language for Computing Education. - José M. Garrido (HSC, 2009)

Using object-oriented discrete event simulation with OOSimL: tutorial presentation. - José M. Garrido (J. Comput. Sci. Coll., 2009)

Object oriented program correctness with OOSimL. - José M. Garrido (J. Comput. Sci. Coll., 2009)

Introduction to object-oriented discrete event simulation with OOSimL language. - José M. Garrido (J. Comput. Sci. Coll., 2009)

Developing object-oriented simulation models with the OOSimL language: tutorial presentation. - José M. Garrido (J. Comput. Sci. Coll., 2010)

Object-oriented simulation: a modeling and programming perspective. - José M. Garrido (ACM Southeast Regional Conference, 2011)

Case studies for introducton to computational modeling. - José M. Garrido (J. Comput. Sci. Coll., 2011)

Integrating elementary computational modeling and programming principles (abstract only). - José M. Garrido (SIGCSE, 2012)

Using numerical libraries in C/C++ and Fortran 2003 for computational modeling. - José M. Garrido (J. Comput. Sci. Coll., 2012)

Developing computational models: some aspects of conceptualization and implementation. - José M. Garrido (ACM Southeast Regional Conference, 2013)

Implementing computational models with C and the GNU scientific library on Linux. - José M. Garrido (J. Comput. Sci. Coll., 2013)

Introducing computational models in the computer science curricula. - José M. Garrido (J. Comput. Sci. Coll., 2013)

A programming language for implementing computational models. - José M. Garrido (ACM Southeast Regional Conference, 2014)

Using cross-platform graphics packages for GUIs and data plotting with SCL and C/C++. - José M. Garrido (J. Comput. Sci. Coll., 2014)

Implementing computational models of dynamical systems with SCL. - José M. Garrido (J. Comput. Sci. Coll., 2014)

Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects. - José M. Garrido (ACM Southeast Regional Conference, 2017)

Improving Software Development for Embedded Systems. - José M. Garrido (ACM Southeast Regional Conference, 2017)

High-level Specification and Modeling of Cyber-physical Systems. - José M. Garrido (ACM Southeast Regional Conference, 2019)