Andrés Paz

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Topics

Adaptive Systems

Safety Critical

Software Development

Top Venues

ISSRE Workshops

MoDELS (Companion)

Publications

Andrés Paz, Ghizlane El-Boussaidi, Hafedh Mili
checsdm: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design. IEEE Trans. Software Eng. 47 (12) (2021)
Alvine Boaye Belle, Ghizlane El-Boussaidi, Timothy C. Lethbridge, Segla Kpodjedo, Hafedh Mili, Andrés Paz
Systematically reviewing the layered architectural pattern principles and their use to reconstruct software architectures. CoRR (2021)
Andrés Paz, Ghizlane El-Boussaidi
: bridging EMF, simulink and stateflow for model-based design of safety-critical systems. MoDELS (Companion) (2020)
Nicolas Metayer, Andrés Paz, Ghizlane El-Boussaidi
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL. ISSRE Workshops (2019)
Andrés Paz, Ghizlane El-Boussaidi
Supporting Consistency in the Heterogeneous Design of Safety-Critical Software. COMPSAC (1) (2019)
Andrés Paz, Ghizlane El-Boussaidi
A requirements modelling language to facilitate avionics software verification and certification. RET@ICSE (2019)
Andrés Paz, Ghizlane El-Boussaidi
Building a software requirements specification and design for an avionics system: an experience report. SAC (2018)
Andrés Paz, Ghizlane El-Boussaidi
On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification. ISSRE Workshops (2016)
Andrés Paz, Hugo Arboleda
A Model to Guide Dynamic Adaptation Planning in Self-Adaptive Systems. CLEI Selected Papers (2015)