default search action
Lars Grunske
Person information
- affiliation: Humboldt University of Berlin, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j47]João Paulo Costa de Araujo, Genaína Nunes Rodrigues, Marc Carwehl, Thomas Vogel, Lars Grunske, Ricardo Caldas, Patrizio Pelliccione:
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. IEEE Softw. 41(5): 43-51 (2024) - [j46]Sebastian Müller, Jan Arne Sparka, Martin Kuban, Claudia Draxl, Lars Grunske:
Grammar-based fuzzing of data integration parsers in computational materials science. Softw. Pract. Exp. 54(2): 208-224 (2024) - [c88]Nourhan Elfaramawy, Fatma Deniz, Lars Grunske, Marcus Hilbrich, Timo Kehrer, Anna-Lena Lamprecht, Jan Mendling, Matthias Weidlich:
On Managing Large Collections of Scientific Workflows. Modellierung (Workshops) 2024: 12 - [c87]Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
P3: A Dataset of Partial Program Patches. MSR 2024: 123-127 - [c86]Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. Software Engineering 2024: 135-136 - [c85]Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. Software Engineering 2024: 151-152 - [c84]Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE 2024: 2-13 - [c83]Marius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller:
Tests4Py: A Benchmark for System Testing. SIGSOFT FSE Companion 2024: 557-561 - [i19]Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske:
Formal Synthesis of Uncertainty Reduction Controllers. CoRR abs/2401.17187 (2024) - [i18]Stephan Druskat, Lars Grunske, Caroline Jay, Daniel S. Katz:
Research Software Engineering: Bridging Knowledge Gaps (Dagstuhl Seminar 24161). Dagstuhl Reports 14(4): 42-53 (2024) - 2023
- [j45]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A user study for evaluation of formal verification results and their explanation at Bosch. Empir. Softw. Eng. 28(5): 125 (2023) - [j44]Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154: 107100 (2023) - [j43]Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer:
RaQuN: a generic and scalable n-way model matching algorithm. Softw. Syst. Model. 22(5): 1495-1517 (2023) - [j42]Anna-Lena Lamprecht, Wilhelm Hasselbring, Jan Philipp Dietrich, Bernadette Fritzsch, Michael Goedicke, Lars Grunske, Carina Haupt, Stephan Janosch, Frank Löffler, Bernhard Rumpe, Robert Speck:
Neue Fachgruppe "Research Software Engineering" gegründet. Softwaretechnik-Trends 43(3): 4-5 (2023) - [j41]Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan:
Adversarial example-based test case generation for black-box speech recognition systems. Softw. Test. Verification Reliab. 33(5) (2023) - [c82]Anh Duc Vu, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske:
Design by Contract Revisited in the Context of Scientific Data Analysis Workflows. e-Science 2023: 1-2 - [c81]Anh Duc Vu, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske:
Contract-Driven Design of Scientific Data Analysis Workflows. e-Science 2023: 1-10 - [c80]Moeketsi Raselimo, Lars Grunske, Bernd Fischer:
Static Test Case Prioritization Strategies for Grammar-Based Testing. ASEW 2023: 151-158 - [c79]Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske:
Probabilistic Spatial Relations for Monitoring Behavior of Road Users. SAFECOMP 2023: 151-164 - [c78]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation - Summary. Software Engineering 2023: 71-72 - [c77]Hoang Lam Nguyen, Lars Grunske:
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing - Summary. Software Engineering 2023: 97-98 - [c76]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer:
A Summary of ReVision: History-based Model Repair Recommendations. Software Engineering 2023: 99-100 - [c75]Thomas Vogel, Chinh Tran, Lars Grunske:
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity - Summary. Software Engineering 2023: 121-122 - [c74]Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske:
Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary. Software Engineering 2023: 125-126 - [c73]Stefan Kugele, Lars Grunske:
20th Workshop on Automotive Software Engineering (ASE'23). Software Engineering 2023: 137-138 - [c72]Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. SEAMS 2023: 104-114 - [c71]Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. ESEC/SIGSOFT FSE 2023: 438-449 - [i17]Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues, Lars Grunske:
Runtime Verification of Self-Adaptive Systems with Changing Requirements. CoRR abs/2303.16530 (2023) - [i16]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch. CoRR abs/2304.08950 (2023) - [i15]Marius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller:
Tests4Py: A Benchmark for System Testing. CoRR abs/2307.05147 (2023) - 2022
- [j40]Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske:
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. Inf. Softw. Technol. 144: 106809 (2022) - [j39]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation. Inf. Softw. Technol. 145: 106800 (2022) - [j38]Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab:
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47(4): 18-24 (2022) - [j37]Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller:
Inputs From Hell. IEEE Trans. Software Eng. 48(4): 1138-1153 (2022) - [c70]Sebastian Müller, Valentin Gogoll, Anh Duc Vu, Timo Kehrer, Lars Grunske:
Automatically finding Metamorphic Relations in Computational Material Science Parsers. e-Science 2022: 521-528 - [c69]Hoang Lam Nguyen, Lars Grunske:
BEDIVFUZZ: Integrating Behavioral Diversity into Generator-based Fuzzing. ICSE 2022: 249-261 - [c68]Marcus Hilbrich, Sebastian Müller, Svetlana Kulagina, Christopher Lazik, Ninon De Mecquenem, Lars Grunske:
A Consolidated View on Specification Languages for Data Analysis Workflows. ISoLA (2) 2022: 201-215 - [c67]Daniel Trübenbach, Sebastian Müller, Lars Grunske:
A Comparative Evaluation on the Quality of Manual and Automatic Test Case Generation Techniques for Scientific Software - a Case Study of a Python Project for Material Science Workflows. SBST@ICSE 2022: 6-13 - [e5]Lars Grunske, Janet Siegmund, Andreas Vogelsang:
Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell. LNI P-320, Gesellschaft für Informatik e.V. 2022, ISBN 978-3-88579-714-2 [contents] - [i14]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation. CoRR abs/2201.03061 (2022) - [i13]Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske:
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. CoRR abs/2201.08441 (2022) - [i12]Hoang Lam Nguyen, Lars Grunske:
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing. CoRR abs/2202.13114 (2022) - [i11]Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira, Thomas Vogel, Rebekka Wohlrab:
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR abs/2206.12492 (2022) - [i10]Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR abs/2211.03817 (2022) - 2021
- [j36]Ulf Leser, Marcus Hilbrich, Claudia Draxl, Peter Eisert, Lars Grunske, Patrick Hostert, Dagmar Kainmüller, Odej Kao, Birte Kehr, Timo Kehrer, Christoph Koch, Volker Markl, Henning Meyerhenke, Tilmann Rabl, Alexander Reinefeld, Knut Reinert, Kerstin Ritter, Björn Scheuermann, Florian Schintke, Nicole Schweikardt, Matthias Weidlich:
The Collaborative Research Center FONDA. Datenbank-Spektrum 21(3): 255-260 (2021) - [j35]Sinem Getir Yaman, Esteban Pavese, Lars Grunske:
Quantitative Verification of Stochastic Regular Expressions. Fundam. Informaticae 179(2): 135-163 (2021) - [j34]Thomas Vogel, Chinh Tran, Lars Grunske:
A comprehensive empirical evaluation of generating test suites for mobile applications with diversity. Inf. Softw. Technol. 130: 106436 (2021) - [j33]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer:
History-based Model Repair Recommendations. ACM Trans. Softw. Eng. Methodol. 30(2): 15:1-15:46 (2021) - [c66]Roman Milewski, Simon Heiden, Lars Grunske:
Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates. CS&P 2021: 2-17 - [c65]Martin Kabierski, Hoang Lam Nguyen, Lars Grunske, Matthias Weidlich:
Sampling What Matters: Relevance-guided Sampling of Event Logs. ICPM 2021: 64-71 - [c64]Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS 2021: 1-12 - [c63]Ridwan Salihin Shariffdeen, Yannic Noller, Lars Grunske, Abhik Roychoudhury:
Concolic program repair. PLDI 2021: 390-405 - [c62]Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske:
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. Software Engineering 2021: 81-82 - [c61]Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller:
Probabilistic Grammar-based Test Generation. Software Engineering 2021: 97-98 - [d1]Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Benchmark Set for Program Repair Based on Partial Fixes. Zenodo, 2021 - [i9]Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR abs/2107.08038 (2021) - [i8]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation. CoRR abs/2108.06376 (2021) - 2020
- [j32]Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [c60]Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske:
HyDiff: hybrid differential software analysis. ICSE 2020: 1273-1285 - [c59]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
Counterexample Interpretation for Contract-Based Design. IMBSA 2020: 99-114 - [c58]Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske:
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. ASE 2020: 1103-1115 - [c57]Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske:
Evolutionary Grammar-Based Fuzzing. SSBSE 2020: 105-120 - [c56]Sebastian Müller, Thomas Vogel, Lars Grunske:
Bet and Run for Test Case Generation. SSBSE 2020: 204-219 - [i7]Martin Eberlein, Yannic Noller, Thomas Vogel, Lars Grunske:
Evolutionary Grammar-Based Fuzzing. CoRR abs/2008.01150 (2020) - [i6]Sebastian Müller, Thomas Vogel, Lars Grunske:
Bet and Run for Test Case Generation. CoRR abs/2008.01172 (2020) - [i5]Thomas Vogel, Chinh Tran, Lars Grunske:
A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity. CoRR abs/2012.14237 (2020)
2010 – 2019
- 2019
- [j31]Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer, Lars Grunske:
Complete Shadow Symbolic Execution with Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 44(4): 15-16 (2019) - [j30]Simon Heiden, Lars Grunske, Timo Kehrer, Fabian Keller, André van Hoorn, Antonio Filieri, David Lo:
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. Softw. Pract. Exp. 49(8): 1197-1224 (2019) - [c55]Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske:
Challenges for verifying and validating scientific software in computational materials science. SE4Science@ICSE 2019: 25-32 - [c54]Thomas Vogel, Chinh Tran, Lars Grunske:
Does Diversity Improve the Test Suite Generation for Mobile Applications? SSBSE 2019: 58-74 - [p6]Stefan Kögel, Matthias Tichy, Abhishek Chakraborty, Alexander Fay, Birgit Vogel-Heuser, Christopher Haubeck, Gabriele Taentzer, Timo Kehrer, Jan Ladiges, Lars Grunske, Mattias Ulbrich, Safa Bougouffa, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch:
Learning from Evolution for Evolution. Managed Software Evolution 2019: 255-308 - [i4]Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. CoRR abs/1903.04771 (2019) - [i3]Thomas Vogel, Chinh Tran, Lars Grunske:
Does Diversity Improve the Test Suite Generation for Mobile Applications? CoRR abs/1906.08142 (2019) - [i2]Thomas Vogel, Stephan Druskat, Markus Scheidgen, Claudia Draxl, Lars Grunske:
Challenges for Verifying and Validating Scientific Software in Computational Materials Science. CoRR abs/1906.09179 (2019) - 2018
- [j29]Lars Grunske, Mike Whalen:
Guest editorial: advanced topics in automated software engineering. Autom. Softw. Eng. 25(4): 743-744 (2018) - [j28]Teerat Pitakrat, Dusan Okanovic, André van Hoorn, Lars Grunske:
Hora: Architecture-aware online failure prediction. J. Syst. Softw. 137: 669-685 (2018) - [j27]Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy:
Supporting semi-automatic co-evolution of architecture and fault tree models. J. Syst. Softw. 142: 115-135 (2018) - [j26]Carlos Oliveira, Aldeida Aleti, Lars Grunske, Kate Smith-Miles:
Mapping the Effectiveness of Automated Test Suite Generation Techniques. IEEE Trans. Reliab. 67(3): 771-785 (2018) - [c53]Martin Bauer, Arik Senderovich, Avigdor Gal, Lars Grunske, Matthias Weidlich:
How Much Event Data Is Enough? A Statistical Framework for Process Discovery. CAiSE 2018: 239-256 - [c52]Sinem Getir, Esteban Pavese, Lars Grunske:
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. CS&P 2018 - [c51]Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury:
Semantic program repair using a reference implementation. ICSE 2018: 129-139 - [c50]Teerat Pitakrat, Dusan Okanovic, André van Hoorn, Lars Grunske:
Architecture-Aware Online Failure Prediction for Distributed Software Systems. Software Engineering 2018: 121-122 - [i1]Esteban Pavese, Ezekiel O. Soremekun, Nikolas Havrikov, Lars Grunske, Andreas Zeller:
Inputs from Hell: Generating Uncommon Inputs from Common Samples. CoRR abs/1812.07525 (2018) - 2017
- [j25]Aldeida Aleti, Irene Moser, Lars Grunske:
Analysing the fitness landscape of search-based software testing problems. Autom. Softw. Eng. 24(3): 603-621 (2017) - [c49]Fabian Keller, Lars Grunske, Simon Heiden, Antonio Filieri, André van Hoorn, David Lo:
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System. QRS 2017: 114-125 - [p5]Nikolas Herbst, Ayman A. Amin, Artur Andrzejak, Lars Grunske, Samuel Kounev, Ole J. Mengshoel, Priya Krishnan Sundararajan:
Online Workload Forecasting. Self-Aware Computing Systems 2017: 529-553 - 2016
- [j24]Barbara Paech, Sven Apel, Lars Grunske, Christian Prehofer:
Empirische Forschung zu Software-Evolution - Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed Software Evolution. Inform. Spektrum 39(3): 186-193 (2016) - [c48]Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske:
A learning-to-rank based fault localization approach using likely invariants. ISSTA 2016: 177-188 - [c47]Teerat Pitakrat, Dusan Okanovic, André van Hoorn, Lars Grunske:
An Architecture-Aware Approach to Hierarchical Online Failure Prediction. QoSA 2016: 60-69 - 2015
- [j23]Aldeida Aleti, Lars Grunske:
Test data generation with a Kalman filter-based adaptive genetic algorithm. J. Syst. Softw. 103: 343-352 (2015) - [j22]Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang:
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar. IEEE Trans. Software Eng. 41(7): 620-638 (2015) - [j21]Iman Avazpour, John Grundy, Lars Grunske:
Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendations. J. Vis. Lang. Comput. 28: 195-211 (2015) - [c46]Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy:
CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models. ICMT 2015: 34-40 - [c45]Antonio Filieri, Lars Grunske, Alberto Leva:
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) 2015: 200-211 - [e4]Myra B. Cohen, Lars Grunske, Michael Whalen:
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0025-8 [contents] - 2014
- [j20]Aldeida Aleti, Irene Moser, Indika Meedeniya, Lars Grunske:
Choosing the Appropriate Forecasting Model for Predictive Parameter Control. Evol. Comput. 22(2): 319-349 (2014) - [j19]Indika Meedeniya, Irene Moser, Aldeida Aleti, Lars Grunske:
Evaluating probabilistic models with uncertain model parameters. Softw. Syst. Model. 13(4): 1395-1415 (2014) - [c44]Teerat Pitakrat, André van Hoorn, Lars Grunske:
Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper). EDCC 2014: 66-69 - [c43]Kai Höfig, Marc Zeller, Lars Grunske:
metaFMEA-A Framework for Reusable FMEAs. IMBSA 2014: 110-122 - [c42]Lars Grunske, Ayman A. Amin:
Reactive vs. Proactive Detection of Quality of Service Problems. Software Engineering 2014: 37-38 - [c41]Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya:
Software Architecture Optimization Methods: A Systematic Literature Review. Software Engineering 2014: 77-78 - [p4]Iman Avazpour, Teerat Pitakrat, Lars Grunske, John Grundy:
Dimensions and Metrics for Evaluating Recommendation Systems. Recommendation Systems in Software Engineering 2014: 245-273 - [e3]Erhard Plödereder, Lars Grunske, Eric Schneider, Dominik Ull:
44. Jahrestagung der Gesellschaft für Informatik, Big Data - Komplexität meistern, INFORMATIK 2014, Stuttgart, Germany, September 22-26, 2014. LNI P-232, GI 2014, ISBN 978-3-88579-626-8 [contents] - 2013
- [j18]Ayman A. Amin, Lars Grunske, Alan Colman:
An approach to software reliability prediction based on time series modeling. J. Syst. Softw. 86(7): 1923-1932 (2013) - [j17]Lars Grunske, Aldeida Aleti:
Quality optimisation of software architectures and design specifications. J. Syst. Softw. 86(10): 2465-2466 (2013) - [j16]Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya:
Software Architecture Optimization Methods: A Systematic Literature Review. IEEE Trans. Software Eng. 39(5): 658-683 (2013) - [c40]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c39]Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 31-63 - [c38]Teerat Pitakrat, André van Hoorn, Lars Grunske:
A comparison of machine learning algorithms for proactive hard disk drive failure detection. ISARCS 2013: 1-10 - [c37]Iman Avazpour, John Grundy, Lars Grunske:
Tool support for automatic model transformation specification using concrete visualisations. ASE 2013: 718-721 - [c36]Sinem Getir, André van Hoorn, Lars Grunske, Matthias Tichy:
Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System. NiM-ALP@MoDELS 2013: 32-40 - [c35]Catia Trubiani, Indika Meedeniya, Vittorio Cortellessa, Aldeida Aleti, Lars Grunske:
Model-based performance analysis of software architectures under uncertainty. QoSA 2013: 69-78 - 2012
- [j15]Indika Meedeniya, Aldeida Aleti, Lars Grunske:
Architecture-driven reliability optimization with uncertain model parameters. J. Syst. Softw. 85(10): 2340-2355 (2012) - [c34]Ayman A. Amin, Alan Colman, Lars Grunske:
An Approach to Forecasting QoS Attributes of Web Services Based on ARIMA and GARCH Models. ICWS 2012: 74-81 - [c33]Ayman A. Amin, Lars Grunske, Alan Colman:
An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling. ASE 2012: 130-139 - [c32]Ayman A. Amin, Alan Colman, Lars Grunske:
Statistical detection of QoS violations based on CUSUM control charts. ICPE 2012: 97-108 - 2011
- [j14]Lars Grunske:
An effective sequential statistical test for probabilistic monitoring. Inf. Softw. Technol. 53(3): 190-199 (2011) - [j13]Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske:
Reliability-driven deployment optimization for embedded systems. J. Syst. Softw. 84(5): 835-846 (2011) - [j12]Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske:
Monitoring of Probabilistic Timed Property Sequence Charts. Softw. Pract. Exp. 41(7): 841-866 (2011) - [j11]Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay:
Experience with fault injection experiments for FMEA. Softw. Pract. Exp. 41(11): 1233-1258 (2011) - [j10]Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli:
Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. 37(3): 387-409 (2011) - [c31]Betty H. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, Norha M. Villegas:
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl 2011: 101-136 - [c30]Ayman A. Amin, Alan Colman, Lars Grunske:
Using Automated Control Charts for the Runtime Evaluation of QoS Attributes. HASE 2011: 299-306 - [c29]Indika Meedeniya, Irene Moser, Aldeida Aleti, Lars Grunske:
Architecture-based reliability evaluation under uncertainty. QoSA/ISARCS 2011: 85-94 - [c28]Markus Lumpe, Indika Meedeniya, Lars Grunske:
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns. SIGSOFT FSE 2011: 468-471 - 2010
- [j9]Ian Philip Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske:
Capture and reuse of composable failure patterns. Int. J. Crit. Comput. Based Syst. 1(1/2/3): 128-147 (2010) - [j8]Pengcheng Zhang, Bixin Li, Lars Grunske:
Timed Property Sequence Chart. J. Syst. Softw. 83(3): 371-390 (2010) - [j7]Ian Philip Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos:
Generalizable safety annotations for specification of failure patterns. Softw. Pract. Exp. 40(5): 453-483 (2010) - [c27]Carlo Ghezzi, Lars Grunske, Raffaela Mirandola:
First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). ICSE (2) 2010: 451-452 - [c26]Indika Meedeniya, Lars Grunske:
An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters. ISSRE 2010: 229-238 - [c25]Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, Lars Grunske:
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. QoSA 2010: 52-67 - [e2]Lars Grunske, Ralf H. Reussner, Frantisek Plásil:
Component-Based Software Engineering, 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings. Lecture Notes in Computer Science 6092, Springer 2010, ISBN 978-3-642-13237-7 [contents] - [e1]Carlo Ghezzi, Lars Grunske, Raffaela Mirandola:
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa. ACM 2010, ISBN 978-1-60558-972-5 [contents]
2000 – 2009
- 2009
- [c24]Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li:
A Formal Syntax for Probabilistic Timed Property Sequence Charts. ASE 2009: 500-504 - [c23]Aldeida Aleti, Lars Grunske, Indika Meedeniya, Irene Moser:
Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. ASE 2009: 505-509 - [c22]Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya:
ArcheOpterix: An extendable tool for architecture optimization of AADL models. MOMPES 2009: 61-71 - [c21]Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue:
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST 2009: 299-308 - [c20]Stefan Björnander, Lars Grunske, Kristina Lundqvist:
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA 2009: 101-115 - [c19]Lars Grunske, Pengcheng Zhang:
Monitoring probabilistic properties. ESEC/SIGSOFT FSE 2009: 183-192 - 2008
- [j6]Lars Grunske, David Joyce:
Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles. J. Syst. Softw. 81(8): 1327-1345 (2008) - [j5]Robert Colvin, Lars Grunske, Kirsten Winter:
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. J. Syst. Softw. 81(12): 2163-2182 (2008) - [j4]Lars Grunske, Kirsten Winter, Nisansala Yatapanage:
Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. J. Vis. Lang. Comput. 19(3): 343-379 (2008) - [c18]Markus Lumpe, Lars Grunske, Jean-Guy Schneider:
State Space Reduction Techniques for Component Interfaces. CBSE 2008: 130-145 - [c17]Lars Grunske, Jun Han:
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models. HASE 2008: 283-292 - [c16]Lars Grunske:
Specification patterns for probabilistic quality properties. ICSE 2008: 31-40 - 2007
- [j3]Lars Grunske, Roger McCowan:
Systems engineering, test and evaluation: maximising customer satisfaction. Innov. Syst. Softw. Eng. 3(2): 103-104 (2007) - [j2]Lars Grunske:
Early quality prediction of component-based systems - A generic framework. J. Syst. Softw. 80(5): 678-686 (2007) - [c15]Lars Grunske, Kirsten Winter, Robert Colvin:
Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC 2007: 211-222 - [c14]Ivica Crnkovic, Lars Grunske:
Evaluating Dependability Attributes of Component-Based Specifications. ICSE Companion 2007: 157-158 - [c13]Robert Colvin, Lars Grunske, Kirsten Winter:
Probabilistic Timed Behavior Trees. IFM 2007: 156-175 - [c12]Lars Grunske, Robert Colvin, Kirsten Winter:
Probabilistic Model-Checking Support for FMEA. QEST 2007: 119-128 - 2006
- [c11]Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker:
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS 2006: 188-209 - [c10]Lars Grunske:
Identifying "good" architectural design alternatives with multi-objective optimization strategies. ICSE 2006: 849-852 - [c9]Lars Grunske:
Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. QoSA 2006: 199-213 - 2005
- [c8]Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos:
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. CBSE 2005: 33-48 - [c7]Lars Grunske, Leif Geiger, Michael Lawley:
A Graphical Specification of Model Transformations with Triple Graph Grammars. ECMDA-FA 2005: 284-298 - [c6]Lars Grunske, Bernhard Kaiser:
An Automated Dependability Analysis Method for COTS-Based Systems. ICCBSS 2005: 178-190 - [c5]Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter:
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM 2005: 129-149 - [c4]Lars Grunske, Bernhard Kaiser:
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. QSIC 2005: 117-123 - [c3]Lars Grunske:
Formalizing Architectural Refactorings as Graph Transformation Systems. SNPD 2005: 324-329 - [p3]Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró:
Using Graph Transformation for Practical Model-Driven Software Engineering. Model-Driven Software Development 2005: 91-117 - [p2]Walter Maydl, Lars Grunske:
Behavioral Types for Embedded Software - A Survey. Component-Based Software Development for Embedded Systems 2005: 82-106 - [p1]Lars Grunske, Bernhard Kaiser, Ralf H. Reussner:
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process. Component-Based Software Development for Embedded Systems 2005: 249-274 - 2004
- [b1]Lars Grunske:
Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf. University of Potsdam, 2004, pp. 1-198 - [j1]Lars Grunske, Einar Lueck:
Applicaton of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. ACIS Int. J. Comput. Inf. Sci. 5(2): 122-128 (2004) - [c2]Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage:
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. Architecting Systems with Trustworthy Components 2004: 169-192 - 2003
- [c1]Lars Grunske:
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification. SNPD 2003: 439-445
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint