Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement |
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Inna Vistbakka, Elena Troubitsyna |
Towards a Formal Approach to Analysing Security of Safety-Critical Systems. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Farshchi, Ingo Weber, Raffaele Della Corte, Antonio Pecchia, Marcello Cinque, Jean-Guy Schneider, John C. Grundy |
Contextual Anomaly Detection for a Critical Industrial System Based on Logs and Metrics. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Piriou, Jean-Francois Dumas |
Simulation of Stochastic Blockchain Models. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders |
An Efficient Strategy for Model Composition in the Möbius Modeling Environment. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Bressan, André Luíz de Oliveira, Leonardo Montecchi, Barbara Gallina |
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ainhoa Azqueta-Alzúaz, Marta Patiño-Martínez, Valerio Vianello, Ricardo Jiménez-Peris |
Fault-Tolerance Evaluation of a New SQL Database. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Cinque, Raffaele Della Corte, Raffaele Iorio, Antonio Pecchia |
An Exploratory Study on Zeroconf Monitoring of Microservices Systems. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ziad Ismail, Jean Leneutre, Alia Fourati |
Optimal Deployment of Security Policies: Application to Industrial Control Systems. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tuzov, David de Andrés, Juan Carlos Ruiz |
Accurate Robustness Assessment of HDL Models Through Iterative Statistical Fault Injection. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amjad Aldweesh, Maher Alharby, Ellis Solaiman, Aad van Moorsel |
Performance Benchmarking of Smart Contracts to Assess Miner Incentives in Ethereum. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
14th European Dependable Computing Conference, EDCC 2018, Iași, Romania, September 10-14, 2018 |
EDCC |
2018 |
DBLP BibTeX RDF |
|
1 | Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer |
Formal Verification for Feature-Based Composition of Workflows. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Coppolino, Salvatore D'Antonio, Giovanni Mazzeo, Luigi Romano, Luigi Sgaglione |
Exploiting New CPU Extensions for Secure Exchange of eHealth Data at the EU Level. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Ellul, Gordon J. Pace |
Runtime Verification of Ethereum Smart Contracts. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Vacas, Iberia Medeiros, Nuno Neves 0001 |
Detecting Network Threats using OSINT Knowledge-Based IDS. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Analyzing the Shared Information in Social Networks. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mariana Cunha, Nuno Laranjeiro |
Assessing Containerized REST Services Performance in the Presence of Operator Faults. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Areej Algaith, Paulo Jorge Costa Nunes, José Fonseca 0002, Ilir Gashi, Marco Vieira |
Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Minh Lê, Josef Weidendorfer |
A Message-Passing Based Algorithm for k-Terminal Reliability. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mario Trapp, Daniel Schneider 0001, Gereon Weiss |
Towards Safety-Awareness and Dynamic Safety Management. |
EDCC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lars Nagel 0001, Tim Süß |
Computing the Probability for Data Loss in Two-Dimensional Parity RAIDs. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Slechta, Laura Monroe, Nathan DeBardeleben, Qiang Guan, Joanne Wendelberger, Sarah Michalak |
Resilience Analysis of Top K Selection Algorithms. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frederico Cerveira, Raul Barbosa, Marta Mercier, Henrique Madeira |
On the Emulation of Vulnerabilities through Software Fault Injection. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro, Marco Vieira |
An Analysis of OpenStack Vulnerabilities. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Eckel |
It is a Disruptive World with Exponential Development: Expected Trends in Embedded Systems, with a Special Focus on the Automotive Industry and Its Likely Effects on Industry and Society. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Tuzov, Juan Carlos Ruiz, David de Andrés |
Accurately Simulating the Effects of Faults in VHDL Models Described at the Implementation-Level. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georg Macher, Markus Bachinger, Michael Stolz |
Embedded Multi-core System for Design of Next Generation Powertrain Control Units. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luke J. W. Martin, Alexander B. Romanovsky |
An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hebert de Oliveira Silva, Tânia Basso, Regina Lúcia de Oliveira Moraes |
Privacy and Data Mining: Evaluating the Impact of Data Anonymization on Classification Algorithms. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Maia |
Data Management and Privacy in a World of Data Wealth. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017 |
EDCC |
2017 |
DBLP BibTeX RDF |
|
1 | Kevin Bock 0001, Sydnee Shannon, Yazdan Movahedi, Michel Cukier |
Application of Routine Activity Theory to Cyber Intrusion Location and Time. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter Schwefel, Walter Schaffer, Robert Damboeck |
ICT and Data-Management for Dependability of Electricity Distribution Grids: Opportunities and Barriers. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kazuto Shigihara, Shinya Honda, Hiroaki Takada |
Test Program Generator for AUTOSAR OS. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yazdan Movahedi, Michel Cukier, Ambrose Andongabo, Ilir Gashi |
Cluster-Based Vulnerability Assessment Applied to Operating Systems. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins |
Challenges of Safety Assurance for Industry 4.0. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ghazal Zamani, Olivia Das |
Impact of a Fault Management Architecture on the Performance of a Component-Based System. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca 0002, Nuno Ferreira Neves, Miguel Correia 0001, Marco Vieira |
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
Preserving Stabilization While Practically Bounding State Space. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eischer, Tobias Distler |
Scalable Byzantine Fault Tolerance on Heterogeneous Servers. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Omar Tawffeeq Saleem Jaradat, Iain Bate |
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira 0001, Etienne Rivière, Valerio Schiavoni, Spyros Voulgaris |
SAFETHINGS: Data Security by Design in the IoT. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ambrose Andongabo, Ilir Gashi |
vepRisk - A Web Based Analysis Tool for Public Security Data. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Roux, Eric Alata, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche |
Toward an Intrusion Detection Approach for IoT Based on Radio Communications Profiling. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | William Excoffon, Jean-Charles Fabre, Michaël Lauer |
Analysis of Adaptive Fault Tolerance for Resilient Computing. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Cachin |
Blockchains and Consensus Protocols: Snake Oil Warning. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone |
A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Natella |
Advancing Fault Injection and Dependability Evaluation in the Software-Driven Telecom Industry. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nithya Narayanamurthy, Karthik Pattabiraman, Matei Ripeanu |
Finding Resilience-Friendly Compiler Optimizations Using Meta-Heuristic Search Techniques. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | João Almeida 0002, Joaquim Ferreira 0001, Arnaldo S. R. Oliveira |
An RSU Replication Scheme for Dependable Wireless Vehicular Networks. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jose Luis Nunes, João Carlos Cunha, Mário Zenha Rela |
On the Effects of Cumulative SEUs in FPGA-Based Systems. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Derehag, Elaine J. Weyuker, Thomas J. Ostrand, Daniel Sundmark |
Transitioning Fault Prediction Models to a New Environment. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck |
Virtual Worlds for Testing Robot Navigation: A Study on the Difficulty Level. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luis J. Saiz-Adalid, Pedro J. Gil, Juan Carlos Ruiz, Joaquin Gracia-Moran, Daniel Gil-Tomas, Juan-Carlos Baraza-Calvo |
Ultrafast Error Correction Codes for Double Error Detection/Correction. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elham Cheshmikhani, Amir Mahdi Hosseini Monazzah, Hamed Farbeh, Seyed Ghassem Miremadi |
Investigating the Effects of Process Variations and System Workloads on Reliability of STT-RAM Caches. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono |
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fábio Andrade Botelho, Tulio Alberton Ribeiro, Paulo Ferreira 0001, Fernando M. V. Ramos, Alysson Neves Bessani |
Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arielle Moro, Benoît Garbinato |
A System-Level Architecture for Fine-Grained Privacy Control in Location-Based Services. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ilir Gashi, Andrey Povyakalo, Lorenzo Strigini |
Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Sayuri Matsunaga, Nuno Antunes, Regina Moraes |
Coverage Metrics and Detection of Injection Vulnerabilities: An Experimental Study. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bernini, Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi |
Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shreya Agrawal, Khuzaima Daudjee |
A Performance Comparison of Algorithms for Byzantine Agreement in Distributed Systems. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zahra Shirmohammadi, Nezam Rohbani, Seyed Ghassem Miremadi |
3D-DPS: An Efficient 3D-CAC for Reliable Data Transfer in 3D ICs. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Goncalo Pereira, Raul Barbosa, Henrique Madeira |
Practical Emulation of Software Defects in Source Code. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Heger, André van Hoorn, Dusan Okanovic, Stefan Siegl, Alexander Wert |
Expert-Guided Automatic Diagnosis of Performance Problems in Enterprise Applications. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Ebo Adjepon-Yamoah, Zhenyu Wen |
Assuring Dependable Cloud-Based System Engineering: A Cloud Accountability Method. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luis Ventura, Nuno Antunes |
Experimental Assessment of NoSQL Databases Dependability. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Alves, Baldoino Fonseca, Nuno Antunes |
Software Metrics and Security Vulnerabilities: Dataset and Exploratory Study. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ken Terada, Hiroshi Yamada |
Dwarf: Shortening Downtime of Reboot-Based Kernel Updates. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bijun Li, Wenbo Xu 0002, Muhammad Zeeshan Abid, Tobias Distler, Rüdiger Kapitza |
SAREK: Optimistic Parallel Ordering in Byzantine Fault Tolerance. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Hulin, Hermann Kaindl, Thomas Rathfux, Roman Popp, Edin Arnautovic, Roland Beckert |
Towards a Common Safety Ontology for Automobiles and Railway Vehicles. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Totel, Mouna Hkimi, Michel Hurfin, Mourad Leslous, Yvan Labiche |
Inferring a Distributed Application Behavior Model for Anomaly Based Intrusion Detection. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Martens, Christoph Borchert, Manuel Nieke, Olaf Spinczyk, Rüdiger Kapitza |
CrossCheck: A Holistic Approach for Tolerating Crash-Faults and Arbitrary Failures. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
12th European Dependable Computing Conference, EDCC 2016, Gothenburg, Sweden, September 5-9, 2016 |
EDCC |
2016 |
DBLP BibTeX RDF |
|
1 | Marcin Kubacki, Janusz Sosnowski |
Multidimensional Log Analysis. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Junior Cupe Casquina, Jane Dirce A. Sandim Eleuterio, Cecília M. F. Rubira |
Adaptive Deployment Infrastructure for Android Applications. |
EDCC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil |
Evaluating and Optimizing Stabilizing Dining Philosophers. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Frederico Cerveira, Raul Barbosa, Henrique Madeira, Filipe Araújo |
Recovery for Virtualized Environments. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Farid Molazem Tabrizi, Karthik Pattabiraman |
Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Negin Fathollahnejad, Risat Pathan, Johan Karlsson |
On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Horst Schirmeier, Martin Hoffmann 0001, Christian Dietrich 0001, Michael Lenz, Daniel Lohmann, Olaf Spinczyk |
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiwei Xu 0001, Liming Zhu 0001, Daniel Sun 0004, An Binh Tran, Ingo Weber, Min Fu 0001, Len Bass |
Error Diagnosis of Cloud Application Operation Using Bayesian Networks and Online Optimisation. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette |
Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Estrada, Cuong Manh Pham, Fei Deng, Lok K. Yan, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer |
Dynamic VM Dependability Monitoring Using Hypervisor Probes. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Edward Chuah, Arshad Jhumka, James C. Browne, Bill Barth, Sai Narasimhamurthy |
Insights into the Diagnosis of System Failures from Cluster Message Logs. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun |
Data Stream Clustering for Online Anomaly Detection in Cloud Applications. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yanyan Shen, Kevin Elphinstone |
Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Piper, Stefan Winter 0001, Neeraj Suri, Thomas E. Fuhrman |
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège |
Security of ISP Access Networks: Practical Experiments. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Espinosa, David de Andrés, Pedro J. Gil |
Increasing the Dependability of VLSI Systems through Early Detection of Fugacious Faults. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller |
Exploiting Synergies between Static Analysis and Model-Based Testing. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson, Johan Karlsson |
A Comparison of Inject-on-Read and Inject-on-Write in ISA-Level Fault Injection. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Seyedeh Golsana Ghaemi, Amir Mahdi Hosseini Monazzah, Hamed Farbeh, Seyed Ghassem Miremadi |
LATED: Lifetime-Aware Tag for Enduring Design. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
11th European Dependable Computing Conference, EDCC 2015, Paris, France, September 7-11, 2015 |
EDCC |
2015 |
DBLP BibTeX RDF |
|
1 | Paul Rimba, Liming Zhu 0001, Len Bass, Ihor Kuz, Steve Reeves |
Composing Patterns to Construct Secure Systems. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris, Darrell D. E. Long |
Reducing the Energy Footprint of a Distributed Consensus Algorithm. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luis R. Rodriguez, Julia Lawall |
Increasing Automation in the Backporting of Linux Drivers Using Coccinelle. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mattias Nyberg, Jonas Westman |
Failure Propagation Modeling Based on Contracts Theory. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Munk, Mohammad Shadi Al Hakeem, Raphael Lisicki, Helge Parzyjegla, Jan Richling, Hans-Ulrich Heiss |
Toward a Fault-Tolerance Framework for COTS Many-Core Systems. |
EDCC |
2015 |
DBLP DOI BibTeX RDF |
|