researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2012
2013
2014
2015
2016
2017
2018
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Alan Burns
Alejandro Alonso 0001
Alfons Crespo
Andy J. Wellings
Bernd Burgstaller
Brad Moore
Enrico Mezzetti
Héctor Pérez
J. Javier Gutiérrez
Johann Blieberger
Jorge Garrido
Jorge Real
Juan Antonio de la Puente
Juan Zamorano
Luís Miguel Pinho
Sasikumar Punnekkat
Sergio Saez
Stefano Puri
Stephen Michell
Tullio Vardanega
Filter by Top terms
[+]
OR
AND
NOT
1
ada
analysis
case
conference
critical
development
europe
international
june
model
proceedings
real
reliable
safety
scheduling
software
systems
technologies
time
using
adaEurope (adaEurope)
Editions
Publications
Viewing Publication 1 - 99 from 99
2018
Safe Non-blocking Synchronization in Ada2x
Johann Blieberger
,
Bernd Burgstaller
.
adaEurope 2018
:
53-69
[doi]
Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Antonio Casimiro
,
Pedro M. Ferreira
, editors,
Volume 10873 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
Jorge Garrido
,
Juan Zamorano
,
Alejandro Alonso 0001
,
Juan Antonio de la Puente
.
adaEurope 2018
:
73-86
[doi]
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems
J. Javier Gutiérrez
,
Héctor Pérez
.
adaEurope 2018
:
123-137
[doi]
Using Safety Contracts to Verify Design Assumptions During Runtime
Omar Jaradat
,
Sasikumar Punnekkat
.
adaEurope 2018
:
3-18
[doi]
Safe Dynamic Memory Management in Ada and SPARK
Maroua Maalej
,
S. Tucker Taft
,
Yannick Moy
.
adaEurope 2018
:
37-52
[doi]
Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling
Filip Markovic
,
Jan Carlson
,
Radu Dobrin
.
adaEurope 2018
:
87-101
[doi]
Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies
Stefano Munari
,
Sebastiano Valle
,
Tullio Vardanega
.
adaEurope 2018
:
158-174
[doi]
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar
Jorge Real
,
Sergio Saez
,
Alfons Crespo
.
adaEurope 2018
:
105-122
[doi]
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
Sara Royuela
,
Xavier Martorell
,
Eduardo Quiñones
,
Luís Miguel Pinho
.
adaEurope 2018
:
141-157
[doi]
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Irfan Sljivo
,
Barbara Gallina
,
Jan Carlson
,
Hans Hansson
,
Stefano Puri
.
adaEurope 2018
:
19-33
[doi]
2017
Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Johann Blieberger
,
Markus Bader
, editors,
Volume 10300 of
Lecture Notes in Computer Science
, Springer,
2017.
[doi]
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework
Alan Burns
,
Sanjoy Baruah
.
adaEurope 2017
:
203-216
[doi]
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime
Paolo Carletto
,
Tullio Vardanega
.
adaEurope 2017
:
18-33
[doi]
Enforcing Timeliness and Safety in Mission-Critical Systems
Antonio Casimiro
,
Inês Gouveia
,
José Rufino
.
adaEurope 2017
:
53-69
[doi]
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...)
Roderick Chapman
.
adaEurope 2017
:
37-52
[doi]
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems
Xiaotian Dai
,
Alan Burns
.
adaEurope 2017
:
87-101
[doi]
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
Enrique Díaz
,
Mikel Fernández
,
Leonidas Kosmidis
,
Enrico Mezzetti
,
Carles Hernández
,
Jaume Abella
,
Francisco J. Cazorla
.
adaEurope 2017
:
102-118
[doi]
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
Jorge Garrido
,
Juan Zamorano
,
Alejandro Alonso 0001
,
Juan Antonio de la Puente
.
adaEurope 2017
:
3-17
[doi]
Supporting Nested Resources in MrsP
Jorge Garrido
,
Shuai Zhao
,
Alan Burns
,
Andy J. Wellings
.
adaEurope 2017
:
73-86
[doi]
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
Seongho Jeong
,
Shinhyung Yang
,
Bernd Burgstaller
.
adaEurope 2017
:
121-136
[doi]
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
Roberto Medina
,
Etienne Borde
,
Laurent Pautet
.
adaEurope 2017
:
217-232
[doi]
Software Time Reliability in the Presence of Cache Memories
Suzana Milutinovic
,
Jaume Abella
,
Irune Agirre
,
Mikel Azkarate-askasua
,
Enrico Mezzetti
,
Tullio Vardanega
,
Francisco J. Cazorla
.
adaEurope 2017
:
233-249
[doi]
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
Morteza Mohaqeqi
,
Jakaria Abdullah
,
Wang Yi 0001
.
adaEurope 2017
:
137-152
[doi]
RxAda: An Ada implementation of the ReactiveX API
Alejandro R. Mosteo
.
adaEurope 2017
:
153-166
[doi]
A New Ravenscar-Based Profile
Patrick Rogers
,
Jose Ruiz
,
Tristan Gingold
,
Patrick Bernardi
.
adaEurope 2017
:
169-183
[doi]
OpenMP Tasking Model for Ada: Safety and Correctness
Sara Royuela
,
Xavier Martorell
,
Eduardo Quiñones
,
Luís Miguel Pinho
.
adaEurope 2017
:
184-200
[doi]
2016
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development
Laura Baracchi
,
Silvia Mazzini
,
Stefano Puri
,
Tullio Vardanega
.
adaEurope 2016
:
113-128
[doi]
Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Marko Bertogna
,
Luís Miguel Pinho
,
Eduardo Quiñones
, editors,
Volume 9695 of
Lecture Notes in Computer Science
, Springer,
2016.
[doi]
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems
Alan Burns
.
adaEurope 2016
:
3-11
[doi]
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance
Wafa Gabsi
,
Bechir Zalila
,
Mohamed Jmaiel
.
adaEurope 2016
:
129-144
[doi]
Addressing the Regression Test Problem with Change Impact Analysis for Ada
Andrew V. Jones
.
adaEurope 2016
:
61-77
[doi]
Test Case Prioritization Using Online Fault Detection Information
Mohsen Laali
,
Huai Liu
,
Margaret Hamilton
,
Maria Spichkova
,
Heinz W. Schmidt
.
adaEurope 2016
:
78-93
[doi]
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
Franco Mazzanti
.
adaEurope 2016
:
94-109
[doi]
Real-Time Stream Processing in Java
Hai Tao Mei
,
Ian Gray
,
Andy J. Wellings
.
adaEurope 2016
:
44-57
[doi]
Kronecker Algebra for Static Analysis of Barriers in Ada
Robert Mittermayr
,
Johann Blieberger
.
adaEurope 2016
:
145-159
[doi]
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model
Morteza Mohaqeqi
,
Jakaria Abdullah
,
Wang Yi 0001
.
adaEurope 2016
:
15-29
[doi]
The Polling Effect on the Schedulability of Distributed Real-Time Systems
Héctor Pérez
,
J. Javier Gutiérrez
,
Michael González Harbour
,
J. Carlos Palencia
.
adaEurope 2016
:
179-194
[doi]
Combining Time-Triggered Plans with Priority Scheduled Task Sets
Jorge Real
,
Sergio Saez
,
Alfons Crespo
.
adaEurope 2016
:
195-212
[doi]
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling
Abhilash Thekkilakattil
,
Kaiqian Zhu
,
Yonggao Nie
,
Radu Dobrin
,
Sasikumar Punnekkat
.
adaEurope 2016
:
163-178
[doi]
Eliminating Data Race Warnings Using CSP
Martin Wittiger
.
adaEurope 2016
:
30-43
[doi]
2015
The CONCERTO Methodology for Model-Based Development of Avionics Software
Andrea Baldovin
,
Alessandro Zovi
,
Geoffrey Nelissen
,
Stefano Puri
.
adaEurope 2015
:
131-145
[doi]
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission
A. Balázs
,
A. Baksa
,
H. Bitterlich
,
I. Hernyes
,
O. Küchemann
,
Z. Pálos
,
J. Rustenbach
,
W. Schmidt
,
Péter Spányi
,
J. Sulyán
,
S. Szalai
,
L. Várhalmi
.
adaEurope 2015
:
18-30
[doi]
Challenges in the Implementation of MrsP
Sebastiano Catellani
,
Luca Bonato
,
Sebastian Huber
,
Enrico Mezzetti
.
adaEurope 2015
:
179-195
[doi]
Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Juan Antonio de la Puente
,
Tullio Vardanega
, editors,
Volume 9111 of
Lecture Notes in Computer Science
, Springer,
2015.
[doi]
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later
Manuel Díaz
,
Daniel Garrido
.
adaEurope 2015
:
116-128
[doi]
AFDX Emulator for an ARINC-Based Training Platform
Jesús Fernández
,
Héctor Pérez
,
J. Javier Gutiérrez
,
Michael González Harbour
.
adaEurope 2015
:
212-227
[doi]
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases
Omar Jaradat
,
Iain Bate
,
Sasikumar Punnekkat
.
adaEurope 2015
:
162-176
[doi]
Static Backward Program Slicing for Safety-Critical Systems
Husni Khanfar
,
Björn Lisper
,
Abu Naser Masud
.
adaEurope 2015
:
50-65
[doi]
From AADL Model to LNT Specification
Hana Mkaouar
,
Bechir Zalila
,
Jérôme Hugues
,
Mohamed Jmaiel
.
adaEurope 2015
:
146-161
[doi]
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring
Geoffrey Nelissen
,
David Pereira
,
Luís Miguel Pinho
.
adaEurope 2015
:
66-82
[doi]
Extensible Debugger Framework for Extensible Languages
Domenik Pavletic
,
Markus Völter
,
Syed Aoun Raza
,
Bernd Kolb
,
Timo Kehrer
.
adaEurope 2015
:
33-49
[doi]
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning
Jon Perez
,
David Gonzalez
,
Salvador Trujillo
,
Ton Trapman
.
adaEurope 2015
:
3-17
[doi]
An Execution Model for Fine-Grained Parallelism in Ada
Luís Miguel Pinho
,
Brad Moore
,
Stephen Michell
,
S. Tucker Taft
.
adaEurope 2015
:
196-211
[doi]
Guaranteeing Timing Requirements in the IXV On-Board Software
Santiago Urueña
,
Nuria Pérez
,
Bruno N. Calvo
,
Carlos Flores
,
Andreas Jung
.
adaEurope 2015
:
100-115
[doi]
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS
Juan Zamorano
,
Jorge Garrido
.
adaEurope 2015
:
85-99
[doi]
2014
Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Laurent George 0001
,
Tullio Vardanega
, editors,
Volume 8454 of
Lecture Notes in Computer Science
, Springer,
2014.
[doi]
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
Bernd Burgstaller
,
Johann Blieberger
.
adaEurope 2014
:
27-42
[doi]
Deadline-Aware Programming and Scheduling
Alan Burns
,
Andy J. Wellings
.
adaEurope 2014
:
107-118
[doi]
Towards a Runtime Verification Framework for the Ada Programming Language
André de Matos Pedro
,
David Pereira
,
Luís Miguel Pinho
,
Jorge Sousa Pinto
.
adaEurope 2014
:
58-73
[doi]
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines
Gerhard Hanis
,
Burkhard Stadlmann
.
adaEurope 2014
:
166-176
[doi]
Practical Formal Methods in Railways - The SafeCap Approach
Alexei Iliasov
,
Ilya Lopatkin
,
Alexander Romanovsky
.
adaEurope 2014
:
177-192
[doi]
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
Antoine Jaouën
,
Etienne Borde
,
Laurent Pautet
,
Thomas Robert
.
adaEurope 2014
:
149-165
[doi]
Lessons Learned and Easily Forgotten
Robert Lainé
.
adaEurope 2014
:
1-6
[doi]
Rigorous Development of Fault-Tolerant Systems through Co-refinement
Ilya Lopatkin
,
Alexander Romanovsky
.
adaEurope 2014
:
11-26
[doi]
Parallelism in Ada: Status and Prospects
Luís Miguel Pinho
,
Brad Moore
,
Stephen Michell
.
adaEurope 2014
:
91-106
[doi]
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level
Manar Qamhieh
,
Serge Midonnet
.
adaEurope 2014
:
119-133
[doi]
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012
Sergio Saez
,
Jorge Real
,
Alfons Crespo
.
adaEurope 2014
:
74-90
[doi]
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels
Sergio Saez
,
Alfons Crespo
.
adaEurope 2014
:
134-148
[doi]
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems
Mohamed Shawky
.
adaEurope 2014
:
7-10
[doi]
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
Jiale Zhou
,
Yue Lu
,
Kristina Lundqvist
.
adaEurope 2014
:
43-57
[doi]
2013
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software
Esteban Asensio
,
Ismael Lafoz
,
Andrew Coombes
,
Julian Navas
.
adaEurope 2013
:
161-176
[doi]
Towards a Time-Composable Operating System
Andrea Baldovin
,
Enrico Mezzetti
,
Tullio Vardanega
.
adaEurope 2013
:
143-160
[doi]
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems
Irene Bicchierai
,
Giacomo Bucci
,
Carlo Nocentini
,
Enrico Vicario
.
adaEurope 2013
:
95-108
[doi]
A SPARK/Ada CubeSat Control Program
Carl Brandon
,
Peter Chapin
.
adaEurope 2013
:
51-64
[doi]
Provably Secure DNS: A Case Study in Reliable Software
Barry S. Fagin
,
Martin C. Carlisle
.
adaEurope 2013
:
81-93
[doi]
Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Hubert B. Keller
,
Erhard Plödereder
,
Peter Dencker
,
Herbert Klenk
, editors,
Volume 7896 of
Lecture Notes in Computer Science
, Springer,
2013.
[doi]
Tasklettes - A Fine Grained Parallelism for Ada on Multicores
Stephen Michell
,
Brad Moore
,
Luís Miguel Pinho
.
adaEurope 2013
:
17-34
[doi]
Experience with the Integration of Distribution Middleware into Partitioned Systems
Héctor Pérez
,
J. Javier Gutiérrez
.
adaEurope 2013
:
1-16
[doi]
Lady Ada Mediates Peace Treaty in Endianness War
Thomas Quinot
,
Eric Botcazou
.
adaEurope 2013
:
65-80
[doi]
A Model-Based Framework for Developing Real-Time Safety Ada Systems
Emilio Salazar
,
Alejandro Alonso
,
Miguel A. de Miguel
,
Juan Antonio de la Puente
.
adaEurope 2013
:
127-142
[doi]
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
J. Reinier van Kampenhout
,
Robert Hilbrich
.
adaEurope 2013
:
35-50
[doi]
Measuring the Odds of Statements Being Faulty
Xiaozhen Xue
,
Akbar Siami Namin
.
adaEurope 2013
:
109-126
[doi]
2012
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Mats Brorsson
,
Luís Miguel Pinho
, editors,
Volume 7308 of
Lecture Notes in Computer Science
, Springer,
2012.
[doi]
Formal Modelling for Ada Implementations: Tasking Event-B
Andrew Edmunds
,
Abdolbaghi Rezazadeh
,
Michael Butler
.
adaEurope 2012
:
119-132
[doi]
Implementing and Verifying EDF Preemption-Level Resource Control
Mark Louis Fairbairn
,
Alan Burns
.
adaEurope 2012
:
193-206
[doi]
An Approach to Model Checking Ada Programs
José Miguel Faria
,
João Martins
,
Jorge Sousa Pinto
.
adaEurope 2012
:
105-118
[doi]
Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface
Christian Forler
,
Stefan Lucks
,
Jakob Wenzel
.
adaEurope 2012
:
75-88
[doi]
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
Marisol García-Valls
,
Felipe Ibáñez-Vázquez
.
adaEurope 2012
:
35-48
[doi]
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
Kristoffer Nyborg Gregertsen
,
Amund Skavhaug
.
adaEurope 2012
:
177-192
[doi]
Augmenting Formal Development with Use Case Reasoning
Alexei Iliasov
.
adaEurope 2012
:
133-146
[doi]
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
Patricia López Martínez
,
Tullio Vardanega
.
adaEurope 2012
:
89-104
[doi]
Ada Ravenscar Code Archetypes for Component-Based Development
Marco Panunzio
,
Tullio Vardanega
.
adaEurope 2012
:
1-17
[doi]
Formal Goal-Oriented Development of Resilient MAS in Event-B
Inna Pereverzeva
,
Elena Troubitsyna
,
Linas Laibinis
.
adaEurope 2012
:
147-161
[doi]
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology
Pak-Lok Poon
,
Tsong Yueh Chen
,
T. H. Tse
.
adaEurope 2012
:
162-176
[doi]
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems
Florian Pölzlbauer
,
Iain Bate
,
Eugen Brenner
.
adaEurope 2012
:
207-220
[doi]
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
José F. Ruiz
,
Cyrille Comar
,
Yannick Moy
.
adaEurope 2012
:
49-59
[doi]
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Sergio Saez
,
Jorge Real
,
Alfons Crespo
.
adaEurope 2012
:
18-34
[doi]
Teaching 'Concepts of Programming Languages' with Ada
Theodor Tempelmeier
.
adaEurope 2012
:
60-74
[doi]
Sign in
or
sign up
to see more results.