We stand with Ukraine  

Francesca Saglietti

Affiliations:
  • University of Erlangen-Nuremberg, Department of Computer Science, Germany


According to our database1, Francesca Saglietti authored at least 57 papers between 1987 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A Guided Search for Races Based on Data Flow Patterns.
[BibTeX]
[DOI]
Andreas Neubaum
,
Loui Al Sardy
,
Marc Spisländer
,
Francesca Saglietti
,
Sara Kretschmer
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2021
Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes.
[BibTeX]
[DOI]
Andreas Neubaum
,
Loui Al Sardy
,
Marc Spisländer
,
Francesca Saglietti
,
Yves Biener
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2019
Comparative Evaluation of Security Fuzzing Approaches.
[BibTeX]
[DOI]
Loui Al Sardy
,
Andreas Neubaum
,
Francesca Saglietti
,
Daniel Rudrich
Proceedings of the Computer Safety, Reliability, and Security, 2019

2018
Constraint-Based Testing for Buffer Overflows.
[BibTeX]
[DOI]
Loui Al Sardy
,
Francesca Saglietti
,
Tong Tang
,
Heiko Sonnenberg
Proceedings of the Computer Safety, Reliability, and Security, 2018

Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents.
[BibTeX]
[DOI]
Marc Spisländer
,
Francesca Saglietti
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2017
Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions.
[BibTeX]
[DOI]
Loui Al Sardy
,
Tong Tang
,
Marc Spisländer
,
Francesca Saglietti
Proceedings of the Computer Safety, Reliability, and Security, 2017

2016
Quantitative Reliability Assessment for Mobile Cooperative Systems.
[BibTeX]
[DOI]
Francesca Saglietti
,
Ralf Spengler
,
Matthias Meitner
Proceedings of the Computer Safety, Reliability, and Security, 2016

Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems.
[BibTeX]
[DOI]
Francesca Saglietti
,
Matthias Meitner
,
Lars von Wardenburg
,
Valentina Richthammer
Proceedings of the Computer Safety, Reliability, and Security, 2016

Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration.
[BibTeX]
[DOI]
Francesca Saglietti
,
Matthias Meitner
Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016

2015
Reconfiguration Testing for Cooperating Autonomous Agents.
[BibTeX]
[DOI]
Francesca Saglietti
,
Stefan Winzinger
,
Raimar Lill
Proceedings of the Computer Safety, Reliability, and Security, 2015

Model-Based Design and Testing of Decisional Autonomy and Cooperation in Cyber-Physical Systems.
[BibTeX]
[DOI]
Francesca Saglietti
,
David Fohrweiser
,
Stefan Winzinger
,
Raimar Lill
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014
Technische Sicherheit und Informationssicherheit - Unterschiede und Gemeinsamkeiten.
[BibTeX]
[DOI]
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

Target-Specific Adaptations of Coupling-Based Software Reliability Testing.
[BibTeX]
[DOI]
Matthias Meitner
,
Francesca Saglietti
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

Testing the Cooperation of Autonomous Robotic Agents.
[BibTeX]
[DOI]
Raimar Lill
,
Francesca Saglietti
Proceedings of the ICSOFT-EA 2014, 2014

2013
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets.
[BibTeX]
[DOI]
Raimar Lill
,
Francesca Saglietti
Proceedings of the SAFECOMP 2013, 2013

Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software.
[BibTeX]
[DOI]
Matthias Meitner
,
Francesca Saglietti
Proceedings of the ARCS 2013, 2013

2012
Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents.
[BibTeX]
[DOI]
Francesca Saglietti
,
Sven Söhnlein
,
Raimar Lill
Proceedings of the Autonomous Systems: Developments and Trends, 2012

Software Reliability Testing Covering Subsystem Interactions.
[BibTeX]
[DOI]
Matthias Meitner
,
Francesca Saglietti
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Model-based Testing of Autonomous Systems based on Coloured Petri Nets.
[BibTeX]
[DOI]
Raimar Lill
,
Francesca Saglietti
Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

2011
Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung.
[BibTeX]
[DOI]
Matthias Meitner
,
Francesca Saglietti
Softwaretechnik-Trends, 2011

Software Reliability Assessment based on Operational Representativeness and Interaction Coverage.
[BibTeX]
[DOI]
Matthias Meitner
,
Francesca Saglietti
Proceedings of the ARCS 2011, 2011

2010
Software Reliability Assessment Based on the Evaluation of Operational Experience.
[BibTeX]
[DOI]
Sven Söhnlein
,
Francesca Saglietti
,
Franz Bitzer
,
Matthias Meitner
,
Siegfried Baryschew
Proceedings of the Measurement, 2010

Evaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle.
[BibTeX]
[DOI]
Florin Pinte
,
Francesca Saglietti
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

MOTES2010 - Modellbasiertes Testen (Vorwort).
[BibTeX]
[DOI]
Fevzi Belli
,
Christof J. Budnik
,
Axel Hollmann
,
Francesca Saglietti
,
Mario Winter
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Testing for Dependable Embedded Software.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

