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
Open Access
    Datensatz exportieren als...
  • BibTeX
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
Approximation and Online Algorithms, 2006, p.147-160
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Static Data Race Detection via Lazy Sequentialization
Networked Systems, 2024, p.124-141
2024
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem
Network Optimization, p.589-602
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Complexity of Ltl Model-Checking of Recursive State Machines
Automata, Languages and Programming, p.937-948
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
2013, 2013
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Hierarchical and Recursive State Machines with Context-Dependent Properties
Automata, Languages and Programming, 2003, p.776-789
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
An Infinite Automaton Characterization of Double Exponential Time
Computer Science Logic, p.33-48
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CSeq: A Sequentialization Tool for C: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.616-618
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.461-463
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.402-404
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.375-379
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lazy-CSeq: A Lazy Sequentialization Tool for C: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.398-401
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
MU-CSeq 0.4: Individual Memory Location Unwindings: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.938-941
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.436-438
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
Computer Aided Verification, p.585-602
Volltextzugriff (PDF)
26 – 39 von 39
Suche als RSS-Feed
Aktive Filter
KollektionSpringer Book Series
Suchergebnisse filtern
Filter anzeigen