Search results for "Arshad Jhumka"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sarabjot Singh Anand, Arshad Jhumka, Kimberley Wade	Towards the Ordering of Events from Multiple Textual Evidence Sources.	IJDCF	2011	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Matthew Leeke, Sambid Shrestha	On the Use of Fake Sources for Source Location Privacy: Trade-Offs Between Energy and Privacy.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Matthew Leeke, Saima Arif, Arshad Jhumka, Sarabjot Singh Anand	A methodology for the generation of efficient error detection mechanisms.	DSN	2011	DBLP DOI BibTeX RDF
1	Adam P. Chester, Matthew Leeke, M. Al-Ghamdi, Arshad Jhumka, Stephen A. Jarvis	A Framework for Data Center Scale Dynamic Resource Allocation Algorithms.	CIT	2011	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Matthew Leeke	The Early Identification of Detector Locations in Dependable Software.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Neeraj Suri, Arshad Jhumka, Martin Hiller, András Pataricza, Shariful Islam, Constantin Sârbu	A software integration approach for designing and assessing dependable embedded systems.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Arshad Jhumka	Crash-Tolerant Collision-Free Data Aggregation Scheduling for Wireless Sensor Networks.	SRDS	2010	DBLP DOI BibTeX RDF	wireless sensor networks, algorithms, stabilization, data aggregation
1	Matthew Leeke, Arshad Jhumka	Towards Understanding the Importance of Variables in Dependable Software.	EDCC	2010	DBLP DOI BibTeX RDF	Spatial Impact, Temporal Impact, Variable Importance, Importance Metric, Dependability, Fault Injection
1	Matthew Leeke, Arshad Jhumka	Evaluating the Use of Reference Run Models in Fault Injection Analysis.	PRDC	2009	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Luca Mottola	On Consistent Neighborhood Views in Wireless Sensor Networks.	SRDS	2009	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Matthew Leeke	Issues on the Design of Efficient Fail-Safe Fault Tolerance.	ISSRE	2009	DBLP DOI BibTeX RDF	Formal methods, distributed programs, faults, fail-safe, impossibility
1	Nathan Griffiths, Arshad Jhumka, Anthony Dawson, Richard Myers	A Simple Trust model for On-Demand Routing in Mobile Ad-Hoc Networks.	IDC	2008	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Sandeep S. Kulkarni	On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks.	ICDCIT	2007	DBLP DOI BibTeX RDF
1	Felix C. Freiling, Arshad Jhumka	Global Predicate Detection in Distributed Systems with Small Faults.	SSS	2007	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri	An approach to synthesise safe systems.	IJSN	2006	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Neeraj Suri	Designing Efficient Fail-Safe Multitolerant Systems.	FORTE	2005	DBLP DOI BibTeX RDF	multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe
1	Arshad Jhumka, Martin Hiller	Putting Detectors in Their Place.	SEFM	2005	DBLP DOI BibTeX RDF	design, embedded systems, formal methods, location, resource constraints, Detectors
1	Arshad Jhumka, Stephan Klaus, Sorin A. Huss	A Dependability-Driven System-Level Design Approach for Embedded Systems.	DATE	2005	DBLP DOI BibTeX RDF
1	Arshad Jhumka	Automated design of efficient fail-safe fault tolerance.		2004	RDF
1	Martin Hiller, Arshad Jhumka, Neeraj Suri	EPIC: Profiling the Propagation and Effect of Data Errors in Software.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Data error propagation, data error effect, dependability assessment, fault injection, software profiling
1	Arshad Jhumka, Martin Hiller, Neeraj Suri	An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.	HASE	2004	DBLP DOI BibTeX RDF	formal methods, metrics, fault injection, detectors, fail-safe, cost/benefit analysis
1	Felix C. Gärtner, Arshad Jhumka	Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Andréas Johansson, Adina Sarbu, Arshad Jhumka, Neeraj Suri	On Enhancing the Robustness of Commercial Operating Systems.	ISAS	2004	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Neeraj Suri, Martin Hiller	A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.	SCOPES	2003	DBLP DOI BibTeX RDF	fault tolerance, test cases, software synthesis, Detectors, fail-safe
1	Martin Hiller, Arshad Jhumka, Neeraj Suri	PROPANE: an environment for examining the propagation of errors in software.	ISSTA	2002	DBLP DOI BibTeX RDF	error propagation analysis, software reliability, fault injection, software development tools
1	Arshad Jhumka, Martin Hiller, Neeraj Suri	An Approach to Specify and Test Component-Based Dependable Software.	HASE	2002	DBLP DOI BibTeX RDF
1	Martin Hiller, Arshad Jhumka, Neeraj Suri	On the Placement of Software Mechanisms for Detection of Data Errors.	DSN	2002	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Martin Hiller, Neeraj Suri	Component-Based Synthesis of Dependable Embedded Software.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri	On systematic design of globally consistent executable assertions in embedded software.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	application level fault tolerance, embedded systems, semantics, abstract interpretation, executable assertions
1	Martin Hiller, Arshad Jhumka, Neeraj Suri	An Approach for Analysing the Propagation of Data Errors in Software.	DSN	2001	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Martin Hiller, Neeraj Suri	Assessing Inter-Modular Error Propagation in Distributed Software. (PDF / PS)	SRDS	2001	DBLP DOI BibTeX RDF

Publications of "Arshad Jhumka" ( http://dblp.L3S.de/Authors/Arshad_Jhumka )