Oscar Mondragon

According to our database1, Oscar Mondragon authored at least 21 papers between 2001 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Model based systems engineering - A text mining based structured comprehensive overview.
Syst. Eng., 2022

Online Model-based Systems Engineering (MBSE) Bootcamp: A Report on Two Day Workforce Development Workshop.
Proceedings of the IEEE International Systems Conference, 2022

Perceptions and the extent of Model-Based Systems Engineering (MBSE) use - An industry survey.
Proceedings of the IEEE International Systems Conference, 2022

The Use of Technology by Older Adults in El Paso, Texas during COVID-19: Purposes, Challenges, and Opportunities.
Proceedings of the IEEE International Smart Cities Conference, 2022

Using Technology to Teach Older Adults during the COVID-19 pandemic.
Proceedings of the IEEE International Smart Cities Conference, 2022

2020
A Safety Index for Smart Mobility using Real-Time Crowdsourced Data.
Proceedings of the IEEE International Smart Cities Conference, 2020

Management of Real-Time Data for a Smart Flooding Alert System.
Proceedings of the IEEE International Smart Cities Conference, 2020

2019
Towards Improving Safety in Urban Mobility Using Crowdsourcing Incident Data Collection.
Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

Towards Smart Mobility During Flooding Events in Urban Areas using Crowdsourced Information.
Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

2015
A collaborative, interdisciplinary initiative for a smart cities innovation network.
Proceedings of the IEEE First International Smart Cities Conference, 2015

Experiments with personal ownership of quality at the University of Texas at El Paso.
Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2010
Desarrollo de servicios en NGN: caso Emcali - telecomunicaciones.
Rev. Avances en Sistemas Informática, 2010

2007
Generating Properties for Runtime Monitoring from Software Specification Patterns.
Int. J. Softw. Eng. Knowl. Eng., 2007

2005
Verifying Pattern-Generated LTL Formulas: A Case Study.
Proceedings of the Model Checking Software, 2005

Generating Properties for Runtime Monitoring from Software Specification Patterns.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

2004
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions.
Int. J. Softw. Eng. Knowl. Eng., 2004

2003
Prospec: Support for Elicitation and Formal Specification of Software Properties.
Proceedings of the Third Workshop on Run-time Verification, 2003

Instrumentation of Intermediate Code for Runtime Verification.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Automated Support for Property Specification Based on Patterns.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002
FasTLInC: a constraint-based tracing approach.
J. Syst. Softw., 2002

2001
DynaMICs: Comprehensive Support for Run-Time Monitoring.
Proceedings of the Workshop on Runtime Verification, 2001


  Loading...