Martin Leucker
- TeSSLa: Temporal Stream-based Specification Language
2018/08/31 by Lukas Convent, Sebastian Hungerecker, Convent, Lukas +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Programming Languages (cs.PL) #Real-Time Systems Scheduling #Software Testing and Debugging Techniques
- Ordered Navigation on Multi-attributed Data Words
2014/04/24 by Normann Decker, Peter Habermehl, Decker, Normann +5 · 1 citation
Computer Science · #F.1.1 #F.4.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services
- Property-Directed Verification of Recurrent Neural Networks
2020/09/22 by Igor Khmelnitsky, Daniel Neider, Khmelnitsky, Igor +15 · 1 citation
Computer Science · #68Q60 #68T07 #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.6 #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
- Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
2022/07/12 by Hannes Kallwies, Martin Leucker, Kallwies, Hannes +3 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Safety Systems Engineering in Autonomy