Matching entries: 0
settings...
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:
@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:
@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}
}