Publications – Scientific results from the MegaMart2 project

MegaM@Rt2 project results will be disseminated as scientific publications and presentations in conferences (such as, posters, keynote, tutorial, etc.) so that other technology vendors and industrial software development organizations are able to create tools and platforms that exploit or interoperate with MegaM@Rt2 technologies.

In what follows, we list the publications that have been accepted so far in workshops, conferences and journals. We´ll keep updating this list as soon as new publications become available.

 

2019 publications

    1. Exploiting Architecture/Runtime Model-driven Traceability for Antipattern-based Performance Improvement, Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo, Romina Eramo, Michele Tucci, IEEE Int. Conference on Software Architecture (ICSA 2019), 10.1109/ICSA.2019.00017
    2. Automating Performance Antipattern Detection and Software Refactoring, Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo, IEEE Int. Conference on Software Analysis, Evolution and Reengineering (SANER 2019), 10.1109/SANER.2019.8667967
    3. TRILATERAL: Software Product Line based multidomain IoT artifact generation for Industrial CPS, Aitziber Iglesias, Markel Iglesias-Urkia, Beatriz López-Davalillo, Santiago Charramendieta, Aitor Urbieta, International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, 10.5220/0007343500640073
    4. Integrating electrical substations within the IoT using IEC 61850, CoAP and CBOR, Markel Iglesias-Urkia, Diego Casado-Mansilla, Simon Mayer, Josu Bilbao, Aitor Urbieta. 2019. IEEE IoT Journal
    5. On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects – A Preliminary Case Study of the MegaM@Rt2 EU Project. Andrey Sadovykh, Dragos Truscan, Pierluigi Pierini, Gunnar Widforss, Adnan Ashraf, Hugo Bruneliere, Pavel Smrz, Alessandra Bagnato, Wasif Afzal and Alexandra Espinosa Hortelano. Design, Automation and Test in Europe (DATE) Conference, March 2019
    6. Mechanically Proving Determinacy of Hierarchical Block Diagram Translations, Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis. In VMCAI 2019. https://doi.org/10.1007/978-3-030-11245-5_27
    7. Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum Method, V. Muttillo, G. Fiorilli, T. Di Mascio, PARMA-DITAM 2019, 10.1145/3310411.3310412
    8. sOrTES: A Supportive Tool for Stochastic Scheduling of Manual Integration Test Cases, Sahar Tahvili, Rita Pimentel , Wasif Afzal, Marcus Ahlberg , Eric Fornander , Markus Bohlin, 10.1109/ACCESS.2019.2893209, IEEE Access (7)
    9. Automated Functional Dependency Detection Between Test Cases Using Doc2Vec and Clustering, Sahar Tahvili, Leo Hatvani, Michael Felderer, Wasif Afzal, Markus Bohlin, IEEE International Conference on Artificial Intelligence Testing (AITest 2019), DOI 10.1109/AITest.2019.00-13
    10. On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software, Miraldi Fifo , Eduard Paul Enoiu, Wasif Afzal, International Workshop on Combinatorial Testing, 2019
    11. Test Agents: The Next Generation of Test Cases, Eduard Paul Enoiu, Mirgita Frasheri, 2nd IEEE Workshop on NEXt level of Test Automation 2019
    12. Adopting MBSE in Construction Equipment Industry: An Experience Report, Jagadish Suryadevara, Saurabh Tiwari, 25th Asia-Pacific Software Engineering Conference
    13. IntegrationDistiller: Automating Integration Analysis and Testing of Object-Oriented Applications, Mehrdad Saadatmand, 20th IEEE International Conference on Industrial Technology (ICIT2019)
    14. A 2-layer Component-based Allocation for Embedded Systems with GPUs, Gabriel Campeanu, Mehrdad Saadatmand, https://doi.org/10.3390/designs3010006
    15. SPOF – Slave Powerlink on FPGA for smart Sensors and Actuators interfacing for Industry 4.0 applications, G. Valente, V. Muttillo, M. Muttillo, G. Barile, A. Leoni, W. Tiberti, L. Pomante, Energies, https://doi.org/10.3390/en12091633

