Francesca Saglietti

59 papers B 6C 3Journal 10Unranked 39
YearRankTypeTitle / Venue / Authors
2022 — conf
A Guided Search for Races Based on Data Flow Patterns.
SAFECOMP Workshops
Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer
2022 B ed.
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings
SAFECOMP
Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
2021 — conf
Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes.
SAFECOMP Workshops
Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Yves Biener
2019 — conf
Comparative Evaluation of Security Fuzzing Approaches.
SAFECOMP Workshops
Loui Al Sardy, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich
2018 — conf
Constraint-Based Testing for Buffer Overflows.
SAFECOMP Workshops
Loui Al Sardy, Francesca Saglietti, Tong Tang, Heiko Sonnenberg
2018 B conf
Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents.
SEAA
Marc Spisländer, Francesca Saglietti
2017 — conf
Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions.
SAFECOMP Workshops
Loui Al Sardy, Tong Tang, Marc Spisländer, Francesca Saglietti
2016 — conf
Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems.
SAFECOMP Workshops
Francesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer
2016 — conf
Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration.
MORSE@RoboCup
Francesca Saglietti, Matthias Meitner
2016 — conf
Quantitative Reliability Assessment for Mobile Cooperative Systems.
SAFECOMP Workshops
Francesca Saglietti, Ralf Spengler, Matthias Meitner
2015 — conf
Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems.
EUROMICRO-SEAA
Francesca Saglietti, David Fohrweiser, Stefan Winzinger, Raimar Lill
2015 — conf
Reconfiguration Testing for Cooperating Autonomous Agents.
SAFECOMP Workshops
Francesca Saglietti, Stefan Winzinger, Raimar Lill
2014 — conf
Target-Specific Adaptations of Coupling-Based Software Reliability Testing.
MMB/DFT
Matthias Meitner, Francesca Saglietti
2014 J jnl
Technische Sicherheit und Informationssicherheit - Unterschiede und Gemeinsamkeiten.
Inform. Spektrum
Felix C. Freiling, Rüdiger Grimm, Karl-Erwin Großpietsch, Hubert B. Keller, Jürgen Mottok, Isabel Münch, Kai Rannenberg, Francesca Saglietti
2014 — conf
Testing the Cooperation of Autonomous Robotic Agents.
ICSOFT EA
Raimar Lill, Francesca Saglietti
2013 — conf
Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software.
ARCS Workshops
Matthias Meitner, Francesca Saglietti
2013 — conf
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets.
DECS@SAFECOMP
Raimar Lill, Francesca Saglietti
2012 — ch.
Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents.
Autonomous Systems: Developments and Trends
Francesca Saglietti, Sven Söhnlein, Raimar Lill
2012 — conf
Model-based Testing of Autonomous Systems based on Coloured Petri Nets.
ARCS Workshops
Raimar Lill, Francesca Saglietti
2012 — conf
Software Reliability Testing Covering Subsystem Interactions.
MMB/DFT
Matthias Meitner, Francesca Saglietti
2011 — conf
Software Reliability Assessment based on Operational Representativeness and Interaction Coverage.
ARCS Workshops
Matthias Meitner, Francesca Saglietti
2011 J jnl
Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung.
Softwaretechnik-Trends
Matthias Meitner, Francesca Saglietti
2010 — conf
Evaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle.
GI Jahrestagung (2)
Florin Pinte, Francesca Saglietti
2010 — conf
MOTES2010 - Modellbasiertes Testen (Vorwort).
GI Jahrestagung (2)
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
2010 — conf
Software Reliability Assessment Based on the Evaluation of Operational Experience.
MMB/DFT
Sven Söhnlein, Francesca Saglietti, Franz Bitzer, Matthias Meitner, Siegfried Baryschew
2010 — conf
Testing for Dependable Embedded Software.
EUROMICRO-SEAA
Francesca Saglietti
2009 — conf
Integration and Reliability Testing for Component-Based Software Systems.
EUROMICRO-SEAA
Francesca Saglietti, Florin Pinte, Sven Söhnlein
2009 — conf
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.
GI Jahrestagung
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
2009 — conf
Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test.
GI Jahrestagung
Florin Pinte, Francesca Saglietti, Achim Neubauer
2009 J jnl
Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung.
Softwaretechnik-Trends
Sven Söhnlein, Francesca Saglietti, Franz Bitzer, Siegfried Baryschew
2008 C conf
Automatic Generation of Optimized Integration Test Data by Genetic Algorithms.
Software Engineering (Workshops)
Florin Pinte, Francesca Saglietti, Norbert Oster
2008 — conf
Automatische Generierung optimaler modellbasierter Regressionstests.
GI Jahrestagung (1)
Florin Pinte, Gerhard Baier, Francesca Saglietti, Norbert Oster
2008 — conf
Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten.
Sicherheit
Sven Söhnlein, Francesca Saglietti
2008 J jnl
Software Reliability Assessment by Statistical Analysis of Operational Experience.
ERCIM News
Sven Söhnlein, Francesca Saglietti
2008 — conf
Techniques and tools for the automatic generation of optimal test data at code, model and interface level.
ICSE Companion
Florin Pinte, Norbert Oster, Francesca Saglietti
2008 J jnl
White and grey-box verification and validation approaches for safety- and security-critical software systems.
Inf. Secur. Tech. Rep.
Francesca Saglietti, Norbert Oster, Florin Pinte
2007 C conf
Automatische Testdatengenerierung mittels multi-objektiver Optimierung.
Software Engineering (Workshops)
Norbert Oster, Francesca Saglietti
2007 — conf
Automatische, Modellbasierte Testdatengenerierung durch Einsatz Evolutionärer Verfahren.
GI Jahrestagung (2)
Norbert Oster, Claudia Schieber, Francesca Saglietti, Florin Pinte
2007 B ed.
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007.
SAFECOMP
Francesca Saglietti, Norbert Oster
2006 B conf
Automatic Test Data Generation by Multi-objective Optimisation.
SAFECOMP
Norbert Oster, Francesca Saglietti
2006 — conf
Interaktion zwischen funktionaler Sicherheit und Datensicherheit.
Sicherheit
Francesca Saglietti
2006 J jnl
Veranstaltungsbesprechungen.
Datenschutz und Datensicherheit
Helmut Reimer, Jana Dittmann, Claus Vielhauer, Felix C. Freiling, Francesca Saglietti, Manfred Reitenspieß, Andreas Lang
2005 — conf
Beherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen.
Sicherheit
Martin Jung, Francesca Saglietti, Verena Sauerborn
2005 — conf
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults.
HASE
Martin Jung, Francesca Saglietti
2004 J jnl
Licensing Reliable Embedded Software for Safety-Critical Applications.
Real Time Syst.
Francesca Saglietti
2003 J jnl
Safety of computer control systems: challenges and results in software development.
Annu. Rev. Control.
Janusz Zalewski, Wolfgang D. Ehrenberger, Francesca Saglietti, Janusz Górski, Andrew J. Kornecki
2001 — conf
Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems.
ISAS-SCI (1)
Francesca Saglietti
2000 — conf
Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems.
EUROMICRO
Francesca Saglietti
2000 J jnl
Verlässlichkeit und Fehlertoleranz in Rechensystemen: Fortschritte, Probleme, Herausforderungen (Dependability and Fault Tolerance in Computing Systems: Progress, Problems, Challenges).
Informationstechnik Tech. Inform.
Karl-Erwin Großpietsch, Francesca Saglietti
1998 B conf
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.
SAFECOMP
Francesca Saglietti
1997 B conf
Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams.
SAFECOMP
Francesca Saglietti
1992 C conf
Structural Testing Strategies Applied to Knowledge-Based Systems.
IEA/AIE
Francesca Saglietti
1991 — conf
A Classification of Software Diversity Degrees Induced by an Analysis of Fault Types to be Tolerated.
Fault-Tolerant Computing Systems
Francesca Saglietti
1991 — conf
The Impact of Forced Diversity on the Failure Behaviour of Multi-Version Software.
Prozeßrechnersysteme
Francesca Saglietti
1990 — conf
Location of checkpoints in fault-tolerant software.
Jerusalem Conference on Information Technology
Francesca Saglietti
1990 J jnl
Software diversity metrics quantifying dissimilarity in the input partition.
Softw. Eng. J.
Francesca Saglietti
1989 — conf
The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Avaiability.
Fehlertolerierende Rechensysteme
Francesca Saglietti
1988 — conf
Back-to-Back Teststrategien zur Validation fehlertolerierender Software-Systeme.
Prozeßrechnersysteme
Francesca Saglietti, Wolfgang D. Ehrenberger
1987 — conf
Quantitative Assessment of Fault-Tolerant Software Architecture.
Fehlertolerierende Rechensysteme
Francesca Saglietti, Manfred Kersken