Luis Ricardo CORRAL VELAZQUEZ - Faculty of Computer Science ...

Luis Ricardo CORRAL VELAZQUEZ
Software Engineer / Computer Scientist
Vicolo Sabbia 30. I-39100 Bolzano-Bozen. Italia.
luis.corral@stud-inf.unibz.it
www.inf.unibz.it/~lcorralvelazquez
1. Education
2011–Current: Libera Università di Bolzano. Italia.
Ph.D. Student, Computer Science.
Dissertation Title: “A software assurance model for mobile applications”
Supervised by Prof. Ing. Giancarlo Succi and Prof. Arrigo Frisiani.
2004–2009: Universidad Autónoma de Guadalajara, México.
M.Sc. Computer Science. Grade Awarded: 9.46/10
Dissertation Title: “Development of utility products for GE-Aviation”
Supervised by Prof. Karina Aguilar.
1998–2003: Instituto Tecnológico de Querétaro, México.
B.Sc. (Eng) Computer Systems. Grade Awarded: 94.51/100 cum laude
2. Professional Work Experience
2002–2011: General Electric Infrastructure Querétaro, México. Turbomachinery Advanced Engineering Centre
2008–2011: General Electric Aviation
Software Quality Assurance Lead Engineer
Introduce to GE-Aviation Querétaro the Software Quality Assurance process, matching it to the SQA processes at GE-Aviation
in the U.S.A.: Create the implementation strategy, design a technical development plan and deploy the SQA process in the
software organization at GE-Aviation Querétaro.
Design software quality program plans for airborne software for control, prognostics and health management of commercial
and military aircraft engines and aviation displays and power systems.
Conduct software process and product assurance activities for several aircraft engine software programs to meet 14 CFR 33
FAA airworthiness requirements, with technical stays in the U.S.A.
Design and follow up procedures, metrics, trends, root cause analyses and audits.
Audit and conform test environments (hardware and software) for system and integration testing with credit for airworthiness
certification.
Follow up and supervise quality compliance of a team of 80 software engineers.
Participate in the Design Board that establishes and deploys the SQA process instructions across global GE-Aviation Software
Quality Assurance operations, interface in a team of software quality engineers in the U.S.A. and the U.K.
2005–2008: General Electric Aviation
Software Verification Lead Engineer
Plan, manage and track software verification projects for airborne control systems of commercial and military aircraft engines to
meet 14 CFR 33 FAA airworthiness requirements.
Interface as focal point with local and global customers, with technical stays in the U.S.A.
Follow up and supervise a team from 3 to 10 test engineers.
Generation of low-level software specifications.
Development of processes and tools as result of projects conducted under Six Sigma methodologies.
Peer reviewer and quality inspector of internal products before delivery.
2003–2005: General Electric Aviation
Software Verification Engineer
Verification for embedded control systems for airborne control systems of commercial and military aircraft engines to meet 14
CFR 33 FAA airworthiness requirements.
White-box Unit test design to achieve 100% Modified Condition/Decision Coverage.
Low-level requirement test case design and execution using manual approach and automated tools.
Formal inspections on C code.
Work product administration under configuration managed environments.
2002–2003: General Electric Energy
Programmer (Student Internship Program)
Web-based structured programming for personnel and workload management systems.
Requirements elicitation, software design and code. Relational database design and implementation.