2009
Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung.
[BibTeX]
[DOI]
Sven Söhnlein
,
Francesca Saglietti
,
Franz Bitzer
,
Siegfried Baryschew
Softwaretechnik-Trends, 2009

Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test.
[BibTeX]
[DOI]
Florin Pinte
,
Francesca Saglietti
,
Achim Neubauer
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 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.
[BibTeX]
[DOI]
Fevzi Belli
,
Christof J. Budnik
,
Axel Hollmann
,
Francesca Saglietti
,
Mario Winter
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Integration and Reliability Testing for Component-Based Software Systems.
[BibTeX]
[DOI]
Francesca Saglietti
,
Florin Pinte
,
Sven Söhnlein
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
White and grey-box verification and validation approaches for safety- and security-critical software systems.
[BibTeX]
[DOI]
Francesca Saglietti
,
Norbert Oster
,
Florin Pinte
Inf. Secur. Tech. Rep., 2008

Software Reliability Assessment by Statistical Analysis of Operational Experience.
[BibTeX]
[DOI]
Sven Söhnlein
,
Francesca Saglietti
ERCIM News, 2008

Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten.
[BibTeX]
[DOI]
Sven Söhnlein
,
Francesca Saglietti
Proceedings of the Sicherheit 2008: Sicherheit, 2008

Automatic Generation of Optimized Integration Test Data by Genetic Algorithms.
[BibTeX]
[DOI]
Florin Pinte
,
Francesca Saglietti
,
Norbert Oster
Proceedings of the Software Engineering 2008, 2008

Techniques and tools for the automatic generation of optimal test data at code, model and interface level.
[BibTeX]
[DOI]
Florin Pinte
,
Norbert Oster
,
Francesca Saglietti
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Automatische Generierung optimaler modellbasierter Regressionstests.
[BibTeX]
[DOI]
Florin Pinte
,
Gerhard Baier
,
Francesca Saglietti
,
Norbert Oster
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007
Automatische Testdatengenerierung mittels multi-objektiver Optimierung.
[BibTeX]
[DOI]
Norbert Oster
,
Francesca Saglietti
Proceedings of the Software Engineering 2007, 2007

Automatische, Modellbasierte Testdatengenerierung durch Einsatz Evolutionärer Verfahren.
[BibTeX]
[DOI]
Norbert Oster
,
Claudia Schieber
,
Francesca Saglietti
,
Florin Pinte
Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

2006
Veranstaltungsbesprechungen.
[BibTeX]
[DOI]
Helmut Reimer
,
Jana Dittmann
,
Claus Vielhauer
,
Felix C. Freiling
,
Francesca Saglietti
,
Manfred Reitenspieß
,
Andreas Lang
Datenschutz und Datensicherheit, 2006

Interaktion zwischen funktionaler Sicherheit und Datensicherheit.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Sicherheit 2006: Sicherheit, 2006

Automatic Test Data Generation by Multi-objective Optimisation.
[BibTeX]
[DOI]
Norbert Oster
,
Francesca Saglietti
Proceedings of the Computer Safety, 2006

2005
Beherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen.
[BibTeX]
[DOI]
Martin Jung
,
Francesca Saglietti
,
Verena Sauerborn
Proceedings of the Sicherheit 2005: Sicherheit, 2005

Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults.
[BibTeX]
[DOI]
Martin Jung
,
Francesca Saglietti
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004
Licensing Reliable Embedded Software for Safety-Critical Applications.
[BibTeX]
[DOI]
Francesca Saglietti
Real Time Syst., 2004

2003
Safety of computer control systems: challenges and results in software development.
[BibTeX]
[DOI]
Janusz Zalewski
,
Wolfgang D. Ehrenberger
,
Francesca Saglietti
,
Janusz Górski
,
Andrew J. Kornecki
Annu. Rev. Control., 2003

2001
Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems.
[BibTeX]
Francesca Saglietti
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

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

Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1998
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Computer Safety, 1998

1997
Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the 16th International Conference on Computer Safety, 1997

1992
Structural Testing Strategies Applied to Knowledge-Based Systems.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1992

1991
The Impact of Forced Diversity on the Failure Behaviour of Multi-Version Software.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Prozeßrechnersysteme '91, 1991

A Classification of Software Diversity Degrees Induced by an Analysis of Fault Types to be Tolerated.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991

1990
Software diversity metrics quantifying dissimilarity in the input partition.
[BibTeX]
[DOI]
Francesca Saglietti
Softw. Eng. J., 1990

Location of checkpoints in fault-tolerant software.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

1989
The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Avaiability.
[BibTeX]
[DOI]
Francesca Saglietti
Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1989

1988
Back-to-Back Teststrategien zur Validation fehlertolerierender Software-Systeme.
[BibTeX]
[DOI]
Francesca Saglietti
,
Wolfgang D. Ehrenberger
Proceedings of the Prozeßrechnersysteme '88, 1988

1987
Quantitative Assessment of Fault-Tolerant Software Architecture.
[BibTeX]
[DOI]
Francesca Saglietti
,
Manfred Kersken
Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987


  Loading...