Camilo Correa

According to our database, Camilo Correa authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.

Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

2022

Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned.

George Bravos, Antonio J. Cabrera, Camilo Correa, Dragan Danilovic, Nikolaos Evangeliou, Gilad Ezov, Zoran Gajica, Dusan Jakovetic, Leonidas Kallipolitis, Milan Lukic, Julien-Etienne Mascolo, Davide Masera, Raúl Mazo, Ivan Mezei, Andreas I. Miaoudakis, Nemanja Milosevic, William Oliff, Jacques Robin, Michail Smyrlis, Georgia Sakellari, Giorgos Stamatis, Dusan Stamenkovic, Srdan Skrbic, Carine Souveyet, Spyridon Vantolas, Giorgos Vasiliadis, Dejan Vukobratovic

IEEE Access, 2022

An Ontology for Software Patterns: Application to Blockchain-Based Software Development.

Nicolas Six, Camilo Correa-Restrepo, Nicolas Herbaut, Camille Salinesi

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2022 Workshops, 2022

2021

SDN Intent-based conformance checking: application to security policies.

Nicolas Herbaut, Camilo Correa, Jacques Robin, Raúl Mazo

Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search.

Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu

Proceedings of the Risks and Security of Internet and Systems, 2021