3. Academic Work Experience
2011–Current: Free University of Bozen-Bolzano
Teaching Assistant
Software Engineering and Software Project
Conducted laboratory exercises and supervised students in the development of a complex software project on Java and C++.
Advanced Internet Technologies
Conducted laboratory exercises and supervised students in the development of a software project for mobile applications using
Android OS and Agile software engineering practices. Authored lecture notes and sample code.
2007–2010: Autonomous University of Querétaro, México
Lecturer
Software Quality Standards
Designed and taught a program of software quality international standards, models and frameworks applicable to quality
management systems, software quality, processes and product quality assurance.
Web-based Information Systems
Designed and taught a program of models, architectures and techniques for the interchange of data, Business Management
and information through web-based software systems.
Development of Multimedia Systems
Designed and taught a program for the development of web-based multimedia Systems with Adobe Creative Suite.
4. Research and Academic Involvement
I. Papers in Refereed Conference and Workshop with Proceedings
2014
- Corral, L.; Georgiev A.B.; Sillitti, A.; Succi, G.; (2014) Method Reallocation to Reduce Energy Consumption: An
Implementation in Android OS. Accepted for publication in The 29th Symposium on Applied Computing (SAC 2014).
Gyeongju, Korea. ACM.
2013
- Corral, L.; Sillitti, A.; & Succi, G.; (2013) Agile software development processes for mobile systems: Accomplishment,
evidence and evolution. In Proceedings of the 10th International Conference on Mobile Web Information Systems (MobiWIS
2013). Lecture Notes in Computer Science, vol. 8093. pp. 90-106. Springer-Verlag Berlin / Heidelberg. ISBN: 978-3-642-
40275-3. doi:10.1007/978-3-642-40276-0_8
- Corral, L.; Sillitti, A.; & Succi, G.; (2013) Using a partially instantiated GQM to measure the quality of mobile apps. In
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013). pp. 520-
524. Knowledge Systems Institute. ISBN: 978-1-891706-33-2.
- Corral, L.; Georgiev A.B.; Sillitti, A.; & Succi, G.; (2013) A method for characterizing energy consumption in Android
smartphones and tablets. In Proceedings of the 2nd International Workshop on Green and Sustainable Software (GREENS
2013), in connection with ICSE 2013. pp. 38-45. IEEE. ISBN: 978-1-4673-6267-2. doi:10.1109/GREENS.2013.6606420
- Corral, L.; Sillitti, A.; & Succi, G.; (2013) Software development processes for mobile systems: Is Agile really taking over the
business? In Proceedings of the 1st International Workshop on Mobile-Enabled Systems (MOBS 2013), in connection with
ICSE 2013. pp. 19-24. IEEE. ISBN: 978-1-4673-6333-4. doi:10.1109/MOBS.2013.6614218
2012
- Corral, L.; (2012) Standard-based strategy to assure the quality of the mobile software product. In Proceedings of the 3rd
annual conference on systems, programming, and applications: software for humanity (SPLASH 2012). pp. 95- 96. ACM.
ISBN: 978-1-4503-1563-0. doi:10.1145/2384716.2384755
- Corral, L.; (2012) Using software quality standards to assure the quality of the mobile software product. In Proceedings of the
3rd annual conference on systems, programming, and applications: software for humanity (SPLASH 2012). pp. 37-40. ACM.
ISBN: 978-1-4503-1563-0. doi:10.1145/2384716.2384734
- Corral, L.; Sillitti, A.; & Succi, G.; (2012) Mobile multiplatform development: An experiment for performance analysis. In
Proceedings of the 9th International Conference on Mobile Web Information Systems (MobiWIS 2012). Procedia Computer
Science, vol. 10. pp. 736-743. Elsevier. ISSN: 1877-0509. doi:10.1016/j.procs.2012.06.094
- Corral, L.; Janes, A.; & Remencius, T; (2012) Potential advantages and disadvantages of multiplatform development
frameworks – A vision on mobile environments. In Proceedings of the 3rd International Workshop on Service Discovery and
Composition in Ubiquitous and Pervasive Environments (SUPE 2012), in connection with MobiWIS 2012. Procedia Computer
Science, vol. 10. pp. 1202-1207. Elsevier. ISSN: 1877-0509. doi:10.1016/j.procs.2012.06.173
- Corral, L.; Sillitti, A.; Succi, G.; Strumpflohner, J.; & Vlasenko, J; (2012) DroidSense: a mobile tool to analyze software
development processes by measuring team proximity. In Proceedings of the 50th international conference on Objects, Models,
Components, Patterns (TOOLS 2012). Lecture Notes in Computer Science, vol. 7304. pp. 17-33. Springer-Verlag Berlin /
Heidelberg. ISBN: 978-3-642-30560-3. doi:10.1007/978-3-642-30561-0_3
- Corral, L.; Janes, A.; Remencius, T.; Strumplofhner, J,; & Vlasenko, J.; (2012) A Novel Application of Open Source
Technologies to Measure Agile Software Development Process. In Proceedings of the 8th International Conference on Open
Source Systems (OSS 2012). Hammamet, Tunisia. IFIP AICT 378. ISBN: 978-3-642-33441-2. pp. 316-321. Springer-Verlag
Berlin / Heidelberg. doi:10.1007/978-3-642-33442-9_28

