‹Programming› 2017 (series) / Nicolás Cardozo
Registered user since Mon 5 Jan 2015
Name:Nicolás Cardozo
Bio:
I have been working on adaptive systems for the last couple of years. Currently I am approaching adaptive systems from programming language perspective, working on development (programming language design), verification (partial, and incremental techniques), and application (smart environments, CPS, and IoT) of these systems.
Country:Colombia
Affiliation:Universidad de los Andes
Personal website: https://profesores.virtual.uniandes.edu.co/ncardozo/
Research interests:Adaptive systems, Context-oriented programing, Dynamic analysis and verification
Contributions
2017
Live Adaptation of Software SYstems
- Committee Member in Organizing Committee within the LASSY 2017-track
- Welcome
- Managing the Context Interaction Problem : A Classification of Conflict Resolution Techniques in Dynamically Adaptive Software Systems
- A Rollback Mechanism to Recover from Software Bugs in Role-based Adaptive Software Systems
- Discussion and closing remarks
‹Programming› 2017-profile
View general profile
View general profile