PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Grunske, Lars"

Author of the publication

copydeleteadd this publication to your clipboard
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

, , , , and . IEEE transactions on software engineering, 41 (7): 620-638 (2015)
DOI: 10.1109/TSE.2015.2398877

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lars Klingel University of Stuttgart

Lars Bippus University of Stuttgart

Dr. Lars Mautsch University of Stuttgart

Lars Kübler University of Stuttgart

Lars Kirchhof University of Stuttgart

 

Other publications of authors with the same name

Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf.. University of Potsdam, (2004)Evaluating probabilistic models with uncertain model parameters., , , and . Software and Systems Modeling, 13 (4): 1395-1415 (2014)Performance Prediction of Component-Based Systems: A Survey from an Engineering Perspective, , , and . Architecting Systems with Trustworthy Components, volume 3938 of Lecture Notes in Computer Science, page 169--192. Springer-Verlag Berlin Heidelberg, (2006)Experience with fault injection experiments for FMEA., , , , and . Softw., Pract. Exper., 41 (11): 1233-1258 (2011)Early quality prediction of component-based systems - A generic framework.. Journal of Systems and Software, 80 (5): 678-686 (2007)Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM.. QoSA, volume 4214 of Lecture Notes in Computer Science, page 199-213. Springer, (2006)Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations., , and . CBSE, volume 3489 of Lecture Notes in Computer Science, page 33-48. Springer, (2005)How Much Event Data Is Enough? A Statistical Framework for Process Discovery., , , , and . CAiSE, volume 10816 of Lecture Notes in Computer Science, page 239-256. Springer, (2018)Probabilistic Timed Behavior Trees., , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 156-175. Springer, (2007)Formalizing Architectural Refactorings as Graph Transformation Systems.. SNPD, page 324-329. IEEE Computer Society, (2005)