AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Marcus Lindner

Marcus Lindner

Lulea University of Technology - Luleå / Sweden
Others
AD Scientific Index ID: 5992020
Luleå tekniska universitet
person_outline Marcus Lindner's MOST POPULAR ARTICLES
1-) No panic! Verification of Rust programs by symbolic execution 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018
2-) A real-time semantics for the IEC 61499 standard 2015 ieee 20th conference on emerging technologies & factory automation …, 2015
3-) RTFM-core: Language and Implementation 2015 ieee 10th conference on industrial electronics and applications (iciea …, 2015
4-) End-to-end response time of IEC 61499 distributed applications over switched ethernet IEEE Transactions on Industrial Informatics 13 (1), 287-297, 2016
5-) Verification of safety functions implemented in Rust-a symbolic execution based approach 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) 1 …, 2019