
German Eduardo Vega Baez
34
Documents
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⟩
Communication dans un congrès
hal-04731687
v1
|
Active Inference of Extended Finite State Models of Software SystemsICGI 2023, 2023, Rabat, Morocco. pp.265-269
Communication dans un congrès
hal-04548700
v1
|
|
Active Inference of EFSMs Without ResetICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩
Communication dans un congrès
hal-04548653
v1
|
|
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-03968735
v1
|
|
|
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-03102880
v1
|
|
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-03207411
v1
|
|
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-02941944
v1
|
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-03265298
v1
|
|
|
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-02004420
v1
|
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-01898642
v1
|
|
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-02023427
v1
|
|
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-02014699
v1
|
|
|
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-01370467
v1
|
|
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-01370442
v1
|
|
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-01378643
v1
|
|
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-01378628
v1
|
|
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-00931649
v1
|
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-00974765
v1
|
|
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-01370503
v1
|
|
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-00831534
v1
|
|
|
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-00745561
v1
|
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-00857298
v1
|
|
|
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-00745556
v1
|
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-00953274
v1
|
|
|
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-00745330
v1
|
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-00953393
v1
|
|
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-00941831
v1
|
|
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-00941588
v1
|
|
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-00941838
v1
|
|
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-00953584
v1
|
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-03257052
v1
|
|
|
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-02976221
v1
|
XWARE—A customizable interoperability framework for pervasive computing systemsPervasive and Mobile Computing, 2018, 47, pp.13-30. ⟨10.1016/j.pmcj.2018.03.005⟩
Article dans une revue
hal-02023356
v1
|
|
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-00011325
v1
|
Chargement...
Chargement...