![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Francesca Saglietti
Person information
- affiliation: University of Erlangen-Nuremberg, Department of Computer Science, Germany
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c46]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: 47-58 - [e2]Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
:
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13414, Springer 2022, ISBN 978-3-031-14834-7 [contents] - 2021
- [c45]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: 105-116
2010 – 2019
- 2019
- [c44]Loui Al Sardy
, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich:
Comparative Evaluation of Security Fuzzing Approaches. SAFECOMP Workshops 2019: 49-61 - 2018
- [c43]Marc Spisländer, Francesca Saglietti:
Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. SEAA 2018: 81-88 - [c42]Loui Al Sardy
, Francesca Saglietti, Tong Tang, Heiko Sonnenberg:
Constraint-Based Testing for Buffer Overflows. SAFECOMP Workshops 2018: 99-111 - 2017
- [c41]Loui Al Sardy
, Tong Tang, Marc Spisländer, Francesca Saglietti:
Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions. SAFECOMP Workshops 2017: 103-113 - 2016
- [c40]Francesca Saglietti, Matthias Meitner:
Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration. MORSE@RoboCup 2016: 17-23 - [c39]Francesca Saglietti, Ralf Spengler, Matthias Meitner:
Quantitative Reliability Assessment for Mobile Cooperative Systems. SAFECOMP Workshops 2016: 118-129 - [c38]Francesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer:
Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems. SAFECOMP Workshops 2016: 222-233 - 2015
- [c37]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: 479-483 - [c36]Francesca Saglietti, Stefan Winzinger, Raimar Lill:
Reconfiguration Testing for Cooperating Autonomous Agents. SAFECOMP Workshops 2015: 144-155 - 2014
- [j9]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): 14-24 (2014) - [c35]Raimar Lill, Francesca Saglietti:
Testing the Cooperation of Autonomous Robotic Agents. ICSOFT EA 2014: 287-296 - [c34]Matthias Meitner, Francesca Saglietti:
Target-Specific Adaptations of Coupling-Based Software Reliability Testing. MMB/DFT 2014: 192-206 - 2013
- [c33]Matthias Meitner, Francesca Saglietti:
Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software. ARCS Workshops 2013 - [c32]Raimar Lill, Francesca Saglietti:
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. DECS@SAFECOMP 2013 - 2012
- [c31]Raimar Lill, Francesca Saglietti:
Model-based Testing of Autonomous Systems based on Coloured Petri Nets. ARCS Workshops 2012: 241-250 - [c30]Matthias Meitner, Francesca Saglietti:
Software Reliability Testing Covering Subsystem Interactions. MMB/DFT 2012: 46-60 - [p1]Francesca Saglietti, Sven Söhnlein, Raimar Lill:
Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents. Autonomous Systems: Developments and Trends 2012: 353-362 - 2011
- [j8]Matthias Meitner, Francesca Saglietti:
Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung. Softwaretechnik-Trends 31(3) (2011) - [c29]Matthias Meitner, Francesca Saglietti:
Software Reliability Assessment based on Operational Representativeness and Interaction Coverage. ARCS Workshops 2011 - 2010
- [c28]Francesca Saglietti:
Testing for Dependable Embedded Software. EUROMICRO-SEAA 2010: 409-416 - [c27]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter:
MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) 2010: 319-320 - [c26]Florin Pinte, Francesca Saglietti:
Evaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle. GI Jahrestagung (2) 2010: 375-380 - [c25]Sven Söhnlein, Francesca Saglietti, Franz Bitzer, Matthias Meitner, Siegfried Baryschew:
Software Reliability Assessment Based on the Evaluation of Operational Experience. MMB/DFT 2010: 24-38
2000 – 2009
- 2009
- [j7]Sven Söhnlein, Francesca Saglietti, Franz Bitzer, Siegfried Baryschew:
Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung. Softwaretechnik-Trends 29(3) (2009) - [c24]Francesca Saglietti, Florin Pinte, Sven Söhnlein:
Integration and Reliability Testing for Component-Based Software Systems. EUROMICRO-SEAA 2009: 368-374 - [c23]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: 354-355 - [c22]Florin Pinte, Francesca Saglietti, Achim Neubauer:
Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test. GI Jahrestagung 2009: 2815-2822 - 2008
- [j6]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): 10-16 (2008) - [c21]Florin Pinte, Gerhard Baier, Francesca Saglietti, Norbert Oster:
Automatische Generierung optimaler modellbasierter Regressionstests. GI Jahrestagung (1) 2008: 193-198 - [c20]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: 927-928 - [c19]Florin Pinte, Francesca Saglietti, Norbert Oster:
Automatic Generation of Optimized Integration Test Data by Genetic Algorithms. Software Engineering (Workshops) 2008: 415-422 - [c18]Sven Söhnlein, Francesca Saglietti:
Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten. Sicherheit 2008: 303-314 - [i1]Sven Söhnlein, Francesca Saglietti:
Software Reliability Assessment by Statistical Analysis of Operational Experience. ERCIM News 2008(75) (2008) - 2007
- [c17]Norbert Oster, Claudia Schieber, Francesca Saglietti, Florin Pinte:
Automatische, Modellbasierte Testdatengenerierung durch Einsatz Evolutionärer Verfahren. GI Jahrestagung (2) 2007: 393-398 - [c16]Norbert Oster, Francesca Saglietti:
Automatische Testdatengenerierung mittels multi-objektiver Optimierung. Software Engineering (Workshops) 2007: 71-73 - [e1]Francesca Saglietti, Norbert Oster
:
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Lecture Notes in Computer Science 4680, Springer 2007, ISBN 978-3-540-75100-7 [contents] - 2006
- [j5]Helmut Reimer, Jana Dittmann, Claus Vielhauer, Felix C. Freiling, Francesca Saglietti, Manfred Reitenspieß, Andreas Lang:
Veranstaltungsbesprechungen. Datenschutz und Datensicherheit 30(4): 258-259 (2006) - [c15]Norbert Oster
, Francesca Saglietti:
Automatic Test Data Generation by Multi-objective Optimisation. SAFECOMP 2006: 426-438 - [c14]Francesca Saglietti:
Interaktion zwischen funktionaler Sicherheit und Datensicherheit. Sicherheit 2006: 373-383 - 2005
- [c13]Martin Jung, Francesca Saglietti:
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. HASE 2005: 47-55 - [c12]Martin Jung, Francesca Saglietti, Verena Sauerborn:
Beherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen. Sicherheit 2005: 101-112 - 2004
- [j4]Francesca Saglietti:
Licensing Reliable Embedded Software for Safety-Critical Applications. Real Time Syst. 28(2-3): 217-236 (2004) - 2003
- [j3]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): 23-37 (2003) - 2001
- [c11]Francesca Saglietti:
Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems. ISAS-SCI (1) 2001: 589-594 - 2000
- [j2]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): 32-39 (2000) - [c10]Francesca Saglietti:
Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems. EUROMICRO 2000: 2193-2199
1990 – 1999
- 1998
- [c9]Francesca Saglietti:
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. SAFECOMP 1998: 319-328 - 1997
- [c8]Francesca Saglietti:
Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. SAFECOMP 1997: 345-356 - 1992
- [c7]Francesca Saglietti:
Structural Testing Strategies Applied to Knowledge-Based Systems. IEA/AIE 1992: 236-245 - 1991
- [c6]Francesca Saglietti:
A Classification of Software Diversity Degrees Induced by an Analysis of Fault Types to be Tolerated. Fault-Tolerant Computing Systems 1991: 383-395 - [c5]Francesca Saglietti:
The Impact of Forced Diversity on the Failure Behaviour of Multi-Version Software. Prozeßrechnersysteme 1991: 193-205 - 1990
- [j1]Francesca Saglietti:
Software diversity metrics quantifying dissimilarity in the input partition. Softw. Eng. J. 5(1): 59-63 (1990) - [c4]Francesca Saglietti:
Location of checkpoints in fault-tolerant software. Jerusalem Conference on Information Technology 1990: 270-277
1980 – 1989
- 1989
- [c3]Francesca Saglietti:
The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Avaiability. Fehlertolerierende Rechensysteme 1989: 174-185 - 1988
- [c2]Francesca Saglietti, Wolfgang D. Ehrenberger:
Back-to-Back Teststrategien zur Validation fehlertolerierender Software-Systeme. Prozeßrechnersysteme 1988: 271-280 - 1987
- [c1]Francesca Saglietti, Manfred Kersken:
Quantitative Assessment of Fault-Tolerant Software Architecture. Fehlertolerierende Rechensysteme 1987: 284-297
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint