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.
2020 publications
-
- Applying Test-driven Development to Evaluating Student Projects, Cuong Huy Tran, Dragos Truscan, Tanwir Ahmad, 6th International Conference on Higher Education Advances (HEAd’20), to appear
- Automatic exploratory performance testing using a discriminator neural network., Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sesbastien Lafond, Dragos Truscan, Proceedings of the 4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2020), to appear
- Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes, Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, and Marina Waldén, Proceedings of ABZ 2020 – 7th International Conference on Rigorous State Based Methods, to appear
- Model-Based Verification and Testing of Web Services – Functionality, Robustness, and Vulnerability Analysis, Feazeh Siavashi, Doctoral Dissertation, ISBN:978-952-12-3936-6
- TRILATERAL: a model-based approach for Industrial CPS – monitoring and control, Markel Iglesias-Urkia, Aitziber Iglesias, Beatriz López-Davalillo, Santiago Charramendieta, Diego Casado-Mansilla, Goiuria Sagardui, Aitor Urbieta, Communications in Computer and Information Science, 10.1007/978-3-030-37873-8_16
- Robust methods and conditional expectations for vehicular traffic count analysis, Jorma Kilpi, Ilkka Norros, Pirkko Kuusela, Fanny Malin and Tomi Räty, European Transport Research Review, 10.1186/s12544-020-0399-8
- Guest editors’ introduction to the special issue on Model Driven Engineering and Reverse Engineering: Research and Practice, Francesca Arcelli Fontana, Hugo Bruneliere, Hausi A. Müller, Claudia Raibulet, Journal of Systems and Software, 10.1016/j.jss.2019.110446
- An Evaluation of Monte Carlo-Based Hyper-Heuristic for Interaction Testing of Industrial Embedded Software Applications, Bestoun Ahmed, Eduard Paul Enoiu, Wasif Afzal, Kamal Zamli, Soft Computing, 10.1007/s00500-020-04769-z
- Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations, Eduard Paul Enoiu and Cristina Seceleanu, MDPI Designs Journal, 10.3390/designs4010005
- On the Measurement of Software Complexity for PLC Industrial Control Systems using TIQVA, Adnan Muslija and Eduard Paul Enoiu, The 35th ACM/SIGAPP Symposium On Applied Computing
- Towards a Model-Driven Product Line Engineering Process – An Industrial Case Study, Damir Bilic and Daniel Sundmark and Wasif Afzal and Peter Wallin and Adnan Causevic and Christoffer Amlinger and Dani Barkah, 13th Innovations in Software Engineering Conference
- MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs, Jesus Gorroñogoitia Cruz, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Pierluigi Pierini and Lara Lopez Muñiz, 16th International Conference on Open Source Systems (OSS 2020), to appear
- Scalable model views over heterogeneous modeling technologies and resources, Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris Kolovos, Jordi Cabot, Journal of Software and Systems Modeling, 10.1007/s10270-020-00794-6
- The Refinement Calculus of Reactive Systems Toolset, Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis, International Journal on Software Tools for Technology Transfer, 10.1007/s10009-020-00561-4
- “Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems With Multi-Dimensional Input Spaces,” T. Ahmad, A. Ashraf, D. Truscan, A. Domi and I. Porres, in IEEE Access, vol. 8, pp. 195000-195020, 2020, doi: 10.1109/ACCESS.2020.3033888.
2019 publications
-
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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)
- 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
- 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
- Test Agents: The Next Generation of Test Cases, Eduard Paul Enoiu, Mirgita Frasheri, 2nd IEEE Workshop on NEXt level of Test Automation 2019
- Adopting MBSE in Construction Equipment Industry: An Experience Report, Jagadish Suryadevara, Saurabh Tiwari, 25th Asia-Pacific Software Engineering Conference
- IntegrationDistiller: Automating Integration Analysis and Testing of Object-Oriented Applications, Mehrdad Saadatmand, 20th IEEE International Conference on Industrial Technology (ICIT2019)
- A 2-layer Component-based Allocation for Embedded Systems with GPUs, Gabriel Campeanu, Mehrdad Saadatmand, https://doi.org/10.3390/designs3010006
- 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
- Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report, Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio, Journal of Object Technology, 2019, 10.5381/jot.2019.18.2.a1
- A Microservice Reference Case Study for Design-Runtime Interaction in MDE, Daniele Di Pompeo, Michele Tucci, Alessandro Celi, Romina Eramo, MDE@DeRun, STAF 2019
- On a Tool-Supported Model-Based Approach for Building Architectures and Roadmaps: The MegaM@Rt2 Project Experience, Sadovykh, Andrey and Afzal, Wasif and Truscan, Dragos and Pierini, Pierluigi and Bruneliere, Hugo and Bagnato, Alessandra and Gomez, Abel and Cabot, Jordi and Avila-Garcia, Orlando, Microprocessors and Microsystems: Embedded Hardware Design, https://dx.doi.org/10.1016/j.micpro.2019.102848
- Dealing with Non-Functional Requirements in Model-Driven Development: A Survey, Ameller, David and Franch, Xavier and Gomez, Cristina and Martinez-Fernandez, Silverio and Araujo, Joao and Biffl, Stefan and Cabot, Jordi and Cortellessa, Vittorio and Mendez, Daniel and Moreira, Ana and Muccini, Henry and Vallecillo, Antonio and Wimmer, Manuel and Amaral, Vasco and Bohm, Wolfgang and Bruneliere, Hugo and Burgueno, Loli and Goulao, Miguel and Teufl, Sabine and Berardinelli, Luca, IEEE Transactions on Software Engineering, https://dx.doi.org/10.1109/TSE.2019.2904476
- Information Flow in Software Testing – An Interview Study With Embedded Software Engineering Practitioners, Per Erik Strandberg, Eduard Paul Enoiu, Wasif Afzal, Daniel Sundmark, Robert Feldt, IEEE Access, 10.1109/ACCESS.2019.2909093
- MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models, Junaid Iqbal,Adnan Ashraf,Dragos Truscan,Ivan Porres, 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), http://doi.org/10.1109/SEAA.2019.00075
- SystemC-based Electronic System-Level Design Space Exploration Environment for Dedicated Heterogeneous Multi-Processor Systems, Luigi Pomante, Vittoriano Muttillo, Marco Santic, Paolo Serri, Microprocessors and Microsystems, 10.1016/j.micpro.2019.102898
- MegaM@Rt2 Project: Mega-Modelling at Runtime – Intermediate Results and Research Challenges, Andrey Sadovykh, Dragos Truscan, Wasif Afzal, Hugo Bruneliere, Adnan Ashraf, Abel Gomez, Alexandra Espinosa, Gunnar Widforss, Pierluigi Pierini, Elizabeta Fourneret, Alessandra Bagnato, TOOLS 50+1:Technology of Object-Oriented Languages and Systems – Springer’s Lecture Notes in Computer Science (LNCS) 11771, https://dx.doi.org/10.1007/978-3-030-29852-4_33
- An Integrated Model-based Tool Chain for Managing Variability in Complex System Design, Damir BIlic, Etienne Brosse, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Uwe Ryssel, Models and Evolution Workshop (ME 2019), co-located with the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), https://dx.doi.org/10.1109/MODELS-C.2019.00045
- Proceedings of the 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun 2019), Hugo Bruneliere, Romina Eramo, Abel Gomez, Software Technologies: Applications and Foundations (STAF 2019) federation of conferences
- Enabling easy Web of Things compatible device generation using a Model-Driven Engineering approach, Markel Iglesias-Urkia, Abel Gómez, Diego Casado-Mansilla, Aitor Urbieta, The 9th International Conference on the Internet of Things (IoT 2019), 10.1145/3365871.3365898
- Una Aproximación Basada en Modelos para la Definición de Arquitecturas Asíncronas, Abel Gómez, Iker Fernandez de Larrea, Markel Iglesias-Urkia, Beatriz Lopez-Davalillo, Aitor Urbieta, Jordi Cabot, XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
- HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions, Vittoriano Muttillo, Luigi Pomante, Patricia Balbastre, Josè Simò, Alfons Crespo, 2017 Euromicro Conference on Digital System Design (DSD), 10.1109/DSD.2019.00085
- Clustering Structure Analysis in Time-Series Data With Density-Based Clusterability Measure, Juho Jokinen, Tomi Räty & Timo Lintonen, IEEE/CAA Journal of Automatica Sinica, 10.1109/JAS.2019.1911744
- Self-Learning of Multivariate Time Series Using Perceptually Important Points, Timo Lintonen & Tomi Räty, IEEE/CAA Journal of Automatica Sinica, 10.1109/JAS.2019.1911777
- Regular Decomposition of Large Graphs: Foundation of a Sampling Approach to Stochastic Block Model Fitting, Hannu Reittu, Ilkka Norros, Tomi Räty, Marianne Bolla and Fulop Baszo, Data Science and Engineering, 10.1007/s41019-019-0084-x
- Unsupervised online detection and prediction of outliers in streams of sensor data, Niko Reunanen, Tomi Räty, Juho Jokinen, Tyler Hoyt and David Culler, International Journal of Data Science and Analytics, 10.1007/s41060-019-00191-3
- Towards analyzing large graphs with quantum annealing, Hannu Reittu, Ville Kotovirta, Lasse Leskelä, Hannu Rummukainen & Tomi Räty, 2019 IEEE International Conference on Big Data, 10.1109/BigData47090.2019.9006174
- Runtime Architect: Link Performance Design to Runtime Aspects, Rafik Henia, Laurent Rioux, Nicolas Sordon, Adel Gasri, Real Time Systems Symposium
- Improving Software Requirements Reasoning by Novices : An Empirical Evaluation, Rubia Fatima and Affan Yasin and Lin Liu and Jianmin Wang and Wasif Afzal and Atif Yasin, IET Software, DOI: 10.1049/iet-sen.2018.5379
- An Improved Software Reliability Prediction Model By Using High Precision Error Iterative Analysis Method, Gul Jabeen and Ping Luo and Wasif Afzal, Software Testing, Verification and Reliability, 10.1002/stvr.1710
- A scalable model-based framework for continuous development and runtime validation of complex systems, S. Mazzini, L. Rioux, A. Bagnato, E. Brosse,
- MBRP: Model-based Requirements Prioritization Using PageRank Algorithm, Muhammad Abbas, Irum Inayat , Naila Jan , Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark, 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 10.1109/APSEC48747.2019.00014
- Executable Modeling for Reactive Programming, Franck Barbier, Eric Cariou, Model-Driven Engineering and Software Development. MODELSWARD 2018, 10.1007/978-3-030-11030-7_1
- UMLto[No]SQL: Mapping Conceptual Schemas to Heterogeneous Datastores, Gwendal Daniel, Abel Gómez, Jordi Cabot, 2019 13th International Conference on Research Challenges in Information Science (RCIS), 10.1109/RCIS.2019.8877094
- Multi-platform Chatbot Modeling and Deployment with the Jarvis Framework, Gwendal Daniel, Jordi Cabot, Laurent Deruelle, Mustapha Derras, Advanced Information Systems Engineering. CAiSE 2019, 10.1007/978-3-030-21290-2_12
- Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems, Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi, Concurrency Specification and Programming
- Time4Sys -Integrating Temporal Performance Verification in your Engineering Practices, Rafik Henia, Laurent Rioux, Nicolas Sordon, Real Time Systems Symposium
2018 publications
-
- 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]
- 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.
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Criticality-aware Design Space Exploration for Mixed-Criticality Embedded Systems, V. Muttillo, G. Valente, and L. Pomante, ICPE 2018, 10.1145/3185768.3185769
- 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, EPESD 2018, 10.1016/j.micpro.2018.05.010
- 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
- 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
- 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
- Enhanced publish/subscribe in CoAP: Describing advanced subscription mechanisms for the Observe extension, Markel Iglesias-Urkia, Diego Casado-Mansilla, Simon Mayer and Aitor Urbieta, IOT 2018, 10.1145/3277593.3277594
- 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
- Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS, Sara Ericsson, Eduard Enoiu, QRS 2018, 10.1109/QRS.2018.00055
- 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
- Improved Traceability for Bidirectional Model Transformations, Romina Eramo, Alfonso Pierantonio, Michele Tucci, MDETools2018
- Enhancing the JTL tool for bidirectional transformations, Romina Eramo, Alfonso Pierantonio, Michele Tucci, BX2018, 10.1145/3191697.3191720
- 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
- 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
- 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
- A generic solution for weaving business code into executable models, Eric Cariou, Olivier Le Goaer, Lea Brunschwig, Franck Barbier, Proceedings of MODELS 2018 Workshops
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Extracting software product line feature models from natural language specifications, Anjali Sree-Kumar, Elena Planas, and Robert Clarisó, SPLC ’18, 10.1145/3233027.3233029
- 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
- TemporalEMF: A Temporal Metamodeling Framework, Abel Gómez, Jordi Cabot, Manuel Wimmer, ER 2018, https://doi.org/10.1007/978-3-030-00847-5_26
- 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
- Model-driven round-trip software dependability engineering, Michele Tucci, 21st {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems (MODELS 2018): Doctoral Symposium, 10.1145/3270112.3275337
- The Refinement Calculus of Reactive Systems Toolset, Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 10.1007/978-3-319-89963-3_12
- Analysis of large sparse graphs using regular decomposition of graph distance matrices, Hannu Reittu, Lasse Leskelä, Tomi Räty & Marco Fiorucci, 2018 IEEE International Conference on Big Data, 10.1109/BigData.2018.8622118
- Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains, Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon, ESWEEKS 2018
2017 publications
-
- 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
- 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
- Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction, Junaid Iqbal, Dragos Truscan, Jüri Vain, and Ivan Porres, ECBS 2017, https://doi.org/10.1145/3123779.3123813
- 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
- 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
- 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
- Towards MARTE++: an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT age, Julio L. Medina and Eugenio Villar, FDL 2017
- Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software, Henning Bergström, Eduard Paul Enoiu, ICSTW 2017, 10.1109/ICSTW.2017.41
- 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
- A Comparative Study of Manual and Automated Testing for Industrial Control Software, Eduard Enoiu; Daniel Sundmark; Adnan Čaušević; Paul Pettersson, ICST 2017, 10.1109/ICST.2017.44
- HW/SW Co-Simulator for Embedded Heterogeneous Parallel Systems, D. Ciambrone, V. Muttillo, G. Valente, L. Pomante, DSD 2017, 10.1109/MECO.2018.8406078
- 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
- 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
- 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
- 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
- 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)