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.

 

2018 publications

  1. 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 
  2. Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems, V. Muttillo, G. Valente, and L. Pomante, PARMA-DITAM 2018 
  3. Criticality-aware Design Space Exploration for Mixed-Criticality Embedded Systems, V. Muttillo, G. Valente, and L. Pomante, ICPE 2018

 

2017 publications

  1. A Feature-based Survey of Model View Approaches, Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer, Softw Syst Model, 2017 
  2. Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload modelsTanwir Ahmad, Dragos Truscan, Ivan Porres, Future Generation Computer Systems, 2018 
  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  
  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 
  7. A Practical Approach towards Validating HIL Simulation of a Safety-critical SystemAthanasios Stratis, Adnan Čaušević, ISSREW 2017 
  8. 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 (publication, conference, published)
  9. Using Timed Base-Choice Coverage Criterion for Testing Industrial Control SoftwareHenning Bergström,  Eduard Paul Enoiu, ICSTW 2017
  10. Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL, Raluca Marinescu,  Eduard Enoiu,  Cristina Seceleanu,  Daniel Sundmark,  ICSTW 2017
  11. A Comparative Study of Manual and Automated Testing for Industrial Control SoftwareEduard Enoiu; Daniel Sundmark; Adnan Čaušević; Paul Pettersson, ICST 2017 
  12. HW/SW Co-Simulator for Embedded Heterogeneous Parallel Systems, D. Ciambrone, V. Muttillo, G. Valente, L. Pomante, DSD 2017 
Share This