German Eduardo Vega Baez
31
Documents
Identifiants chercheurs
- german-vega-baez
- 0000-0002-3652-8945
- IdRef : 097576573
- Google Scholar : https://scholar.google.fr/citations?user=607vGvsAAAAJ
Domaines de recherche
Publications
Revisiting Ontology Evolution PatternsAdvances 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 recognitionWorkshop 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 Comparison19th 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 RecognitionUbiComp/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 solution12th 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)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 platforms2017 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 Platforms2017 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 homes2017 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 Management of Pervasive Context13th 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
|
|
Service-Oriented Autonomic Pervasive Context14th 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
|
|
A model-based approach to context management in pervasive platforms2016 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
|
|
Autonomic Service-Oriented Context for Pervasive Applications13th 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
|
|
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing ToolICST 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)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
|
|
Building reliable dynamic applications for ubiquitous computing2013 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 Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool2013 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
|
|
|
Resource Management for Pervasive SystemsWESOA'12 - International Workshop on Engineering Service-Oriented Applications, Nov 2012, Shanghai, China. pp.x-x
Communication dans un congrès
hal-00745330v1
|
|
Managing Multiple Applications in a Service PlatformPESOS 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
|
|
Reconciling Components and Services: The Apam Component-Service PlatformIEEE 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 AnnotationsASE 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)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
|
|
Assertion-based test oracles for home automation systemsProceedings 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
|
|
Service specification and validation in the context of the home10th 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 Environments16th 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
|
|
Evolution control in MDE projects: Controlling model and code co-evolutionThird 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 applications4th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE), May 2009, Milan, Italy
Communication dans un congrès
hal-00941838v1
|
An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric PropertiesInternational 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 approachInnovations 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 systemsPervasive and Mobile Computing, 2018, 47, pp.13-30
Article dans une revue
hal-02023356v1
|
|
Développement d'Applications à Grande Echelle par Composition de Méta-ModèlesGénie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Thèse
tel-00011325v1
|