


Остановите войну!
for scientists:


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
showing all ?? records
2020 – today
- 2023
- [j41]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) - [c76]Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
A systematic literature review on counterexample explanation - Summary. Software Engineering 2023: 71-72 - [c75]Hoang Lam Nguyen, Lars Grunske:
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing - Summary. Software Engineering 2023: 97-98 - [c74]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer:
A Summary of ReVision: History-based Model Repair Recommendations. Software Engineering 2023: 99-100 - [c73]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 - [c72]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 - [c71]Stefan Kugele, Lars Grunske:
20th Workshop on Automotive Software Engineering (ASE'23). Software Engineering 2023: 137-138 - 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 - [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]