Search

Your search keyword '"Saglietti, Francesca"' showing total 233 results
Start Over Author "Saglietti, Francesca"

Refine your results

more »

more »

more »
233 results on '"Saglietti, Francesca"'

1. A Guided Search for Races Based on Data Flow Patterns

Author

Neubaum, Andreas, Al Sardy, Loui, Spisländer, Marc, Saglietti, Francesca, Kretschmer, Sara, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Trapp, Mario, editor, Schoitsch, Erwin, editor, Guiochet, Jérémie, editor, and Bitsch, Friedemann, editor

Published
2022
Full Text
View/download PDF

2. Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes

Author

Neubaum, Andreas, Al Sardy, Loui, Spisländer, Marc, Saglietti, Francesca, Biener, Yves, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Habli, Ibrahim, editor, Sujan, Mark, editor, Gerasimou, Simos, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2021
Full Text
View/download PDF

3. Comparative Evaluation of Security Fuzzing Approaches

Author

Al Sardy, Loui, Neubaum, Andreas, Saglietti, Francesca, Rudrich, Daniel, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Romanovsky, Alexander, editor, Troubitsyna, Elena, editor, Gashi, Ilir, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2019
Full Text
View/download PDF

4. Constraint-Based Testing for Buffer Overflows

Author

Al Sardy, Loui, Saglietti, Francesca, Tang, Tong, Sonnenberg, Heiko, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gallina, Barbara, editor, Skavhaug, Amund, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2018
Full Text
View/download PDF

5. Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions

Author

Al Sardy, Loui, Tang, Tong, Spisländer, Marc, Saglietti, Francesca, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2017
Full Text
View/download PDF

6. Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems

Author

Saglietti, Francesca, Meitner, Matthias, von Wardenburg, Lars, Richthammer, Valentina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Skavhaug, Amund, editor, Guiochet, Jérémie, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2016
Full Text
View/download PDF

7. Quantitative Reliability Assessment for Mobile Cooperative Systems

Author

Saglietti, Francesca, Spengler, Ralf, Meitner, Matthias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Skavhaug, Amund, editor, Guiochet, Jérémie, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2016
Full Text
View/download PDF

8. Reconfiguration Testing for Cooperating Autonomous Agents

Author

Saglietti, Francesca, Winzinger, Stefan, Lill, Raimar, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Koornneef, Floor, editor, and van Gulijk, Coen, editor

Published
2015
Full Text
View/download PDF

9. Target-Specific Adaptations of Coupling-Based Software Reliability Testing

Author

Meitner, Matthias, Saglietti, Francesca, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Sudan, Madhu, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Vardi, Moshe Y., Editorial Board Member, Weikum, Gerhard, Editorial Board Member, Fischbach, Kai, editor, and Krieger, Udo R., editor

Published
2014
Full Text
View/download PDF

12. Software Reliability Testing Covering Subsystem Interactions

Author

Meitner, Matthias, Saglietti, Francesca, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Schmitt, Jens B., editor

Published
2012
Full Text
View/download PDF

13. Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

Author

Jimenez Roa, Lisandro Arturo, Volk, Matthias, Stoelinga, Mariëlle I.A., Trapp, Mario, Saglietti, Francesca, Spisländer, Marc, Bitsch, Friedemann, Formal Methods and Tools, and Digital Society Institute

Subjects
22/3 OA procedure
Abstract

We present SymLearn, a method to automatically infer fault tree (FT) models from data. SymLearn takes as input failure data of the system components and exploits evolutionary algorithms to learn a compact FT matching the input data. SymLearn achieves scalability by leveraging two common phenomena in FTs: (i) We automatically identify symmetries in the failure data set, learning symmetric FT parts only once. (ii) We partition the input data into independent modules, subdividing the inference problem into smaller parts. We validate our approach via case studies, including several truss systems, which are symmetric structures commonly found in infrastructures, such as bridges. Our experiments show that, in most cases, the exploitation of modules and symmetries accelerates the FT inference from hours to under three minutes.

Published
2022

14. Software Reliability Assessment Based on the Evaluation of Operational Experience

Author

Söhnlein, Sven, Saglietti, Francesca, Bitzer, Frank, Meitner, Matthias, Baryschew, Siegfried, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Müller-Clostermann, Bruno, editor, Echtle, Klaus, editor, and Rathgeb, Erwin P., editor

Published
2010
Full Text
View/download PDF

16. Automatic Test Data Generation by Multi-objective Optimisation

Author

Oster, Norbert, Saglietti, Francesca, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Górski, Janusz, editor

Published
2006
Full Text
View/download PDF

24. Overview

Author

Mainini, Maria Teresa, Saglietti, Francesca, Wall, David Nicholas, Commission of the European Communities, Kersken, Manfred, editor, and Saglietti, Francesca, editor

Published
1992
Full Text
View/download PDF

39. Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets

Author

Lill, Raimar, Saglietti, Francesca, Bergez, Anne, and Matthieu ROY

Subjects
model-based testing, Coloured Petri Nets, Embedded systems, coverage metrics, Safety, cooperating autonomous systems, incremental testing procedure, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems
Abstract

This article proposes a model-based testing approach for cooperating robotic systems. Coloured Petri Nets are used for capturing the high behavioural multiplicity of such systems in a compact and scalable way. For the purpose of systematically extracting test cases from underlying models, a number of coverage criteria based on different model entities is introduced. Finally, in order to ensure practicality, an incremental testing procedure based on increasingly refined coverage concepts is proposed.

Published
2013

44. Technische Sicherheit und Informationssicherheit

Author

Freiling, Felix, primary, Grimm, Rüdiger, additional, Großpietsch, Karl-Erwin, additional, Keller, Hubert B., additional, Mottok, Jürgen, additional, Münch, Isabel, additional, Rannenberg, Kai, additional, and Saglietti, Francesca, additional

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results