Miguel García

25 papers B 2C 3Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A machine learning assistant for detecting fraudulent activities in synchronous online programming exams.
PeerJ Comput. Sci.
Francisco Ortin, Alonso Gago, José Quiroga, Miguel García
2025 B conf
Assistant for the detection of potential cheating behavior in synchronous online programming exams.
EDM
Francisco Ortin, Alonso Gago, José Quiroga, Miguel García
2025 J jnl
Introspector: A general-purpose tool for visualizing and comparing runtime object structures on the Java platform.
SoftwareX
Francisco Ortin, Oscar Rodriguez-Prieto, Miguel García
2023 J jnl
Analyzing syntactic constructs of Java programs with machine learning.
Expert Syst. Appl.
Francisco Ortin, Guillermo Facundo, Miguel García
2022 — conf
Evaluation of the Use of Different Parser Generators in a Compiler Construction Course.
WorldCIST (3)
Francisco Ortin, José Quiroga, Oscar Rodriguez-Prieto, Miguel García
2022 J jnl
ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes.
Softw. Impacts
Miguel García, José Quiroga, Francisco Ortin
2022 J jnl
The
SoftwareX
Francisco Ortin, Miguel García, José Baltasar García Pérez-Schofield, José Quiroga
2021 J jnl
An Infrastructure to Deliver Synchronous Remote Programming Labs.
IEEE Trans. Learn. Technol.
Miguel García, José Quiroga, Francisco Ortin
2020 J jnl
Heterogeneous tree structure classification to label Java programmers according to their expertise level.
Future Gener. Comput. Syst.
Francisco Ortin, Oscar Rodriguez-Prieto, Nicolas Pascual, Miguel García
2019 J jnl
Rule-based program specialization to optimize gradually typed code.
Knowl. Based Syst.
Francisco Ortin, Miguel García, Seán McSweeney
2016 J jnl
Design and implementation of an efficient hybrid dynamic and static typing language.
Softw. Pract. Exp.
Miguel García, Francisco Ortin, José Quiroga
2016 J jnl
Optimizing runtime performance of hybrid dynamically and statically typed languages for the .Net platform.
J. Syst. Softw.
José Quiroga, Francisco Ortin, David Llewellyn-Jones, Miguel García
2014 J jnl
Efficient runtime adaptability to support context-awareness in a robotic framework.
J. Ambient Intell. Smart Environ.
Miguel García, Francisco Ortin
2014 J jnl
On the suitability of dynamic languages for hot-reprogramming a robotics framework: a Python case study.
Softw. Pract. Exp.
Francisco Ortin, Sheila Mendez Nunez, Vicente García-Díaz, Miguel García
2014 C conf
TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers.
SEKE
Francisco Ortin, Daniel Zapico Palacio, José Quiroga, Miguel García
2013 C conf
Achieving Multiple Dispatch in Hybrid Statically and Dynamically Typed Languages.
WorldCIST
Francisco Ortin, Miguel García, Jose Manuel Redondo, José Quiroga
2012 J jnl
Applying dynamic separation of aspects to distributed systems security: A case study.
IET Softw.
Miguel García, David Llewellyn-Jones, Francisco Ortin, Madjid Merabti
2011 B conf
A Type Safe Design to Allow the Separation of Different Responsibilities into Parallel Hierarchies.
ENASE
Francisco Ortin, Miguel García
2011 C conf
Computational Reflection in order to support Context-Awareness in a Robotics Framework.
SEKE
Sheila Mendez Nunez, Francisco Ortin, Miguel García, Vicente García-Díaz
2011 — conf
Modularizing Different Responsibilities into Separate Parallel Hierarchies.
ENASE (Selected Papers)
Francisco Ortin, Miguel García
2011 — conf
Separating different responsibilities into parallel hierarchies.
C3S2E
Francisco Ortin, Miguel García
2011 J jnl
Union and intersection types to support both dynamic and static typing.
Inf. Process. Lett.
Francisco Ortin, Miguel García
2010 — conf
A Programming Language That Combines the Benefits of Static and Dynamic Typing.
ICSOFT (Selected Papers)
Francisco Ortin, Miguel García
2010 — conf
A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production.
ICSOFT (2)
Francisco Ortin, Daniel Zapico Palacio, Miguel García
2010 J jnl
Including both static and dynamic typing in the same programming language.
IET Softw.
Francisco Ortin, Daniel Zapico Palacio, J. Baltasar García Pérez-Schofield, Miguel García