Prof. Dr.-Ing. Olaf Stursberg
Projektbeteiligungen
2019 - 2021 | |
09/2017 - 03/2021 | |
Publikationen
2004 | Panek, S., Stursberg, O., Engell, S., 2004. Job-Shop Scheduling by Combining Reachability Analysis with Linear Programming. 7th Int. IFAC Workshop on Discrete Event Systems 199–204. https://doi.org/10.1016/S1474-6670(17)30745-0Kapinski, J., Maler, O., Stursberg, O., Krogh, B.H., 2003. On Systematic Simulation of Open Continuous Systems. Hybrid Systems: Computation and Control 2623 of LNCS, 283–297. Springer. https://doi.org/10.1007/3-540-36580-x_22 |
2004 | Panek, S., Stursberg, O., Engell, S., 2004. Optimization of Timed Automata Models using Mixed-Integer Programming. Formal Modeling and Analysis of Timed Systems 2791 of LNCS, 73–87. https://doi.org/10.1007/978-3-540-40903-8_7Stursberg, O., Fehnker, A., Han, Z., Krogh, B.H., 2003. Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. IFAC Conf. on Analysis and Design of Hybrid Systems 289–295. https://doi.org/10.1016/S1474-6670(17)36446-7 |
2004 | |
2004 | Bauer, N., Engell, S., Huuck, R., Lohmann, S., Lukoschus, B., Remelhe, M.P., Stursberg, O., 2004. Verification of PLC Programs given as Sequential Function Charts. Integration of Software Specification Techniques for Applications in Engineering 3147 of LNCS, 517–540. Springer. https://doi.org/10.1007/978-3-540-27863-4_28 |
2003 | Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Ouaknine, J., Stursberg, O., Theobald, M., 2003. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. Journal Foundations of Computer Science 14(4), 583–604. https://doi.org/10.1142/S012905410300190X |
2003 | |
2003 | |
2003 | |
2003 | |
2003 | Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Stursberg, O., Theobald, M., 2003. Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement. Tools and Algorithms for the Construction and Analysis of Systems 2619 of LNCS, 192–207. Springer. https://doi.org/10.1007/3-540-36577-x_14 |
