José M. Garrido

30 papers A 1Journal 15Unranked 13
YearRankTypeTitle / Venue / Authors
2019 — conf
High-level Specification and Modeling of Cyber-physical Systems.
ACM Southeast Regional Conference
José M. Garrido
2017 — conf
Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects.
ACM Southeast Regional Conference
José M. Garrido
2017 — conf
Improving Software Development for Embedded Systems.
ACM Southeast Regional Conference
José M. Garrido
2014 — conf
A programming language for implementing computational models.
ACM Southeast Regional Conference
José M. Garrido
2014 J jnl
Implementing computational models of dynamical systems with SCL.
J. Comput. Sci. Coll.
José M. Garrido
2014 J jnl
Using cross-platform graphics packages for GUIs and data plotting with SCL and C/C++.
J. Comput. Sci. Coll.
José M. Garrido
2013 — conf
Developing computational models: some aspects of conceptualization and implementation.
ACM Southeast Regional Conference
José M. Garrido
2013 J jnl
Implementing computational models with C and the GNU scientific library on Linux.
J. Comput. Sci. Coll.
José M. Garrido
2013 J jnl
Introducing computational models in the computer science curricula.
J. Comput. Sci. Coll.
José M. Garrido
2012 A conf
Integrating elementary computational modeling and programming principles (abstract only).
SIGCSE
José M. Garrido
2012 J jnl
Using numerical libraries in C/C++ and Fortran 2003 for computational modeling.
J. Comput. Sci. Coll.
José M. Garrido
2011 J jnl
Case studies for introducton to computational modeling.
J. Comput. Sci. Coll.
José M. Garrido
2011 — conf
Object-oriented simulation: a modeling and programming perspective.
ACM Southeast Regional Conference
José M. Garrido
2010 J jnl
Developing object-oriented simulation models with the OOSimL language: tutorial presentation.
J. Comput. Sci. Coll.
José M. Garrido
2010 — conf
Introduction to object-oriented discrete event simulation with the OOSimL language.
ACM Southeast Regional Conference
José M. Garrido
2009 J jnl
Introduction to object-oriented discrete event simulation with OOSimL language.
J. Comput. Sci. Coll.
José M. Garrido
2009 — conf
OOSimL: An Object-Oriented Discrete-Event Simulation Language for Computing Education.
HSC
José M. Garrido
2009 J jnl
Object oriented program correctness with OOSimL.
J. Comput. Sci. Coll.
José M. Garrido
2009 — conf
Understanding distributed denial of service with object oriented simulation.
ACM Southeast Regional Conference
José M. Garrido
2009 J jnl
Using object-oriented discrete event simulation with OOSimL: tutorial presentation.
J. Comput. Sci. Coll.
José M. Garrido
2008 J jnl
Introduction to object-oriented discrete event simulation with OOsimL and Java: tutorial presentation.
J. Comput. Sci. Coll.
José M. Garrido
2008 — book
Principles of modern operating systems.
José M. Garrido, Richard Schlesinger
2008 — conf
The Use of Videogames to Mediate Curricular Learning.
DIGITEL
Begoña Gros, José M. Garrido
2007 J jnl
Enhancing operating systems courses with object-oriented simulation.
J. Comput. Sci. Coll.
José M. Garrido
2006 J jnl
A modeling framework for operating systems courses.
J. Comput. Sci. Coll.
Rich Schlesinger, José M. Garrido
2005 — conf
A repository for multi-disciplinary computational models and tools.
ACM Southeast Regional Conference (1)
José M. Garrido, Amit Jain
2005 J jnl
Studying the performance of a firewall in network courses.
J. Comput. Sci. Coll.
José M. Garrido
2004 J jnl
Constructing object-oriented discrete event simulation models using Java: tutorial presentation.
J. Comput. Sci. Coll.
José M. Garrido
2004 — conf
Teaching object-oriented simulation with PsimJ simulation package.
ACM Southeast Regional Conference
José M. Garrido, Kyungsoo Im
2003 — conf
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators.
Software Engineering Research and Practice
José M. Garrido