Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre |
Modelling Remote Concurrency with Ada. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng |
Runtime Verification of Java Programs for Scenario-Based Specifications. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Juan López Campos, J. Javier Gutiérrez, Michael González Harbour |
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jingde Cheng |
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Damian Curtis |
SPARK Annotations Within Executable UML. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Burgstaller, Johann Blieberger, Robert Mittermayr |
Static Detection of Access Anomalies in Ada95. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ward Douglas Maurer |
Using Mathematics to Improve Ada Compiled Code. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diego Alonso, Pedro Sánchez, Bárbara Álvarez, Juan Angel Pastor |
A Systematic Approach to Developing Safe Tele-operated Robots. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Javier Miranda, Edmond Schonberg |
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
Abstract Interface Types, Tagged Types, Discriminants, Ada 2005, GNAT |
1 | Gustavo Aranda Bada, Javier Palanca Cámara, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes |
Towards Developing Multi-agent Systems in Ada. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wagner 0001, Helmut Fischer |
A Software Reliability Model Based on a Geometric Sequence of Failure Rates. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Sharifi, Hadi Salimi |
Replication-Aware Transactions: How to Roll a Transaction over Failures. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente |
Hierarchical Scheduling with Ada 2005. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luís Miguel Pinho, Michael González Harbour (eds.) |
Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aoun Raza, Gunther Vogel, Erhard Plödereder |
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tsong Yueh Chen, Dehao Huang, Zhiquan Zhou |
Adaptive Random Testing Through Iterative Partitioning. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Simon Pickin 0001 |
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin M. Brosgol, Andy J. Wellings |
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Richard R. Brooks, Ibrahim Kolcu |
Secure Execution of Computations in Untrusted Hosts. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Valpereiro, Luís Miguel Pinho |
POSIX Trace Based Behavioural Reflection. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau |
Dynamic Tasks Verification with Quasar. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tullio Vardanega, Andy J. Wellings (eds.) |
Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José María Martínez, Michael González Harbour |
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95 |
1 | Thomas Vergnaud, Laurent Pautet, Fabrice Kordon |
Using the AADL to Describe Distributed Applications from Middleware to Software Components. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ricky E. Sward, Leemon C. Baird III |
Proving Functional Equivalence for Program Slicing in SPARK™. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Sáez, Vicente Lorente Garcés, Silvia Terrasa, Alfons Crespo |
Efficient Alternatives for Implementing Fixed-Priority Schedulers. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter Amey, Roderick Chapman, Neil White |
Smart Certification of Mixed Criticality Systems. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan Angel Pastor |
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin M. Brosgol |
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa 0004 |
An Ada Framework for QoS-Aware Applications. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Devaraj Ayavoo, Michael J. Pont, Stephen Parker |
Observing the Development of a Reliable Embedded System. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rogers, Andy J. Wellings |
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery |
1 | Diyaa-Addein Atiya, Steve King 0001 |
Extending Ravenscar with CSP Channels. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Neville Rowden |
ILTIS - The Legacy of a Successful Product. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov |
Non-intrusive System Level Fault-Tolerance. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Romain Berrendonner, Jérôme Guitton |
The ESA Ravenscar Benchmark. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José F. Ruiz |
GNAT Pro for On-board Mission-Critical Space Applications. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mario Aldea Rivas, Javier Miranda, Michael González Harbour |
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Ada, Compilers, Kernel, POSIX |
1 | Daniel Simon, Gunther Vogel, Erhard Plödereder |
Teaching Software Engineering with Ada 95. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Bordin, Tullio Vardanega |
A New Strategy for the HRT-HOOD to Ada Mapping. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Javier Miranda, Edmond Schonberg, Gary Dismukes |
The Implementation of Ada 2005 Interface Types in the GNAT Compiler. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
Abstract Interface Types, Tagged Types, Ada 2005, GNAT |
1 | Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll |
Distributing Criticality Across Ada Partitions. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mario Aldea Rivas, Javier Miranda, Michael González Harbour |
Implementing an Application-Defined Scheduling Framework for Ada Tasking. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time, Compilers, Kernel, Ada 95, POSIX |
1 | Zdenko Vrandecic, Daniel Simon |
XML4Ada95 Accessing XML Using the DOM in Ada95. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Albert Llamosí, Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla |
Benefits and Problems of Formal Methods. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ricky E. Sward |
Extracting Ada 95 Objects from Legacy Ada Programs. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bárbara Álvarez, Juan Angel Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro Javier Navarro Lorente |
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
object-oriented pro-gramming, real-time systems, Education and training |
1 | Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo |
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alan Burns 0001, Andy J. Wellings, S. Tucker Taft |
Supporting Deadlines and EDF Scheduling in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Heaney |
Shortcuts: A Critical Look. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar |
A Randomised Test Approach to Testing Safety Critical Ada Code. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mário Amado Alves |
A Theory of Persistent Containers and Its Application to Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antoni Olivé |
On the Role of Conceptual Schemas in Information Systems Development. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stepan P. Nadrchal |
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Amey, Neil White |
High Integrity Ada in a UML and C World. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente |
Implementing Execution-Time Clocks for the Ada Ravenscar Profile. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kwok Ping Chan, Tsong Yueh Chen, Dave Towey |
Good Random Testing. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena |
Mixing Scheduling Policies in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Helge Hagenauer, Norbert Martinek, Werner Pohlmann |
Ada Meets Giotto. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steve Vinoski |
An Overview of Middleware. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Juan López Campos, J. Javier Gutiérrez, Michael González Harbour |
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Ada 95 |
1 | Jorge Real, Alan Burns 0001, Javier Miranda, Edmond Schonberg, Alfons Crespo |
Dynamic Ceiling Priorities: A Proposal for Ada0Y. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Burgstaller, Johann Blieberger, Bernhard Scholz |
On the Tree Width of Ada Programs. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adrian J. Hilton, Jon G. Hall |
High-Integrity Interfacing to Programmable Logic with Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rogers, Andy J. Wellings |
OpenAda: Compile-Time Reflection for Ada 95. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
compiler, tools, Reflection, Ada language |
1 | Franco Gasperoni |
Vector Processing in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Marisol García-Valls |
Static Deadlock Detection in the Linux Kernel. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega |
HRT-UML: Taking HRT-HOOD onto UML. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alan Burns 0001, Tse-Min Lin |
Adding Temporal Annotations and Associated Verification to Ravenscar Profile. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tse-Min Lin, John A. McDermid |
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning |
1 | William M. Evanco, June M. Verner |
Some Architectural Features of Ada Systems Affecting Defects. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kienzle |
Software Fault Tolerance: An Overview. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
concurrency, failures, Software fault tolerance, exceptions |
1 | Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau |
Quasar: A New Tool for Concurrent Ada Programs Analysis. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. Ortiz, Bárbara Álvarez, Juan Angel Pastor, Pedro Sánchez |
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Javier Miranda, Michael González Harbour |
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT |
1 | Johann Blieberger, Bernd Burgstaller, Bernhard Scholz |
Busy Wait Analysis. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Alonso 0001, Juan Antonio de la Puente, Juan Zamorano |
A Test Environment for High Integrity Software Development. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky |
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Grein, Dmitry A. Kazakov, Fraser Wilson |
A Survey of Physical Unit Handling Techniques in Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Franch, Jordi Marco |
A Quality Model for the Ada Standard Container Library. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ehud Lamm |
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin M. Brosgol, Andy J. Wellings |
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Heaney |
Charles: A Data Structure Library for Ada95. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kwok Ping Chan, Tsong Yueh Chen, Dave Towey |
Normalized Restricted Random Testing. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mira Mezini, Klaus Ostermann |
Modules for Crosscutting Models. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers |
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alan Burns 0001, Michael González Harbour, Andy J. Wellings |
A Round Robin Scheduling Policy for Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Francis Thom |
The Standard UML-Ada Profile. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Rosen, Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Leroy |
An Invitation to Ada 2005. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Silke Kuball, Gordon Hughes |
Evidential Volume Approach for Certification. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Holsti, Thomas Långbacka |
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente |
Getting System Metrics Using POSIX Tracing Services. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández |
A Graphical Environment for GLADE. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
Distributed Configuration, GLADE, Group_IO, Ada |
1 | Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam |
Testing Safety Critical Ada Code Using Non Real Time Testing. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter Amey, Brian Dobbing |
High Integrity Ravenscar. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger, Bernd Burgstaller |
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|