Access content directly

German Eduardo Vega Baez

33
Documents
Researcher identifiers
Contact

Research domains


Publications

Active Inference of Extended Finite State Models of Software Systems

Roland Groz , Catherine Oriat , German Eduardo Vega Baez , Adenilso Simao , Michael Foster
ICGI 2023, 2023, Rabat, Morocco. pp.265-269
Conference papers hal-04548700v1

Active Inference of EFSMs Without Reset

Michael Foster , Roland Groz , Catherine Oriat , Adenilso Simao , Germán Vega
ICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩
Conference papers 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⟩
Conference papers hal-03968735v1
Image document

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
Conference papers hal-03207411v1
Image document

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
Conference papers hal-03102880v1
Image document

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⟩
Conference papers 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
Conference papers hal-03265298v1
Image document

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

Ansem Ben Cheikh Ben Cheikh , Yoann Blein , Salim Chehida , German Vega , Yves Ledru
Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩
Conference papers hal-02004420v1

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
Conference papers hal-02014699v1

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
Conference papers 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
Conference papers hal-01898642v1
Image document

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⟩
Conference papers hal-01370442v1
Image document

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⟩
Conference papers hal-01378643v1
Image document

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⟩
Conference papers hal-01370467v1
Image document

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⟩
Conference papers hal-01378628v1

TASCCC - Project and Testing Tool (poster)

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Lydie Du Bousquet , Taha Triki
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
Conference papers 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 Vega
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.NC, ⟨10.1109/ICST.2013.60⟩
Conference papers 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⟩
Conference papers hal-01370503v1
Image document

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 Vega
ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track, Jan 2013, Luxembourg. pp.431 - 438
Conference papers hal-00931649v1

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
Conference papers hal-00953274v1

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⟩
Conference papers hal-00857298v1
Image document

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⟩
Conference papers hal-00745556v1
Image document

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⟩
Conference papers hal-00745561v1
Image document

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
Conference papers hal-00745330v1

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⟩
Conference papers 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
Conference papers hal-00941838v1

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
Conference papers hal-00941831v1

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⟩
Conference papers hal-00941588v1

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
Conference papers hal-00953584v1
Image document

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 : ⟩
Theses tel-00011325v1