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