Quantitative Assessment of Fault-Tolerant Software Architecture. - Francesca Saglietti; Manfred Kersken (Fehlertolerierende Rechensysteme, 1987)

Back-to-Back Teststrategien zur Validation fehlertolerierender Software-Systeme. - Francesca Saglietti; Wolfgang D. Ehrenberger (Prozeßrechnersysteme, 1988)

The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Avaiability. - Francesca Saglietti (Fehlertolerierende Rechensysteme, 1989)

Location of checkpoints in fault-tolerant software. - Francesca Saglietti (Jerusalem Conference on Information Technology, 1990)

Software diversity metrics quantifying dissimilarity in the input partition. - Francesca Saglietti (Softw. Eng. J., 1990)

A Classification of Software Diversity Degrees Induced by an Analysis of Fault Types to be Tolerated. - Francesca Saglietti (Fault-Tolerant Computing Systems, 1991)

The Impact of Forced Diversity on the Failure Behaviour of Multi-Version Software. - Francesca Saglietti (Prozeßrechnersysteme, 1991)

Structural Testing Strategies Applied to Knowledge-Based Systems. - Francesca Saglietti (IEA/AIE, 1992)

Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. - Francesca Saglietti (SAFECOMP, 1997)

Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. - Francesca Saglietti (SAFECOMP, 1998)

Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems. - Francesca Saglietti (EUROMICRO, 2000)

Verlässlichkeit und Fehlertoleranz in Rechensystemen: Fortschritte, Probleme, Herausforderungen (Dependability and Fault Tolerance in Computing Systems: Progress, Problems, Challenges). - Karl-Erwin Großpietsch; Francesca Saglietti (Informationstechnik Tech. Inform., 2000)

Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems. - Francesca Saglietti (ISAS-SCI (1), 2001)

Safety of computer control systems: challenges and results in software development. - Janusz Zalewski; Wolfgang D. Ehrenberger; Francesca Saglietti; Janusz Górski; Andrew J. Kornecki (Annu. Rev. Control., 2003)

Licensing Reliable Embedded Software for Safety-Critical Applications. - Francesca Saglietti (Real Time Syst., 2004)

Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. - Martin Jung 006; Francesca Saglietti (HASE, 2005)

Beherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen. - Martin Jung 006; Francesca Saglietti; Verena Sauerborn (Sicherheit, 2005)

Automatic Test Data Generation by Multi-objective Optimisation. - Norbert Oster; Francesca Saglietti (SAFECOMP, 2006)

Interaktion zwischen funktionaler Sicherheit und Datensicherheit. - Francesca Saglietti (Sicherheit, 2006)

Veranstaltungsbesprechungen. - Helmut Reimer; Jana Dittmann; Claus Vielhauer; Felix C. Freiling; Francesca Saglietti; Manfred Reitenspieß; Andreas Lang 001 (Datenschutz und Datensicherheit, 2006)

Automatische, Modellbasierte Testdatengenerierung durch Einsatz Evolutionärer Verfahren. - Norbert Oster; Claudia Schieber; Francesca Saglietti; Florin Pinte (GI Jahrestagung (2), 2007)

Automatische Testdatengenerierung mittels multi-objektiver Optimierung. - Norbert Oster; Francesca Saglietti (Software Engineering (Workshops), 2007)

Automatische Generierung optimaler modellbasierter Regressionstests. - Florin Pinte; Gerhard Baier; Francesca Saglietti; Norbert Oster (GI Jahrestagung (1), 2008)

Techniques and tools for the automatic generation of optimal test data at code, model and interface level. - Florin Pinte; Norbert Oster; Francesca Saglietti (ICSE Companion, 2008)

Automatic Generation of Optimized Integration Test Data by Genetic Algorithms. - Florin Pinte; Francesca Saglietti; Norbert Oster (Software Engineering (Workshops), 2008)

Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten. - Sven Söhnlein; Francesca Saglietti (Sicherheit, 2008)

Software Reliability Assessment by Statistical Analysis of Operational Experience. - Sven Söhnlein; Francesca Saglietti (ERCIM News, 2008)

White and grey-box verification and validation approaches for safety- and security-critical software systems. - Francesca Saglietti; Norbert Oster; Florin Pinte (Inf. Secur. Tech. Rep., 2008)

Integration and Reliability Testing for Component-Based Software Systems. - Francesca Saglietti; Florin Pinte; Sven Söhnlein (EUROMICRO-SEAA, 2009)

