Francesca Saglietti

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 9

Top Topics

Coloured Petri Nets

Autonomous Agents

Buffer Overflow

Top Venues

SAFECOMP Workshops

Inform. Spektrum

Publications

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