German Eduardo Vega Baez

Identifiants chercheurs

IdHAL :

german-vega-baez

ORCID :

0000-0002-3652-8945

IdRef :

097576573

arXiv :

vega_g_1

VIAF :

219457691

Publications

Pré-publication, Document de travail (1)

Active Inference of Extended Finite State Machine Models with Registers and Guards Roland Groz,German Eduardo Vega Baez,Adenilso Simao,Catherine Oriat,Neil Walkinshawet al. 2026 Pré-publication, Document de travail hal-05597228v2

Communication dans un congrès (30)

An iterative formal model-driven approach to railway systems validation Asfand Yar,Akram Idani,Yves Ledru,Simon Collart-Dutilleul,Amel Mammaret al. 28th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2024, Limassol (Chypre), Cyprus. pp.272 - 289, ⟨10.1007/978-3-031-66456-4_15⟩ Communication dans un congrès hal-04731687v1
Active Inference of Extended Finite State Models of Software Systems Roland Groz,Catherine Oriat,German Eduardo Vega Baez,Adenilso Simao,Michael Fosteret al. ICGI 2023, 2023, Rabat, Morocco. pp.265-269 Communication dans un congrès hal-04548700v1
Active Inference of EFSMs Without Reset Michael Foster,Roland Groz,Catherine Oriat,Adenilso Simao,Germán Vegaet al. ICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩ Communication dans un congrès hal-04548653v1
Revisiting Ontology Evolution Patterns Akram Idani,Rim Djedidi,German Eduardo Vega Baez Advances in Model and Data Engineering in the Digitalization, 2022, Caire, Egypte, Egypt. pp.165-178, ⟨10.1007/978-3-031-23119-3_12⟩ Communication dans un congrès hal-03968735v1
Evaluating Federated Learning for human activity recognition Sannara Ek,François Portet,Philippe Lalanda,German Eduardo Vega Baez Workshop AI for Internet of Things, in conjunction with IJCAI-PRICAI 2020, Jan 2021, Yokohama, Japan Communication dans un congrès hal-03102880v1
A Federated Learning Aggregation Algorithm for Pervasive Computing: Evaluation and Comparison Sannara Ek,François Portet,Philippe Lalanda,German Vega 19th IEEE International Conference on Pervasive Computing and Communications PerCom 2021, Mar 2021, Kassel (virtual), Germany Communication dans un congrès hal-03207411v1
Evaluation of Federated Learning Aggregation Algorithms Application to Human Activity Recognition Sannara Ek,François Portet,Philippe Lalanda,German Vega UbiComp/ISWC '20: 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2020 ACM International Symposium on Wearable Computers, Sep 2020, Virtual Event Mexico, France. pp.638-643, ⟨10.1145/3410530.3414321⟩ Communication dans un congrès hal-02941944v1
Applying Formal Reasoning to Model Transformation: The Meeduse solution Akram Idani,German Eduardo Vega Baez,Michael Leuschel 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, 2019, Amsterdam, Netherlands Communication dans un congrès hal-03265298v1
An Environment for the ParTraP Trace Property Language (Tool Demonstration) Ansem Ben Cheikh Ben Cheikh,Yoann Blein,Salim Chehida,German Vega,Yves Ledruet al. Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩ Communication dans un congrès hal-02004420v1
Conflict Management in Service-Oriented Pervasive Platforms Philippe Lalanda,Rania Ben Hadj,Catherine Hamon,German Vega 2017 IEEE International Conference on Services Computing (SCC), Jun 2017, Honolulu, France. pp.249-256 Communication dans un congrès hal-02023427v1
Context-based conflict management in pervasive platforms Rania Ben Hadj,Catherine Hamon,Stéphanie Chollet,German Eduardo Vega Baez,Philippe Lalanda 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2017, Mar 2017, Kona, Big Island, HI, United States Communication dans un congrès hal-01898642v1
Device installation in smart homes Catherine Hamon,Vincent Lestideau,German Vega,Philippe Lalanda 2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), Mar 2017, Kona, France. pp.74-75 Communication dans un congrès hal-02014699v1
Autonomic Service-Oriented Context for Pervasive Applications Colin Aygalinc,Gerbert-Gaillard Eva,German Vega,Philippe Lalanda,Stéphanie Chollet 13th IEEE International Conference on Services Computing, Jun 2016, San Fransisco, CA, United States. ⟨10.1109/SCC.2016.70⟩ Communication dans un congrès hal-01370442v1
Service-Oriented Autonomic Pervasive Context Colin Aygalinc,Eva Gerbert-Gaillard,German Vega,Philippe Lalanda 14th International Conference on Service Oriented Computing, Oct 2016, Banff, Canada. pp.795-809, ⟨10.1007/978-3-319-46295-0_56⟩ Communication dans un congrès hal-01378643v1
Autonomic Management of Pervasive Context Colin Aygalinc,Gerbert-Gaillard Eva,German Vega,Philippe Lalanda 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Würzbourg, Germany. ⟨10.1109/ICAC.2016.64⟩ Communication dans un congrès hal-01378628v1
A model-based approach to context management in pervasive platforms Colin Aygalinc,Eva Gerbert-Gaillard,German Vega,Philippe Lalanda,Stéphanie Chollet 2016 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom 2016), Mar 2016, Sydney, Australia. pp.258-264, ⟨10.1109/PERCOMW.2016.7457109⟩ Communication dans un congrès hal-01370467v1
TASCCC - Project and Testing Tool (poster) Frédéric Dadeau,Kalou Cabrera Castillos,Yves Ledru,Lydie Du Bousquet,Taha Trikiet al. Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198 Communication dans un congrès hal-00974765v1
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,German Vegaet al. ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track, Jan 2013, Luxembourg. pp.431 - 438 Communication dans un congrès hal-00931649v1
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,German Vegaet al. 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.NC, ⟨10.1109/ICST.2013.60⟩ Communication dans un congrès hal-00831534v1
Building reliable dynamic applications for ubiquitous computing Jacky Estublier,German Vega 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS), May 2013, San Francisco, United States. ⟨10.1109/PESOS.2013.6635973⟩ Communication dans un congrès hal-01370503v1
Test Suite Selection Based on Traceability Annotations Yves Ledru,German Eduardo Vega Baez,Taha Triki,Lydie Du Bousquet ASE 2012 - International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.342-345, ⟨10.1145/2351676.2351742⟩ Communication dans un congrès hal-00857298v1
Reconciling Components and Services: The Apam Component-Service Platform Jacky Estublier,German Vega IEEE SCC 2012 - International Conference on Service Computing, Jun 2012, Honolulu, HI, United States. pp.683-684, ⟨10.1109/SCC.2012.14⟩ Communication dans un congrès hal-00745556v1
Managing Multiple Applications in a Service Platform Jacky Estublier,German Vega PESOS 2012 - International Workshop on Principles of Engineering Service-Oriented Systems, Jun 2012, Zurich, Switzerland. pp.36-42, ⟨10.1109/PESOS.2012.6225937⟩ Communication dans un congrès hal-00745561v1
Tobias on-line tool for combinatorial software testing (poster and demo) Lydie Du Bousquet,Yves Ledru,Taha Triki,German Eduardo Vega Baez Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.217 Communication dans un congrès hal-00953274v1
Resource Management for Pervasive Systems Jacky Estublier,German Vega,Elmehdi Damou WESOA'12 - International Workshop on Engineering Service-Oriented Applications, Nov 2012, Shanghai, China. pp.x-x Communication dans un congrès hal-00745330v1
Evolution control in MDE projects: Controlling model and code co-evolution Jacky Estublier,Thomas Lévêque,German Vega Third IPM International Conference on Fundamentals of Software Engineering, Apr 2009, Kish Island, Iran. pp.431-438 Communication dans un congrès hal-00941831v1
Assertion-based test oracles for home automation systems Ajitha Rajan,Lydie Du Bousquet,Yves Ledru,German Eduardo Vega Baez,Jean-Luc Richier Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, New York, NY, United States. pp.45-52, ⟨10.1145/1865875.1865882⟩ Communication dans un congrès hal-00953393v1
Flexible composites and automatic component selection for service-based applications Idrissa Abdoulaye Dieng,Jacky Estublier,Eric Simon,German Vega 4th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE), May 2009, Milan, Italy Communication dans un congrès hal-00941838v1
Service specification and validation in the context of the home Lydie Du Bousquet,Ajitha Rajan,Catherine Oriat,Jean-Luc Richier,German Eduardo Vega Baez 10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. pp.207-219 Communication dans un congrès hal-00953584v1
Extensibility and Modularity for Model Driven Engineering Environments Thomas Lévêque,Jacky Estublier,German Vega 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Apr 2009, San Francisco, CA, United States. pp.305-314, ⟨10.1109/ECBS.2009.16⟩ Communication dans un congrès hal-00941588v1

Article dans une revue (3)

An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties Salim Chehida,Yves Ledru,Yoann Blein,German Eduardo Vega Baez International Journal of Critical Computer-Based Systems, 2021, ⟨10.1504/IJCCBS.2021.117997⟩ Article dans une revue hal-03257052v1
Alliance of model-driven engineering with a proof-based formal approach Akram Idani,Yves Ledru,German Vega Innovations in Systems and Software Engineering, 2020, 16 (3-4), pp.289-307. ⟨10.1007/s11334-020-00366-3⟩ Article dans une revue hal-02976221v1
XWARE—A customizable interoperability framework for pervasive computing systems Felix Maximilian Roth,Christian Becker,German Vega,Philippe Lalanda Pervasive and Mobile Computing, 2018, 47, pp.13-30. ⟨10.1016/j.pmcj.2018.03.005⟩ Article dans une revue hal-02023356v1

Thèse (1)

Développement d'Applications à Grande Echelle par Composition de Méta-Modèles German Eduardo Vega Baez Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩ Thèse tel-00011325v1