German Eduardo Vega Baez

34
Documents
Contact

Publications

Publications

Deposit thumbnail

An iterative formal model-driven approach to railway systems validation

Asfand Yar , Akram Idani , Yves Ledru , Simon Collart-Dutilleul , Amel Mammar et 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 Foster et 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 Vega et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Ansem Ben Cheikh Ben Cheikh , Yoann Blein , Salim Chehida , German Vega , Yves Ledru et 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

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et 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

TASCCC - Project and Testing Tool (poster)

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Lydie Du Bousquet , Taha Triki et 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 Vega et 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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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

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

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

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