default search action
Henrique Madeira
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j27]Fuqun Huang, Henrique Madeira:
Advancing modern code review effectiveness through human error mechanisms. J. Syst. Softw. 214: 112060 (2024) - [c153]Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. DSN 2024: 316-323 - [c152]Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. EDCC Workshops 2024: 22-35 - [c151]Bernardo Graça, Frederico Cerveira, Henrique Madeira:
Fault injection acceleration using failure models on a virtualized fault-tolerant system. EDCC 2024: 155-160 - 2023
- [j26]Leo Silva, Marília Castro, Miriam Bernardino Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira:
Using social media and personality traits to assess software developers' emotional polarity. PeerJ Comput. Sci. 9: e1498 (2023) - [j25]Haytham Hijazi, João Durães, Ricardo Couceiro, João Castelhano, Raul Barbosa, Júlio Medeiros, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira:
Quality Evaluation of Modern Code Reviews Through Intelligent Biometric Program Comprehension. IEEE Trans. Software Eng. 49(2): 626-645 (2023) - [c150]Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira:
Network Failures in Cloud Management Platforms: A Study on OpenStack. CLOSER 2023: 228-235 - [c149]Jomar Domingos, Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Predicting Cloud Applications Failures from Infrastructure Level Data. DSN-W 2023: 9-16 - [c148]Omid Asghari, Naghmeh Ivaki, Henrique Madeira:
Integration of U-space Safety Assessment Methodologies With Experimentation. DSN-W 2023: 72-75 - [c147]Omid Asghari, Naghmeh Ivaki, Henrique Madeira:
Lead Time Analysis for UAVs' Failure Prediction in U-space. PRDC 2023: 123-133 - [c146]Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira:
A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. PRDC 2023: 217-227 - 2022
- [j24]André Bernardes, Ricardo Couceiro, Júlio Medeiros, Jorge Henriques, César Teixeira, Marco Simões, João Durães, Raul Barbosa, Henrique Madeira, Paulo Carvalho:
How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks? Sensors 22(17): 6528 (2022) - [j23]Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo:
The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers. IEEE Trans. Cloud Comput. 10(2): 1065-1081 (2022) - [c145]Anamta Khan, Maria Lucia Ferramosca, Naghmeh Ivaki, Henrique Madeira:
Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues. ICSRS 2022: 45-54 - [c144]David Paiva, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira:
Enhanced software development process for CubeSats to cope with space radiation faults. PRDC 2022: 78-88 - [c143]Anamta Khan, Naghmeh Ivaki, Henrique Madeira:
Are UAVs' Flight Controller Software Reliable? PRDC 2022: 194-204 - [c142]Fuqun Huang, Bo Zhao, Henrique Madeira:
A New Code Review Method based on Human Errors. QRS 2022: 321-332 - [c141]Leo Silva, Marília Castro, Miriam Bernardino Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira:
Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits. QRS 2022: 366-375 - [c140]Pedro David Almeida, Frederico Cerveira, Raul Barbosa, Henrique Madeira:
ucXception: A Framework for Evaluating Dependability of Software Systems. QRS 2022: 561-570 - [c139]Gonçalo Carvalho, Nádia Medeiros, Henrique Madeira, Bruno Cabral:
A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience. QRS 2022: 672-681 - [c138]António Morais, Raul Barbosa, Nuno Lourenço, Frederico Cerveira, Michele Lombardi, Henrique Madeira:
Strategies for Improving the Error Robustness of Convolutional Neural Networks. QRS 2022: 874-883 - [c137]Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira:
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate. SAFECOMP 2022: 237-251 - [d1]Leo Silva, Marília Castro, Miriam Bernardino Silva, Milena Santos, Uirá Kulesza, Margarida Lima, Henrique Madeira:
Using social media and personality traits to assess software developers' emotions. IEEE DataPort, 2022 - [i3]Fuqun Huang, Henrique Madeira:
Targeted Code Inspection based on Human Errors. CoRR abs/2202.02259 (2022) - 2021
- [j22]Haytham Hijazi, Ricardo Couceiro, João Castelhano, Paulo de Carvalho, Miguel Castelo-Branco, Henrique Madeira:
Intelligent Biofeedback Augmented Content Comprehension (TellBack). IEEE Access 9: 28393-28406 (2021) - [j21]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor. IEEE Access 9: 105255-105269 (2021) - [j20]Julio Medeiros, Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, Miguel Castelo-Branco, Henrique Madeira, Paulo de Carvalho, César Teixeira:
Can EEG Be Adopted as a Neuroscience Reference for Assessing Software Programmers' Cognitive Load? Sensors 21(7): 2338 (2021) - [c136]Jomar Domingos, Raul Barbosa, Henrique Madeira:
Why is it so hard to predict computer systems failures? EDCC 2021: 41-44 - [c135]Fuqun Huang, Henrique Madeira:
Targeted Code Inspection based on Human Errors. ISSRE Workshops 2021: 274-275 - [c134]Haytham Hijazi, José Cruz, João Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira:
iReview: an Intelligent Code Review Evaluation Tool using Biofeedback. ISSRE 2021: 476-485 - [c133]David Paiva, Jose Marcelo Lima Duarte, Raffael S. C. G. de Lima, Manoel J. M. Carvalho, Fátima Mattiello-Francisco, Henrique Madeira:
Fault injection platform for affordable verification and validation of CubeSats software. LADC 2021: 1-11 - [c132]Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira:
Measuring lead times for failure prediction. PRDC 2021: 1-5 - [c131]Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie:
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC 2021: 325-340 - 2020
- [j19]Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza:
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE Access 8: 190760-190783 (2020) - [c130]João Martins, Raul Barbosa, Nuno Lourenço, Jacques Robin, Henrique Madeira:
Online Verification through Model Checking of Medical Critical Intelligent Systems. DSN Workshops 2020: 32-37 - [c129]Frederico Cerveira, Rui André Oliveira, Raul Barbosa, Henrique Madeira:
Evaluation of RESTful frameworks under soft errors. ISSRE 2020: 369-379 - [e1]Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng:
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. IEEE 2020, ISBN 978-1-7281-9870-5 [contents] - [i2]Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza:
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. CoRR abs/2006.11597 (2020)
2010 – 2019
- 2019
- [j18]Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira:
Emulating representative software vulnerabilities using field data. Computing 101(2): 119-138 (2019) - [j17]Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira:
Soft error sensitivity and vulnerability of languages and their implementations. Int. J. Crit. Comput. Based Syst. 9(4): 318-347 (2019) - [c128]Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, César A. D. Teixeira, Miguel Castelo-Branco, Paulo Carvalho, Henrique Madeira:
Pupillography as Indicator of Programmers' Mental Effort and Cognitive Overload. DSN 2019: 638-644 - [c127]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Fast Local VM Migration Against Hypervisor Corruption. EDCC 2019: 97-102 - [c126]Julio Medeiros, Ricardo Couceiro, João Castelhano, Miguel Castelo Branco, Gonçalo Duarte, Catarina Duarte, João Durães, Henrique Madeira, Paulo de Carvalho, César Alexandre Teixeira:
Software code complexity assessment using EEG features. EMBC 2019: 1413-1416 - [c125]Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, César Alexandre Teixeira, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira:
Biofeedback augmented software engineering: monitoring of programmers' mental effort. ICSE (NIER) 2019: 37-40 - [c124]Ricardo Couceiro, Paulo Carvalho, Miguel Castelo Branco, Henrique Madeira, Raul Barbosa, João Durães, Gonçalo Duarte, João Castelhano, Catarina Duarte, César Alexandre Teixeira, Nuno Laranjeiro, Julio Medeiros:
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback. ISSRE 2019: 93-103 - [c123]Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu:
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops 2019: 391-397 - [i1]Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira:
The most frequent programming mistakes that cause software vulnerabilities. CoRR abs/1912.01948 (2019) - 2018
- [c122]Frederico Cerveira, Alcides Fonseca, Raul Barbosa, Henrique Madeira:
Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors. EDCC 2018: 65-72 - [c121]Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira:
Effects of GPS Spoofing on Unmanned Aerial Vehicles. PRDC 2018: 155-160 - [c120]Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza:
Exploratory Data Analysis of Fault Injection Campaigns. QRS 2018: 191-202 - 2017
- [c119]Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira:
On the Emulation of Vulnerabilities through Software Fault Injection. EDCC 2017: 73-78 - [c118]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine. ISSRE 2017: 136-145 - [c117]Raquel Almeida, Afonso Araújo Neto, Henrique Madeira:
Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics. PRDC 2017: 40-49 - [c116]Frederico Cerveira, Raul Barbosa, Henrique Madeira:
Soft Errors Susceptibility of Virtualization Servers. PRDC 2017: 125-134 - 2016
- [j16]Roberto Natella, Domenico Cotroneo, Henrique Madeira:
Assessing Dependability with Software Fault Injection: A Survey. ACM Comput. Surv. 48(3): 44:1-44:55 (2016) - [c115]Goncalo Pereira, Raul Barbosa, Henrique Madeira:
Practical Emulation of Software Defects in Source Code. EDCC 2016: 130-140 - [c114]João Durães, Henrique Madeira, João Castelhano, Catarina Duarte, Miguel Castelo Branco:
WAP: Understanding the Brain at Software Debugging. ISSRE 2016: 87-92 - [c113]Raquel Almeida, Henrique Madeira:
Evolving from Dependability to Resilience Benchmarks: Issues and Possibilities. LADC 2016: 127-130 - 2015
- [j15]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira:
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100: 103-116 (2015) - [j14]Pedro Costa, João Gabriel Silva, Henrique Madeira:
Practical and representative faultloads for large-scale software systems. J. Syst. Softw. 103: 182-197 (2015) - [c112]Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo:
Recovery for Virtualized Environments. EDCC 2015: 25-36 - [c111]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Temporal Analysis of CHAVE Collection. SPIRE 2015: 67-74 - 2014
- [j13]José Fonseca, Nuno Seixas, Marco Vieira, Henrique Madeira:
Analysis of Field Data on Web Security Vulnerabilities. IEEE Trans. Dependable Secur. Comput. 11(2): 89-100 (2014) - [j12]José Fonseca, Marco Vieira, Henrique Madeira:
Evaluation of Web Security Mechanisms Using Vulnerability & Attack Injection. IEEE Trans. Dependable Secur. Comput. 11(5): 440-453 (2014) - [j11]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A Technique for Deploying Robust Web Services. IEEE Trans. Serv. Comput. 7(1): 68-81 (2014) - [c110]Pedro Pereira, Joaquim Macedo, Olga Craveiro, Henrique Madeira:
Time-Aware Focused Web Crawling. ECIR 2014: 534-539 - [c109]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Query Expansion with Temporal Segmented Texts. ECIR 2014: 612-617 - [c108]Naaliel Mendes, Henrique Madeira, João Durães:
Security Benchmarks for Web Serving Systems. ISSRE 2014: 1-12 - [c107]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Words Temporality for Improving Query Expansion. PROPOR 2014: 262-267 - 2013
- [j10]Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira:
On Fault Representativeness of Software Fault Injection. IEEE Trans. Software Eng. 39(1): 80-96 (2013) - [c106]Ivano Irrera, João Durães, Henrique Madeira, Marco Vieira:
Assessing the Impact of Virtualization on the Generation of Failure Prediction Data. LADC 2013: 92-97 - 2012
- [j9]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A robustness testing approach for SOAP Web services. J. Internet Serv. Appl. 3(2): 215-232 (2012) - [c105]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
It Is the Time for Portuguese Texts! PROPOR 2012: 106-112 - [p5]João Durães, José Fonseca, Henrique Madeira, Marco Vieira:
Field Studies on Resilience: Measurements and Repositories. Resilience Assessment and Evaluation of Computing Systems 2012: 213-237 - [p4]Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira:
Fault Injection. Resilience Assessment and Evaluation of Computing Systems 2012: 263-281 - [p3]Marco Vieira, Henrique Madeira, Kai Sachs, Samuel Kounev:
Resilience Benchmarking. Resilience Assessment and Evaluation of Computing Systems 2012: 283-301 - [p2]Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik, Marco Vieira, Nuno Antunes:
Robustness Testing Techniques and Tools. Resilience Assessment and Evaluation of Computing Systems 2012: 323-339 - [p1]Andrea Bondavalli, Henrique Madeira, Paolo Lollini:
Future of Resilience Assessment: The AMBER Research Roadmap. Resilience Assessment and Evaluation of Computing Systems 2012: 415-439 - 2011
- [c104]Naaliel Mendes, João Durães, Henrique Madeira:
Benchmarking the Security of Web Serving Systems Based on Known Vulnerabilities. LADC 2011: 55-64 - [c103]Marco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha:
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. SEW 2011: 112-116 - 2010
- [c102]Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira:
Representativeness analysis of injected software faults in complex software. DSN 2010: 437-446 - [c101]Naaliel Mendes, João Durães, Henrique Madeira:
Evaluating and Comparing the Impact of Software Faults on Web Servers. EDCC 2010: 33-42 - [c100]Raquel Almeida, Henrique Madeira, Marco Vieira:
From Performance to Resilience Benchmarking. ICDCS Workshops 2010: 286-287 - [c99]Raquel Almeida, Naaliel Mendes, Henrique Madeira:
Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience. ICDCS Workshops 2010: 313-320 - [c98]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Leveraging temporal expressions for segmented-based information retrieval. ISDA 2010: 754-759 - [c97]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira:
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE 2010: 61-70 - [c96]José Fonseca, Marco Vieira, Henrique Madeira:
The Web Attacker Perspective - A Field Study. ISSRE 2010: 299-308 - [c95]Ivano Irrera, João Durães, Marco Vieira, Henrique Madeira:
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. PRDC 2010: 3-10 - [c94]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. PRDC 2010: 191-198 - [c93]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira:
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP 2010: 112-125 - [c92]Raquel Almeida, Henrique Madeira, Marco Vieira:
Benchmarking the Resilience of Self-Adaptive Systems: A New Research Challenge. SRDS 2010: 348-352
2000 – 2009
- 2009
- [c91]Nuno Antunes, Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Effective Detection of SQL/XPath Injection Vulnerabilities in Web Services. IEEE SCC 2009: 260-267 - [c90]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Predicting Timing Failures in Web Services. DASFAA Workshops 2009: 182-196 - [c89]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Protecting Database Centric Web Services against SQL/XPath Injection Attacks. DEXA 2009: 271-278 - [c88]José Fonseca, Marco Vieira, Henrique Madeira:
Vulnerability & attack injection for web applications. DSN 2009: 93-102 - [c87]Henrique Madeira, István Majzik:
From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN 2009: 295-296 - [c86]Marco Vieira, Nuno Antunes, Henrique Madeira:
Using web security scanners to detect vulnerabilities in web services. DSN 2009: 566-571 - [c85]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Improving Web Services Robustness. ICWS 2009: 397-404 - [c84]Nuno Seixas, José Fonseca, Marco Vieira, Henrique Madeira:
Looking at Web Security Vulnerabilities from the Programming Language Perspective: A Field Study. ISSRE 2009: 129-135 - [c83]Pedro Costa, João Gabriel Silva, Henrique Madeira:
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. PRDC 2009: 289-294 - [c82]Olga Craveiro, Joaquim Macedo, Henrique Madeira:
Use of Co-occurrences for Temporal Expressions Annotation. SPIRE 2009: 156-164 - [c81]Marco Vieira, Henrique Madeira:
From Performance to Dependability Benchmarking: A Mandatory Path. TPCTC 2009: 67-83 - 2008
- [c80]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Experimental Robustness Evaluation of JMS Middleware. IEEE SCC (1) 2008: 119-126 - [c79]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Timing Failures Detection in Web Services. APSCC 2008: 554-559 - [c78]Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira:
Redundant Array of Inexpensive Nodes for DWS. DASFAA 2008: 580-587 - [c77]Jorge Vieira, Marco Vieira, Marco Costa, Henrique Madeira:
RAIN: Always on Data Warehousing. DASFAA 2008: 678-681 - [c76]Raquel Almeida, Jorge Vieira, Marco Vieira, Henrique Madeira, Jorge Bernardino:
Efficient Data Distribution for DWS. DaWaK 2008: 75-86 - [c75]Philip Koopman, Henrique Madeira:
Message from the conference general chair and coordinator. DSN 2008 - [c74]Nuno Laranjeiro, Marco Vieira, Henrique Madeira:
Robustness Validation in Service-Oriented Architectures. WADS 2008: 98-123 - [c73]José Fonseca, Marco Vieira, Henrique Madeira:
Training Security Assurance Teams Using Vulnerability Injection. PRDC 2008: 297-304 - [c72]Naaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira:
Assessing and Comparing Security of Web Servers. PRDC 2008: 313-322 - [c71]José Fonseca, Marco Vieira, Henrique Madeira:
Online detection of malicious data access using DBMS auditing. SAC 2008: 1013-1020 - 2007
- [c70]Marco Vieira, António Casimiro Costa, Henrique Madeira:
Towards Timely ACID Transactions in DBMS. DASFAA 2007: 262-274 - [c69]Marco Vieira, Nuno Laranjeiro, Henrique Madeira:
Assessing Robustness of Web-Services Infrastructures. DSN 2007: 131-136 - [c68]Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira:
Experimental Risk Assessment and Comparison Using Software Fault Injection. DSN 2007: