Search results for "reliable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Fabrice Kordon, Tullio Vardanega (eds.)	Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Gayatri Swamynathan, Ben Y. Zhao, Kevin C. Almeroth, S. Rao Jammalamadaka	Towards Reliable Reputations for Dynamic Networked Systems.	SRDS	2008	DBLP DOI BibTeX RDF
14	Florian Villoing, Emmanuel Briot	A Type-Safe Database Interface.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Irfan Hamid, Elie Najm	Operational Semantics of Ada Ravenscar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen	Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Christine Choppy, Laure Petrucci, Gianna Reggio	A Modelling Approach with Coloured Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	coloured Petri nets, modular design, modelling method, specification method
14	Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina	An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Component-based technology, OMG standards, embedded systems, realtime, Ada 2005
14	Iulian Ober, Nicolas Halbwachs	On the Timed Automata-Based Verification of Ravenscar Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Héctor Pérez 0001, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour	Real-Time Distribution Middleware from the Ada Perspective.	Ada-Europe	2008	DBLP DOI BibTeX RDF	RT-CORBA, Ada DSA, performance, communications, real-time, distribution middleware
14	Sri Hari Krishna Narayanan, Mahmut T. Kandemir	A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez	StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering
14	Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente	A New Approach to Memory Partitioning in On-Board Spacecraft Software.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
14	Claude Évéquoz	Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking
14	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Frank Singhoff, Alain Plantec, Pierre Dissaux	Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Aoun Raza, Gunther Vogel	RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Robert G. Pettit IV	Increasing Confidence in Concurrent Software through Architectural Analysis.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Raul Fechete, Georg Kienesberger, Johann Blieberger	A Framework for CFG-Based Static Program Analysis of Ada Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin	Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-driven Integration, High-Integrity Systems, Automated Code Generation
14	Marco Di Natale	Design and Development of Component-Based Embedded Systems for Automotive Applications.	Ada-Europe	2008	DBLP DOI BibTeX RDF
14	Laura Carnevali, Leonardo Grassi, Enrico Vicario	A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	concurrent real-time systems, V-Model, preemptive Time Petri Nets, formal methods, state space analysis
14	Nabil Abdennadher, Fabrice Kordon (eds.)	Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Vadim Drabkin, Roy Friedman, Gabriel Kliot, Marc Segal	RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks.	SRDS	2007	DBLP DOI BibTeX RDF
14	José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	Handling Temporal Faults in Ada 2005.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed	ArchMDE Approach for the Development of Embedded Real Time Systems.	Ada-Europe	2007	DBLP DOI BibTeX RDF	TURTLE, Model Transformation, Meta-model, Architectural Style, MDE, Embedded Real Time System
14	Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet	Generating Distributed High Integrity Applications from Their Architectural Description.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Andy J. Wellings, Alan Burns 0001	Real-Time Utilities for Ada 2005.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières	Enhancing Dependability of Component-Based Systems.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Marco Panunzio, Tullio Vardanega	A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla 0001	Automatic Ada Code Generation Using a Model-Driven Engineering Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Mario Aldea Rivas, José F. Ruiz	Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Real-Time Systems, Compilers, POSIX, Ada 2005
14	Alejandro R. Mosteo, Luis Montano	Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.	Ada-Europe	2007	DBLP DOI BibTeX RDF	GNAT GPL, multi-robot, Ada 2005, control architecture
14	Khaled Barbaria, Jérôme Hugues, Laurent Pautet	Design and Performance of a Generic Consensus Component for Critical Distributed Applications.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
14	Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu	On Detecting Double Literal Faults in Boolean Expressions.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Test case generation, Black-box testing, Fault-based testing, Boolean specification
14	W. K. Chan 0001, Tsong Yueh Chen, S. C. Cheung 0001, T. H. Tse, Zhenyu Zhang 0004	Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.	Ada-Europe	2007	DBLP DOI BibTeX RDF	WSN application, Wireless sensor network, software testing, power awareness, test automation, test oracle, metamorphic testing
14	Frank Singhoff, Alain Plantec	Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Ada code generating, Cheddar, Platypus, Meta-modeling
14	Gyun Woo, Heung Seok Chae, Hanil Jang	An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez	Incorporating Precise Garbage Collection in an Ada Compiler.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Johann Blieberger, Bernd Burgstaller, Robert Mittermayr	Static Detection of Livelocks in Ada Multitasking Programs.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre	Modelling Remote Concurrency with Ada.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	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
14	Damian Curtis	SPARK Annotations Within Executable UML.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Bernd Burgstaller, Johann Blieberger, Robert Mittermayr	Static Detection of Access Anomalies in Ada95.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Ward Douglas Maurer	Using Mathematics to Improve Ada Compiled Code.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	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
14	Stefan Wagner 0001, Helmut Fischer	A Software Reliability Model Based on a Geometric Sequence of Failure Rates.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Mohsen Sharifi, Hadi Salimi	Replication-Aware Transactions: How to Roll a Transaction over Failures.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	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
14	Aoun Raza, Gunther Vogel, Erhard Plödereder	Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Tsong Yueh Chen, Dehao Huang, Zhiquan Zhou	Adaptive Random Testing Through Iterative Partitioning.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	Filipe Valpereiro, Luís Miguel Pinho	POSIX Trace Based Behavioural Reflection.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Falko Dressler	Reliable and semi-reliable communication with authentication in mobile ad hoc networks.	MASS	2005	DBLP DOI BibTeX RDF
14	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
14	János Sallai, Miklós Maróti, Ákos Lédeczi	A Concurrency Abstraction for Reliable Sensor Network Applications.	Monterey Workshop	2005	DBLP DOI BibTeX RDF
14	Oana Brinzanescu, Stefan Schnitter	Interworking of planning and operation for reliable and cost-effective transport networks.	DRCN	2005	DBLP DOI BibTeX RDF
14	Ricardo Lent	Smart packet-based selection of reliable paths in ad hoc networks.	DRCN	2005	DBLP DOI BibTeX RDF
14	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
14	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
14	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
14	Ricky E. Sward, Leemon C. Baird III	Proving Functional Equivalence for Program Slicing in SPARK™.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	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
14	Peter Amey, Roderick Chapman, Neil White	Smart Certification of Mixed Criticality Systems.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	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
14	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
14	Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa 0004	An Ada Framework for QoS-Aware Applications.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	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
14	Diyaa-Addein Atiya, Steve King 0001	Extending Ravenscar with CSP Channels.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	Neville Rowden	ILTIS - The Legacy of a Successful Product.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov	Non-intrusive System Level Fault-Tolerance.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	Romain Berrendonner, Jérôme Guitton	The ESA Ravenscar Benchmark.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	José F. Ruiz	GNAT Pro for On-board Mission-Critical Space Applications.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	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
14	Daniel Simon, Gunther Vogel, Erhard Plödereder	Teaching Software Engineering with Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	Matteo Bordin, Tullio Vardanega	A New Strategy for the HRT-HOOD to Ada Mapping.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	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
14	Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll	Distributing Criticality Across Ada Partitions.	Ada-Europe	2005	DBLP DOI BibTeX RDF
14	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
14	Raphaël Chand, Pascal Felber	XNET: A Reliable Content-Based Publish/Subscribe System.	SRDS	2004	DBLP DOI BibTeX RDF
14	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
14	Zdenko Vrandecic, Daniel Simon	XML4Ada95 Accessing XML Using the DOM in Ada95.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	Martin Gogolla	Benefits and Problems of Formal Methods.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	Ricky E. Sward	Extracting Ada 95 Objects from Legacy Ada Programs.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	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
14	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
14	Alan Burns 0001, Andy J. Wellings, S. Tucker Taft	Supporting Deadlines and EDF Scheduling in Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	Matthew Heaney	Shortcuts: A Critical Look.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	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
14	Mário Amado Alves	A Theory of Persistent Containers and Its Application to Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	Antoni Olivé	On the Role of Conceptual Schemas in Information Systems Development.	Ada-Europe	2004	DBLP DOI BibTeX RDF
14	Stepan P. Nadrchal	Event Language for Real-Time On-the-Fly Control According to the Initial Requirements.	Ada-Europe	2004	DBLP DOI BibTeX RDF