Salomon Sickert

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Practical applications of the alternating cycle decomposition	2024-02-01	Paper
On the translation of automata to linear temporal logic Lecture Notes in Computer Science	2024-01-23	Paper
A simple rewrite system for the normalization of linear temporal logic Lecture Notes in Computer Science	2023-08-10	Paper
Owl: a library for \(\omega \)-words, automata, and LTL Automated Technology for Verification and Analysis	2023-07-28	Paper
scientific article; zbMATH DE number 7649960 (Why is no real title available?)	2023-02-03	Paper
A Unified Translation of Linear Temporal Logic to ω-Automata Journal of the ACM	2022-12-08	Paper
Certifying DFA bounds for recognition and separation (available as arXiv preprint)	2022-06-22	Paper
LTL to deterministic Emerson-Lei automata	2021-12-14	Paper
LTL to deterministic Emerson-Lei automata (available as arXiv preprint)	2021-12-14	Paper
Certifying inexpressibility (available as arXiv preprint)	2021-10-18	Paper
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
One theorem to rule them all: a unified translation of LTL into \(\omega \)-automata Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
From LTL and limit-deterministic Büchi automata to deterministic parity automata Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Practical synthesis of reactive systems from LTL specifications via parity games Acta Informatica	2020-03-06	Paper
Limit-deterministic Büchi automata for linear temporal logic Computer Aided Verification	2019-05-03	Paper
From LTL to deterministic automata. A safraless compositional approach Formal Methods in System Design	2017-07-26	Paper
Refinement checking on parametric modal transition systems Acta Informatica	2015-04-16	Paper
MoTraS: a tool for modal transition systems and their extensions Automated Technology for Verification and Analysis	2014-07-08	Paper
On refinements of Boolean and parametric modal transition systems Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper

Research outcomes over time

This page was built for person: Salomon Sickert