2011
- Corral, L.; Sillitti, A.; Succi, G.; Garibbo, A.; & Ramella, P; (2011) Evolution of mobile software development from platformspecific
to web-based multiplatform paradigm. In Proceedings of the 10th SIGPLAN symposium on new ideas, new paradigms,
and reflections on programming and software (ONWARD 2011). pp. 181-183. ACM. ISBN: 978-1-4503-0941-7.
doi:10.1145/2048237.2157457
- Corral, L.; Sillitti, A.; & Succi, G.; (2011) Preparing mobile software development processes to meet mission-critical
requirements. In Proceedings of the 2nd Annual Workshop on Software Engineering for Mobile Application Development. In
conjunction with MOBICASE 2011. pp. 9-11.
- Corral, L.; Sillitti, A.; & Succi, G.; (2011) Managing TETRA channel communications in Android. In Proceedings of the 13th
International Conference of Enterprise Information Systems (ICEIS 2011). vol. 3. pp. 307-312. SciTePress. ISBN: 978-989-
8425-55-3.
- Jacques, F.A.; Corral, L.R.; & Rodriguez, G.; (2011) A Decision Support System for Hypertext-Based Teaching and Learning
Systems. In Proceedings of the Eighth International Conference on Information Technology: New Generations (ITNG 2011).
pp. 1056-1057. IEEE. ISBN: 978-0-7695-4367-3. doi:10.1109/ITNG.2011.185
2010
- Corral, Luis R. The Instruction of Software Quality Standards and its Impact on the Qualification of Human Resources for the
Aerospace Industry. In Proceedings of The 2010 National Conference of Mechatronics and Intelligent Technology. CONAMTI
2010. Institute of Technology of Huichapan. Huichapan, Mexico. ISBN 978-607-95556-0-3. pp. 22-29.
- Corral, Luis R. Educational Techniques and Classroom Experience on Multimedia Systems Development by Journalism and
Communication Undergraduate Students. In Proceedings of The 2010 International Conference on Software Engineering:
Theory and Practice SETP 2010. International Society for Research in Science and Technology. Orlando, Florida, United
States of America. ISBN 978-1-60651-023-0. pp. 62-67.
II. Conference, Workshop and Academic Talks without Proceedings
2013
- Corral, L. Agile software development processes for mobile environments. UNAM Mobile Series of Seminars. National
Autonomous University of Mexico (UNAM). April 18, 2013. Mexico City, Mexico. (Invited)
- Corral, L. Research, Development and Assurance of Mobile Software Applications. Faculty of Informatics, Autonomous
University of Queretaro, Mexico (UAQ). March 19, 2013. Queretaro, Mexico. (Invited)
- Corral, L. Researching on Mobile Software Engineering and other options for Graduate School. Institute of Technology of
Queretaro, Mexico (ITQ). March 14, 2013. Queretaro, Mexico. (Invited)
2012
- Corral, L. A Strategy to Assure the Quality of the Mobile Software Product. 2012 Alpine Software Engineering Workshop.
Faculty of Computer Science, Free University of Bozen-Bolzano. December 2012. Ortisei, Italy.
- Corral, L. A Quality Assurance Model for Mobile Applications. 2012 Winter Seminar. Faculty of Computer Science, Free
University of Bozen-Bolzano. January 16-17, 2012. Brunico/Bruneck, Italy.
2011
- Corral, L. A Quality Assurance Model for Mobile Applications. 2011 Alpine Software Engineering Workshop. Faculty of
Computer Science, Free University of Bozen-Bolzano. December 4-6, 2011. Corvara, Italy.
- Corral, L., Sillitti, A., Succi, G. Preparing Mobile Software Development Processes to Meet Mission-Critical Requirements. 2nd
Annual Workshop on Software Engineering for Mobile Application Development. In conjunction with MOBICASE 2011. Santa
Monica, California. United States of America. pp. 9-11. (Refereed)
2010
- Corral, Luis R. Incorporation of New Technologies to the Instruction of Undergraduate Students of Communication and
Journalism. 2010 Meeting of the Latin-American Federation of Faculties of Social Communication Science. FELAFACS 2010.
San Francisco, California. United States of America. (Peer Reviewed)
- Corral, Luis R. Software Quality Standards in the Curricula of Graduate Programs at the Autonomous University of Querétaro.
The 2010 International Conference for Aeronautical Industry in Querétaro. AEROQRO 2010. Centre for Applied Science and
Advanced Technology. Society of Automotive Engineers (SAE). Querétaro, Mexico. (Peer Reviewed, Proceedings in CD)
2009
- Corral, Luis R. Importance of Quality Assurance in the Development of Software for Airborne Applications. The 2009
International Conference on Software Quality. ICSQ 2009. American Society for Quality. Chicago, Illinois, United States of
America. (Peer Reviewed, Proceedings in CD)
- Corral, Luis R. Software Quality in Aviation Industry. 4th International Congress in Information and Telecommunications
Technology Trends. 2009. Autonomous University of Querétaro, Mexico. (Invited Keynote)
2008
- Corral, Luis R. Multimedia Systems Development for Communication and Journalism Undergraduate Students Based on
Waterfall and Incremental Models. 1st Congress of Research in Communications Science. 2008. Autonomous University of
Querétaro, Mexico. (Invited)

Research and Lecturing Interests
Mobile software engineering.
Software quality standards, Software process and product quality assurance.
Application critical software: medical, aerospace, defense, rail and power plant systems.
Professional Certifications and Memberships
Certified Software Quality Engineer. 2008. The American Society for Quality. Certificate 4125.
ISO-9001 Quality Internal Auditor. 2005. Department of Labor of México. Certificate 005010121.
Six Sigma Green Belt. 2003. General Electric. Certificate 155426-173180.
The American Society for Quality (ASQ). Software Division. Member number: 63688637.
Association for Computer Machinery (ACM). Student Member. Member number: 1469213.
5. Grants, Awards and Recognition
Full Ph.D. Grant. First ranked for the 26 th Academic Cycle. Awarded by the Libera Università di Bolzano, Italia.
Travel Grant to attend ICSE 2013. Awarded by ACM/SIGSOFT CAPS Funding.
Travel Grant to attend SPLASH 2012. Awarded by ACM Student Volunteering Funding.
Travel Grant to attend SETP 2010. Awarded by the State Council of Science and Technology of Querétaro, México.
External Focus Award, Business Productivity Award. Recognizing outstanding collaboration in control software activities to
obtain the FAA certification of the CF34 aircraft engine. GE-Aviation. 2007, 2006.
Award to the Best Engineering Students of México. Representing the State of Querétaro. Granted by the National
Association of Engineering Schools, México. 2003.
Award to the Best Computer Systems Engineering Undergraduate Student. Awarded by the Querétaro Institute of
Technology, México. 2003.
First Place in Local Round of the National Creativity Contest. Presenting the project “Foot Mouse for Physically
Challenged People”. Awarded by the Institute of Technology of Querétaro, México. 2002.
6. Training
CASE Summer School on Experimental Software Engineering. 2013. Libera Università di Bolzano, Bolzano, Italia.
CASE Summer School on Experimental Software Engineering. 2012. Libera Università di Bolzano, Bolzano, Italia.
International Summer School on Software Engineering. 2012. Università di Salerno, Italia.
International Open Source Summer School. 2012. Università della Insubria, Como, Italia.
LASER Summer School on Software Engineering. 2011. Federal Institute of Technology of Zurich. Procchio, Italia.
CASE Summer School on Experimental Software Engineering. 2011. Libera Università di Bolzano, Bolzano, Italia.
Bertinoro International Summer School on Computer Science. 2011. Università di Bologna, Bertinoro, Italia.
ASQ Software Quality Engineering. 2008. The American Society for Quality, Cincinnati, Ohio, U.S.A.
ASQ Software Testing and Testing Management. 2008. The American Society for Quality. Atlanta, Georgia, U.S.A.
RTCA/DO-178B. 2007. High Rely Inc. Querétaro, México.
Six Sigma DMAIC Certification Workshop. 2003. General Electric. Querétaro, México.
7. Languages
Spanish: Native tongue
English: Proficient. Common use of English language in work environment. (TOEFL 602)
Italian: Good. Completed Levels B2, B1, A2, and A1 at the Free University of Bozen-Bolzano.
Last updated: November 14 th , 2013.