MOTES09 - Modellbasiertes Testen - 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck - Einführung und Übersicht über die angenommenen Beiträge. - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Francesca Saglietti; Mario Winter (GI Jahrestagung, 2009)

Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test. - Florin Pinte; Francesca Saglietti; Achim Neubauer (GI Jahrestagung, 2009)

Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung. - Sven Söhnlein; Francesca Saglietti; Franz Bitzer; Siegfried Baryschew (Softwaretechnik-Trends, 2009)

Testing for Dependable Embedded Software. - Francesca Saglietti (EUROMICRO-SEAA, 2010)

MOTES2010 - Modellbasiertes Testen (Vorwort). - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Francesca Saglietti; Mario Winter (GI Jahrestagung (2), 2010)

Evaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle. - Florin Pinte; Francesca Saglietti (GI Jahrestagung (2), 2010)

Software Reliability Assessment Based on the Evaluation of Operational Experience. - Sven Söhnlein; Francesca Saglietti; Franz Bitzer; Matthias Meitner; Siegfried Baryschew (MMB/DFT, 2010)

Software Reliability Assessment based on Operational Representativeness and Interaction Coverage. - Matthias Meitner; Francesca Saglietti (ARCS Workshops, 2011)

Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung. - Matthias Meitner; Francesca Saglietti (Softwaretechnik-Trends, 2011)

Model-based Testing of Autonomous Systems based on Coloured Petri Nets. - Raimar Lill; Francesca Saglietti (ARCS Workshops, 2012)

Software Reliability Testing Covering Subsystem Interactions. - Matthias Meitner; Francesca Saglietti (MMB/DFT, 2012)

Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents. - Francesca Saglietti; Sven Söhnlein; Raimar Lill (Autonomous Systems: Developments and Trends, 2012)

Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software. - Matthias Meitner; Francesca Saglietti (ARCS Workshops, 2013)

Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. - Raimar Lill; Francesca Saglietti (DECS@SAFECOMP, 2013)

Testing the Cooperation of Autonomous Robotic Agents. - Raimar Lill; Francesca Saglietti (ICSOFT EA, 2014)

Target-Specific Adaptations of Coupling-Based Software Reliability Testing. - Matthias Meitner; Francesca Saglietti (MMB/DFT, 2014)

Technische Sicherheit und Informationssicherheit - Unterschiede und Gemeinsamkeiten. - Felix C. Freiling; Rüdiger Grimm; Karl-Erwin Großpietsch; Hubert B. Keller; Jürgen Mottok; Isabel Münch; Kai Rannenberg; Francesca Saglietti (Inform. Spektrum, 2014)

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems. - Francesca Saglietti; David Fohrweiser; Stefan Winzinger; Raimar Lill (EUROMICRO-SEAA, 2015)

Reconfiguration Testing for Cooperating Autonomous Agents. - Francesca Saglietti; Stefan Winzinger; Raimar Lill (SAFECOMP Workshops, 2015)

Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration. - Francesca Saglietti; Matthias Meitner (MORSE@RoboCup, 2016)

Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems. - Francesca Saglietti; Matthias Meitner; Lars von Wardenburg; Valentina Richthammer (SAFECOMP Workshops, 2016)

Quantitative Reliability Assessment for Mobile Cooperative Systems. - Francesca Saglietti; Ralf Spengler; Matthias Meitner (SAFECOMP Workshops, 2016)

Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions. - Loui Al Sardy; Tong Tang; Marc Spisländer; Francesca Saglietti (SAFECOMP Workshops, 2017)

Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. - Marc Spisländer; Francesca Saglietti (SEAA, 2018)

Constraint-Based Testing for Buffer Overflows. - Loui Al Sardy; Francesca Saglietti; Tong Tang; Heiko Sonnenberg (SAFECOMP Workshops, 2018)

Comparative Evaluation of Security Fuzzing Approaches. - Loui Al Sardy; Andreas Neubaum; Francesca Saglietti; Daniel Rudrich (SAFECOMP Workshops, 2019)

Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes. - Andreas Neubaum; Loui Al Sardy; Marc Spisländer; Francesca Saglietti; Yves Biener (SAFECOMP Workshops, 2021)

A Guided Search for Races Based on Data Flow Patterns. - Andreas Neubaum; Loui Al Sardy; Marc Spisländer; Francesca Saglietti; Sara Kretschmer (SAFECOMP Workshops, 2022)