2018 publications

    1. A Feature-based Survey of Model View Approaches, Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer. ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). https://doi.org/10.1145/3239372.3242895]
    2. Distributing relational model transformation on MapReduce, Amine Benelallam, Abel Gómez, Massimo Tisi, Jordi Cabot, Journal of Systems and Software, Volume 142, 2018, Pages 1-20, ISSN 0164-1212, https://doi.org/10.1016/j.jss.2018.04.014.
    3. Towards Scalable Model Views on Heterogeneous Model Resources, Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot, ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). https://doi.org/10.1145/3239372.3239408
    4. A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks, Jonathan Wik, Johan Ersfolk, Marina Walden, 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018. https://doi.org/10.1109/MEMCOD.2018.8557004
    5. A Systematic Mapping Study on API Documentation Generation Approaches, Kristian Nybom, Adnan Ashraf, Ivan Porres, Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 28-31.8.2018. https://dx.doi.org/10.1109/SEAA.2018.00081
    6. Reasoning about UML/OCL Class Diagrams using Constraint Logic Programming and Formula, Beatriz Perez and Ivan Porres, Information Systems, Volume 81, March 2019, Pages 152-177, 2019. https://doi.org/10.1016/j.is.2018.08.005
    7. Model-Based System Engineering in Practice: Document Generation – MegaM@Rt Project Experience. Andrey Sadovykh, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Orlando Avila-García, Atos Wasif Afzal, Adnan Ashraf. Central and Eastern European Software Engineering Conference Russia (CEE-SECR), October 12-13, 2018. https://dl.acm.org/citation.cfm?doid=3290621.3290633
    8. The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems. Afzal, Wasif and Bruneliere, Hugo and Di Ruscio, Davide and Sadovykh, Andrey and Mazzini, Silvia and Cariou, Eric and Truscan, Dragos and Cabot, Jordi and Gómez, Abel and Gorroñogoitia, Jesús and Pomante, Luigi and Smrz, Pavel.  Microprocessors and Microsystems, Volume 61, September 2018, Pages 86-95, 2018. https://doi.org/10.1016/j.micpro.2018.05.010
    9. Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models. Tanwir Ahmad, Dragos Truscan, Ivan Porres,  Future Generation Computer Systems: The International Journal of Grid Computing: Theory Methods and Applications, Volume 87, October 2018, Pages 910-920, 2018. https://dx.doi.org/10.1016/j.future.2018.01.042
    10. Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap, Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle, Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science, vol 11176. Springer, Cham, https://dx.doi.org/10.1007/978-3-030-04771-9_40
    11. A metamodel for the specification and verification of model refactoring action, Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo, Proceedings of the 2nd International Workshop on  Refactoring (IWoR2018), https://doi.org/10.1145/3242163.3242167
    12. EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring, Davide Arcelli, Vittorio Cortellessa, Mattia D’Emidio, Daniele Di Pompeo,  2018 IEEE Int. Conference on Software Architecture (ICSA), 105-10509, 10.1109/ICSA.2018.00020
    13. Performance-Driven Software Architecture Refactoring, Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo, 2018 IEEE International Conference on Software Architecture Companion (ICSA 2018), 10.1109/ICSA-C.2018.00006
    14. Gremlin-ATL: A scalable model transformation framework, Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), https://doi.org/10.1109/ASE.2017.8115658
    15. Advanced prefetching and caching of models with PrefetchML, Daniel, G., Sunyé, G. & Cabot, J. Softw Syst Model (2018), https://doi.org/10.1007/s10270-018-0671-8
    16. HEPSYCODE-RT: a Real-Time Extension for an ESL HW/SW Co-Design Methodology, V. Muttillo, G. Valente, D. Ciambrone, V. Stoico, and L. Pomante, RAPIDO 2018 , 10.1145/3180665.3180670
    17. Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems,V. Muttillo, G. Valente, and L. Pomante, PARMA-DITAM 2018, 10.1145/3183767.3183782
    18. Criticality-aware Design Space Exploration for Mixed-Criticality Embedded SystemsV. Muttillo, G. Valente, and L. Pomante, ICPE 2018, 10.1145/3185768.3185769
    19. The MegaM@Rt2 ECSEL Project — MegaModelling at Runtime — Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex SystemsWasif Afzal, Hugo Brunelière, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, EPESD 2018, 10.1016/j.micpro.2018.05.010
    20. CC4CS: an Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies, Vittoriano Muttillo, Giacomo Valente, Luigi Pomante, Vincenzo Stoico, Fausto D’Antonio, Fabio Salice, Companion of ICPE 2018, 10.1145/3185768.3186291
    21. HEPSIM: An ESL HW/SW co-simulator/analysis tool for heterogeneous parallel embedded systems, Daniele Ciambrone, Vittoriano Muttillo, Luigi Pomante, Giacomo Valente, MECO 2018, 10.1109/MECO.2018.8406078
    22. Injecting hypervisor-based software partitions into Design Space Exploration activities considering mixed-criticality requirements, Vittoriano Muttillo, Giacomo Valente, MECO 2018, 10.1109/MECO.2018.8406056
    23. Enhanced publish/subscribe in CoAP: Describing advanced subscription mechanisms for the Observe extensionMarkel Iglesias-Urkia, Diego Casado-Mansilla, Simon Mayer and Aitor Urbieta, IOT 2018, 10.1145/3277593.3277594
    24. From Modeling to Test Case Generation in the Industrial Embedded System Domain, Aliya Hussain , Saurabh Tiwari, Jagadish Suryadevara, Eduard Paul Enoiu, MDE@DeRun 2018, https://doi.org/10.1007/978-3-030-04771-9_35
    25. Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS, Sara Ericsson, Eduard Enoiu, QRS 2018, 10.1109/QRS.2018.00055
    26. From Natural Language Requirements to Passive Test Cases using Guarded Assertions, Daniel Flemström, Eduard Paul Enoiu, Wasif Afzal, Daniel Sundmark, Thomas Gustafsson , Avenir Kobetski, QRS 2018, 10.1109/QRS.2018.00060
    27. Improved Traceability for Bidirectional Model Transformations, Romina Eramo, Alfonso Pierantonio, Michele Tucci, MDETools2018
    28. Enhancing the JTL tool for bidirectional transformations, Romina Eramo, Alfonso Pierantonio, Michele Tucci, BX2018, 10.1145/3191697.3191720
    29. Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models, Vittorio Cortellessa, Romina Eramo, Michele Tucci, ICSA 2018, 10.1109/ICSA.2018.00022
    30. A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project, Sadovykh , Andrey and Bagnato, Alessandra and Truscan , Dragos and Pierini , Pierluigi and Bruneliere, Hugo and Gomez, Abel and Cabot, Jordi and Avila-Garcia , Orlando and Afzal, Wasif, SEDA 2018, 10.1007/978-3-030-14687-0\_24
    31. Design Space Exploration for Mixed-Criticality Embedded Systems considering Hypervisor-based SW Partitions, V. Muttillo, G. Valente, L. Pomante, 21st Euromicro Conference on Digital System Design (DSD 2018), 10.1109/DSD.2018.00115
    32. A generic solution for weaving business code into executable models, Eric Cariou, Olivier Le Goaer, Lea Brunschwig, Franck Barbier, Proceedings of MODELS 2018 Workshops
    33. Model-based product line engineering in an industrial automotive context: an exploratory case study, Bilic, Damir and Sundmark, Daniel and Afzal, Wasif and Wallin, Peter and Causevic, Adnan and Amlinger, Christoffer, SPLC 2018, http://doi.acm.org/10.1145/3236405.3237200
    34. ESPRET: A tool for execution time estimation of manual test cases, Sahar Tahvili, Wasif Afzal, Mehrdad Saadatmand, MarkusBohlin, Sharvathul Hasan Ameerjan, Journal of Systems and Software, https://doi.org/10.1016/j.jss.2018.09.003
    35. Functional Dependency Detection for Integration Test Cases, Sahar Tahvili, Marcus Ahlberg , Eric Fornander , Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Mahdi Sarabi, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 10.1109/QRS-C.2018.00047
    36. A System Modeling Approach to Enhance Functional and Software Development, Saurabh Tiwari, Emina Smajlovic , Amina Krekic, Jagadish Suryadevara, STAF 2018 Workshops, https://doi.org/10.1007/978-3-030-04771-9_37
    37. Cluster-Based Test Scheduling Strategies Using Semantic Relationships between Test Specifications, Sahar Tahvili, Leo Hatvani, Michael Felderer , Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, RET ’18, Proceedings of the 5th International Workshop on Requirements Engineering and Testing, 10.1145/3195538.3195540
    38. Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains, Christophe Prévaut, Rafik Henia, Nicolas Sordon, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (37;11), 10.1109/TCAD.2018.2861016
    39. Vulnerability Assessment of Web Services with Model-based Mutation Testing, Siavashi, Faezeh and Truscan, Dragos and Vain, Jüri, IEEE International Conference on Software Quality, Reliability and Security (QRS 2018), https://doi.org/10.1109/QRS.2018.00043
    40. Extracting software product line feature models from natural language specifications, Anjali Sree-Kumar, Elena Planas, and Robert Clarisó, SPLC ’18, 10.1145/3233027.3233029
    41. Applying graph kernels to model-driven engineering problems, Robert Clarisó and Jordi Cabot, Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, https://doi.org/10.1145/3243127.3243128
    42. TemporalEMF: A Temporal Metamodeling FrameworkAbel Gómez, Jordi Cabot, Manuel Wimmer, ER 2018, https://doi.org/10.1007/978-3-030-00847-5_26
    43. Fixing defects in integrity constraints via constraint mutation, Robert Clarisó and Jordi Cabot, 11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018), https://doi.org/10.1109/QUATIC.2018.00020

 

