Tino Teige
According to our database1,
Tino Teige
authored at least 31 papers
between 2006 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
1
1
1
1
1
4
1
1
1
4
1
3
2
2
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022
2021
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020
2019
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
2017
Formal Aspects Comput., 2017
2016
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016
Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements.
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
2014
CoRR, 2014
2012
Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems.
PhD thesis, 2012
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability.
Log. Methods Comput. Sci., 2012
2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011
2010
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.
J. Log. Algebraic Methods Program., 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
2009
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
2008
Proceedings of the Third International Conference on Systems, 2008
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the Recent Advances in Constraints, 2008
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008
2007
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
J. Satisf. Boolean Model. Comput., 2007
2006
Proceedings of the Third International Workshop on Software Quality Assurance, 2006