@inproceedings{GleirscherVF14, title = {A model-based approach to innovation management of automotive control systems}, author = {Mario Gleirscher and Andreas Vogelsang and Steffen Fuhrmann}, year = {2014}, doi = {10.1109/IWSPM.2014.6891062}, url = {http://dx.doi.org/10.1109/IWSPM.2014.6891062}, researchr = {https://researchr.org/publication/GleirscherVF14}, cites = {0}, citedby = {0}, pages = {1-10}, booktitle = {8th IEEE International Workshop on Software Product Management, IWSPM 2014, Karlskrona, Sweden, August 26, 2014}, editor = {Andrey Maglyas and Christof Ebert}, publisher = {IEEE Computer Society}, isbn = {978-1-4799-6358-4}, } @inproceedings{GleirscherGIW12, title = {On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises}, author = {Mario Gleirscher and Dmitriy Golubitskiy and Maximilian Irlbeck and Stefan Wagner}, year = {2012}, doi = {10.1007/978-3-642-27213-4_3}, url = {http://dx.doi.org/10.1007/978-3-642-27213-4_3}, researchr = {https://researchr.org/publication/GleirscherGIW12}, cites = {0}, citedby = {0}, pages = {14-38}, booktitle = {Software Quality. Process Automation in Software Development - 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings}, editor = {Stefan Biffl and Dietmar Winkler and Johannes Bergsmann}, volume = {94}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-642-27212-7}, } @inproceedings{GleirscherK17-0, title = {Defining Risk States in Autonomous Road Vehicles}, author = {Mario Gleirscher and Stefan Kugele}, year = {2017}, doi = {10.1109/HASE.2017.14}, url = {https://doi.org/10.1109/HASE.2017.14}, researchr = {https://researchr.org/publication/GleirscherK17-0}, cites = {0}, citedby = {0}, pages = {112-115}, booktitle = {18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017}, publisher = {IEEE}, isbn = {978-1-5090-4636-2}, } @inproceedings{GleirscherC17, title = {Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern}, author = {Mario Gleirscher and Carmen Cârlan}, year = {2017}, doi = {10.1109/HASE.2017.15}, url = {https://doi.org/10.1109/HASE.2017.15}, researchr = {https://researchr.org/publication/GleirscherC17}, cites = {0}, citedby = {0}, pages = {53-60}, booktitle = {18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017}, publisher = {IEEE}, isbn = {978-1-5090-4636-2}, } @article{GleirscherKS17, title = {Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017}, author = {Mario Gleirscher and Stefan Kugele and Jonathan Sprinkle}, year = {2017}, doi = {10.1145/3127360.3127373}, url = {http://doi.acm.org/10.1145/3127360.3127373}, researchr = {https://researchr.org/publication/GleirscherKS17}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {42}, number = {3}, pages = {22-23}, } @article{BroyGMWKK09, title = {Toward a Holistic and Standardized Automotive Architecture Description}, author = {Manfred Broy and Mario Gleirscher and Stefano Merenda and Doris Wild and Peter Kluge and Wolfgang Krenzer}, year = {2009}, doi = {10.1109/MC.2009.413}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.413}, tags = {architecture}, researchr = {https://researchr.org/publication/BroyGMWKK09}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {42}, number = {11}, pages = {98-101}, } @inproceedings{GleirscherK17, title = {From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case}, author = {Mario Gleirscher and Stefan Kugele}, year = {2017}, doi = {10.1007/978-3-319-57288-8_23}, url = {http://dx.doi.org/10.1007/978-3-319-57288-8_23}, researchr = {https://researchr.org/publication/GleirscherK17}, cites = {0}, citedby = {0}, pages = {310-326}, booktitle = {NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings}, editor = {Clark Barrett and Misty Davies and Temesghen Kahsai}, volume = {10227}, series = {Lecture Notes in Computer Science}, isbn = {978-3-319-57288-8}, } @inproceedings{MarmsolerG16, title = {Specifying Properties of Dynamic Architectures Using Configuration Traces}, author = {Diego Marmsoler and Mario Gleirscher}, year = {2016}, doi = {10.1007/978-3-319-46750-4_14}, url = {http://dx.doi.org/10.1007/978-3-319-46750-4_14}, researchr = {https://researchr.org/publication/MarmsolerG16}, cites = {0}, citedby = {0}, pages = {235-254}, booktitle = {Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, editor = {Augusto Sampaio and Farn Wang}, volume = {9965}, series = {Lecture Notes in Computer Science}, isbn = {978-3-319-46749-8}, } @inproceedings{HeinemannDGHI11, title = {On the Extent and Nature of Software Reuse in Open Source Java Projects}, author = {Lars Heinemann and Florian Deissenboeck and Mario Gleirscher and Benjamin Hummel and Maximilian Irlbeck}, year = {2011}, doi = {10.1007/978-3-642-21347-2_16}, url = {http://dx.doi.org/10.1007/978-3-642-21347-2_16}, tags = {Java, reuse, source-to-source, open-source}, researchr = {https://researchr.org/publication/HeinemannDGHI11}, cites = {0}, citedby = {0}, pages = {207-222}, booktitle = {Top Productivity through Software Reuse - 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings}, editor = {Klaus Schmid}, volume = {6727}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-21346-5}, } @inproceedings{KugeleCGFSSVBKM17, title = {Research Challenges for a Future-Proof E/E Architecture - A Project Statement}, author = {Stefan Kugele and Vadim Cebotari and Mario Gleirscher and Morteza Hashemi Farzaneh and Christoph Segler and Sina Shafaei and Hans-Jörg Vögel and Fridolin Bauer and Alois Knoll and Diego Marmsoler and Hans-Ulrich Michel}, year = {2017}, doi = {10.18420/in2017_146}, url = {https://doi.org/10.18420/in2017_146}, researchr = {https://researchr.org/publication/KugeleCGFSSVBKM17}, cites = {0}, citedby = {0}, pages = {1463-1474}, booktitle = {47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017, Chemnitz, Germany, September 25-29, 2017}, editor = {Maximilian Eibl and Martin Gaedke}, volume = {P-275}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-669-5}, } @article{GleirscherGIW14, title = {Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer}, author = {Mario Gleirscher and Dmitriy Golubitskiy and Maximilian Irlbeck and Stefan Wagner}, year = {2014}, doi = {10.1007/s11219-013-9217-z}, url = {http://dx.doi.org/10.1007/s11219-013-9217-z}, researchr = {https://researchr.org/publication/GleirscherGIW14}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {22}, number = {3}, pages = {499-542}, } @article{MarmsolerG16-0, title = {On Activation, Connection, and Behavior in Dynamic Architectures}, author = {Diego Marmsoler and Mario Gleirscher}, year = {2016}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2&a=2}, researchr = {https://researchr.org/publication/MarmsolerG16-0}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {26}, number = {2}, pages = {187-248}, } @inproceedings{Gleirscher11, title = {Hazard-based selection of test cases}, author = {Mario Gleirscher}, year = {2011}, doi = {10.1145/1982595.1982609}, url = {http://doi.acm.org/10.1145/1982595.1982609}, researchr = {https://researchr.org/publication/Gleirscher11}, cites = {0}, citedby = {0}, pages = {64-70}, booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011}, editor = {Antonia Bertolino and Howard Foster and J. Jenny Li}, publisher = {ACM}, isbn = {978-1-4503-0592-1}, } @inproceedings{GleirscherRS07, title = {Incremental Integration of Heterogeneous Systems Views}, author = {Mario Gleirscher and Daniel Ratiu and Bernhard Schätz}, year = {2007}, url = {http://eudl.eu/doi/10.1109/ICSEM.2007.373334}, researchr = {https://researchr.org/publication/GleirscherRS07}, cites = {0}, citedby = {0}, pages = {50-59}, booktitle = {1st International ICST Conference on Systems Engineering and Modeling, ICSEM 2007, Herzliyya-Haifa, Israel, March 20-23, 2007}, editor = {Daniel Brissaud}, publisher = {IEEE}, isbn = {1-4244-0771-0}, } @inproceedings{Gleirscher13, title = {Hazard Analysis for Technical Systems}, author = {Mario Gleirscher}, year = {2013}, doi = {10.1007/978-3-642-35702-2_8}, url = {http://dx.doi.org/10.1007/978-3-642-35702-2_8}, researchr = {https://researchr.org/publication/Gleirscher13}, cites = {0}, citedby = {0}, pages = {104-124}, booktitle = {Software Quality. Increasing Value in Software and Systems Development - 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings}, editor = {Dietmar Winkler and Stefan Biffl and Johannes Bergsmann}, volume = {133}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-642-35701-5}, }