2017 publications

    1. Gremlin-ATL: A scalable model transformation framework, Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), https://doi.org/10.1109/ASE.2017.8115658
    2. A Feature-based Survey of Model View Approaches, Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer, Softw Syst Model, 2017, http://dx.doi.org/10.1007/s10270-017-0622-9
    3. Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-inductionJunaid Iqbal, Dragos Truscan, Jüri Vain, and Ivan Porres, ECBS 2017, https://doi.org/10.1145/3123779.3123813
    4. Short and Long Distance Marker Detection Technique in Outdoor and Indoor Environments for Embedded SystemsÁlvaro Díaz, Daniel Peña, Eugenio Villar, DCIS 2017
    5. An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu, Workshop on Programming Theory, 2017
    6. Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? Peter Charbachi, Linus Eklund, Eduard Enoiu, QRS-C 2017, 10.1109/DCIS.2017.8311629
    7. A Practical Approach towards Validating HIL Simulation of a Safety-critical System, Athanasios Stratis, Adnan Čaušević, ISSREW 2017, 10.1109/ISSREW.2017.22
    8. Towards MARTE++: an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT ageJulio L. Medina and Eugenio Villar, FDL 2017
    9. Using Timed Base-Choice Coverage Criterion for Testing Industrial Control SoftwareHenning Bergström,  Eduard Paul Enoiu, ICSTW 2017, 10.1109/ICSTW.2017.41
    10. Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL, Raluca Marinescu,  Eduard Enoiu,  Cristina Seceleanu,  Daniel Sundmark,  ICSTW 2017, 10.1109/ICSTW.2017.19
    11. A Comparative Study of Manual and Automated Testing for Industrial Control SoftwareEduard Enoiu; Daniel Sundmark; Adnan Čaušević; Paul Pettersson, ICST 2017, 10.1109/ICST.2017.44
    12. HW/SW Co-Simulator for Embedded Heterogeneous Parallel Systems, D. Ciambrone, V. Muttillo, G. Valente, L. Pomante, DSD 2017, 10.1109/MECO.2018.8406078
    13. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime – Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems, Wasif Afzal, Hugo Brunelière, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz, DSD 2017, DOI: 10.1109/DSD.2017.50
    14. Towards Execution Time Prediction for Manual Test Cases from Test Specification, Mehrdad Saadatmand, Markus Bohlin, Wasif Afzal, Sharvathul Hasan Ameerjan, SEAA 2018, 10.1109/SEAA.2017.10
    15. An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models, Raluca Marinescu and Predrag Filipovikj and Eduard Paul Enoiu and Jonatan Larsson and Cristina Seceleanu, 29th Nordic Workshop on Programming Theory
    16. Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?, Peter Charbachi and Linus Eklund and Eduard Paul Enoiu, International Workshop on Combinatorial Testing and its Applications, 2017, 10.1109/QRS-C.2017.23
    17. On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata, Vain, Jüri and Truscan, Dragos and Iqbal, Junaid and Tsiopoulos, Leonidas, International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017)
Share This