yusuke1997/dblp-id-title huggingface dataset:
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications
HRT-UML: Taking HRT-HOOD onto UML
Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems
Closing the Loop: The Influence of Code Analysis on Design
Tool Support for High Integrity Ada Software
Life*ADA: An APSE Integrating Multiple Compiler
Is an Ada Lint Necessary?
LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool)
GtkAda: Design and Implementation of a High Level Binding in Ada
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
Objects at Use in Nautical Simulators
Static Deadlock Detection in the Linux Kernel
Adapting ACATS to the Ahven Testing Framework
STRAda - An Ada Transformation and Distribution System
Real Time Ada in the International Space Station Freedom
Extending Ravenscar with CSP Channels
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation
Design of Concurrent Software Based on Problem Concurrency
The CONCERTO Methodology for Model-Based Development of Avionics Software
GNAT Ada Database Development Environment
Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter
Architecting a Common Bridge Abstraction over Different Middleware Paradigms
Extracting Ada 95 Objects from Legacy Ada Programs
Software Reuse: Customer vs. Contractor Point-Counterpoint
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
An Alternative Toolset for Analysis of Ada Programs
Capturing and Verifying Performance Requirements for Hard Real Time Systems
Software Time Reliability in the Presence of Cache Memories
Modeling AADL Data Communication with BIP
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors
Dynamic Tasks Verification with Quasar
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet
Decimal Arithmetic in Ada
An Efficient Compiler Validation Method for Ada 9X
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling
Software Engineering, Ada and Metrics
Control Co-design: Algorithms and Their Implementation
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine
An Invitation to Ada 2005
Getting System Metrics Using POSIX Tracing Services
Using Java TM APIs with Native Ada Compilers
Certification of Ada Real-Time Executives for Safety Critical Applications
AFDX Emulator for an ARINC-Based Training Platform
Modules for Crosscutting Models
Mixing Scheduling Policies in Ada
Requirements on the Target Programming Language for High-Integrity MDE
The Impact of Ada on MIS Applications
Validating Safety and Security Requirements for Partitioned Architectures
Safe Non-blocking Synchronization in Ada2x
Programming Distributed Systems with Both Ada 95 and PVM
A Supporting Tool for Development of Self-Measurement Ada Programs
Augmenting Formal Development with Use Case Reasoning
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012
Beyond Ada 95: The Addition of Persistence and Its Consequences
Challenges in the Implementation of MrsP
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
Using Object Orientation in High Integrity Applications: A Case Study
Using Ada 95 for Prototyping Real-Time Systems
Opening Address: Ada 9X
A Formal Definition of Diana
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings
A Highly Parallel Ada Task Scheduler
A Type-Safe Database Interface
An Approach to Model Checking Ada Programs
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
Task Sequencing Languages for Specifying Distributed Ada Systems
ILTIS - The Legacy of a Successful Product
Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms
Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
Architectural Frameworks: Defining the Contents of Architectural Descriptions
Programming Languages Meet Multicore
Encapsulating Failure Detection: From Crash to Byzantine Failures
Secure Execution of Computations in Untrusted Hosts
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT
Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission
Practical Limits on Software Dependability: A Case Study
On Programming Atomic Actions in Ada 95
Implementing and Verifying EDF Preemption-Level Resource Control
Quasar: A New Tool for Concurrent Ada Programs Analysis
Design and Code Metrics Through a DIANA-Based Tool
On the Timed Automata-Based Verification of Ravenscar Systems
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems
Ada in Mixed Language Applications
Defining New Non-preemptive Dispatching and Locking Policies for Ada
An Evaluation of Ada Source Code Reuse
Implementing a New Low-Level Tasking Support for the GNAT Runtime System
A New Ravenscar-Based Profile
RxAda: An Ada implementation of the ReactiveX API
Contextware: Bridging Physical and Virtual Worlds
Experiences on Developing and Using a Tool Support for Formal Specification
Test Case Prioritization Using Online Fault Detection Information
Fault-Tolerance by Replication in Distributed Systems
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative
A Design Pattern for State Machines and Concurrent Activities
Using Safety Contracts to Verify Design Assumptions During Runtime
Graphics Development in Ada
Tha Dangers of Inheritance
On the Minimal Essential Subsets and Minimal Representative Sets
Converting the Part Task Nautical Simulator to Ada 95
Building Modular Communication Systems in Ada: The Simple_Com Approach
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Managing Transactions in Flexible Distributed Real-Time Systems
Task Termination in Ada 95
ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada
Replication-Aware Transactions: How to Roll a Transaction over Failures
The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
Information Systems Support in Ada 9X
Ada Meets Giotto
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Tuning Ada Programs in Advance
Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling
Complex Task Implementation in Ada
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Results
Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
SPARK Annotations Within Executable UML
How to Modify the GNAT Frontend tp Experiment with Ada Extensions
Constructing a Pilot Library of Components for Avionic Systems
Reusable Input/Output Packages for Ada Avionic Applications
Reconfigurable Ada Distributed Control System Software
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings
Ada Ravenscar Code Archetypes for Component-Based Development
An Approach to Increasing Software Component Reusability in Ada
Provably Secure DNS: A Case Study in Reliable Software
Ariane 5: Development of the On-Board Software
Smart Certification of Mixed Criticality Systems
Migrating Large Applications from Ada83 to Ada95
An Ada 95 Sort Race Construction Set
A New Strategy for the HRT-HOOD to Ada Mapping
Implementing Protected Types on Embedded Targets
A New Approach to Memory Partitioning in On-Board Spacecraft Software
HCSD Unit Development Process: Step-Wise Process Improvement
Automating the Ada Binding Process for Java- How Far Can We Go?
Embedded Opportunities
An Execution Model for Fine-Grained Parallelism in Ada
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST
Vector Processing in Ada
Extending the Object-Orientedness of Ada 95
Distributed and Parallel Systems and HOOD 4
Design and Performance of a Generic Consensus Component for Critical Distributed Applications
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project
Some Architectural Features of Ada Systems Affecting Defects
Can Java Meet Its Real-Time Deadlines?
The ESA Ravenscar Benchmark
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
Ship System 2000, a Stable Architecture under Continuous Evolution
Addressing the Regression Test Problem with Change Impact Analysis for Ada
Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings
An Incremental RecoveryCache Supporting Sotware Fault Tolerance
Visibility Control and Migration of Interfaces in Large Ada Systems
Railway Scale Model Simulator
CORBA & DSA: Divorce or Marriage?
Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings
Implementing Application-Level Sporadic Server Schedulers in Ada 95
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
Interfacing Computer Communications from Ada in a Diverse and Evolving Environment
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel
Task Dependence Net as a Representation for Concurrent Ada Programs
Engineering VAX Ada for a Multi-Language Programming Environment
On the Role of Conceptual Schemas in Information Systems Development
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines
Ada 95 for a Distributed Simulation System
Teaching 'Concepts of Programming Languages' with Ada
Mapping Object-Oriented Designs to Ada
Secure Communication in Distributed Ada
A Case Study in Quantitative Evaluation of Real-Time Software Architectures
Modelling Remote Concurrency with Ada
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis
Panel on Safety and Reliability, held on September 28, 1994
Scheduling Configuration of Real-Time Component-Based Applications
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project
yaRTI, an Ada 95 HLA Run-Time Infrastructure
Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S
Towards Developing Multi-agent Systems in Ada
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Implementing Reactive Systems with UML State Machines and Ada 2005
Ten Years of Tool Based Ada Compiler Validations. An Experience Report
Distributed Run-Time Systems, a Protocol for Ada
Ada Compiler Validation: An Example of Software Testing Theory and Practice
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems
An Ada 95 Harness for Converting Legacy Fortran Applications
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
Using Ada Source Code Generators in a Large Project
A Framework for Testing Object-Oriented Software Using Formal Specifications
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines
Detecting High-Level Synchronization Errors in Parallel Programs
Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures
Adding Design by Contract to the Ada Language
Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach
Browsing a Component Library Using Non-functional Information
A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology
A Formal Foundation for Metamodeling
Acceptance Testing of Object Oriented Systems
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives
A Modelling Approach with Coloured Petri Nets
ASIS for GNAT: Goals, Problems and Implementation Strategy
Building Formal Requirements Models for Reliable Software
Software Fault Tolerance: An Overview
OMC-INTEGRAL Memory Management
Tasklettes - A Fine Grained Parallelism for Ada on Multicores
Experiences Applying a Practical Architectural Method
Test Methods and Tools for SOHO Mass Memory Unit Software
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs
DIS - An Interface to Distributed Interactive Simulation
System on Chip Specification and Design Languages Standardization
Formal Goal-Oriented Development of Resilient MAS in Event-B
Handling Temporal Faults in Ada 2005
Experience with the Integration of Distribution Middleware into Partitioned Systems
Modelling the Temporal Summation of Neural Membranes Using the Ada Language
Considerations with Regard to Validation of Ada Debuggers
Knowledge-Based Software Development from Requirements to Code
Dynamic Ceiling Priorities: A Proposal for Ada0Y
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
FAA Certification of Ada Run-Time Systems
A Survey of Physical Unit Handling Techniques in Ada
Scenario-Based System Assessment
Busy Wait Analysis
AMPATS - A Multi Processor Ada Tool Set
Real-Time Distribution Middleware from the Ada Perspective
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring
Databases in Software Development: The Ada Programming Support Environment
ASIS for GNAT: From the Prototype to the Full Implementation
Evolving an Ada Curriculum to 9X
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux
Looking at Code With Your Safety Goggles On
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application
Adaptive Random Testing Through Iterative Partitioning
Ada and Timed Automata
Enforcing Timeliness and Safety in Mission-Critical Systems
Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques
Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
A Decade of Development and Development of Distributed Ada Systems
Design and Implementation of a Ravenscar Extension for Multiprocessors
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Object-Oriented Programming and Protected Objects in Ada 95
Concurrent Program Metrics Drawn by Quasar
Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD)
Ada in the JAS 39 Gripen Flight Control System
Results of an Investigation into Software Integration Testing Automation
Lessons Learned and Easily Forgotten
Model Checking Techniques for Test Generation from Business Process Models
Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Round Table Discussion: "Tools and Design Methods"
Assuring Software Reliability While Using Web Services and Commercial Products
Safety Aspects of the Ariane 5 On-Board Software
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status
Distributed Application Designed Using MASCOT and Implemented in Ada
Programming the Internet in Ada 95
Dianette - A Pragmatic Variant of Diana
Predicting the Speedup of Parallel Ada Programs
Parameter-Induced Aliasing in Ada
Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE
Object Oriented Abstractions for Real-Time Distributes Systems
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS
CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project
Code-Data Consistency in Ada
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95
Supporting Nested Resources in MrsP
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar
Automatic Verification of Concurrent Ada Programs
Introducing HOOD into Software Process Modelling Based Environments
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project
StateML +s : From Graphical State Machine Models to Thread-Safe Ada Code
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Beyond Abstract Data Types: Giving Life to Objects
Static Detection of Livelocks in Ada Multitasking Programs
The SPIF Project
Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
Increasing Confidence in Concurrent Software through Architectural Analysis
Augmenting Ada 95 with Additional Real-Time Features
An Experience on Ada Programming Using On-Line Judging
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets
Hierarchical Scheduling with Ada 2005
Program Verification in SPARK and ACSL: A Comparative Case Study
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM
Developing Scripting Capabilities for an Ada-Based Simulator
Modellin SIMD - Type Parallel Arithmetic Operations in Ada
Designing Hard Real-Time Systems
Testing Ada Abstract Data Types Using Formal Specifications
Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods
Real-Time Electronic Funds Transfer and Ada
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment
High Integrity Ravenscar
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL
Using Ada in Interactive Digital Television Systems
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95
Programming Languages for Real-Time Applications Executing on Parallel Hardware
Implementing a Flexible Scheduler in Ada
Ada95 - An Approach to Overcome the Software Crisis?
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Supporting Deadlines and EDF Scheduling in Ada
A Test Environment for High Integrity Software Development
Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
The GNARL Implementation of POSIX/Ada Signal Services
Fault Tolerance by Transparent Replication for Distributed Ada 95
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels
Performance Tuning of a Check-Out System Coded in Ada
Towards a Time-Composable Operating System
An Operational Computer Aided Software Environment: ILIADE
Generating Distributed High Integrity Applications from Their Architectural Description
Ada Controls the European Robotic Arm
Adam, an Ada Simulation Toolkit
OpenMP Tasking Model for Ada: Safety and Correctness
The Ada Environment - A Personal View
Incorporating Precise Garbage Collection in an Ada Compiler
A Tailorable Distributed Programming Environment
OOT, DO-178C and SPARK
How Should Military Ada Software be Documented?
Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls
XML4Ada95 Accessing XML Using the DOM in Ada95
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning
Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
How to Avoid and Control Proliferation of New Ada Real Time Extensions
Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings
On Some Characterisation Problems of Subdomain Testing
Towards Ada 2012: An Interim Report
Modelling and Evaluating Real-Time Software Architectures
Combining Time-Triggered Plans with Priority Scheduled Task Sets
Language Issues of Compiling Ada to Hardware
Evidential Volume Approach for Certification
Runtime Verification of Java Programs for Scenario-Based Specifications
A Graphical Environment for GLADE
Ada in Safety Critical Applications
(True) Polymorphism in SPARK2000
The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers
Structuring Iterators to Encourage Reuse
The Diana Interfacer
Testing Ada 95 Programs for Conformance to Rapide Architectures
Cost-Benefit Analysis for Software-Reuse - A Decision Procedure
Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design
Programming Hard Real-Time Systems with Optional Components in Ada
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance
Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment
Systematic Unit-Testing of Ada Programs