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
Impossibility of gathering, a certification
Information processing letters, 2015-03, Vol.115 (3), p.447-452
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm
Theory of computing systems, 2019-02, Vol.63 (2), p.200-218
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm
Stabilization, Safety, and Security of Distributed Systems, 2016, Vol.10083, p.7-19
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Swarms of Mobile Robots: Towards Versatility with Safety
Leibniz transactions on embedded systems, 2022-12, Vol.8 (2), p.02:1-02:36
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
Networked Systems, p.93-109
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-31
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
Stabilization, Safety, and Security of Distributed Systems, 2018, Vol.11201, p.404-408
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Computer Aided Formal Design of Swarm Robotics Algorithms
Stabilization, Safety, and Security of Distributed Systems, 2021, Vol.13046, p.469-473
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems
Critical Systems: Formal Methods and Automated Verification, p.165-181
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A formally verified compiler for Lustre
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.586-601
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A generic approach for the certified schedulability analysis of software systems
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2021, p.83-92
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Good Friends are Hard to Find
2008 15th International Symposium on Temporal Representation and Reasoning, 2008, p.32-40
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A formally verified compiler for Lustre
SIGPLAN notices, 2017-09, Vol.52 (6), p.586-601
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Erratum to: Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems
Critical Systems: Formal Methods and Automated Verification, 2017, Vol.10471, p.E1-E1
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Certified Universal Gathering in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R} ^2$$\end{document} for Oblivious Mobile Robots
Distributed Computing, 2016, p.187-200
2016
Volltextzugriff (PDF)
1 – 15 von 15
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen