Follow
Andrés Paz
Andrés Paz
MANNARINO Systems & Software, Inc.
Verified email at ens.etsmtl.ca
Title
Cited by
Cited by
Year
Desarrollo e Instrumentación de un Proceso de Vigilancia Tecnológica basado en Protocolos de Revisión Sistemática de la Literatura
A López, D Méndez, A Paz, H Arboleda
Información tecnológica 27 (4), 155-164, 2016
442016
Metodología para implantar el Modelo Integrado de Capacidad de Madurez en grupos pequeños y emergentes
H Arboleda, A Paz, R Casallas
Estudios Gerenciales 29 (127), 177-188, 2013
28*2013
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
A Paz, G El Boussaidi
Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International …, 2016
202016
A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems
A Paz, H Arboleda
Electronic Notes in Theoretical Computer Science 321, 67-88, 2016
172016
Desarrollo e instrumentacion de un marco de trabajo para generar y gestionar aplicaciones empresariales autoadaptativas
H Arboleda, A Paz, M Jiménez, G Tamura
16*
checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design
A Paz, G El Boussaidi, H Mili
IEEE Transactions on Software Engineering 47 (12), 2713-2739, 2020
102020
Development and Instrumentation of a Framework for the Generation and Management of Self-Adaptive Enterprise Applications
H Arboleda, A Paz, M Jiménez, G Tamura
Ingenieria y Universidad 20 (2), 2016
102016
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL
N Metayer, A Paz, G El Boussaidi
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
92019
Building a software requirements specification and design for an avionics system: an experience report
A Paz, GE Boussaidi
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1262-1271, 2018
92018
Metodología Ágil para equipos pequeños usando plataformas Microsoft
AF Loboguerrero, LC Bueno, HF Arboleda
Sistemas & Telemática 9 (18), 83-99, 2011
9*2011
A requirements modelling language to facilitate avionics software verification and certification
A Paz, G El Boussaidi
2019 IEEE/ACM 6th International Workshop on Requirements Engineering and …, 2019
72019
A framework for the generation and management of self-adaptive enterprise applications
H Arboleda, A Paz, M Jiménez, G Tamura
2015 10th Computing Colombian Conference (10CCC), 55-62, 2015
62015
Towards a framework for deriving platform-independent model-driven software product lines
A Paz, H Arboleda
Ingeniería e Investigación 33 (2), 70-75, 2013
42013
Towards a framework for deriving platform-independent model-driven software product lines
A Paz, H Arboleda
Ingeniería e Investigación 33 (2), 70-75, 2013
42013
Towards a framework for deriving platform-independent model-driven software product lines
A Paz, H Arboleda
Ingeniería e Investigación 33 (2), 70-75, 2013
42013
Discovering Proficiency Levels For CDIO Syllabus Topics Through Stakeholder Differentiation
H Arboleda, A Pachón, A Paz, G Ulloa
CDIO Conference 2013, June 9-13, Cambridge, 2013
42013
Supporting Consistency in the Heterogeneous Design of Safety-Critical Software
A Paz, G El Boussaidi
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
32019
Preliminary Analysis of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification
A Paz, G El Boussaidi
Université du Québec, École de Technologie Supérieure, Montreal, Canada …, 2016
32016
Component-based Java legacy code refactoring
H Arboleda, A Paz, JC Royer
Revista Facultad de Ingeniería Universidad de Antioquia, 104-114, 2013
22013
Breeze through Safety-Critical System Model-Based Design with EMF, Simulink and Stateflow
A Paz, G El Boussaidi
Unpublished manuscript, École de Technologie Supérieure, Montreal, Canada, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20