default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2014: Paris, France

> Home > Conferences and Workshops > Ada-Europe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2014
Laurent George, Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8454, Springer 2014, ISBN 978-3-319-08310-0
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Laine14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Laine14
Robert Lainé:
Lessons Learned and Easily Forgotten. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Shawky14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Shawky14
Mohamed Shawky:
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems. 7-10
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/LopatkinR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/LopatkinR14
Ilya Lopatkin, Alexander B. Romanovsky:
Rigorous Development of Fault-Tolerant Systems through Co-refinement. 11-26
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BurgstallerB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BurgstallerB14
Bernd Burgstaller, Johann Blieberger:
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. 27-42
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ZhouLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ZhouLL14
Jiale Zhou, Yue Lu, Kristina Lundqvist:
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. 43-57
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PedroPPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PedroPPP14
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto:
Towards a Runtime Verification Framework for the Ada Programming Language. 58-73
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SaezRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SaezRC14
Sergio Sáez, Jorge Real, Alfons Crespo:
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012. 74-90
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PinhoMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PinhoMM14
Luís Miguel Pinho, Brad Moore, Stephen Michell:
Parallelism in Ada: Status and Prospects. 91-106
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BurnsW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BurnsW14
Alan Burns, Andy J. Wellings:
Deadline-Aware Programming and Scheduling. 107-118
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/QamhiehM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/QamhiehM14
Manar Qamhieh, Serge Midonnet:
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level. 119-133
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SaezC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SaezC14
Sergio Sáez, Alfons Crespo:
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels. 134-148
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/JaouenBPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/JaouenBPR14
Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert:
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. 149-165
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/HanisS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/HanisS14
Gerhard Hanis, Burkhard Stadlmann:
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines. 166-176
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/IliasovLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/IliasovLR14
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky:
Practical Formal Methods in Railways - The SafeCap Approach. 177-192

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.