Search results for "reliable"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Muhammad Shuaib Siddiqui, D. Montero, Marcelo Yannuzzi, René Serral-Gracià, Xavier Masip-Bruin	Route leak identification: A step toward making inter-domain routing more reliable.	DRCN	2014	DBLP DOI BibTeX RDF
14	Nagao Ogino, Hidetoshi Yokota	Reliable delivery route computation for threshold secret shared content.	DRCN	2014	DBLP DOI BibTeX RDF
14	Sergio Sáez, Alfons Crespo	Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Jiale Zhou, Yue Lu 0005, Kristina Lundqvist	A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky	Practical Formal Methods in Railways - The SafeCap Approach.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Robert Lainé	Lessons Learned and Easily Forgotten.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Luís Miguel Pinho, Brad Moore, Stephen Michell	Parallelism in Ada: Status and Prospects.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Bernd Burgstaller, Johann Blieberger	Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Alan Burns 0001, Andy J. Wellings	Deadline-Aware Programming and Scheduling.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Mohamed Shawky	Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	Towards a Runtime Verification Framework for the Ada Programming Language.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Manar Qamhieh, Serge Midonnet	Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Ilya Lopatkin, Alexander B. Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-refinement.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Gerhard Hanis, Burkhard Stadlmann	OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert 0003	PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.	Ada-Europe	2014	DBLP DOI BibTeX RDF
14	Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.)	Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Nestor Michael C. Tiglao, António M. Grilo	On the optimization and comparative evaluation of a reliable and efficient caching-based WSN transport protocol.	DRCN	2013	DBLP BibTeX RDF
14	Martin Maier 0001	Reliable fiber-wireless access networks: Less an end than a means to an end.	DRCN	2013	DBLP BibTeX RDF
14	Stephen Michell, Brad Moore, Luís Miguel Pinho	Tasklettes - A Fine Grained Parallelism for Ada on Multicores.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega	Towards a Time-Composable Operating System.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Héctor Pérez 0001, J. Javier Gutiérrez	Experience with the Integration of Distribution Middleware into Partitioned Systems.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario	Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	J. Reinier van Kampenhout, Robert Hilbrich	Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Emilio Salazar, Alejandro Alonso 0001, Miguel A. de Miguel, Juan Antonio de la Puente	A Model-Based Framework for Developing Real-Time Safety Ada Systems.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Thomas Quinot, Eric Botcazou	Lady Ada Mediates Peace Treaty in Endianness War.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Carl Brandon, Peter Chapin	A SPARK/Ada CubeSat Control Program.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Xiaozhen Xue, Akbar Siami Namin	Measuring the Odds of Statements Being Faulty.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas	Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software.	Ada-Europe	2013	DBLP DOI BibTeX RDF
14	Jie Luo 0001, Anthony Ephremides	A New Approach to Random Access: Reliable Communication and Reliable Collision Detection.	IEEE Trans. Inf. Theory	2012	DBLP DOI BibTeX RDF
14	Mats Brorsson, Luís Miguel Pinho (eds.)	Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Kyungbaek Kim, Ye Zhao 0005, Nalini Venkatasubramanian	GSFord: Towards a Reliable Geo-social Notification System.	SRDS	2012	DBLP DOI BibTeX RDF
14	Prithviraj Patil	Towards Reliable Communication in Intelligent Transportation Systems.	SRDS	2012	DBLP DOI BibTeX RDF
14	Roy Friedman, Alex Kogan	Efficient and Reliable Multicast in Multi-radio Networks.	SRDS	2012	DBLP DOI BibTeX RDF
14	Jerzy Brzezinski, Michal Kalewski, Jacek Kobusinski	Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness Property.	SRDS	2012	DBLP DOI BibTeX RDF
14	Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan	Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.	SRDS	2012	DBLP DOI BibTeX RDF
14	Kyoungho An	Strategies for Reliable, Cloud-Based Distributed Real-Time and Embedded Systems.	SRDS	2012	DBLP DOI BibTeX RDF
14	Abbas BanaiyanMofrad	Reliable On-Chip Memory Design for CMPs.	SRDS	2012	DBLP DOI BibTeX RDF
14	Zhen Jiang, Jie Wu 0001, Minyi Guo, Zhenping Zhao, Donghong Wu	A Quick and Reliable Routing for Infrastructure Surveillance with Wireless Sensor Networks.	SRDS	2012	DBLP DOI BibTeX RDF
14	Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse	Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Marco Panunzio, Tullio Vardanega	Ada Ravenscar Code Archetypes for Component-Based Development.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler	Formal Modelling for Ada Implementations: Tasking Event-B.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Mark Louis Fairbairn, Alan Burns 0001	Implementing and Verifying EDF Preemption-Level Resource Control.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Alexei Iliasov	Augmenting Formal Development with Use Case Reasoning.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Patricia López Martínez, Tullio Vardanega	Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Marisol García-Valls, Felipe Ibáñez-Vázquez	Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	José F. Ruiz, Cyrille Comar, Yannick Moy	Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Sergio Sáez, Jorge Real, Alfons Crespo	An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Christian Forler, Stefan Lucks, Jakob Wenzel 0001	Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Theodor Tempelmeier	Teaching 'Concepts of Programming Languages' with Ada.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis	Formal Goal-Oriented Development of Resilient MAS in Event-B.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Kristoffer Nyborg Gregertsen, Amund Skavhaug	Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	José Miguel Faria, João Martins, Jorge Sousa Pinto	An Approach to Model Checking Ada Programs.	Ada-Europe	2012	DBLP DOI BibTeX RDF
14	Enrico Ferrari, Marco Muselli	Implementing reliable learning through Reliable Support Vector Machines.	FOCI	2011	DBLP DOI BibTeX RDF
14	Alexander B. Romanovsky, Tullio Vardanega (eds.)	Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Christian Esposito 0001, Stefano Russo 0001, Roberto Beraldi, Marco Platania	On the Benefit of Network Coding for Timely and Reliable Event Dissemination in WAN.	SRDS Workshops	2011	DBLP DOI BibTeX RDF
14	Robert M. Robinson, Paul A. S. Ward	An Architecture for Reliable Encapsulation Endpoints Using Commodity Hardware.	SRDS	2011	DBLP DOI BibTeX RDF
14	Julio L. Medina, Álvaro Garcia Cuesta	Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Erhard Ploedereder	Programming Languages Meet Multicore.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Jean-Pierre Rosen	Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Les Hatton	On the Evolution of Unnatural Language.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo	ORK+/XtratuM: An Open Partitioning Platform for Ada.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Sanjoy K. Baruah, Alan Burns 0001	Implementing Mixed Criticality Systems in Ada.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan Angel Pastor	Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Sergio Sáez, Silvia Terrasa, Alfons Crespo	A Real-Time Framework for Multiprocessor Platforms Using Ada 2012.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Dan Eilers, Tero Koskinen	Adapting ACATS to the Ahven Testing Framework.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Kevin Hammond	Why Parallel Functional Programming Matters: Panel Statement.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	S. Tucker Taft	Multicore Programming in ParaSail - Parallel Specification and Implementation Language.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Alan Burns 0001	Programming Languages for Real-Time Applications Executing on Parallel Hardware.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Thierry Coq, Jean-Pierre Rosen	The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Dewi Daniels	Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario	A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Iago Rodríguez-López, Marisol García-Valls	Architecting a Common Bridge Abstraction over Different Middleware Paradigms.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Roderick Chapman, Trevor Jennings	OOT, DO-178C and SPARK.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Syed Aoun Raza, Stefan Franke, Erhard Ploedereder	Detecting High-Level Synchronization Errors in Parallel Programs.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Jeffrey O'Leary	Assuring Software Reliability While Using Web Services and Commercial Products.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Fabien Chouteau, José F. Ruiz	Design and Implementation of a Ravenscar Extension for Multiprocessors.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Andreas Johnsen, Kristina Lundqvist	Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL.	Ada-Europe	2011	DBLP DOI BibTeX RDF
14	Jorge Real, Tullio Vardanega (eds.)	Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Steffen Keul	Static Versioning of Global State for Race Condition Detection.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Eduardo Brito, Jorge Sousa Pinto	Program Verification in SPARK and ACSL: A Comparative Case Study.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Daniel Sangorrín, Michael González Harbour, Héctor Pérez 0001, J. Javier Gutiérrez	Managing Transactions in Flexible Distributed Real-Time Systems.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Björn Andersson, Luís Miguel Pinho	Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Edmond Schonberg	Towards Ada 2012: An Interim Report.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger	AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Alan Burns 0001, Andy J. Wellings	Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Juan Angel Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez	Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Pedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández	Control Co-design: Algorithms and Their Implementation.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Enrico Mezzetti, Marco Panunzio, Tullio Vardanega	Preservation of Timing Properties with the Ada Ravenscar Profile.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Andy J. Wellings, Alan Burns 0001	The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Patricia López Martínez, Laura Barros, José M. Drake	Scheduling Configuration of Real-Time Component-Based Applications.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Enrico Mezzetti, Adam Betts, José F. Ruiz, Tullio Vardanega	Cache-Aware Development of High-Integrity Systems.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Rod White	Using Hardware Support for Scheduling with Ada.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Jacob Sparre Andersen	An Efficient Implementation of Persistent Objects.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Benjamin M. Brosgol	A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Sergio Sáez, Alfons Crespo	Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	Patrick J. Graydon, John C. Knight, Xiang Yin 0001	Practical Limits on Software Dependability: A Case Study.	Ada-Europe	2010	DBLP DOI BibTeX RDF
14	José A. Santiváñez, Emanuel Melachrinoudis, Mary E. Helander	Network location of a reliable center using the most reliable route policy.	Comput. Oper. Res.	2009	DBLP DOI BibTeX RDF
14	Michael H. Schwarz, Huiyun Sheng, Batsuren Batchuluun, Oleksandr Sheleh, Walid Chaaban, Josef Börcsök	Reliable software development methodology for safety related applications: From simulation to reliable source code.	ICAT	2009	DBLP DOI BibTeX RDF
14	Reza Sherafat Kazemzadeh, Hans-Arno Jacobsen	Reliable and Highly Available Distributed Publish/Subscribe Service.	SRDS	2009	DBLP DOI BibTeX RDF
14	Falko Dressler	Authenticated Reliable and Semi-reliable Communication in Wireless Sensor Networks.	Int. J. Netw. Secur.	2008	DBLP BibTeX RDF