default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2012: Stockholm, Sweden

> 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/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2012
Mats Brorsson, Luís Miguel Pinho:
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings. Lecture Notes in Computer Science 7308, Springer 2012, ISBN 978-3-642-30597-9

Application Frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PanunzioV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PanunzioV12
Marco Panunzio, Tullio Vardanega:
Ada Ravenscar Code Archetypes for Component-Based Development. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SaezRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SaezRC12
Sergio Sáez, Jorge Real, Alfons Crespo:
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. 18-34
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Garcia-VallsI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Garcia-VallsI12
Marisol García-Valls, Felipe Ibáñez-Vázquez:
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA. 35-48

Use of Ada

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RuizCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RuizCM12
José F. Ruiz, Cyrille Comar, Yannick Moy:
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. 49-59
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Tempelmeier12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Tempelmeier12
Theodor Tempelmeier:
Teaching 'Concepts of Programming Languages' with Ada. 60-74
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ForlerLW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ForlerLW12
Christian Forler, Stefan Lucks, Jakob Wenzel:
Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface. 75-88

Modeling

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MartinezV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MartinezV12
Patricia López Martínez, Tullio Vardanega:
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development. 89-104
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/FariaMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/FariaMP12
José Miguel Faria, João Martins, Jorge Sousa Pinto:
An Approach to Model Checking Ada Programs. 105-118
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/EdmundsRB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/EdmundsRB12
Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler:
Formal Modelling for Ada Implementations: Tasking Event-B. 119-132

Testing and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Iliasov12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Iliasov12
Alexei Iliasov:
Augmenting Formal Development with Use Case Reasoning. 133-146
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PereverzevaTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PereverzevaTL12
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Goal-Oriented Development of Resilient MAS in Event-B. 147-161
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PoonCT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PoonCT12
Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse:
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology. 162-176

Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/GregertsenS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/GregertsenS12
Kristoffer Nyborg Gregertsen, Amund Skavhaug:
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit. 177-192
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/FairbairnB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/FairbairnB12
Mark Louis Fairbairn, Alan Burns:
Implementing and Verifying EDF Preemption-Level Resource Control. 193-206
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PolzlbauerBB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PolzlbauerBB12
Florian Pölzlbauer, Iain Bate, Eugen Brenner:
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. 207-220

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.