| 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}
}
|