Oscar Mondragon

18 papers C 4Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Model based systems engineering - A text mining based structured comprehensive overview.
Syst. Eng.
Aditya Akundi, Oscar Mondragon
2022 — conf
Online Model-based Systems Engineering (MBSE) Bootcamp: A Report on Two Day Workforce Development Workshop.
SysCon
Aditya Akundi, Oscar Mondragon, Mayra Ortiz, Tzu-Liang Bill Tseng, Sergio Luna, Viviana Lopez
2022 — conf
Perceptions and the extent of Model-Based Systems Engineering (MBSE) use - An industry survey.
SysCon
Aditya Akundi, Wilma Ankobiah, Oscar Mondragon, Sergio Luna
2020 — conf
A Safety Index for Smart Mobility using Real-Time Crowdsourced Data.
ISC2
Neale A. Smith, Adriana I. Camacho, Edgar J. Escobedo, Jonatan M. Contreras, Oscar Mondragon, Natalia Villanueva-Rosales, Ruey Long Cheu, Victor M. Larios-Rosillo
2019 — conf
Towards Improving Safety in Urban Mobility Using Crowdsourcing Incident Data Collection.
ISC2
Carlos V. Chavez, Emiliano Ruiz, Adrian Gomez Rodriguez, Itzel Rivas Pena, Victor M. Larios-Rosillo, Natalia Villanueva-Rosales, Oscar Mondragon, Ruey Long Cheu
2019 — conf
Towards Smart Mobility During Flooding Events in Urban Areas using Crowdsourced Information.
ISC2
Ubaldo Castro, Jonathan Avila, Cynthia V. Sustaita, M. Armando Hernandez, Victor M. Larios-Rosillo, Natalia Villanueva-Rosales, Oscar Mondragon, Ruey Long Cheu, Ma. Roció Maciel Arellano
2015 — conf
A collaborative, interdisciplinary initiative for a smart cities innovation network.
ISC2
Natalia Villanueva-Rosales, Ruey Long Cheu, Ann Q. Gates, Norma Rivera, Oscar Mondragon, Sergio D. Cabrera, Carlos Ferregut, César Carrasco, Soheil Nazarian, Heidi A. Taboada, Victor M. Larios-Rosillo, Liliana Ibeth Barbosa-Santillán, Miroslav Svitek, Ondrej Pribyl, Tomas Horak, Dana Procházková
2015 C conf
Experiments with personal ownership of quality at the University of Texas at El Paso.
FIE
Oscar Mondragon, Jagadish Thimiri Mallikarjan, Eric Smith
2010 J jnl
Desarrollo de servicios en NGN: caso Emcali - telecomunicaciones.
Rev. Avances en Sistemas Informática
Oscar Mondragon, Zeida Solarte
2007 J jnl
Generating Properties for Runtime Monitoring from Software Specification Patterns.
Int. J. Softw. Eng. Knowl. Eng.
Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
2005 C conf
Generating Properties for Runtime Monitoring from Software Specification Patterns.
SEKE
Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky
2005 — conf
Verifying Pattern-Generated LTL Formulas: A Case Study.
SPIN
Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
2004 J jnl
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions.
Int. J. Softw. Eng. Knowl. Eng.
Oscar Mondragon, Ann Q. Gates
2003 C conf
Automated Support for Property Specification Based on Patterns.
SEKE
Oscar Mondragon, Ann Q. Gates, Fadi Kassem
2003 C conf
Instrumentation of Intermediate Code for Runtime Verification.
SEW
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
2003 — conf
Prospec: Support for Elicitation and Formal Specification of Software Properties.
RV@CAV
Oscar Mondragon, Ann Q. Gates, Steve Roach
2002 J jnl
FasTLInC: a constraint-based tracing approach.
J. Syst. Softw.
Ann Q. Gates, Oscar Mondragon
2001 — conf
DynaMICs: Comprehensive Support for Run-Time Monitoring.
RV@CAV
Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado