Salomon Sickert

According to our database1, Salomon Sickert
  • authored at least 12 papers between 2013 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
LTL to Deterministic Emerson-Lei Automata.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
CoRR, 2017

From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
From LTL to deterministic automata - A safraless compositional approach.
Formal Methods in System Design, 2016

Linear Temporal Logic.
Archive of Formal Proofs, 2016

Limit-Deterministic Büchi Automata for Linear Temporal Logic.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Converting Linear Temporal Logic to Deterministic (Generalised) Rabin Automata.
Archive of Formal Proofs, 2015

Refinement checking on parametric modal transition systems.
Acta Inf., 2015

2013
On Refinements of Boolean and Parametric Modal Transition Systems
CoRR, 2013

On Refinements of Boolean and Parametric Modal Transition Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

MoTraS: A Tool for Modal Transition Systems and Their Extensions.
Proceedings of the Automated Technology for Verification and Analysis, 2013


  Loading...