German Eduardo Vega Baez
Publications
Publications
|
|
An iterative formal model-driven approach to railway systems validation28th 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⟩ |
Active Inference of Extended Finite State Models of Software SystemsICGI 2023, 2023, Rabat, Morocco. pp.265-269 |
|
Active Inference of EFSMs Without ResetICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩ |
|
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⟩ |
|
|
|
Evaluating Federated Learning for human activity recognitionWorkshop AI for Internet of Things, in conjunction with IJCAI-PRICAI 2020, Jan 2021, Yokohama, Japan |
|
|
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 |
|
|
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⟩ |
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 |
|
|
|
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⟩ |
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 |
|
Conflict Management in Service-Oriented Pervasive Platforms2017 IEEE International Conference on Services Computing (SCC), Jun 2017, Honolulu, France. pp.249-256 |
|
Device installation in smart homes2017 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), Mar 2017, Kona, France. pp.74-75 |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
Autonomic Management of Pervasive Context13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Würzbourg, Germany. ⟨10.1109/ICAC.2016.64⟩ |
|
|
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⟩ |
|
|
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 |
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 |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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 |
|
|
|
Resource Management for Pervasive SystemsWESOA'12 - International Workshop on Engineering Service-Oriented Applications, Nov 2012, Shanghai, China. pp.x-x |
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⟩ |
|
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 |
|
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 |
|
Service specification and validation in the context of the home10th International Conference on Feature Interactions (ICFI 2009), 2009, Lisbon, Portugal. pp.207-219 |
|
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⟩ |
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⟩ |
|
|
|
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⟩ |
XWARE—A customizable interoperability framework for pervasive computing systemsPervasive and Mobile Computing, 2018, 47, pp.13-30. ⟨10.1016/j.pmcj.2018.03.005⟩ |
|
|
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 : ⟩ |