Next Ada-Europe Conference
                      
                     
Previous Ada-Europe conferences
  - 
    29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025)
 
    10-13 June 2025, Paris, France.
   
  - 
    28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024)
 
    11-14 June 2024, Barcelona, Spain.
   
  - 
    27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023)
 
    13-16 June 2023, Lisbon, Portugal.
   
  - 
    26th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2022)
 
    Ghent, Belgium, 14-17 June 2022
    
      The following journal-track papers were presented at the 2022 Conference and included in a Special Issue of the Journal of Systems Architecture. The papers marked [Open Access] are already available to all viewers, courtesy of Ada-Europe. Others will be in the near future and will be marked accordingly in this page.
     
    
      J. Hugues  
      Special issue on Reliable Software Technologies (AEiC 2022), Foreword Editorial  
      Journal of Systems Architecture, 135, 2023, 102809, DOI: 10.1016/j.sysarc.2022.102809. 
     
    
      - 
        A. Amurrio, J. J. Gutiérrez, M. Aldea, E. Azket 
 
        Partition window assignment in hierarchically scheduled time-partitioned distributed real-time systems with multipath flows  
        Journal of Systems Architecture, 130, 2022, 102671, doi:10.1016/j.sysarc.2022.102671. [Open Access]
       
      - 
        H. Pérez, J. J. Gutiérrez 
 
        EDF scheduling for distributed systems built upon the ieee 802.1as clock - a theoretical-practical comparison  
        Journal of Systems Architecture, 132, 2022, 102742, doi: j.sysarc.2022.102742. [Open Access]
       
      - 
        S. Rubini, V.-A. Nicolas, F. Singhoff, A. Plantec, H. N. Tran, P. Dissaux 
 
        Specification of schedulability assumptions to leverage multiprocessor analysis  
        Journal of Systems Architecture, 133, 2022, 102761. doi:10.1016/j.sysarc.2022.102761.
       
      - 
        D. García Villaescusa, M. Aldea Rivas, M. González  Harbour 
 
        Response-time analysis of mesh-based many-core systems  
        Journal of Systems Architecture, Volume 134, 2023, 102762, doi: 10.1016/j.sysarc.2022.102762.
       
      - 
        F. U. Muram, M. A. Javed 
 
        ATTEST: Automating the review and update of assurance case arguments  
        Journal of Systems Architecture, 134, 2023 102781. doi:10.1016/j.sysarc.2022.102781. [Open Access]
       
      - 
        M. Cui, A. Kritikakou, L. Mo, E. Casseau 
 
        Near-optimal energy- efficient partial-duplication task mapping of real-time parallel applications  
        Journal of Systems Architecture, 134, 2023, 102790. doi:10.1016/j.sysarc.2022.102790.
       
      - 
        J. Belt, J. Hatcliff, Robby, J. Shackleton, J. Carciofini, T. Carpenter, E. Mercer, I. Amundson, J. Babar, D. Cofer, D. Hardin, K. Hoech, K. Slind, I. Kuz, K. Mcleod 
 
        Model-driven development for the sel4 microkernel using the HAMR framework  
        Journal of Systems Architecture 134, 2023, 102789. doi:10.1016/j.sysarc.2022.102789.
       
      - 
        O. Gilles, D. Gracia Perez, P.-A. Brameret, V. Lacroix 
 
        Securing IIOT communications using OPC UA PubSub and trusted platform modules   
        Journal of Systems Architecture, 134, 2023, 102797. doi:10.1016/j.sysarc.2022.102797.
       
     
   
  - 
    25th International Conference on Reliable Software Technologies (AEiC 2021) 
 
    Virtual Event, 7-10 June 2021
    
      The following journal-track papers were presented at the Conference and included in a Special Issue of the Journal of Systems Architecture. The papers marked [Open Access] are available to all viewers, courtesy of Ada-Europe.
     
    
      J. Javier Gutiérrez and Mario Aldea Rivas (University of Cantabria, Spain)  
      Special Issue on Reliable Software Technologies (AEiC2021)  
      Journal of Systems Architecture, Volume 124, 2022, 102439, doi: 10.1016/j.sysarc.2022.102439 
     
    
      - 
        Daniel R. Torres, Cristian Martín, Bartolomé Rubio, Manuel Díaz 
 
        An open source framework based on Kafka-ML for Distributed DNN inference over the Cloud-to-Things continuum  
        JSA, 118 (2021), Article 102214, DOI: 10.1016/j.sysarc.2021.102214  [Open Access]
       
      - 
        Laurent Pautet, Thomas Robert, Samuel Tardieu 
 
        Litmus-RT plugins for global static scheduling of mixed criticality systems  
        JSA, 118 (2021), Article 102221, DOI: 10.1016/j.sysarc.2021.102221
       
      - 
        D. Perale, T. Vardanega 
 
        Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling  
        JSA, 119 (2021), Article 102236, DOI: 10.1016/j.sysarc.2021.102236
       
      - 
        Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidović 
 
        A case study for risk assessment in AR-equipped socio-technical systems  
        JSA, 119 (2021), Article 102250, DOI: 10.1016/j.sysarc.2021.102250  [Open Access]
       
      - 
        Javier Fernández, Jon Perez, Irune Agirre, Imanol Allende, Jaume Abella, Francisco J. Cazorla 
 
        Towards functional safety compliance of matrix–matrix multiplication for machine learning-based autonomous systems  
        JSA, 121 (2021), Article 102298, DOI: 10.1016/j.sysarc.2021.102298
       
      - 
        Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat, Hans Hansson 
 
        Safe and secure platooning of Automated Guided Vehicles in Industry 4.0  
        JSA, 121 (2021), Article 102309, DOI: 10.1016/j.sysarc.2021.102309  [Open Access]
       
      - 
        Jerome Hugues 
 
        A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014  
        JSA, 123 (2022), Article 102376, DOI: 10.1016/j.sysarc.2021.102376  [Open Access]
       
     
   
  - 
    25th International Conference on Reliable Software Technologies (AEiC 2020) - CANCELLED 
 
    Santander, Spain, 8-12 June 2020
    
      The conference was cancelled owing to the COVID-19 pandemic. The journal-track of the conference, however, was supported, with submissions, peer reviews, acceptance and publication in a Special Issue of the Journal of Systems Architecture dedicated to the conference.
     
    
      The following papers were included in said Special Issue. All of them have been granted Open Access status, with sponsorship from Ada-Europe.
     
    
      Mario Aldea Rivas (University of Cantabria, Spain),  
      Special Issue on Advances in Reliable Software Technologies  
      Journal of Systems Architecture, Volume 119, October 2021, 102269, DOI: 10.1016/j.sysarc.2021.102269. 
     
    
      - 
        Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane 
 
        Towards dynamic safety assurance for Industry 4.0  
        JSA, 114 (2021), Article 101914, 10.1016/j.sysarc.2020.101914/
       
      - 
        Oscar R. Polo, Jonatan Sanchez, Antonio da Silva, Pablo Parra, Agusto Martinez HellÃin, Alberto Carrasco, Sebastian Sanchez 
 
        Reliability-oriented design of on-board satellite boot software against single event effects  
        JSA, 114 (2021), Article 101920, 10.1016/j.sysarc.2020.101920
       
      - 
        Mourad Dridi, Frank Singhoff, Stephane Rubini, Jean-Philippe Diguet 
 
        ECTM: A network-on-chip communication model to combine task and message schedulability analysis  
        JSA, 114 (2021), Article 101931, 10.1016/j.sysarc.2020.101931
       
      - 
        Hai Nam Tran, Stephane Rubini, Jalil Boukhobza, Frank Singhoff 
 
        Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform  
        JSA, 115 (2021), Article 102007, 10.1016/j.sysarc.2021.102007
       
      - 
        Imanol Allende, Nicholas Mc Guire, Jon Perez, Lisandro G. Monsalve, Roman Obermaisser 
 
        Towards Linux based safety systems: ”A statistical approach for software execution path coverage  
        JSA, 116 (2021), Article 102047, 10.1016/j.sysarc.2021.102047
       
      - 
        Alejandro R. Mosteo, Maria-Teresa Lorente 
 
        Exploring the boundaries of Ada syntax with functional-style iterators  
        JSA, 116 (2021), Article 102039, 10.1016/j.sysarc.2021.102039
       
      - 
        Quentin Rouland, Brahim Hamid, Jason Jaskolka 
 
        Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support  
        JSA, 117 (2021), Article 102073, 10.1016/j.sysarc.2021.102073
       
      - 
        Matheus Ladeira, Yassine Ouhammou, Emmanuel Grolleau 
 
        RoBMEX: ROS-based modelling framework for end-users and experts  
        JSA, 117 (2021), Article 102089, 10.1016/j.sysarc.2021.102089
       
     
   
  - 
    24th International Conference on Reliable Software Technologies - Ada-Europe 2019 
 
    Warsaw, Poland, 10-14 June 2019
    
      Papers presented at the Conference that have been published with open access.
     
    
      Tullio Vardanega (University of Padova, Italy),   
      A new start: Introducing the journal-track proceedings of the 24th Ada-Europe conference on reliable software technologies,   
      Journal of Systems Architecture, Volume 111, 2020, DOI: 10.1016/j.sysarc.2020.101852.
     
    
      - 
        Sara Royuela (BSC, Spain), Luís Miguel Pinho (ISEP, Portugal), Eduardo Quiñones (BSC, Spain) 
 
        Enabling Ada and OpenMP runtimes interoperability through template-based execution.  
        Journal of Systems Architecture, May 2020. DOI: 10.1016/j.sysarc.2019.101702.
       
      - 
        Xiaotian Dai (University of York, UK), Alan Burns (University of York, UK) 
 
        Period adaptation of real-time control tasks with fixed-priority scheduling in cyber-physical systems.  
        Journal of Systems Architecture, February 2020. DOI: 10.1016/j.sysarc.2019.101691
       
      - 
        Jorge Real (Universitat Politecnica de Valencia, Spain), Sergio Sáez (Universitat Politecnica de Valencia, Spain), Alfons Crespo (Universitat Politecnica de Valencia, Spain) 
 
        A hierarchical architecture for time- and event-triggered real-time systems. 
        Journal of Systems Architecture, December 2019. DOI: 10.1016/j.sysarc.2019.101652.
       
      - 
        Alejandro R.Mosteo (CUDZ, Spain) 
 
        Reactive programming in Ada 2012 with RxAda. 
        Journal of Systems Architecture, November 2020. DOI: 10.1016/j.sysarc.2020.101784.
       
      - 
        Irfan Šljivo (MDH, Sweden), Garazi Juez Uriagereka (Tecnalia, Spain), Stefano Puri (Intecs, Italy), Barbara Gallina (MDH, Sweden) 
 
        Guiding assurance of architectural design patterns for critical applications. 
        Journal of Systems Architecture, November 2020. DOI: 10.1016/j.sysarc.2020.101765.
       
      - 
        Shinhyung Yang (YU, Korea), Seongho Jeong (YU, Korea), Byunguk Min (YU, Korea), Yeonsoo Kim (YU, Korea), Bernd Burgstaller (YU, Korea), Johann Blieberger (TUW, Austria), 
 
        Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics. 
        Journal of Systems Architecture, November 2020. DOI: 10.1016/j.sysarc.2020.101764.
       
     
   
  - 
    23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 
 
    Lisbon, Portugal, 18-22 June 2018
   
  - 
    22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 
 
    Vienna, Austria, 12-16 June 2017  
    Conference Proceedings: Springer LNCS vol. 10300
   
  - 
    21st International Conference on Reliable Software Technologies - Ada-Europe 2016 
 
    Pisa, Italy, June 13-17, 2016   
    Conference Proceedings: Springer LNCS vol. 9695
   
  - 
    20th International Conference on Reliable Software Technologies - Ada-Europe 2015 
 
    Madrid, Spain, June 22-26, 2015  
    Conference Proceedings: Springer LNCS vol. 9111
   
  - 
    19th International Conference on Reliable Software Technologies - Ada-Europe 2014 
 
    Paris, France, June 23-27, 2014  
    Conference Proceedings: Springer LNCS vol. 8454
   
  - 
    18th International Conference on Reliable Software Technologies - Ada-Europe 2013 
 
    Berlin, Germany, June 10-14, 2013  
    Conference Proceedings: Springer LNCS vol. 7896
   
  - 
    17th International Conference on Reliable Software Technologies -
    Ada-Europe 2012 
 
    Stockholm, Sweden, June 11-15, 2012  
    Conference Proceedings: Springer LNCS vol. 7308
   
  - 
    16th International Conference on Reliable Software Technologies - Ada-Europe 2011 
 
    Edinburgh, UK, June 20-24, 2011  
    Conference Proceedings: Springer LNCS vol. 6652
   
  - 
    15th International Conference on Reliable Software Technologies - Ada-Europe 2010 
 
    Valencia, Spain, June 14-18, 2010  
    Conference Proceedings: Springer LNCS vol. 6106
   
  - 
    14th International Conference on Reliable Software Technologies - Ada-Europe 2009 
 
    Brest, France, June 8-12, 2009  
    Conference Proceedings: Springer LNCS vol. 5570
   
  - 
    13th International Conference on Reliable Software Technologies - Ada-Europe 2008 
 
    Venice, Italy, June 16-20, 2008  
    Conference Proceedings: Springer LNCS vol. 5026
   
  - 
    12th International Conference on Reliable Software Technologies - Ada-Europe 2007 
 
    Geneva, Switzerland, June 25-29, 2007  
    Conference Proceedings: Springer LNCS vol. 4498
   
  - 
    11th International Conference on Reliable Software Technologies - Ada-Europe 2006 
 
    Porto, Portugal, June 5-9, 2006  
    Conference Proceedings: Springer LNCS vol. 4006
   
  - 
    10th International Conference on Reliable Software Technologies - Ada-Europe 2005 
 
    York, United Kingdom, June 20-24, 2005   
    Conference Proceedings: Springer LNCS vol. 3555
   
  - 
    9th International Conference on Reliable Software Technologies - Ada-Europe 2004 
 
    Palma de Mallorca, Spain, June 14-18, 2004   
    Conference Proceedings: Springer LNCS vol. 3063
   
  - 
    8th International Conference on Reliable Software Technologies - Ada-Europe 2003 
 
    Toulouse, France, June 16-20, 2003   
    Conference Proceedings: Springer LNCS vol. 2655
   
  - 
    7th International Conference on Reliable Software Technologies - Ada-Europe 2002 
 
    Austria, Vienna, June 17-21, 2002   
    Conference Proceedings: Springer LNCS vol. 2361
   
  - 
    6th International Conference on Reliable Software Technologies - Ada-Europe 2001 
 
    Belgium, Leuven, May 14-18, 2001   
    Conference Proceedings: Springer LNCS vol. 2043
   
  - 
    5th International Conference on Reliable Software Technologies - Ada-Europe 2000 
 
    Germany, Potsdam (Berlin), June 26-30, 2000   
    Conference Proceedings: Springer LNCS vol. 1845
   
  - 
    4th International Conference on Reliable Software Technologies - Ada-Europe 1999 
 
    Spain, Santander, June 7-11, 1999  
    Conference Proceedings: Springer LNCS vol. 1622
   
  - 
    3rd International Conference on Reliable Software Technologies - Ada-Europe 1998 
 
    Sweden, Uppsala, June 8-12, 1998  
    Conference Proceedings: Springer LNCS vol. 1411
   
  - 
    2nd International Conference on Reliable Software Technologies - Ada-Europe 1997 
 
    United Kingdom, London, June 2-6, 1997  
    Conference Proceedings: Springer LNCS vol. 1251
   
  - 
    1st International Conference on Reliable Software Technologies - Ada-Europe 1996 
 
    Switzerland, Montreux, June 10-14, 1996  
    Conference Proceedings: Springer LNCS vol. 1088
   
 
                      
                      
                   |