Conferences in DBLP
Neville Rowden ILTIS - The Legacy of a Successful Product. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco J. Ortiz , Diego Alonso , Bárbara Álvarez , Juan A. Pastor A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Miguel Pinho , Luís Nogueira , Ricardo Barbosa An Ada Framework for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Saez , Vicent Lorente , Silvia Terrasa , Alfons Crespo Efficient Alternatives for Implementing Fixed-Priority Schedulers. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Bordin , Tullio Vardanega A New Strategy for the HRT-HOOD to Ada Mapping. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Vergnaud , Laurent Pautet , Fabrice Kordon Using the AADL to Describe Distributed Applications from Middleware to Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Diyaa-Addein Atiya , Steve King Extending Ravenscar with CSP Channels. [Citation Graph (0, 0)][DBLP ] Conf ] Sami Evangelista , Claude Kaiser , Christophe Pajault , Jean-François Pradat-Peyre , Pierre Rousseau Dynamic Tasks Verification with Quasar. [Citation Graph (0, 0)][DBLP ] Conf ] Ricky E. Sward , Leemon C. Baird III Proving Functional Equivalence for Program Slicing in SPARK™. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Simon , Gunther Vogel , Erhard Plödereder Teaching Software Engineering with Ada 95. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin M. Brosgol A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM . [Citation Graph (0, 0)][DBLP ] Conf ] Peter Amey , Roderick Chapman , Neil White Smart Certification of Mixed Criticality Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kristina Lundqvist , Jayakanth Srinivasan , Sébastien Gorelov Non-intrusive System Level Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Devaraj Ayavoo , Michael J. Pont , Stephen Parker Observing the Development of a Reliable Embedded System. [Citation Graph (0, 0)][DBLP ] Conf ] José María Martínez , Michael González Harbour RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Masmano , Jorge Real , Alfons Crespo , Ismael Ripoll Distributing Criticality Across Ada Partitions. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Miranda , Edmond Schonberg , Gary Dismukes The Implementation of Ada 2005 Interface Types in the GNAT Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Aldea Rivas , Javier Miranda , Michael González Harbour Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Rogers , Andy J. Wellings The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. [Citation Graph (0, 0)][DBLP ] Conf ] José F. Ruiz GNAT Pro for On-board Mission-Critical Space Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Romain Berrendonner , Jérôme Guitton The ESA Ravenscar Benchmark. [Citation Graph (0, 0)][DBLP ] Conf ] 