Antil H and Manns P (2024), "Integer optimal control with fractional perimeter regularization", Applied Mathematics and Optimization. |
BibTeX:
@article{antil2024integer, author = {Antil, Harbir and Manns, Paul}, title = {Integer optimal control with fractional perimeter regularization}, journal = {Applied Mathematics and Optimization}, year = {2024}, note = {(accepted, forthcoming)}, url = {https://arxiv.org/abs/2404.04938} } |
Bociu L, Manns P, Severitt M and Strikwerda S (2024), "Input Regularization for Integer Optimal Control in BV with Applications to Control of Poroelastic and Poroviscoelastic Systems", Journal of Nonsmooth Analysis and Optimization. Vol. 5 |
BibTeX:
@article{bociu2024input, author = {Bociu, Lorena and Manns, Paul and Severitt, Marvin and Strikwerda, Sarah}, title = {Input Regularization for Integer Optimal Control in BV with Applications to Control of Poroelastic and Poroviscoelastic Systems}, journal = {Journal of Nonsmooth Analysis and Optimization}, year = {2024}, volume = {5}, url = {https://arxiv.org/abs/2210.09564} } |
Hansknecht C, Kirches C and Manns P (2024), "Convergence of successive linear programming algorithms for noisy functions", Computational Optimization and Applications. Vol. 88, pp. 567-601. Springer. |
BibTeX:
@article{hansknecht2024convergence, author = {Hansknecht, Christoph and Kirches, Christian and Manns, Paul}, title = {Convergence of successive linear programming algorithms for noisy functions}, journal = {Computational Optimization and Applications}, publisher = {Springer}, year = {2024}, volume = {88}, pages = {567--601}, url = {https://arxiv.org/abs/2302.07205}, doi = {10.48550/arXiv.2302.07205} } |
Hillbrecht S, Manns P and Meyer C (2024), "Bilevel Optimization of the Kantorovich Problem and its Quadratic Regularization Part II: Convergence Analysis", Applied Mathematics and Optimization. |
BibTeX:
@article{hillbrecht2022bilevel, author = {Hillbrecht, Sebastian and Manns, Paul and Meyer, Christian}, title = {Bilevel Optimization of the Kantorovich Problem and its Quadratic Regularization Part II: Convergence Analysis}, journal = {Applied Mathematics and Optimization}, year = {2024}, note = {(accepted, forthcoming)}, url = {https://arxiv.org/abs/2211.07287} } |
Leyffer S and Manns P (2024), "McCormick envelopes in mixed-integer PDE-constrained optimization", arXiv preprint arXiv:2406.07891. |
BibTeX:
@article{leyffer2024mccormick, author = {Leyffer, Sven and Manns, Paul}, title = {McCormick envelopes in mixed-integer PDE-constrained optimization}, journal = {arXiv preprint arXiv:2406.07891}, year = {2024}, url = {https://arxiv.org/abs/2406.07891} } |
Manns P and Severitt M (2024), "On Discrete Subproblems in Integer Optimal Control with Total Variation Regularization in Two Dimensions", arXiv preprint arXiv:2403.09213. |
BibTeX:
@article{manns2024discrete, author = {Manns, Paul and Severitt, Marvin}, title = {On Discrete Subproblems in Integer Optimal Control with Total Variation Regularization in Two Dimensions}, journal = {arXiv preprint arXiv:2403.09213}, year = {2024}, url = {https://arxiv.org/abs/2403.09213} } |
Schiemann A and Manns P (2024), "Discretization of Total Variation in Optimization with Integrality Constraints", arXiv preprint arXiv:2403.08346. |
BibTeX:
@article{schiemann2024discretization, author = {Schiemann, Annika and Manns, Paul}, title = {Discretization of Total Variation in Optimization with Integrality Constraints}, journal = {arXiv preprint arXiv:2403.08346}, year = {2024}, url = {https://arxiv.org/abs/2403.08346} } |
Bestehorn F, Hansknecht C, Kirches C and Manns P (2023), "Non-uniform Grid Refinement for the Combinatorial Integral Approximation", arXiv preprint arXiv:2305.12846. |
BibTeX:
@article{bestehorn2023non, author = {Bestehorn, Felix and Hansknecht, Christoph and Kirches, Christian and Manns, Paul}, title = {Non-uniform Grid Refinement for the Combinatorial Integral Approximation}, journal = {arXiv preprint arXiv:2305.12846}, year = {2023}, url = {https://arxiv.org/abs/2305.12846} } |
Manns P, Hahn M, Kirches C, Leyffer S and Sager S (2023), "On convergence of binary trust-region steepest descent", Journal of Nonsmooth Analysis and Optimization. Vol. 4(2) |
BibTeX:
@article{manns2022convergence, author = {Manns, Paul and Hahn, Mirko and Kirches, Christian and Leyffer, Sven and Sager, Sebastian}, title = {On convergence of binary trust-region steepest descent}, journal = {Journal of Nonsmooth Analysis and Optimization}, year = {2023}, volume = {4}, number = {2}, url = {https://arxiv.org/abs/2202.07934}, doi = {10.46298/jnsao-2023-10164} } |
Manns P and Nikolić V (2023), "Homotopy trust-region method for phase-field approximations in perimeter-regularized binary optimal control", arXiv preprint arXiv:2310.12478. |
BibTeX:
@article{manns2023homotopy, author = {Manns, Paul and Nikolić, Vanja}, title = {Homotopy trust-region method for phase-field approximations in perimeter-regularized binary optimal control}, journal = {arXiv preprint arXiv:2310.12478}, year = {2023}, url = {https://arxiv.org/abs/2310.12478} } |
Manns P and Schiemann A (2023), "On Integer Optimal Control with Total Variation Regularization on Multi-dimensional Domains", SIAM Journal on Control and Optimization. Vol. 61(6), pp. 3415-3441. SIAM. |
BibTeX:
@article{manns2023integer, author = {Manns, Paul and Schiemann, Annika}, title = {On Integer Optimal Control with Total Variation Regularization on Multi-dimensional Domains}, journal = {SIAM Journal on Control and Optimization}, publisher = {SIAM}, year = {2023}, volume = {61}, number = {6}, pages = {3415--3441}, url = {https://arxiv.org/abs/2212.12226}, doi = {10.48550/arXiv.2212.12226} } |
Manns P and Surowiec TM (2023), "On Binary Optimal Control in H^s(0,T), s<1/2", Comptes Rendus. Mathématique. Vol. 361(G9), pp. 1531-1540. |
BibTeX:
@article{manns2023on, author = {Manns, Paul and Surowiec, Thomas M}, title = {On Binary Optimal Control in H^s(0,T), s<1/2}, journal = {Comptes Rendus. Mathématique}, year = {2023}, volume = {361}, number = {G9}, pages = {1531--1540}, doi = {10.5802/crmath.507} } |
Severitt M and Manns P (2023), "Efficient solution of discrete subproblems arising in integer optimal control with total variation regularization", INFORMS Journal on Computing. Vol. 35(4) INFORMS. |
BibTeX:
@article{severitt2023efficient, author = {Severitt, Marvin and Manns, Paul}, title = {Efficient solution of discrete subproblems arising in integer optimal control with total variation regularization}, journal = {INFORMS Journal on Computing}, publisher = {INFORMS}, year = {2023}, volume = {35}, number = {4}, url = {https://arxiv.org/abs/2206.01642}, doi = {10.48550/arXiv.2206.01642} } |
Kirches C, Larson J, Leyffer S and Manns P (2022), "Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints", SIAM Journal on Optimization. Vol. 32(1), pp. 75-99. SIAM. |
BibTeX:
@article{kirches2022sequential, author = {Kirches, Christian and Larson, Jeffrey and Leyffer, Sven and Manns, Paul}, title = {Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints}, journal = {SIAM Journal on Optimization}, publisher = {SIAM}, year = {2022}, volume = {32}, number = {1}, pages = {75--99}, url = {https://arxiv.org/abs/2009.14047}, doi = {10.1137/20M1370501} } |
Leyffer S and Manns P (2022), "Sequential linear integer programming for integer optimal control with total variation regularization", ESAIM: Control, Optimisation and Calculus of Variations. Vol. 28(66) EDP Sciences. |
BibTeX:
@article{leyffer2022sequential, author = {Leyffer, Sven and Manns, Paul}, title = {Sequential linear integer programming for integer optimal control with total variation regularization}, journal = {ESAIM: Control, Optimisation and Calculus of Variations}, publisher = {EDP Sciences}, year = {2022}, volume = {28}, number = {66}, url = {https://arxiv.org/abs/2106.13453}, doi = {10.1051/cocv/2022059} } |
Manns P and Ulbrich S (2022), "A simplified Newton method to generate snapshots for POD models of semilinear optimal control problems", SIAM Journal on Numerical Analysis. Vol. 60(5), pp. 2807-2833. SIAM. |
BibTeX:
@article{manns2022simplified, author = {Manns, Paul and Ulbrich, Stefan}, title = {A simplified Newton method to generate snapshots for POD models of semilinear optimal control problems}, journal = {SIAM Journal on Numerical Analysis}, publisher = {SIAM}, year = {2022}, volume = {60}, number = {5}, pages = {2807--2833}, doi = {10.1137/21M1439821} } |
Bestehorn F, Hansknecht C, Kirches C and Manns P (2021), "Mixed-integer optimal control problems with switching costs: A shortest path approach", Mathematical Programming. Vol. 188(2), pp. 621-652. Springer. |
BibTeX:
@article{bestehorn2021mixed, author = {Bestehorn, Felix and Hansknecht, Christoph and Kirches, Christian and Manns, Paul}, title = {Mixed-integer optimal control problems with switching costs: A shortest path approach}, journal = {Mathematical Programming}, publisher = {Springer}, year = {2021}, volume = {188}, number = {2}, pages = {621--652}, doi = {10.1007/s10107-020-01581-3} } |
Bestehorn F, Hansknecht C, Kirches C and Manns P (2021), "Switching Cost Aware Rounding for Relaxations of Mixed-Integer Optimal Control Problems: The 2-D Case", IEEE Control Systems Letters. Vol. 6, pp. 548-553. IEEE. |
BibTeX:
@article{bestehorn2021switching, author = {Bestehorn, Felix and Hansknecht, Christoph and Kirches, Christian and Manns, Paul}, title = {Switching Cost Aware Rounding for Relaxations of Mixed-Integer Optimal Control Problems: The 2-D Case}, journal = {IEEE Control Systems Letters}, publisher = {IEEE}, year = {2021}, volume = {6}, pages = {548--553}, doi = {10.1109/LCSYS.2021.3082989} } |
Hahn M, Kirches C, Manns P, Sager S and Zeile C (2021), "Decomposition and approximation for PDE-constrained mixed-integer optimal control", In Non-Smooth and Complementarity-Based Distributed Parameter Systems: Simulation and Hierarchical Optimization. , pp. 283-305. Springer. |
BibTeX:
@incollection{hahn2021decomposition, author = {Hahn, Mirko and Kirches, Christian and Manns, Paul and Sager, Sebastian and Zeile, Clemens}, title = {Decomposition and approximation for PDE-constrained mixed-integer optimal control}, booktitle = {Non-Smooth and Complementarity-Based Distributed Parameter Systems: Simulation and Hierarchical Optimization}, publisher = {Springer}, year = {2021}, pages = {283--305}, doi = {10.1007/978-3-030-79393-7} } |
Kirches C, Manns P and Ulbrich S (2021), "Compactness and convergence rates in the combinatorial integral approximation decomposition", Mathematical Programming. Vol. 188(2), pp. 569-598. Springer. |
BibTeX:
@article{kirches2021compactness, author = {Kirches, Christian and Manns, Paul and Ulbrich, Stefan}, title = {Compactness and convergence rates in the combinatorial integral approximation decomposition}, journal = {Mathematical Programming}, publisher = {Springer}, year = {2021}, volume = {188}, number = {2}, pages = {569--598}, doi = {10.1007/s10107-020-01598-8} } |
Leyffer S, Manns P and Winckler M (2021), "Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation", Computational Optimization and Applications. Vol. 79, pp. 193-221. Springer. |
BibTeX:
@article{leyffer2021convergence, author = {Leyffer, Sven and Manns, Paul and Winckler, Malte}, title = {Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation}, journal = {Computational Optimization and Applications}, publisher = {Springer}, year = {2021}, volume = {79}, pages = {193--221}, doi = {10.1007/s10589-020-00262-3} } |
Lorenz DA, Manns P and Meyer C (2021), "Quadratically regularized optimal transport", Applied Mathematics & Optimization. Vol. 83(3), pp. 1919-1949. Springer. |
BibTeX:
@article{lorenz2021quadratically, author = {Lorenz, Dirk A and Manns, Paul and Meyer, Christian}, title = {Quadratically regularized optimal transport}, journal = {Applied Mathematics & Optimization}, publisher = {Springer}, year = {2021}, volume = {83}, number = {3}, pages = {1919--1949}, url = {https://arxiv.org/abs/1903.01112}, doi = {10.1007/s00245-019-09614-w} } |
Manns P (2021), "Asymptotics of Rounding Algorithms for Integer Control Problems in the Presence of Convexified Pointwise Mixed Constraints", PAMM. Vol. 20(1) Wiley Online Library. |
BibTeX:
@article{manns2021asymptotics, author = {Manns, Paul}, title = {Asymptotics of Rounding Algorithms for Integer Control Problems in the Presence of Convexified Pointwise Mixed Constraints}, journal = {PAMM}, publisher = {Wiley Online Library}, year = {2021}, volume = {20}, number = {1}, doi = {10.1002/pamm.202000005} } |
Manns P (2021), "Relaxed multibang regularization for the combinatorial integral approximation", SIAM Journal on Control and Optimization. Vol. 59(4), pp. 2645-2668. SIAM. |
BibTeX:
@article{manns2021relaxed, author = {Manns, Paul}, title = {Relaxed multibang regularization for the combinatorial integral approximation}, journal = {SIAM Journal on Control and Optimization}, publisher = {SIAM}, year = {2021}, volume = {59}, number = {4}, pages = {2645--2668}, url = {https://arxiv.org/abs/2011.00205}, doi = {10.1137/20M1377187} } |
Manns P, Kirches C and Lenders F (2021), "Approximation properties of sum-up rounding in the presence of vanishing constraints", Mathematics of Computation. Vol. 90(329), pp. 1263-1296. AMS. |
BibTeX:
@article{manns2021approximation, author = {Manns, Paul and Kirches, Christian and Lenders, Felix}, title = {Approximation properties of sum-up rounding in the presence of vanishing constraints}, journal = {Mathematics of Computation}, publisher = {AMS}, year = {2021}, volume = {90}, number = {329}, pages = {1263--1296}, doi = {10.24355/dbbs.084-202001071053-0} } |
Kirches C, Lenders F and Manns P (2020), "Approximation properties and tight bounds for constrained mixed-integer optimal control", SIAM Journal on Control and Optimization. Vol. 58(3), pp. 1371-1402. SIAM. |
BibTeX:
@article{kirches2020approximation, author = {Kirches, Christian and Lenders, Felix and Manns, Paul}, title = {Approximation properties and tight bounds for constrained mixed-integer optimal control}, journal = {SIAM Journal on Control and Optimization}, publisher = {SIAM}, year = {2020}, volume = {58}, number = {3}, pages = {1371--1402}, doi = {10.24355/dbbs.084-202001071053-0} } |
Manns P, Bestehorn F, Hansknecht C, Kirches C and Lenders F (2020), "Approximation properties of sum-up rounding and consequences for mixed-integer PDE-constrained optimization", Oberwolfach Reports., In Mixed-integer Nonlinear Optimization: A hatchery for modern mathematics. Vol. 16(2), pp. 1573-1637.
[BibTeX] |
BibTeX:
@inproceedings{manns2019approximationb, author = {Paul Manns and Felix Bestehorn and Christoph Hansknecht and Christian Kirches and Felix Lenders}, editor = {Liberti, Leo and Sager, Sebastian and Wiegele, Angelika}, title = {Approximation properties of sum-up rounding and consequences for mixed-integer PDE-constrained optimization}, booktitle = {Mixed-integer Nonlinear Optimization: A hatchery for modern mathematics}, journal = {Oberwolfach Reports}, year = {2020}, volume = {16}, number = {2}, pages = {1573--1637} } |
Manns P and Kirches C (2020), "Improved regularity assumptions for partial outer convexification of mixed-integer PDE-constrained optimization problems", ESAIM: Control, Optimisation and Calculus of Variations. Vol. 26, pp. 32. EDP Sciences. |
BibTeX:
@article{manns2020improved, author = {Manns, Paul and Kirches, Christian}, title = {Improved regularity assumptions for partial outer convexification of mixed-integer PDE-constrained optimization problems}, journal = {ESAIM: Control, Optimisation and Calculus of Variations}, publisher = {EDP Sciences}, year = {2020}, volume = {26}, pages = {32}, doi = {10.1051/cocv/2019016} } |
Manns P and Kirches C (2020), "Multidimensional sum-up rounding for elliptic control systems", SIAM Journal on Numerical Analysis. Vol. 58(6), pp. 3427-3447. SIAM. |
BibTeX:
@article{manns2020multidimensional, author = {Manns, Paul and Kirches, Christian}, title = {Multidimensional sum-up rounding for elliptic control systems}, journal = {SIAM Journal on Numerical Analysis}, publisher = {SIAM}, year = {2020}, volume = {58}, number = {6}, pages = {3427--3447}, doi = {10.1137/19M1260682} } |
Bestehorn F, Hansknecht C, Kirches C and Manns P (2019), "A switching cost aware rounding method for relaxations of mixed-integer optimal control problems", In 2019 IEEE 58th Conference on Decision and Control (CDC). , pp. 7134-7139. |
BibTeX:
@inproceedings{bestehorn2019switching, author = {Bestehorn, Felix and Hansknecht, Christoph and Kirches, Christian and Manns, Paul}, title = {A switching cost aware rounding method for relaxations of mixed-integer optimal control problems}, booktitle = {2019 IEEE 58th Conference on Decision and Control (CDC)}, year = {2019}, pages = {7134--7139}, doi = {10.1109/CDC40024.2019.9030063} } |
Kudruss M, Manns P and Kirches C (2019), "Efficient derivative evaluation for rigid-body dynamics based on recursive algorithms subject to kinematic and loop constraints", IEEE Control Systems Letters. Vol. 3(3), pp. 619-624. IEEE. |
BibTeX:
@article{kudruss2019efficient, author = {Kudruss, Manuel and Manns, Paul and Kirches, Christian}, title = {Efficient derivative evaluation for rigid-body dynamics based on recursive algorithms subject to kinematic and loop constraints}, journal = {IEEE Control Systems Letters}, publisher = {IEEE}, year = {2019}, volume = {3}, number = {3}, pages = {619--624}, doi = {10.1109/LCSYS.2019.2914338} } |
Manns P (2019), "Approximation properties of sum-up rounding". Thesis at: Technical University of Braunschweig. |
BibTeX:
@phdthesis{manns2019approximation, author = {Manns, Paul}, title = {Approximation properties of sum-up rounding}, school = {Technical University of Braunschweig}, year = {2019}, doi = {10.24355/dbbs.084-202001071053-0} } |
Manns P and Kirches C (2019), "Multi-dimensional Sum-Up Rounding using Hilbert curve iterates", PAMM. Vol. 19(1) Wiley Online Library. |
BibTeX:
@article{manns2019multi, author = {Manns, Paul and Kirches, Christian}, title = {Multi-dimensional Sum-Up Rounding using Hilbert curve iterates}, journal = {PAMM}, publisher = {Wiley Online Library}, year = {2019}, volume = {19}, number = {1}, doi = {10.1002/pamm.201900065} } |
Manns P and Mombaur K (2017), "Towards discrete mechanics and optimal control for complex models", IFAC-PapersOnLine. Vol. 50(1), pp. 4812-4818. Elsevier. |
BibTeX:
@article{manns2017towards, author = {Manns, Paul and Mombaur, Katja}, title = {Towards discrete mechanics and optimal control for complex models}, journal = {IFAC-PapersOnLine}, publisher = {Elsevier}, year = {2017}, volume = {50}, number = {1}, pages = {4812--4818}, doi = {10.1016/j.ifacol.2017.08.966} } |
Manns P, Sreenivasa M, Millard M and Mombaur K (2017), "Motion optimization and parameter identification for a human and lower back exoskeleton model", IEEE Robotics and Automation Letters. Vol. 2(3), pp. 1564-1570. IEEE. |
BibTeX:
@article{manns2017motion, author = {Manns, Paul and Sreenivasa, Manish and Millard, Matthew and Mombaur, Katja}, title = {Motion optimization and parameter identification for a human and lower back exoskeleton model}, journal = {IEEE Robotics and Automation Letters}, publisher = {IEEE}, year = {2017}, volume = {2}, number = {3}, pages = {1564--1570}, doi = {10.1109/LRA.2017.2676355} } |
Sreenivasa M, Millard M, Manns P and Mombaur K (2017), "Optimizing wearable assistive devices with neuromuscular models and optimal control", In Converging Clinical and Engineering Research on Neurorehabilitation II: Proceedings of the 3rd International Conference on NeuroRehabilitation (ICNR2016). , pp. 627-632. |
BibTeX:
@inproceedings{sreenivasa2017optimizing, author = {Sreenivasa, Manish and Millard, Matthew and Manns, Paul and Mombaur, Katja}, title = {Optimizing wearable assistive devices with neuromuscular models and optimal control}, booktitle = {Converging Clinical and Engineering Research on Neurorehabilitation II: Proceedings of the 3rd International Conference on NeuroRehabilitation (ICNR2016)}, year = {2017}, pages = {627--632}, url = {https://arxiv.org/abs/1804.02959}, doi = {10.1007/978-3-319-46669-9_103} } |
Kohlbrecher S, Rose C, Koert D, Manns P, Kunz F, Wartusch B, Daun K, Stumpf A and von Stryk O (2016), "RoboCup Rescue 2016 Team Description Paper Hector Darmstadt", In Proc. of the Intern. RoboCup Symposium.
[BibTeX] |
BibTeX:
@inproceedings{kohlbrecher2016robocup, author = {Kohlbrecher, Stefan and Rose, Christian and Koert, Dorothea and Manns, Paul and Kunz, Florian and Wartusch, Benedikt and Daun, Kevin and Stumpf, Alexander and von Stryk, Oskar}, title = {RoboCup Rescue 2016 Team Description Paper Hector Darmstadt}, booktitle = {Proc. of the Intern. RoboCup Symposium}, year = {2016} } |
Manns P and Hamacher K (2016), "Evolving Smoothing Kernels for Global Optimization", In Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016. , pp. 56-72. |
BibTeX:
@inproceedings{manns2016evolving, author = {Manns, Paul and Hamacher, Kay}, title = {Evolving Smoothing Kernels for Global Optimization}, booktitle = {Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016}, year = {2016}, pages = {56--72}, doi = {10.1007/978-3-319-31153-1_5} } |
Kohlbrecher S, Kunz F, Koert D, Rose C, Manns P, Daun K, Schubert J, Stumpf A and von Stryk O (2015), "Towards highly reliable autonomy for urban search and rescue robots", In RoboCup 2014: Robot World Cup XVIII. , pp. 118-129. |
BibTeX:
@inproceedings{kohlbrecher2015towards, author = {Kohlbrecher, Stefan and Kunz, Florian and Koert, Dorothea and Rose, Christian and Manns, Paul and Daun, Kevin and Schubert, Johannes and Stumpf, Alexander and von Stryk, Oskar}, title = {Towards highly reliable autonomy for urban search and rescue robots}, booktitle = {RoboCup 2014: Robot World Cup XVIII}, year = {2015}, pages = {118--129}, doi = {10.1007/978-3-319-18615-3_10} } |
Patzina L, Patzina S, Piper T and Manns P (2013), "Model-based generation of run-time monitors for autosar", In Modelling Foundations and Applications: 9th European Conference, ECMFA 2013. , pp. 70-85. |
BibTeX:
@inproceedings{patzina2013model, author = {Patzina, Lars and Patzina, Sven and Piper, Thorsten and Manns, Paul}, title = {Model-based generation of run-time monitors for autosar}, booktitle = {Modelling Foundations and Applications: 9th European Conference, ECMFA 2013}, year = {2013}, pages = {70--85}, doi = {10.1007/978-3-642-39013-5_6} } |
Piper T, Winter S, Manns P and Suri N (2012), "Instrumenting AUTOSAR for dependability assessment: A guidance framework", In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). , pp. 1-12. |
BibTeX:
@inproceedings{piper2012instrumenting, author = {Piper, Thorsten and Winter, Stefan and Manns, Paul and Suri, Neeraj}, title = {Instrumenting AUTOSAR for dependability assessment: A guidance framework}, booktitle = {IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012)}, year = {2012}, pages = {1--12}, doi = {10.1109/DSN.2012.6263913} } |