Segui
Maximilian Schlund
Maximilian Schlund
V&V Architect at ETAS
Email verificata su de.bosch.com - Home page
Titolo
Citata da
Citata da
Anno
A brief history of Strahler numbers
J Esparza, M Luttenberger, M Schlund
Language and Automata Theory and Applications: 8th International Conference …, 2014
292014
Finite automata for the sub-and superword closure of CFLs: Descriptional and computational complexity
G Bachmeier, M Luttenberger, M Schlund
International Conference on Language and Automata Theory and Applications …, 2015
252015
Learning workflow petri nets
J Esparza, M Leucker, M Schlund
International Conference on Applications and Theory of Petri Nets, 206-225, 2010
252010
Fpsolve: A generic solver for fixpoint equations over semirings
J Esparza, M Luttenberger, M Schlund
International Journal of Foundations of Computer Science 26 (07), 805-825, 2015
222015
Learning workflow petri nets
J Esparza, M Leucker, M Schlund
Fundamenta Informaticae 113 (3-4), 205-228, 2011
132011
Analyze this! sound static analysis for integration verification of large-scale automotive software
D Kaestner, B Schmidt, M Schlund, L Mauborgne, S Wilhelm, C Ferdinand
SAE Technical Paper, 2019
112019
Convergence of newton's method over commutative semirings
M Luttenberger, M Schlund
Information and Computation 246, 43-61, 2016
82016
Convergence of Newton’s method over commutative semirings
M Luttenberger, M Schlund
Language and Automata Theory and Applications: 7th International Conference …, 2013
82013
Graph decompositions, Latin squares, and games
M Schlund
Diploma thesis, Technische Universität München, 2011
72011
Putting Newton into practice: A solver for polynomial equations over semirings
M Schlund, M Terepeta, M Luttenberger
International Conference on Logic for Programming Artificial Intelligence …, 2013
62013
An Extension of Parikh's Theorem beyond Idempotence
M Luttenberger, M Schlund
arXiv preprint arXiv:1112.2864, 2011
62011
Regular expressions for provenance
M Luttenberger, M Schlund
6th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2014), 2014
52014
Algebraic systems of fixpoint equations over semirings: theory and applications
M Schlund
Technische Universität München, 2016
42016
A brief history of Strahler numbers—with a preface
J Esparza, M Luttenberger, M Schlund
Technical report, Technical University of Munich, 2016
12016
Fast and accurate unlexicalized parsing via structural annotations
M Schlund, M Luttenberger, J Esparza
Proceedings of the 14th Conference of the European Chapter of the …, 2014
12014
Compositional verification of embedded software systems
A Flexeder, B Schmidt, J Quante, M Schlund
US Patent 11,977,478, 2024
2024
Newton’s Method–There and Back Again
M Luttenberger, M Schlund
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
2024
There and Back
M Luttenberger, M Schlund
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
2024
Formal Runtime Error Detection During Development in the Automotive Industry
J Hecking-Harbusch, J Quante, M Schlund
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–19