Germán Vega

According to our database, Germán Vega authored at least 53 papers between 2001 and 2024.

Collaborative distances:

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

2024

Learning EFSM Models with Registers in Guards.

Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão

CoRR, 2024

An Iterative Formal Model-Driven Approach to Railway Systems Validation.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

2023

Active Inference of Extended Finite State Models of Software Systems.

Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw

Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.

Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw

Proceedings of the Formal Methods and Software Engineering, 2023

A Process-Centric Approach to Insider Threats Identification in Information Systems.

Akram Idani, Yves Ledru, Germán Vega

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

A Formal MDE Framework for Inter-DSL Collaboration.

Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega

Proceedings of the Coordination Models and Languages, 2023

2022

Evaluation and comparison of federated learning algorithms for Human Activity Recognition on smartphones.

Sannara Ek, François Portet, Philippe Lalanda, Germán Vega

Pervasive Mob. Comput., 2022

Federated Continual Learning through distillation in pervasive computing.

Anastasiia Usmanova, François Portet, Philippe Lalanda, Germán Vega

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

Federated Learning and catastrophic forgetting in pervasive computing: demonstration in HAR domain.

Anastasiia Usmanova, François Portet, Philippe Lalanda, Germán Vega

Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022

Revisiting Ontology Evolution Patterns - A Formal xDSL Approach.

Akram Idani, Rim Djedidi, Germán Vega

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

2021

An SMT-based approach for generating trace examples and counter-examples of parametric properties.

Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega

Int. J. Crit. Comput. Based Syst., 2021

A distillation-based approach integrating continual learning and federated learning for pervasive services.

Anastasiia Usmanova, François Portet, Philippe Lalanda, Germán Vega

CoRR, 2021

Architecture and pervasive platform for machine learning services in Industry 4.0.

Philippe Lalanda, Germán Vega, Humberto Cervantes, Denis Morand

Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021

A Federated Learning Aggregation Algorithm for Pervasive Computing: Evaluation and Comparison.

Sannara Ek, François Portet, Philippe Lalanda, Germán Vega

Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications, 2021

Artifact: A Federated Learning Aggregation Algorithm for Pervasive Computing: Evaluation and Comparison.

Sannara Ek, François Portet, Philippe Lalanda, Germán Vega

Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021

2020

Alliance of model-driven engineering with a proof-based formal approach.

Akram Idani, Yves Ledru, Germán Vega

Innov. Syst. Softw. Eng., 2020

Evaluation of federated learning aggregation algorithms: application to human activity recognition.

Sannara Ek, François Portet, Philippe Lalanda, Germán Vega

Proceedings of the UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, 2020

2019

Applying Formal Reasoning to Model Transformation: The Meeduse solution.

Akram Idani, Germán Vega, Michael Leuschel

Proceedings of the 12th Transformation Tool Contest, 2019

Autonomic context management in interoperable pervasive platforms.

Philippe Lalanda, Germán Vega, Felix Maximilian Roth, Christian Becker

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Service-Oriented Pervasive Platform Supporting Machine Learning Applications in Smart Buildings.

Philippe Lalanda, Dan Wang, Germán Vega, Humberto Cervantes, Moustapha A. Khalid

Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

2018

XWARE - A customizable interoperability framework for pervasive computing systems.

Felix Maximilian Roth, Christian Becker, Germán Vega, Philippe Lalanda

Pervasive Mob. Comput., 2018

An Environment for the ParTraP Trace Property Language (Tool Demonstration).

Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet

Proceedings of the Runtime Verification - 18th International Conference, 2018

2017

Device installation in smart homes.

Catherine Hamon, Vincent Lestideau, Germán Vega, Philippe Lalanda

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Context-based conflict management in pervasive platforms.

Rania Ben Hadj, Catherine Hamon, Stéphanie Chollet, Germán Vega, Philippe Lalanda

Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Conflict Management in Service-Oriented Pervasive Platforms.

Philippe Lalanda, Rania Ben Hadj, Catherine Hamon, Germán Vega

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

A model-based approach to context management in pervasive platforms.

Colin Aygalinc, Eva Gerbert-Gaillard, Germán Vega, Philippe Lalanda, Stéphanie Chollet

Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

