Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
Construction of abstract state graphs with PVS
Computer Aided Verification, 1997, p.72-83
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Wholly!: A Build System For The Modern Software Stack
Formal Methods for Industrial Critical Systems, 2018, Vol.11119, p.242-257
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables
Applied Cryptography and Network Security, 2020, Vol.12147, p.364-384
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Eureka: A Framework for Enabling Static Malware Analysis
Computer Security, 2008, Vol.5283, p.481-500
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Powerful techniques for the automatic generation of invariants
Computer Aided Verification, 2005, p.323-335
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Discovering Symmetries
Formal Methods, 2007, Vol.4346, p.67-83
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Analysis of the iKee.B iPhone Botnet
Security and Privacy in Mobile Information and Communication Systems, 2010, Vol.47, p.141-152
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Guided Abstraction and Analysis
Lecture notes in computer science, 2000, Vol.1824, p.377-396
2000
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying invariants using theorem proving
Computer Aided Verification, 2005, p.196-207
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A tool for proving invariance properties of concurrent systems automatically
Tools and Algorithms for the Construction and Analysis of Systems, 2005, p.412-416
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement
Computer Aided Verification, 2012, p.548-563
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The invariant checker: Automated deductive verification of reactive systems
Computer Aided Verification, 1997, p.436-439
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Protocol Codesign
Security Protocols, 2005, p.106-113
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Abstract and Model Check while You Prove
Computer Aided Verification, 1999, Vol.1633, p.443-454
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Architecture for an Adaptive Intrusion-Tolerant Server
Security Protocols, 2004, p.158-178
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intrusion-Tolerant Group Management in Enclaves: Transcript of Discussion
Security Protocols, 2002, p.213-216
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ab initio Study of the Potential Energy Surface and Stability of the Li2+(X2Σg+) Alkali Dimer in Interaction with a Xenon Atom
Quantum Systems in Chemistry and Physics, 2012, p.321-330
2012
Volltextzugriff (PDF)
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen