default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2015: Madrid, Spain
- Juan Antonio de la Puente
, Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings. Lecture Notes in Computer Science 9111, Springer 2015, ISBN 978-3-319-19583-4
Keynotes
- Jon Pérez, David González, Salvador Trujillo, Ton Trapman:
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning. 3-17 - András Balázs, Attila Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, Péter Spányi, J. Sulyán, Sándor Szalai, Laszlo Várhalmi:
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission. 18-30
Language Technology
- Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer:
Extensible Debugger Framework for Extensible Languages. 33-49 - Husni Khanfar, Björn Lisper, Abu Naser Masud:
Static Backward Program Slicing for Safety-Critical Systems. 50-65 - Geoffrey Nelissen, David Pereira, Luís Miguel Pinho:
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. 66-82
Real-Time Applications
- Juan Zamorano, Jorge Garrido:
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. 85-99 - Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung:
Guaranteeing Timing Requirements in the IXV On-Board Software. 100-115 - Manuel Díaz, Daniel Garrido:
Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later. 116-128
Critical Systems
- Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri:
The CONCERTO Methodology for Model-Based Development of Avionics Software. 131-145 - Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
From AADL Model to LNT Specification. 146-161 - Omar Jaradat, Iain Bate, Sasikumar Punnekkat:
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. 162-176
Multicore and Distributed Systems
- Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti:
Challenges in the Implementation of MrsP. 179-195 - Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft:
An Execution Model for Fine-Grained Parallelism in Ada. 196-211 - Jesús Fernández, Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour:
AFDX Emulator for an ARINC-Based Training Platform. 212-227
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
