José M. Garrido

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 3

Top Topics

Programming Language

Computational Model

Software Development

Top Venues

ACM Southeast Regional Conference

Publications

José M. Garrido
High-level Specification and Modeling of Cyber-physical Systems. ACM Southeast Regional Conference (2019)
José M. Garrido
Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects. ACM Southeast Regional Conference (2017)
José M. Garrido
Improving Software Development for Embedded Systems. ACM Southeast Regional Conference (2017)
José M. Garrido
A programming language for implementing computational models. ACM Southeast Regional Conference (2014)
José M. Garrido
Developing computational models: some aspects of conceptualization and implementation. ACM Southeast Regional Conference (2013)
José M. Garrido
Integrating elementary computational modeling and programming principles (abstract only). SIGCSE (2012)
José M. Garrido
Object-oriented simulation: a modeling and programming perspective. ACM Southeast Regional Conference (2011)
José M. Garrido
Introduction to object-oriented discrete event simulation with the OOSimL language. ACM Southeast Regional Conference (2010)
José M. Garrido
OOSimL: An Object-Oriented Discrete-Event Simulation Language for Computing Education. HSC (2009)
José M. Garrido
Understanding distributed denial of service with object oriented simulation. ACM Southeast Regional Conference (2009)
Begoña Gros, José M. Garrido
The Use of Videogames to Mediate Curricular Learning. DIGITEL (2008)
José M. Garrido, Amit Jain
A repository for multi-disciplinary computational models and tools. ACM Southeast Regional Conference (1) (2005)
José M. Garrido, Kyungsoo Im
Teaching object-oriented simulation with PsimJ simulation package. ACM Southeast Regional Conference (2004)
José M. Garrido
Expressing Real-Time Constraints in OCL with High-Level Temporal Logic Operators. Software Engineering Research and Practice (2003)