Conferences in DBLP
José Antonio Pulido , Santiago Urueña , Juan Zamorano , Tullio Vardanega , Juan Antonio de la Puente Hierarchical Scheduling with Ada 2005. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin M. Brosgol , Andy J. Wellings A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Filipe Valpereiro , Luís Miguel Pinho POSIX Trace Based Behavioural Reflection. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Burgstaller , Johann Blieberger , Robert Mittermayr Static Detection of Access Anomalies in Ada95. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Breuer , Simon Pickin One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Aoun Raza , Gunther Vogel , Erhard Plödereder Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Damian Curtis SPARK Annotations Within Executable UML. [Citation Graph (0, 0)][DBLP ] Conf ] Xuandong Li , Linzhang Wang , Xiaokang Qiu , Bin Lei , Jiesong Yuan , Jianhua Zhao , Guoliang Zheng Runtime Verification of Java Programs for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Sri Hari Krishna Narayanan , Mahmut T. Kandemir , R. R. Brooks , Ibrahim Kolcu Secure Execution of Computations in Untrusted Hosts. [Citation Graph (0, 0)][DBLP ] Conf ] Diego Alonso , Pedro Sánchez , Bárbara Álvarez , Juan A. Pastor A Systematic Approach to Developing Safe Tele-operated Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Gustavo Aranda Bada , Javier Palanca Cámara , Agustín Espinosa , Andrés Terrasa , Ana García-Fornes Towards Developing Multi-agent Systems in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Wagner , Helmut Fischer A Software Reliability Model Based on a Geometric Sequence of Failure Rates. [Citation Graph (0, 0)][DBLP ] Conf ] Tsong Yueh Chen , Dehao Huang , Zhiquan Zhou Adaptive Random Testing Through Iterative Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Jingde Cheng Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Miranda , Edmond Schonberg Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. [Citation Graph (0, 0)][DBLP ] Conf ] Ward Douglas Maurer Using Mathematics to Improve Ada Compiled Code. [Citation Graph (0, 0)][DBLP ] Conf ] Mohsen Sharifi , Hadi Salimi Replication-Aware Transactions: How to Roll a Transaction over Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Santiago Urueña , Juan Zamorano , Daniel Berjón , José Antonio Pulido , Juan Antonio de la Puente The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Juan López Campos , J. Javier Gutiérrez , Michael González Harbour Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. [Citation Graph (0, 0)][DBLP ] Conf ] 