Service-Oriented Autonomic Pervasive Context.

Colin Aygalinc, Eva Gerbert-Gaillard, Germán Vega, Philippe Lalanda

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Autonomic Management of Pervasive Context.

Colin Aygalinc, Eva Gerbert-Gaillard, Germán Vega, Philippe Lalanda

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Autonomic Service-Oriented Context for Pervasive Applications.

Colin Aygalinc, Eva Gerbert-Gaillard, Germán Vega, Philippe Lalanda, Stéphanie Chollet

Proceedings of the IEEE International Conference on Services Computing, 2016

2013

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.

Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Resource Management for Pervasive Systems.

Jacky Estublier, Germán Vega, Elmehdi Damou

Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

Building reliable dynamic applications for ubiquitous computing.

Jacky Estublier, Germán Vega

Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013

2012

Coevolution assistance for enterprise architecture models.

Hector Florez, Mario E. Sánchez, Jorge Villalobos, Germán Vega

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Test suite selection based on traceability annotations.

Yves Ledru, Germán Vega, Taha Triki, Lydie du Bousquet

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Managing mutiple applications in a service platform.

Jacky Estublier, Germán Vega

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Reconciling Components and Services: The Apam Component-Service Platform.

Jacky Estublier, Germán Vega

Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2010

Assertion-based test oracles for home automation systems.

Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

2009

Evolution Control in MDE Projects: Controlling Model and Code Co-evolution.

Jacky Estublier, Thomas Leveque, Germán Vega

Proceedings of the Fundamentals of Software Engineering, 2009

Service specification and validation in the context of the home.

Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

Flexible Composites and Automatic Component Selection for Service-Based Applications.

Jacky Estublier, Idrissa Abdoulaye Dieng, Eric Simon, Germán Vega

Proceedings of the ENASE 2009, 2009

Extensibility and Modularity for Model Driven Engineering Environments.

Thomas Leveque, Jacky Estublier, Germán Vega

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

Domain Specific Engineering Environments.

Jacky Estublier, Germán Vega, Philippe Lalanda, Thomas Leveque

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Management of Composites in Software Engineering Environments.

Jacky Estublier, Germán Vega, Thomas Leveque

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Reconciling software configuration management and product data management.

Jacky Estublier, Germán Vega

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

SEEMP: An Semantic Interoperability Infrastructure for e-Government Services in the Employment Sector.

Emanuele Della Valle, Dario Cerizza, Irene Celino, Jacky Estublier, Germán Vega, Mick Kerrigan, Jaime Ramírez, Boris Villazón-Terrazas, Pascal Guarrera, Gang Zhao, Gabriella Monteleone

Proceedings of the Semantic Web: Research and Applications, 2007

SEEMP: Meaningful Service-Based Collaboration Among Labour Market Actors.

Emanuele Della Valle, Dario Cerizza, Irene Celino, Jacky Estublier, Germán Vega, Mick Kerrigan, Jaime Ramírez, Boris Villazón-Terrazas, Pascal Guarrera, Gang Zhao, Gabriella Monteleone

Proceedings of the Business Information Systems, 10th International Conference, 2007

2006

Relationships for Domain Reuse and Composition.

Jacky Estublier, Anca Daniela Ionita, Germán Vega

J. Res. Pract. Inf. Technol., 2006

2005

Développement d'Applications à Grande Echelle par Composition de Méta-Modèles. (Composing Domain-Specific Meta-Models for Large-Scale Software Engineering).

Germán Eduardo Vega Baez

PhD thesis, 2005

Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications.

Jacky Estublier, Germán Vega, Anca Daniela Ionita

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Reuse and variability in large software applications.

Jacky Estublier, Germán Vega

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

A Domain Composition Approach.

Jacky Estublier, Anca Daniela Ionita, Germán Vega

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2003

An Approach and Framework for Extensible Process Support System.

Jacky Estublier, Jorge Villalobos, Anh-Tuyet Le, Sonia Sanlaville, Germán Vega

Proceedings of the Software Process Technology, 9th International Workshop, 2003

2001

Defining and Supporting Concurrent Engineering Policies in SCM.

Jacky Estublier, Sergio Cárdenas-García, Germán Vega

Proceedings of the Software Configuration Management, 2001