Neeraj Suri - RankMe

284 papers A* 11A 34B 41C 31Misc 4Journal 70Unranked 82

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Beyond Security-by-design: Securing a compromised system. CoRR Awais Rashid, Sana Belguith, Matthew Bradbury, Sadie Creese, Ivan Flechais, Neeraj Suri
2025	J	`jnl`	Bypassing Prompt Injection and Jailbreak Detection in LLM Guardrails. CoRR William Hackett, Lewis Birch, Stefan Trawicki, Neeraj Suri, Peter Garraghan
2025	J	`jnl`	Game Theory Empowered Carbon-Intelligent Federated Multiedge Caching for Industrial Internet of Things. IEEE Internet Things J. Jie Liang, Zhengxin Yu, Haris Pervaiz, Guhan Zheng, Neeraj Suri
2025	J	`jnl`	Securing (vision-based) autonomous systems: taxonomy, challenges, and defense mechanisms against adversarial threats. Artif. Intell. Rev. Alvaro Lopez Pellicer, Plamen Angelov, Neeraj Suri
2024	J	`jnl`	Adversarial Attack Detection via Fuzzy Predictions. IEEE Trans. Fuzzy Syst. Yi Li, Plamen Angelov, Neeraj Suri
2024	J	`jnl`	An empirical study of reflection attacks using NetFlow data. Cybersecur. Edward Chuah, Neeraj Suri
2024	J	`jnl`	Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments. IEEE Trans. Cloud Comput. Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
2024	—	`conf`	Federated Adversarial Learning for Robust Autonomous Landing Runway Detection. ICANN (6) Yi Li, Plamen Angelov, Zhengxin Yu, Alvaro Lopez Pellicer, Neeraj Suri
2024	J	`jnl`	Federated Adversarial Learning for Robust Autonomous Landing Runway Detection. CoRR Yi Li, Plamen Angelov, Zhengxin Yu, Alvaro Lopez Pellicer, Neeraj Suri
2024	—	`conf`	Investigating Location-aware Advertisements in Anycast IP Networks. ANRW Savvas Kastanakis, Vasileios Giotsas, Ioana Livadariu, Neeraj Suri
2024	—	`conf`	Real Arithmetic in TLAPM. NFM Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri
2024	B	`conf`	Rethinking Self-supervised Learning for Cross-domain Adversarial Sample Recovery. IJCNN Yi Li, Plamen Angelov, Neeraj Suri
2024	J	`jnl`	Self-Supervised Representation Learning for Adversarial Attack Detection. CoRR Yi Li, Plamen Angelov, Neeraj Suri
2024	—	`conf`	Self-supervised Representation Learning for Adversarial Attack Detection. ECCV (60) Yi Li, Plamen Angelov, Neeraj Suri
2024	B	`conf`	UNICAD: A Unified Approach for Attack Detection, Noise Reduction and Novel Class Identification. IJCNN Alvaro Lopez Pellicer, Kittipos Giatgong, Yi Li, Neeraj Suri, Plamen Angelov
2024	J	`jnl`	UNICAD: A Unified Approach for Attack Detection, Noise Reduction and Novel Class Identification. CoRR Alvaro Lopez Pellicer, Kittipos Giatgong, Yi Li, Neeraj Suri, Plamen Angelov
2023	Misc	`conf`	Cloud Security Requirement Based Threat Analysis. ICNC Ahmed Taha, Alexander Lawall, Neeraj Suri
2023	J	`jnl`	Compilation as a Defense: Enhancing DL Model Attack Robustness via Tensor Optimization. CoRR Stefan Trawicki, William Hackett, Lewis Birch, Neeraj Suri, Peter Garraghan
2023	B	`conf`	Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection. IJCNN Yi Li, Plamen Angelov, Neeraj Suri
2023	J	`jnl`	Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. CoRR Stefan Winter, Abraham Chan, Habib Saissi, Karthik Pattabiraman, Neeraj Suri
2023	—	`conf`	Fuzzy Detectors Against Adversarial Attacks. SSCI Yi Li, Plamen Angelov, Neeraj Suri
2023	—	`conf`	Model Leeching: An Extraction Attack Targeting LLMs. CAMLIS Lewis Birch, William Hackett, Stefan Trawicki, Neeraj Suri, Peter Garraghan
2023	J	`jnl`	Model Leeching: An Extraction Attack Targeting LLMs. CoRR Lewis Birch, William Hackett, Stefan Trawicki, Neeraj Suri, Peter Garraghan
2023	J	`jnl`	Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph. ACM Trans. Priv. Secur. Yang Lu, Zhengxin Yu, Neeraj Suri
2023	A	`conf`	Replication: 20 Years of Inferring Interdomain Routing Policies. IMC Savvas Kastanakis, Vasileios Giotsas, Ioana Livadariu, Neeraj Suri
2023	J	`jnl`	Specifying Autonomous System Behaviour. CoRR Andrew Sogokon, Burak Yuksek, Gökhan Inalhan, Neeraj Suri
2022	J	`jnl`	A Survey of Log-Correlation Tools for Failure Diagnosis and Prediction in Cluster Systems. IEEE Access Edward Chuah, Arshad Jhumka, Miroslaw Malek, Neeraj Suri
2022	J	`jnl`	PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models. CoRR William Hackett, Stefan Trawicki, Zhengxin Yu, Neeraj Suri, Peter Garraghan
2022	—	`conf`	PPFM: An Adaptive and Hierarchical Peer-to-Peer Federated Meta-Learning Framework. MSN Zhengxin Yu, Yang Lu, Plamen Angelov, Neeraj Suri
2022	A*	`conf`	Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud. CCS Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
2022	A*	`conf`	Poster: Multi-Layer Threat Analysis of the Cloud. CCS Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
2022	J	`jnl`	Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph. CoRR Yang Lu, Zhengxin Yu, Neeraj Suri
2022	J	`jnl`	Security Challenges when Space Merges with Cyberspace. CoRR Vijay Varadharajan, Neeraj Suri
2022	—	`conf`	Similarity-based Deep Neural Network to Detect Imperceptible Adversarial Attacks. SSCI Eduardo A. Soares, Plamen Angelov, Neeraj Suri
2022	A	`conf`	SlowCoach: Mutating Code to Simulate Performance Bugs. ISSRE Yiqun Chen, Oliver Schwahn, Roberto Natella, Matthew Bradbury, Neeraj Suri
2022	J	`jnl`	ThreatPro: Multi-Layer Threat Analysis in the Cloud. CoRR Salman Manzoor, Antonios Gouglidis, Matthew Bradbury, Neeraj Suri
2022	—	`conf`	Towards Effective Performance Fuzzing. ISSRE Workshops Yiqun Chen, Matthew Bradbury, Neeraj Suri
2022	A	`conf`	Understanding the confounding factors of inter-domain routing modeling. IMC Savvas Kastanakis, Vasileios Giotsas, Neeraj Suri
2021	B	`conf`	Challenges in Identifying Network Attacks Using Netflow Data. NCA Edward Chuah, Neeraj Suri, Arshad Jhumka, Samantha Alt
2021	—	`conf`	Failure Diagnosis for Cluster Systems using Partial Correlations. ISPA/BDCloud/SocialCom/SustainCom Edward Chuah, Arshad Jhumka, Samantha Alt, R. Todd Evans, Neeraj Suri
2021	A	`conf`	Fast Kernel Error Propagation Analysis in Virtualized Environments. ICST Nicolas Coppik, Oliver Schwahn, Neeraj Suri
2021	J	`jnl`	PCaaD: Towards Automated Determination and Exploitation of Industrial Processes. CoRR Benjamin Green, William Knowles, Marina Krotofil, Richard Derbyshire, Daniel Prince, Neeraj Suri
2021	J	`jnl`	PCaaD: Towards automated determination and exploitation of industrial systems. Comput. Secur. Benjamin Green, Richard Derbyshire, Marina Krotofil, William Knowles, Daniel Prince, Neeraj Suri
2020	J	`jnl`	A Security Architecture for Railway Signalling. CoRR Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser, Neeraj Suri
2020	J	`jnl`	Analyzing the Effects of Bugs on Software Interfaces. IEEE Trans. Software Eng. Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri
2020	B	`conf`	Decentralized Runtime Monitoring Approach Relying on the Ethereum Blockchain Infrastructure. IC2E Ahmed Taha, Ahmed Zakaria, Dong Seong Kim, Neeraj Suri
2020	J	`jnl`	Extracting safe thread schedules from incomplete model checking results. Int. J. Softw. Tools Technol. Transf. Patrick Metzler, Neeraj Suri, Georg Weissenbacher
2020	A	`conf`	TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. DSN Habib Saissi, Stefan Winter, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri
2019	—	`conf`	Analyzing and Improving Customer-Side Cloud Security Certifiability. ISSRE Workshops Shujie Zhao, Yiqun Chen, Stefan Winter, Neeraj Suri
2019	A	`conf`	Assessing the state and improving the art of parallel testing for C. ISSTA Oliver Schwahn, Nicolas Coppik, Stefan Winter, Neeraj Suri
2019	J	`jnl`	Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS. ACM Trans. Cyber Phys. Syst. Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
2019	—	`conf`	Extracting Safe Thread Schedules from Incomplete Model Checking Results. SPIN Patrick Metzler, Neeraj Suri, Georg Weissenbacher
2019	B	`conf`	Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. SRDS Habib Saissi, Marco Serafini, Neeraj Suri
2019	A	`conf`	Inferring Performance Bug Patterns from Developer Commits. ISSRE Yiqun Chen, Stefan Winter, Neeraj Suri
2019	J	`jnl`	MPTCP-H: A DDoS attack resilient transport protocol to secure wide area measurement systems. Int. J. Crit. Infrastructure Prot. Kubilay Demir, Ferdaus Nayyer, Neeraj Suri
2019	A	`conf`	MemFuzz: Using Memory Accesses to Guide Fuzzing. ICST Nicolas Coppik, Oliver Schwahn, Neeraj Suri
2019	J	`jnl`	Proofs of Writing for Robust Storage. IEEE Trans. Parallel Distributed Syst. Dan Dobre, Ghassan O. Karame, Wenting Li, Matthias Majuntke, Neeraj Suri, Marko Vukolic
2019	J	`jnl`	Security Requirements Engineering in Safety-Critical Railway Signalling Networks. Secur. Commun. Networks Markus Heinrich, Tsvetoslava Vateva-Gurova, Tolga Arul, Stefan Katzenbeisser, Neeraj Suri, Henk Birkholz, Andreas Fuchs, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Sergey Tverdyshev, Christian Schlehuber
2018	—	`conf`	A Composite Malicious Peer Eviction Mechanism for Super-P2P Systems. TrustCom/BigDataSE Hatem Ismail, Stefanie Roos, Neeraj Suri
2018	C	`conf`	A Detection Mechanism for Internal Attacks on Pull-Based P2P Streaming Systems. WOWMOM Hatem Ismail, Stefanie Roos, Neeraj Suri
2018	—	`conf`	A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. MILS@DSN Henk Birkholz, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Tolga Arul, Markus Heinrich, Stefan Katzenbeisser, Neeraj Suri, Tsvetoslava Vateva-Gurova, Christian Schlehuber
2018	C	`conf`	Exploring the Relationship Between Dimensionality Reduction and Private Data Release. PRDC Bo-Chen Tai, Szu-Chuang Li, Yennun Huang, Neeraj Suri, Pang-Chieh Wang
2018	C	`conf`	FastFI: Accelerating Software Fault Injections. PRDC Oliver Schwahn, Nicolas Coppik, Stefan Winter, Neeraj Suri
2018	B	`conf`	Flashlight: A Novel Monitoring Path Identification Schema for Securing Cloud Services. ARES Heng Zhang, Jesus Luna, Neeraj Suri, Rubén Trapero
2018	J	`jnl`	How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code. IEEE Trans. Dependable Secur. Comput. Oliver Schwahn, Stefan Winter, Nicolas Coppik, Neeraj Suri
2018	C	`conf`	InfoLeak: Scheduling-Based Information Leakage. PRDC Tsvetoslava Vateva-Gurova, Salman Manzoor, Yennun Huang, Neeraj Suri
2018	B	`conf`	Monitoring Path Discovery for Supporting Indirect Monitoring of Cloud Services. IC2E Heng Zhang, Salman Manzoor, Neeraj Suri
2018	C	`conf`	On the Detection of Side-Channel Attacks. PRDC Tsvetoslava Vateva-Gurova, Neeraj Suri
2018	—	`conf`	Protecting Cloud-Based CIs: Covert Channel Vulnerabilities at the Resource Level. IOSec@RAID Tsvetoslava Vateva-Gurova, Salman Manzoor, Rubén Trapero, Neeraj Suri
2018	J	`jnl`	QRES: Quantitative Reasoning on Encrypted Security SLAs. CoRR Ahmed Taha, Spyros Boukoros, Jesus Luna, Stefan Katzenbeisser, Neeraj Suri
2018	J	`jnl`	Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. CoRR Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
2018	J	`jnl`	Scaling Out Acid Applications with Operation Partitioning. CoRR Habib Saissi, Marco Serafini, Neeraj Suri
2018	J	`jnl`	Securing the cloud-assisted smart grid. Int. J. Crit. Infrastructure Prot. Kubilay Demir, Hatem Ismail, Tsvetoslava Vateva-Gurova, Neeraj Suri
2018	B	`conf`	Threat Modeling and Analysis for the Cloud Ecosystem. IC2E Salman Manzoor, Heng Zhang, Neeraj Suri
2018	—	`conf`	Threat Modeling the Cloud: An Ontology Based Approach. IOSec@RAID Salman Manzoor, Tsvetoslava Vateva-Gurova, Rubén Trapero, Neeraj Suri
2018	B	`conf`	Whetstone: Reliable Monitoring of Cloud Services. SMARTCOMP Heng Zhang, Jesus Luna, Rubén Trapero, Neeraj Suri
2017	—	`conf`	A Framework for Ranking Cloud Security Services. SCC Ahmed Taha, Rubén Trapero, Jesus Luna, Neeraj Suri
2017	B	`conf`	A Security Architecture for Railway Signalling. SAFECOMP Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser, Neeraj Suri
2017	J	`jnl`	A novel approach to manage cloud security SLA incidents. Future Gener. Comput. Syst. Rubén Trapero, Jolanda Modic, Miha Stopar, Ahmed Taha, Neeraj Suri
2017	—	`conf`	AttackDive: Diving Deep into the Cloud Ecosystem to Explore Attack Surfaces. SCC Salman Manzoor, Jesus Luna, Neeraj Suri
2017	B	`conf`	C'mon: Monitoring the Compliance of Cloud Services to Contracted Properties. ARES Soha Alboghdady, Stefan Winter, Ahmed Taha, Heng Zhang, Neeraj Suri
2017	—	`conf`	Challenges and Approaches in Securing Safety-Relevant Railway Signalling. EuroS&P Workshops Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser, Neeraj Suri
2017	A	`conf`	IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. ICST Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri
2017	J	`jnl`	P2P routing table poisoning: A quorum-based sanitizing approach. Comput. Secur. Hatem Ismail, Daniel Germanus, Neeraj Suri
2017	J	`jnl`	Quantitative Reasoning about Cloud Security Using Service Level Agreements. IEEE Trans. Cloud Comput. Jesus Luna, Ahmed Taha, Rubén Trapero, Neeraj Suri
2017	A*	`conf`	Quick verification of concurrent programs by iteratively relaxed scheduling. ASE Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
2017	J	`jnl`	Robust QoS-aware communication in the smart distribution grid. Peer-to-Peer Netw. Appl. Kubilay Demir, Daniel Germanus, Neeraj Suri
2017	—	`conf`	SLA-Based Service Selection for Multi-Cloud Environments. EDGE Ahmed Taha, Salman Manzoor, Neeraj Suri
2017	J	`jnl`	Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. J. Inf. Process. Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
2017	C	`conf`	SeReCP: A Secure and Reliable Communication Platform for the Smart Grid. PRDC Kubilay Demir, Neeraj Suri
2017	B	`conf`	Towards DDoS Attack Resilient Wide Area Monitoring Systems. ARES Kubilay Demir, Neeraj Suri
2017	A*	`conf`	TrEKer: tracing error propagation in operating system kernels. ASE Nicolas Coppik, Oliver Schwahn, Stefan Winter, Neeraj Suri
2017	—	`conf`	deQAM: A Dependency Based Indirect Monitoring Approach for Cloud Services. SCC Heng Zhang, Rubén Trapero, Jesus Luna, Neeraj Suri
2016	—	`ed.`	Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings DPM/QASA@ESORICS Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2016	—	`ed.`	Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers DPM/QASA@ESORICS Joaquín García-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2016	B	`conf`	Efficient Verification of Program Fragments: Eager POR. ATVA Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri
2016	A	`conf`	Identifying and Utilizing Dependencies Across Cloud Security Services. AsiaCCS Ahmed Taha, Patrick Metzler, Rubén Trapero, Jesus Luna, Neeraj Suri
2016	—	`conf`	Malicious peers eviction for P2P overlays. CNS Hatem Ismail, Daniel Germanus, Neeraj Suri
2016	J	`jnl`	Named Data Networking: A survey. Comput. Sci. Rev. Divya Saxena, Vaskar Raychoudhury, Neeraj Suri, Christian Becker, Jiannong Cao
2016	C	`conf`	No PAIN, no gain? the utility of parallel fault injections. Software Engineering Stefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo
2016	J	`jnl`	Novel efficient techniques for real-time cloud security assessment. Comput. Secur. Jolanda Modic, Rubén Trapero, Ahmed Taha, Jesus Luna, Miha Stopar, Neeraj Suri
2016	J	`jnl`	On Choosing Server- or Client-Side Solutions for BFT. ACM Comput. Surv. Marco Platania, Daniel Obenshain, Thomas Tantillo, Yair Amir, Neeraj Suri
2016	—	`conf`	Practical Formal Verification for Model Based Development of Cyber-Physical Systems. CSE/EUC/DCABES Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
2016	J	`jnl`	Quantifiably Trusting the Cloud: Putting Metrics to Work. IEEE Secur. Priv. Rubén Trapero, Jesus Luna, Neeraj Suri
2016	—	`conf`	Reliable Memory Efficient Name Forwarding in Named Data Networking. CSE/EUC/DCABES Divya Saxena, Vaskar Raychoudhury, Christian Becker, Neeraj Suri
2016	J	`jnl`	Run Time Application Repartitioning in Dynamic Mobile Cloud Environments. IEEE Trans. Cloud Comput. Lei Yang, Jiannong Cao, Shaojie Tang, Di Han, Neeraj Suri
2016	—	`conf`	SENTRY: A Novel Approach for Mitigating Application Layer DDoS Threats. Trustcom/BigDataSE/ISPA Heng Zhang, Ahmed Taha, Rubén Trapero, Jesus Luna, Neeraj Suri
2016	—	`conf`	Trust Validation of Cloud IaaS: A Customer-centric Approach. Trustcom/BigDataSE/ISPA Salman Manzoor, Ahmed Taha, Neeraj Suri
2015	J	`jnl`	A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking. IEEE Trans. Parallel Distributed Syst. Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Neeraj Suri
2015	J	`jnl`	Adaptive Hybrid Compression for Wireless Sensor Networks. ACM Trans. Sens. Networks Azad Ali, Abdelmajid Khelil, Neeraj Suri, Mohammadreza Mahmudimanesh
2015	—	`ed.`	Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers DPM/SETOP/QASA Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2015	B	`conf`	Detecting and Mitigating P2P Eclipse Attacks. ICPADS Hatem Ismail, Daniel Germanus, Neeraj Suri
2015	—	`conf`	Error models for the representative injection of software defects. Software Engineering & Management Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri
2015	B	`conf`	FTDE: Distributed Fault Tolerance for WSN Data Collection and Compression Schemes. SRDS Azad Ali, Abdelmajid Khelil, Neeraj Suri
2015	—	`conf`	GRINDER: On Reusability of Fault Injection Tools. AST@ICSE Stefan Winter, Thorsten Piper, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo
2015	A*	`conf`	In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services. USENIX Security Symposium Giancarlo Pellegrino, Davide Balzarotti, Stefan Winter, Neeraj Suri
2015	J	`jnl`	Leveraging the Potential of Cloud Security Service-Level Agreements through Standards. IEEE Cloud Comput. Jesus Luna, Neeraj Suri, Michaela Iorga, Anil Karmel
2015	C	`conf`	Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems. ISORC Thorsten Piper, Stefan Winter, Oliver Schwahn, Suman Bidarahalli, Neeraj Suri
2015	—	`conf`	No PAIN, No Gain? The Utility of PArallel Fault INjections. ICSE (1) Stefan Winter, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo
2015	Misc	`conf`	On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. EDCC Thorsten Piper, Stefan Winter, Neeraj Suri, Thomas E. Fuhrman
2015	B	`conf`	PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation. SRDS Daniel Germanus, Hatem Ismail, Neeraj Suri
2015	B	`conf`	PBMC: Symbolic Slicing for the Verification of Concurrent Programs. ATVA Habib Saissi, Péter Bokor, Neeraj Suri
2015	—	`ch.`	Technical Implementation and Feasibility. Attribute-based Credentials for Trust Gert Læssøe Mikkelsen, Kasper Damgård, Hans Guldager, Jonas Lindstrøm Jensen, Jesus Luna Garcia, Janus Dam Nielsen, Pascal Paillier, Giancarlo Pellegrino, Michael Bladt Stausholm, Neeraj Suri, Heng Zhang
2015	—	`conf`	The Impact of Hypervisor Scheduling on Compromising Virtualized Environments. CIT/IUCC/DASC/PICom Tsvetoslava Vateva-Gurova, Neeraj Suri, Avi Mendelson
2014	B	`conf`	AHP-Based Quantitative Approach for Assessing and Comparing Cloud Security. TrustCom Ahmed Taha, Rubén Trapero, Jesus Luna, Neeraj Suri
2014	B	`conf`	Agile sink selection in wireless sensor networks. SECON Mohammadreza Mahmudimanesh, Neeraj Suri
2014	A	`conf`	An empirical study of injected versus actual interface errors. ISSTA Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri
2014	J	`jnl`	Assessing the security of internet-connected critical infrastructures. Secur. Commun. Networks Hamza Ghani, Abdelmajid Khelil, Neeraj Suri, György Csertán, László Gönczy, Gábor Urbanics, James Clarke
2014	B	`conf`	Efficient Agile Sink Selection in Wireless Sensor Networks Based on Compressed Sensing. DCOSS Mohammadreza Mahmudimanesh, Amir Naseri, Neeraj Suri
2014	—	`conf`	Event Pattern Discovery on IDS Traces of Cloud Services. BDCloud Shin-Ying Huang, Yennun Huang, Neeraj Suri
2014	—	`conf`	Mitigating Eclipse attacks in Peer-To-Peer networks. CNS Daniel Germanus, Stefanie Roos, Thorsten Strufe, Neeraj Suri
2014	—	`conf`	On the Feasibility of Side-Channel Attacks in a Virtualized Environment. ICETE (Selected Papers) Tsvetoslava Vateva-Gurova, Jesus Luna, Giancarlo Pellegrino, Neeraj Suri
2014	—	`conf`	Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. CPSNA Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri
2014	B	`conf`	Robust Compressive Data Gathering in Wireless Sensor Networks with Linear Topology. DCOSS Mohammadreza Mahmudimanesh, Neeraj Suri
2014	—	`conf`	Robust and real-time communication on heterogeneous networks for smart distribution grid. SmartGridComm Kubilay Demir, Daniel Germanus, Neeraj Suri
2014	C	`conf`	Towards a Framework for Assessing the Feasibility of Side-channel Attacks in Virtualized Environments. SECRYPT Tsvetoslava Vateva-Gurova, Jesus Luna, Giancarlo Pellegrino, Neeraj Suri
2014	Misc	`conf`	Towards a Framework for Benchmarking Privacy-ABC Technologies. SEC Fatbardh Veseli, Tsvetoslava Vateva-Gurova, Ioannis Krontiris, Kai Rannenberg, Neeraj Suri
2014	—	`conf`	User-Centric Security Assessment of Software Configurations: A Case Study. ESSoS Hamza Ghani, Jesus Luna Garcia, Ivaylo Petkov, Neeraj Suri
2014	—	`conf`	WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. ICCPS Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
2013	—	`conf`	Coral: Reliable and low-latency P2P convergecast for critical sensor data collection. SmartGridComm Daniel Germanus, Abdelmajid Khelil, Johannes Schwandke, Neeraj Suri
2013	B	`conf`	Efficient Verification of Distributed Protocols Using Stateful Model Checking. SRDS Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini
2013	J	`jnl`	GMTC: A Generalized Commit Approach for Hybrid Mobile Environments. IEEE Trans. Mob. Comput. Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
2013	A	`conf`	Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. DSN Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri
2013	—	`conf`	Information quality aware co-design of sampling and transport in wireless sensor networks. WMNC Vinay Sachidananda, Abdelmajid Khelil, David Noack, Neeraj Suri
2013	C	`conf`	Negotiating and Brokering Cloud Resources based on Security Level Agreements. CLOSER Jesus Luna Garcia, Tsvetoslava Vateva-Gurova, Neeraj Suri, Massimiliano Rak, Loredana Liccardo
2013	A*	`conf`	PoWerStore: proofs of writing for efficient and robust storage. CCS Dan Dobre, Ghassan Karame, Wenting Li, Matthias Majuntke, Neeraj Suri, Marko Vukolic
2013	C	`conf`	Predictive vulnerability scoring in the context of insufficient information availability. CRiSIS Hamza Ghani, Jesus Luna, Abdelmajid Khelil, Najib Alkadri, Neeraj Suri
2013	C	`conf`	Quantitative assessment of software vulnerabilities based on economic-driven security metrics. CRiSIS Hamza Ghani, Jesus Luna, Neeraj Suri
2013	—	`conf`	Sampling and transport co-design in Wireless Sensor Networks. WONS Vinay Sachidananda, Abdelmajid Khelil, David Noack, Neeraj Suri
2013	—	`conf`	SecLA-Based Negotiation and Brokering of Cloud Resources. CLOSER (Selected Papers) Jesus Luna, Tsvetoslava Vateva-Gurova, Neeraj Suri, Massimiliano Rak, Alessandra De Benedictis
2013	—	`conf`	Security as a Service Using an SLA-Based Approach via SPECS. CloudCom (2) Massimiliano Rak, Neeraj Suri, Jesus Luna, Dana Petcu, Valentina Casola, Umberto Villano
2013	—	`conf`	Trading transport timeliness and reliability for efficiency in wireless sensor networks. ICNSC Vinay Sachidananda, Abdelmajid Khelil, Dhananjay Umap, Matthias Majuntke, Neeraj Suri
2013	A	`conf`	simFI: From single to simultaneous software fault injections. DSN Stefan Winter, Michael Tretter, Benjamin Sattler, Neeraj Suri
2012	B	`conf`	Balanced spatio-temporal compressive sensing for multi-hop wireless sensor networks. MASS Mohammadreza Mahmudimanesh, Abdelmajid Khelil, Neeraj Suri
2012	—	`conf`	Benchmarking cloud security level agreements using quantitative policy trees. CCSW Jesus Luna Garcia, Robert Langenberg, Neeraj Suri
2012	C	`conf`	Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. SSS Can Arda Muftuoglu, Péter Bokor, Neeraj Suri
2012	—	`conf`	DKM: Distributed k-connectivity maintenance in Wireless Sensor Networks. WONS Piotr Szczytowski, Abdelmajid Khelil, Neeraj Suri
2012	J	`jnl`	Efficient predictive monitoring of wireless sensor networks. Int. J. Auton. Adapt. Commun. Syst. Azad Ali, Abdelmajid Khelil, Faisal Karim Shaikh, Neeraj Suri
2012	A	`conf`	Instrumenting AUTOSAR for dependability assessment: A guidance framework. DSN Thorsten Piper, Stefan Winter, Paul Manns, Neeraj Suri
2012	—	`ch.`	Monitoring and Evaluation of Semantic Rooms. Collaborative Financial Infrastructure Protection Paulo Esteves Verssimo, László Gönczy, György Csertán, Gábor Urbanics, Hamza Ghani, Abdelmajid Khelil, Neeraj Suri
2012	C	`conf`	Privacy-by-design based on quantitative threat modeling. CRiSIS Jesus Luna Garcia, Neeraj Suri, Ioannis Krontiris
2012	—	`ed.`	Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012 HotDep Michael J. Freedman, Neeraj Suri
2012	J	`jnl`	Proofs of Writing for Efficient and Robust Storage CoRR Dan Dobre, Ghassan Karame, Wenting Li, Matthias Majuntke, Neeraj Suri, Marko Vukolic
2012	—	`ch.`	Protection of SCADA Communication Channels. Critical Infrastructure Protection Abdelmajid Khelil, Daniel Germanus, Neeraj Suri
2012	C	`conf`	Quantitative Assessment of Cloud Security Level Agreements - A Case Study. SECRYPT Jesus Luna Garcia, Hamza Ghani, Tsvetoslava Vateva, Neeraj Suri
2012	—	`ed.`	Sicherheit 2012: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 6. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 7.-9. März 2012 in Darmstadt Sicherheit Neeraj Suri, Michael Waidner
2012	B	`conf`	Susceptibility Analysis of Structured P2P Systems to Localized Eclipse Attacks. SRDS Daniel Germanus, Robert Langenberg, Abdelmajid Khelil, Neeraj Suri
2012	—	`conf`	Trust & security RTD in the internet of things: opportunities for international cooperation. SECURIT James Clarke, Rodrigo Roman Castro, Abhishek Sharma, Javier López, Neeraj Suri
2011	C	`conf`	A Security Metrics Framework for the Cloud. SECRYPT Jesus Luna Garcia, Hamza Ghani, Daniel Germanus, Neeraj Suri
2011	A	`conf`	An adaptive and composite spatio-temporal data compression approach for wireless sensor networks. MSWiM Azad Ali, Abdelmajid Khelil, Piotr Szczytowski, Neeraj Suri
2011	J	`jnl`	Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems. IEEE Trans. Dependable Secur. Comput. Marco Serafini, Péter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch
2011	C	`conf`	Assessing the comparative effectiveness of map construction protocols in wireless sensor networks. IPCCC Abdelmajid Khelil, Hanbin Chang, Neeraj Suri
2011	—	`conf`	Building a Long Term Strategy for International Collaboration in Trustworthy ICT: Security, Privacy and Trust in Global Networks and Services. SysSec@DIMVA James Clarke, Neeraj Suri, Michel Riguidel, Aljosa Pasic
2011	—	`ch.`	Delay Tolerant Monitoring of Mobility-Assisted WSN. Delay Tolerant Networks Abdelmajid Khelil, Faisal Karim Shaikh, Azad Ali, Neeraj Suri, Christian Reinl
2011	A	`conf`	Efficient model checking of fault-tolerant distributed protocols. DSN Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
2011	—	`conf`	Enhancing FPGA Robustness via Generic Monitoring IP Cores. PECCS Alexander Biedermann, Thorsten Piper, Lars Patzina, Sven Patzina, Sorin A. Huss, Andy Schürr, Neeraj Suri
2011	B	`conf`	Fork-Consistent Constructions from Registers. OPODIS Matthias Majuntke, Dan Dobre, Christian Cachin, Neeraj Suri
2011	A*	`conf`	Fork-consistent constructions from registers. PODC Matthias Majuntke, Dan Dobre, Neeraj Suri
2011	J	`jnl`	On the design of perturbation-resilient atomic commit protocols for mobile transactions. ACM Trans. Comput. Syst. Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
2011	J	`jnl`	Reliable congestion-aware information transport in wireless sensor networks. Int. J. Commun. Networks Distributed Syst. Faisal Karim Shaikh, Abdelmajid Khelil, Azad Ali, Neeraj Suri
2011	A*	`conf`	Supporting domain-specific state space reductions through local partial-order reduction. ASE Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
2011	B	`conf`	TOM: Topology oriented maintenance in sparse Wireless Sensor Networks. SECON Piotr Szczytowski, Abdelmajid Khelil, Azad Ali, Neeraj Suri
2011	A*	`conf`	The complexity of robust atomic storage. PODC Dan Dobre, Rachid Guerraoui, Matthias Majuntke, Neeraj Suri, Marko Vukolic
2011	A*	`conf`	The impact of fault models on software robustness evaluations. ICSE Stefan Winter, Constantin Sârbu, Neeraj Suri, Brendan Murphy
2010	J	`jnl`	A Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation. J. Softw. Neeraj Suri, Purnendu Sinha
2010	J	`jnl`	A software integration approach for designing and assessing dependable embedded systems. J. Syst. Softw. Neeraj Suri, Arshad Jhumka, Martin Hiller, András Pataricza, Shariful Islam, Constantin Sârbu
2010	—	`conf`	ASample: Adaptive Spatial Sampling in Wireless Sensor Networks. SUTC/UMC Piotr Szczytowski, Abdelmajid Khelil, Neeraj Suri
2010	B	`conf`	Data-Based Agreement for Inter-vehicle Coordination. Mobile Data Management Brahim Ayari, Abdelmajid Khelil, Kamel Saffar, Neeraj Suri
2010	A*	`conf`	Eventually linearizable shared objects. PODC Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri
2010	—	`conf`	Generic Information Transport for Wireless Sensor Networks. SUTC/UMC Faisal Karim Shaikh, Abdelmajid Khelil, Brahim Ayari, Piotr Szczytowski, Neeraj Suri
2010	Misc	`conf`	HP: Hybrid Paxos for WANs. EDCC Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
2010	B	`conf`	INDEXYS, a Logical Step beyond GENESYS. SAFECOMP Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler
2010	—	`conf`	Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. ISARCS Daniel Germanus, Abdelmajid Khelil, Neeraj Suri
2010	C	`conf`	LEHP: Localized energy hole profiling in Wireless Sensor Networks. ISCC Piotr Szczytowski, Abdelmajid Khelil, Neeraj Suri
2010	—	`conf`	Leveraging the next-generation power grid: Data sharing and associated partnerships. ISGT Europe Daniel Germanus, Ioanna Dionysiou, K. Harald Gjermundrød, Abdelmajid Khelil, Neeraj Suri, David E. Bakken, Carl Hauser
2010	—	`ch.`	Map-based Design for Autonomic Wireless Sensor Networks. Autonomic Communication Abdelmajid Khelil, Faisal Karim Shaikh, Piotr Szczytowski, Brahim Ayari, Neeraj Suri
2010	—	`conf`	On Efficient Models for Model Checking Message-Passing Distributed Protocols. FMOODS/FORTE Péter Bokor, Marco Serafini, Neeraj Suri
2010	B	`conf`	ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs. Mobile Data Management Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
2010	J	`jnl`	Profiling the operational behavior of OS device drivers. Empir. Softw. Eng. Constantin Sârbu, Andréas Johansson, Neeraj Suri, Nachiappan Nagappan
2010	—	`conf`	Quality of information in wireless sensor networks. ICIQ Vinay Sachidananda, Abdelmajid Khelil, Neeraj Suri
2010	—	`conf`	Reordering for Better Compressibility: Efficient Spatial Sampling in Wireless Sensor Networks. SUTC/UMC Mohammadreza Mahmudimanesh, Abdelmajid Khelil, Neeraj Suri
2010	A	`conf`	Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. DSN Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri
2010	—	`conf`	TRCCIT: Tunable Reliability with Congestion Control for Information Transport in Wireless Sensor Networks. WICON Faisal Karim Shaikh, Abdelmajid Khelil, Azad Ali, Neeraj Suri
2010	—	`conf`	Towards Benchmarking of P2P Technologies from a SCADA Systems Protection Perspective. MOBILIGHT Abdelmajid Khelil, Sebastian Jeckel, Daniel Germanus, Neeraj Suri
2010	J	`jnl`	Using Underutilized CPU Resources to Enhance Its Reliability. IEEE Trans. Dependable Secur. Comput. Avi Timor, Avi Mendelson, Yitzhak Birk, Neeraj Suri
2009	—	`conf`	AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks. ICWN Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Suri
2009	B	`conf`	Abortable Fork-Linearizable Storage. OPODIS Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri
2009	J	`jnl`	An optimization based design for integrated dependable real-time embedded systems. Des. Autom. Embed. Syst. Shariful Islam, Neeraj Suri, András Balogh, György Csertán, András Pataricza
2009	A	`conf`	Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. DISC Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
2009	C	`conf`	Efficient Robust Storage Using Secret Tokens. SSS Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri
2009	J	`jnl`	Exploring Delay-Aware Transactions in Heterogeneous Mobile Environments. J. Softw. Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
2009	J	`jnl`	Increasing security and protection of SCADA systems through infrastructure resilience. Int. J. Syst. Syst. Eng. Salvatore D'Antonio, Luigi Romano, Abdelmajid Khelil, Neeraj Suri
2009	—	`conf`	MAP++: support for map-based WSN modeling and design with OMNeT++. SimuTools Piotr Szczytowski, Abdelmajid Khelil, Neeraj Suri
2009	—	`conf`	MPM: Map Based Predictive Monitoring for Wireless Sensor Networks. Autonomics Azad Ali, Abdelmajid Khelil, Faisal Karim Shaikh, Neeraj Suri
2009	C	`conf`	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ICFEM Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
2008	C	`conf`	A comparative study of data transport protocols in wireless sensor networks. WOWMOM Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Suri
2008	—	`conf`	Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. HASE Kohei Sakurai, Péter Bokor, Neeraj Suri
2008	—	`conf`	Delay-Aware Mobile Transactions. SEUS Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
2008	A	`conf`	Dependable Embedded Systems Special Day Panel: Issues and Challenges in Dependable Embedded Systems. DATE Neeraj Suri, Christof Fetzer, Jacob A. Abraham, Stefan Poledna, Avi Mendelson, Subhasish Mitra
2008	—	`conf`	Execution Path Profiling for OS Device Drivers: Viability and Methodology. ISAS Constantin Sârbu, Andréas Johansson, Neeraj Suri
2008	C	`conf`	INcreasing Security and Protection through Infrastructure REsilience: The INSPIRE Project. CRITIS Salvatore D'Antonio, Luigi Romano, Abdelmajid Khelil, Neeraj Suri
2008	—	`conf`	Low-latency access to robust amnesic storage. LADIS Dan Dobre, Matthias Majuntke, Neeraj Suri
2008	—	`conf`	MWM: a map-based world model for wireless sensor networks. Autonomics Abdelmajid Khelil, Faisal Karim Shaikh, Brahim Ayari, Neeraj Suri
2008	A	`conf`	Message from the DCCS program chair. DSN Neeraj Suri
2008	B	`conf`	On the Time-Complexity of Robust and Amnesic Storage. OPODIS Dan Dobre, Matthias Majuntke, Neeraj Suri
2008	A	`conf`	Profiling the Operational Behavior of OS Device Drivers. ISSRE Constantin Sârbu, Andréas Johansson, Neeraj Suri, Nachiappan Nagappan
2008	—	`conf`	Reducing the costs of large-scale BFT replication. LADIS Marco Serafini, Neeraj Suri
2007	C	`conf`	A Multi Variable Optimization Approach for the Design of Integrated Dependable Real-Time Embedded Systems. EUC Shariful Islam, Neeraj Suri
2007	A	`conf`	A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. DSN Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch
2007	—	`conf`	Gossiping: Adaptive and Reliable Broadcasting in MANETs. LADC Abdelmajid Khelil, Neeraj Suri
2007	C	`conf`	On Modeling the Reliability of Data Transport in Wireless Sensor Networks. PDP Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Suri
2007	A	`conf`	On the Impact of Injection Triggers for OS Robustness Evaluation. ISSRE Andréas Johansson, Neeraj Suri, Brendan Murphy
2007	B	`conf`	On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast. SRDS Dan Dobre, Harigovind V. Ramasamy, Neeraj Suri
2007	A	`conf`	On the Selection of Error Model(s) for OS Robustness Evaluation. DSN Andréas Johansson, Neeraj Suri, Brendan Murphy
2007	J	`jnl`	Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. IEEE Trans. Dependable Secur. Comput. Marco Serafini, Andrea Bondavalli, Neeraj Suri
2007	—	`conf`	Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. HASE Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri
2007	B	`conf`	The Fail-Heterogeneous Architectural Model. SRDS Marco Serafini, Neeraj Suri
2006	J	`jnl`	An approach to synthesise safe systems. Int. J. Secur. Networks Arshad Jhumka, Felix C. Freiling, Christof Fetzer, Neeraj Suri
2006	C	`conf`	Dependability Driven Integration of Mixed Criticality SW Components. ISORC Shariful Islam, Robert Lindstrom, Neeraj Suri
2006	B	`conf`	FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments. SRDS Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
2006	—	`conf`	Improving Robustness Testing of COTS OS Extensions. ISAS Constantin Sârbu, Andréas Johansson, Falk Fraikin, Neeraj Suri
2006	A	`conf`	One-step Consensus with Zero-Degradation. DSN Dan Dobre, Neeraj Suri
2005	C	`conf`	Designing Efficient Fail-Safe Multitolerant Systems. FORTE Arshad Jhumka, Neeraj Suri
2005	A	`conf`	Error Propagation Profiling of Operating Systems. DSN Andréas Johansson, Neeraj Suri
2005	—	`ed.`	Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers ISAS Miroslaw Malek, Edgar Nett, Neeraj Suri
2004	—	`conf`	An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems. HASE Arshad Jhumka, Martin Hiller, Neeraj Suri
2004	J	`jnl`	An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. Vilgot Claesson, Henrik Lönn, Neeraj Suri
2004	J	`jnl`	EPIC: Profiling the Propagation and Effect of Data Errors in Software. IEEE Trans. Computers Martin Hiller, Arshad Jhumka, Neeraj Suri
2004	—	`conf`	On Dependability Driven Software and Hardware Integration. WSTFEUS Neeraj Suri
2004	—	`conf`	On Enhancing the Robustness of Commercial Operating Systems. ISAS Andréas Johansson, Adina Sarbu, Arshad Jhumka, Neeraj Suri
2004	C	`conf`	Panel Summary Statements. PRDC Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri
2004	B	`conf`	TTET: Event-Triggered Channels on a Time-Triggered Base. ICECCS Vilgot Claesson, Neeraj Suri
2004	B	`conf`	Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? SRDS K. H. (Kane) Kim, Paul D. Ezhilchelvan, Jörg Kaiser, Louise E. Moser, Edgar Nett, Neeraj Suri
2004	B	`conf`	Why Progress in (Composite) Fault Tolerant Real-Time Systems has been Slow (-er than Expected.. & What Can We Do About It?). SRDS Neeraj Suri
2003	C	`conf`	A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. SCOPES Arshad Jhumka, Neeraj Suri, Martin Hiller
2003	C	`conf`	Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces. ISORC Hermann Kopetz, Neeraj Suri
2003	—	`conf`	On the Limits of the Precise Specification of Component Interfaces. WORDS Fall Hermann Kopetz, Neeraj Suri
2003	—	`conf`	Practical Aspects of IP Take-Over Mechanisms. WORDS Fall Christof Fetzer, Neeraj Suri
2003	C	`conf`	The Event-Triggered and Time-Triggered Medium-Access Methods. ISORC Vilgot Claesson, Cecilia Ekelin, Neeraj Suri
2003	J	`jnl`	The customizable fault/error model for dependable distributed systems. Theor. Comput. Sci. Chris J. Walter, Neeraj Suri
2002	C	`conf`	A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. PRDC Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri
2002	—	`conf`	An Approach to Specify and Test Component-Based Dependable Software. HASE Arshad Jhumka, Martin Hiller, Neeraj Suri
2002	—	`conf`	Component-Based Synthesis of Dependable Embedded Software. FTRTFT Arshad Jhumka, Martin Hiller, Neeraj Suri
2002	—	`conf`	On systematic design of globally consistent executable assertions in embedded software. LCTES-SCOPES Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri
2002	A	`conf`	On the Placement of Software Mechanisms for Detection of Data Errors. DSN Martin Hiller, Arshad Jhumka, Neeraj Suri
2002	A	`conf`	PROPANE: an environment for examining the propagation of errors in software. ISSTA Martin Hiller, Arshad Jhumka, Neeraj Suri
2001	A	`conf`	An Approach for Analysing the Propagation of Data Errors in Software. DSN Martin Hiller, Arshad Jhumka, Neeraj Suri
2001	B	`conf`	Assessing Inter-Modular Error Propagation in Distributed Software. SRDS Arshad Jhumka, Martin Hiller, Neeraj Suri
2001	J	`jnl`	Design of a parallel interconnect based on communication pattern considerations. Parallel Algorithms Appl. Neeraj Suri, Avi Mendelson
2001	B	`conf`	Efficient TDMA Synchronization for Distributed Embedded Systems. SRDS Vilgot Claesson, Henrik Lönn, Neeraj Suri
2001	A	`conf`	Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification. ICDCS Purnendu Sinha, Neeraj Suri
2001	—	`conf`	On Simplifying Modular Specification and Verification of Distributed Protocols. HASE Purnendu Sinha, Neeraj Suri
2000	A	`conf`	Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. DSN Avi Mendelson, Neeraj Suri
2000	A	`conf`	Evaluating COTS Standards for Design of Dependable Systems. DSN Chris J. Walter, Neeraj Suri, T. Monaghan
1999	J	`jnl`	Editorial: Special Section on Dependable Real-Time Systems. IEEE Trans. Parallel Distributed Syst. Neeraj Suri, Krithi Ramamritham
1999	—	`conf`	Identification of Test Cases Using a Formal Approach. FTCS Purnendu Sinha, Neeraj Suri
1999	A	`conf`	On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. RTSS Purnendu Sinha, Neeraj Suri
1998	A	`conf`	A Framework for Dependability Driven Software Integration. ICDCS Neeraj Suri, Sunundu Ghosh, Thomas J. Marlowe
1998	—	`conf`	On the Use of Formal Techniques for Validation. FTCS Neeraj Suri, Purnendu Sinha
1997	B	`conf`	Cache based fault recovery for distributed systems. ICECCS Avi Mendelson, Neeraj Suri
1997	J	`jnl`	Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. Chris J. Walter, Patrick Lincoln, Neeraj Suri
1994	J	`jnl`	Synchronization issues in real-time systems. Proc. IEEE Neeraj Suri, Michelle M. Hugue, Chris J. Walter
1992	—	`conf`	Reliability Modeling of Large Fault-Tolerant Systems. FTCS Neeraj Suri, Michelle M. Hugue, Chris J. Walter
1991	—	`conf`	BDG-torus union graph-an efficient algorithmically specializedparallel interconnect. SPDP Neeraj Suri, Avi Mendelson, Dhiraj K. Pradhan