José M. Garrido

According to our database, José M. Garrido authored at least 29 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

High-level Specification and Modeling of Cyber-physical Systems.

José M. Garrido

Proceedings of the 2019 ACM Southeast Conference, 2019

2017

Improving Software Development for Embedded Systems.

José M. Garrido

Proceedings of the 2017 ACM Southeast Regional Conference, 2017

Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects.

José M. Garrido

Proceedings of the 2017 ACM Southeast Regional Conference, 2017

2014

Implementing computational models of dynamical systems with SCL.

José M. Garrido

J. Comput. Sci. Coll., 2014

Using cross-platform graphics packages for GUIs and data plotting with SCL and C/C++.

José M. Garrido

J. Comput. Sci. Coll., 2014

A programming language for implementing computational models.

José M. Garrido

Proceedings of the 2014 ACM Southeast Regional Conference, Kennesaw, GA, USA, March 28, 2014

2013

Introducing computational models in the computer science curricula.

José M. Garrido

J. Comput. Sci. Coll., 2013

Implementing computational models with C and the GNU scientific library on Linux.

José M. Garrido

J. Comput. Sci. Coll., 2013

Developing computational models: some aspects of conceptualization and implementation.

José M. Garrido

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

Using numerical libraries in C/C++ and Fortran 2003 for computational modeling.

José M. Garrido

J. Comput. Sci. Coll., 2012

Integrating elementary computational modeling and programming principles (abstract only).

José M. Garrido

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

2011

Case studies for introducton to computational modeling.

José M. Garrido

J. Comput. Sci. Coll., 2011

Object-oriented simulation: a modeling and programming perspective.

José M. Garrido

Proceedings of the 49th Annual Southeast Regional Conference, 2011

2010

Developing object-oriented simulation models with the OOSimL language: tutorial presentation.

José M. Garrido

J. Comput. Sci. Coll., 2010

2009

Introduction to object-oriented discrete event simulation with OOSimL language.

José M. Garrido

J. Comput. Sci. Coll., 2009

Object oriented program correctness with OOSimL.

José M. Garrido

J. Comput. Sci. Coll., 2009

Using object-oriented discrete event simulation with OOSimL: tutorial presentation.

José M. Garrido

J. Comput. Sci. Coll., 2009

OOSimL: An Object-Oriented Discrete-Event Simulation Language for Computing Education.

José M. Garrido

Proceedings of the Huntsville Simulation Conference, 2009

Understanding distributed denial of service with object oriented simulation.

José M. Garrido

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Introduction to object-oriented discrete event simulation with OOsimL and Java: tutorial presentation.

José M. Garrido

J. Comput. Sci. Coll., 2008

The Use of Videogames to Mediate Curricular Learning.

Begoña Gros, José M. Garrido

Proceedings of the 2nd IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, 2008

Principles of modern operating systems.

José M. Garrido, Richard Schlesinger

Jones and Bartlett Publishers, ISBN: 978-0-7637-3574-6, 2008

2007

Enhancing operating systems courses with object-oriented simulation.

José M. Garrido

J. Comput. Sci. Coll., 2007

2006

A modeling framework for operating systems courses.

Rich Schlesinger, José M. Garrido

J. Comput. Sci. Coll., 2006

2005

Studying the performance of a firewall in network courses.

José M. Garrido

J. Comput. Sci. Coll., 2005

A repository for multi-disciplinary computational models and tools.

José M. Garrido, Amit Jain

Proceedings of the 43nd Annual Southeast Regional Conference, 2005

2004

Constructing object-oriented discrete event simulation models using Java: tutorial presentation.

José M. Garrido

J. Comput. Sci. Coll., 2004

Teaching object-oriented simulation with PsimJ simulation package.

José M. Garrido, Kyungsoo Im

Proceedings of the 42nd Annual Southeast Regional Conference, 2004

2003

Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators.

José M. Garrido

Proceedings of the International Conference on Software Engineering Research and Practice, 2003