- titre
- Active Inference of Extended Finite State Models of Software Systems
- auteur
- Roland Groz, Catherine Oriat, German Eduardo Vega Baez, Adenilso Simao, Michael Foster, Neil Walkinshaw
- article
- ICGI 2023, 2023, Rabat, Morocco. pp.265-269
- titre
- Revisiting Ontology Evolution Patterns
- auteur
- Akram Idani, Rim Djedidi, German Eduardo Vega Baez
- article
- Advances in Model and Data Engineering in the Digitalization, 2022, Caire, Egypte, Egypt. pp.165-178, ⟨10.1007/978-3-031-23119-3_12⟩
- titre
- An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties
- auteur
- Salim Chehida, Yves Ledru, Yoann Blein, German Eduardo Vega Baez
- article
- International Journal of Critical Computer-Based Systems, 2021, ⟨10.1504/IJCCBS.2021.117997⟩
- titre
- Evaluating Federated Learning for human activity recognition
- auteur
- Sannara Ek, François Portet, Philippe Lalanda, German Eduardo Vega Baez
- article
- Workshop AI for Internet of Things, in conjunction with IJCAI-PRICAI 2020, Jan 2021, Yokohama, Japan
- titre
- Applying Formal Reasoning to Model Transformation: The Meeduse solution
- auteur
- Akram Idani, German Eduardo Vega Baez, Michael Leuschel
- article
- 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, 2019, Amsterdam, Netherlands
- titre
- Context-based conflict management in pervasive platforms
- auteur
- Rania Ben Hadj, Catherine Hamon, Stéphanie Chollet, German Eduardo Vega Baez, Philippe Lalanda
- article
- 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2017, Mar 2017, Kona, Big Island, HI, United States
- titre
- TASCCC - Project and Testing Tool (poster)
- auteur
- Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie Du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard
- article
- 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
- titre
- Test Suite Selection Based on Traceability Annotations
- auteur
- Yves Ledru, German Eduardo Vega Baez, Taha Triki, Lydie Du Bousquet
- article
- ASE 2012 - International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.342-345, ⟨10.1145/2351676.2351742⟩
- titre
- Tobias on-line tool for combinatorial software testing (poster and demo)
- auteur
- Lydie Du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez
- article
- 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
- titre
- Assertion-based test oracles for home automation systems
- auteur
- Ajitha Rajan, Lydie Du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier
- article
- 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⟩
- titre
- Service specification and validation in the context of the home
- auteur
- Lydie Du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Eduardo Vega Baez
- article
- 10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. pp.207-219
- titre
- Développement d'Applications à Grande Echelle par Composition de Méta-Modèles
- auteur
- German Eduardo Vega Baez
- article
- Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