inproceedings_kapova.bib
@inproceedings{avritzer2013a,
acmid = {2479905},
address = {New York, NY, USA},
author = {Alberto Avritzer and Sindhu Suresh and Daniel Sadoc Menasch\'{e} and Rosa Maria Meri {Le\~{a}o} and Edmundo de Souza e Silva and Morganna Carmem Diniz and Kishor Trivedi and Lucia Happe and Anne Koziolek},
booktitle = {Proceedings of the fourth ACM/SPEC International Conference on Performance Engineering (ICPE 2013)},
doi = {10.1145/2479871.2479905},
isbn = {978-1-4503-1636-1},
keywords = {fault tolerance, smart grid, survivability, transient analysis},
location = {Prague, Czech Republic},
numpages = {12},
pages = {241--252},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/avritzer2013a.pdf},
publisher = {ACM, New York, NY, USA},
series = {ICPE '13},
title = {Survivability Models for the Assessment of Smart Grid Distribution Automation Network Designs},
url = {http://doi.acm.org/10.1145/2479871.2479905},
year = {2013}
}
@inproceedings{avritzer2014a,
abstract = {We present models and metrics for the survivability assessment of distribution power grid networks accounting for the impact of multiple failures due to large storms. The analytical models used to compute the proposed metrics are built on top of three design principles: state space factorization, state aggregation, and initial state conditioning. Using these principles, we build scalable models that are amenable to analytical treatment and efficient numerical solution. Our models capture the impact of using reclosers and tie switches to enable faster service restoration after large storms. We have evaluated the presented models using data from a real power distribution grid impacted by a large storm: Hurricane Sandy. Our empirical results demonstrate that our models are able to efficiently evaluate the impact of storm hardening investment alternatives on customer affecting metrics such as the expected energy not supplied until complete system recovery.},
author = {Alberto Avritzer and Laura Carnevali and Lucia Happe and Anne Koziolek and Daniel Sadoc Menasche and Marco Paolieri and Sindhu Suresh},
booktitle = {Quantitative Evaluation of Systems, 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings},
editor = {Norman, Gethin and Sanders, William},
isbn = {978-3-319-10695-3},
pages = {345--367},
publisher = {Springer-Verlag Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
subseries = {Theoretical Computer Science and General Issues},
title = {A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids},
doi = {10.1007/978-3-319-10696-0},
url = {http://www.springer.com/computer/theoretical+computer+science/book/978-3-319-10695-3},
volume = {8657},
year = {2014},
pdf = {https://stlab.dinfo.unifi.it/carnevali/papers/14_ACHKMPS_QEST.pdf}
}
@inproceedings{becker2013b,
address = {New York, NY, USA},
author = {Steffen Becker and Raffaela Mirandola and Lucia Happe and Catia Trubiani},
booktitle = {Proceedings of the 4th Joint ACM/SPEC International Conference on Performance Engineering (ICPE '13), Work-In-Progress Track},
location = {Prague, Chech Repbulic},
publisher = {ACM},
title = {Towards a methodology driven by dependencies of quality attributes for {QoS}-based analysis},
year = {2013}
}
@incollection{happe2014a,
author = {Lucia Happe and Erik Burger and Max Kramer and Andreas Rentschler and Ralf Reussner},
booktitle = {Future Business Software -- Current Trends in Business Software Development},
doi = {10.1007/978-3-319-04144-5},
editor = {Gino Brunetti and Thomas Feld and Joachim Schnitter and Lutz Heuser and Christian Webel},
isbn = {978-3-319-04143-8},
issn = {2196-8705},
location = {New York, Heidelberg},
pages = {117-131},
publisher = {Springer International Publishing},
series = {Progress in IS},
tags = {invited},
title = {{Completion and Extension Techniques for Enterprise Software Performance Engineering}},
year = {2014}
}
@inproceedings{galba2005a,
abstract = {The article presents architecture of semivirtual campus technical infrastructure for Edinet project. Its aim is to integrate data network laboratories of multiple partners into single unified system accessible by students remotely via Internet. The architecture is defined to integrate various existing remotely accessible networking laboratories and education approaches. The intent was to reach maximum flexibility to support efficient sharing of lab equipment including a possibility to create temporary distributed lab topologies spanning multiple partners.},
address = {Kosice},
author = {Galba, Juraj and Jakab, Frantisek and Kapova, Lucia},
booktitle = {The 4th International Conference on Emerging e-learning Technologies and Applications},
isbn = {ISBN 80-8086-016-6},
publisher = {ELFA},
series = {Information and Communications Technologies in Education},
title = {{R}emote laboratory in education - {V}irtual{LAB} integration in e-learning education methods},
year = {2005}
}
@inproceedings{gouvea2011a,
acmid = {1958757},
address = {New York, NY, USA},
author = {Daniel Dominguez Gouv\^ea and Cyro Muniz and Gilson Pinto and Alberto Avritzer and Rosa Maria Meri {Le\~{a}o} and Edmundo de Souza e Silva and Morganna Carmem Diniz and Luca Berardinelli and Julius C. B. Leite and Daniel {Moss\'e} and Yuanfang Cai and Mike Dalton and Lucia Kapova and Anne Koziolek},
booktitle = {Proceedings of the second joint WOSP/SIPEW international conference on Performance engineering (ICPE 2011)},
doi = {10.1145/1958746.1958757},
editor = {Samuel Kounev and Vittorio Cortellessa and Raffaela Mirandola and David J. Lilja},
isbn = {978-1-4503-0519-8},
location = {Karlsruhe, Germany},
numpages = {12},
pages = {43--54},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/gouvea2011a.pdf},
publisher = {ACM},
title = {Experience Building Non-Functional Requirement Models of a Complex Industrial Architecture},
url = {http://icpe2011.ipd.kit.edu/call_for_papers/industrialexperience_track/},
year = {2011}
}
@inproceedings{happe2010a,
abstract = {Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challenging. Most enterprise applications include a large software basis, such as middleware and legacy systems. In many cases, the software basis is the determining factor of the system's overall timing behavior, throughput, and resource utilization. To capture these influences on the overall system's performance, established performance prediction methods (modelbased and analytical) rely on models that describe the performance-relevant aspects of the system under study. Creating such models requires detailed knowledge on the system's structure and behavior that, in most cases, is not available. In this paper, we abstract from the internal structure of the system under study. We focus our efforts on message-oriented middleware and analyze the dependency between the MOM's usage and its performance. We use statistical inference to conclude these dependencies from observations. For ActiveMQ 5.3, the resulting functions predict the performance with an relative mean square error 0.1.},
author = {Jens Happe and Dennis Westermann and Kai Sachs and Lucia Kapova},
booktitle = {{Research into Practice - Reality and Gaps (Proceedings of QoSA 2010)}},
editor = {George Heineman and Jan Kofron and Frantisek Plasil},
pages = {20--35},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/happe2010a.pdf},
publisher = {Springer},
series = {Lecture Notes in Computer Science (LNCS)},
title = {{Statistical Inference of Software Performance Models for Parametric Performance Completions}},
volume = {6093},
year = {2010}
}
@inproceedings{hinkel2013b,
abstract = {{Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Petri Net to State Chart case. A solution has to transform a Petri Net to a State Chart and has to derive a hierarchical structure within the State Chart. This paper presents the solution for this case using NMF Transformations as transformation engine. }},
author = {Georg Hinkel and Thomas Goldschmidt and Lucia Happe},
title = {An {NMF} solution for the Petri Nets to State Charts case study at the {TTC} 2013},
booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest, Hungary, 19-20 June, 2013.},
pages = {95--100},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.135.12},
doi = {10.4204/EPTCS.135.12},
tags = {refereed,workshop,nmf},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2013b.pdf}
}
@inproceedings{hinkel2013c,
abstract = {{Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Flowgraphs case. A solution has to transform a Java code model into a simplified version and has to derive control and data flow. This paper presents the solution for this case using NMF Transformations as transformation engine. }},
author = {Georg Hinkel and Thomas Goldschmidt and Lucia Happe},
title = {An {NMF} solution for the Flowgraphs case at the {TTC} 2013},
booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest, Hungary, 19-20 June, 2013.},
pages = {37--42},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.135.5},
doi = {10.4204/EPTCS.135.5},
tags = {refereed,workshop,nmf},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2013c.pdf}
}
@inproceedings{hinkel2014,
abstract = {{To increase the development productivity, possibilities for reuse, maintainability and quality of complex model transformations, modularization techniques are indispensable. Component-Based Software Engineering targets the challenge of modularity and is well-established in languages like Java or C\# with component models like .NET, EJB or OSGi. There are still many challenging barriers to overcome in current model transformation languages to provide comparable support for component-based development of model transformations. Therefore, this paper provides a pragmatic solution based on NMF Transformations, a model transformation language realized as an internal DSL embedded in C\#. An internal DSL can take advantage of the whole expressiveness and tooling build for the well established and known host language. In this work, we use the component model of the .NET platform to represent reusable components of model transformations to support internal and external model transformation composition. The transformation components are hidden behind transformation rule interfaces that can be exchanged dynamically through configuration. Using this approach we illustrate the possibilities to tackle typical issues of integrity and versioning, such as detecting versioning conflicts for model transformations.}},
author = {Hinkel, Georg and Happe, Lucia},
booktitle = {{Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages \& Systems (MoDELS 2014)}},
editors = {Federico Ciccozi and Massimo Tivoli and Jan Carlson},
pdf = {http://ceur-ws.org/Vol-1281/1.pdf},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
tags = {refereed,workshop,nmf},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2014_slides.pdf},
title = {{Using component frameworks for model transformations by an internal DSL}},
issn = {1613-0073},
pages = {6--15},
pdf = {http://ceur-ws.org/Vol-1281/1.pdf},
volume = {1281},
year = {2014}
}
@inproceedings{hinkel2015d,
author = {Hinkel, Georg and Happe, Lucia},
booktitle = {Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences},
location = {L'Aquila, Italy},
month = {July},
day = {24},
editor = {Louis Rose and Tassilo Horn and Filip Krikava},
issn = {1613-0073},
pages = {142--146},
pdf = {http://ceur-ws.org/Vol-1524/paper8.pdf},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {{An NMF Solution to the TTC Train Benchmark Case}},
volume = {1524},
tags = {refereed,workshop,nmf},
year = {2015}
}
@inproceedings{hinkel2016a,
author = {Hinkel, Georg and Kramer, Max and Burger, Erik and Strittmatter, Misha and Happe, Lucia},
title = {{An Empirical Study on the Perception of Metamodel Quality}},
booktitle = {Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development},
abstract = {{Despite the crucial importance of metamodeling for Model- Driven Engineering (MDE), there is still little discussion about the quality of metamodel design and its consequences in model-driven development processes. Presumably, the quality of metamodel design strongly affects the models and transformations that conform to these metamodels. However, so far surprisingly few work has been done to validate the characterization of metamodel quality. A proper characterization is essential to automate quality improvements for metamodels such as metamodel refactorings. In this paper, we present an empirical study to sharpen the understanding of the perception of metamodel quality. In the study, 24 participants created metamodels of two different domains and evaluated the metamodels in a peer review process according to an evaluation sheet. The results show that the perceived quality was mainly driven by the metamodels completeness, correctness and modularity while other quality attributes could be neglected.}},
location = {Rome, Italy},
day = {19--21},
month = {February},
year = {2016},
tags = {refereed,conference},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/hinkel2016a.pdf},
pages = {145-152},
isbn = {978-989-758-168-7},
url = {http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=9KRBAJDhYyc%3d}
}
@inproceedings{jakab2004a,
address = {Kosice},
author = {Jakab, Frantisek and Michlik, Jan and Kapova, Lucia and Galba, Juraj},
booktitle = {3nd International Conference on Emerging Telecommunications Technologies and Applications},
isbn = {ISBN 80-89066-85-2},
publisher = {ELFA},
title = {{V}irtual{L}ab},
year = {2004}
}
@inproceedings{jacques2015a,
title = {Survivability modeling to assess deployment alternatives accounting for rejuvenation},
author = {Jacques-Silva, Gabriela and Avritzer, Alberto and Menasch{\'e}, Daniel S and Koziolek, Anne and Happe, Lucia and Suresh, Sindhu},
booktitle = {Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on},
pages = {114--119},
year = {2015},
organization = {IEEE},
doi = {https://doi.org/10.1109/ISSREW.2015.7392055},
url = {http://ieeexplore.ieee.org/abstract/document/7392055},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/jacques2015a}
}
@inproceedings{kapa1010a,
abstract = {Increasing of the user requirements on video quality is essential to consider and have in mind while designing any video-providing services. The methods in the user-centered design of services are fairly labor intensive and have to consider resulting user experience. User experience is a term that is very hard to be defined. There are different approaches to user experience assessment. However, they lack a methods to predict expected user experience based on user's subjective point of view. We propose a method of User Experience Sensitivity Analysis to find dependency of user experience on quality attributes of the service and define initial prediction model. Validation of our approach is provided by comparison between the observed values of real user experience and prediction results.},
address = {Budapest, Hungary},
author = {Martin Kapa and Lucia Kapova},
booktitle = {Third Joint IFIP Wireless and Mobile Networking Conference (WMNC'2010)},
days = {13},
keywords = {video quality; subjective quality assessment; bayesian networks},
title = {User Experience Sensitivity Analysis guided by Videostreaming Quality Attributes},
year = {2010}
}
@inproceedings{kapova2011a,
author = {Lucia Kapova},
booktitle = {ICPE'11: Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering},
title = {{Reusable QoS Specifications for Systematic Component-based Design}},
year = {2011}
}
@inproceedings{kapova2006d,
address = {Schloss Dagstuhl, Germany},
author = {Kapova, Lucia},
booktitle = {IRTGW 2006 workshop},
isbn = {ISBN 3-936771-87-1},
month = {November},
publisher = {GITO-Verlag},
title = {{SOFA} as platform for {SOA} applications},
year = {2006}
}
@inproceedings{kapova2010a,
abstract = {Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity of detailed prediction models and the semantic gap between modelled performance concerns and functional concerns prevents many developers to address performance. As a solution to this problem, systematic model refinements, called completions, hide low-level details from developers. Completions automatically integrate performance-relevant details into component-based architectures using model-to-model transformations. In such scenarios, conflicts between different completions are likely. Therefore, the application order of completions must be determined unambiguously in order to reduce such conflicts. Many existing approaches employ the concept of performance completions to include performance-relevant details to the prediction model. So far researcher only address the application of a single completion on an architectural model. The reduction of conflicting completions have not yet been considered. In this paper, we present a systematic approach to reduce and avoid conflicts between completions that are applied to the same model. The method presented in this paper is essential for the automated integration of completions in software performance engineering. Furthermore, we apply our approach to reduce conflicts of a set of completions based on design patterns for concurrent software systems.},
author = {Kapova, Lucia and Becker, Steffen},
booktitle = {7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)},
editors = {Barbora Zimmerova and Jens Happe},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
title = {Systematic Refinement of Performance Models for Concurrent Component-based Systems},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/kapova2010a.pdf},
year = {2010}
}
@inproceedings{kapova2010e,
address = {New York, NY, USA},
author = {Kapova, Lucia and Buhnova, Barbora},
booktitle = {QUASOSS '10: Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems},
doi = {http://doi.acm.org/10.1145/1858263.1858269},
isbn = {978-1-4503-0239-5},
location = {Oslo, Norway},
pages = {1--7},
publisher = {ACM},
title = {Performance-driven stepwise refinement of component-based architectures},
year = {2010}
}
@inproceedings{kapova2009a,
author = {Kapova, Lucia and Goldschmidt, Thomas},
booktitle = {Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)},
publisher = {IEEE},
title = {Automated Feature Model-based Generation of Refinement Transformations},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/kapova2009a.pdf},
year = {2009}
}
@inproceedings{kapova2010b,
abstract = {Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of transformations is influenced by various characteristics - as with every programming language artifact. Code metrics are often used to estimate code maintainability. However, most of the established metrics do not apply to declarative transformation languages (such as QVT Relations) since they focus on imperative (e.g. object-oriented) coding styles. One way to characterize the maintainability of programs are code metrics. However, the vast majority of these metrics focus on imperative (e.g., object-oriented) coding styles and thus cannot be reused as-is for transformations written in declarative languages. In this paper we propose an initial set of quality metrics to evaluate transformations written in the declarative QVT Relations language.We apply the presented set of metrics to several reference transformations to demonstrate how to judge transformation maintainability based on our metrics.},
author = {Lucia Kapova and Thomas Goldschmidt and Steffen Becker and Joerg Henss},
booktitle = {{Research into Practice - Reality and Gaps (Proceeding of QoSA 2010)}},
editor = {George Heineman and Jan Kofron and Frantisek Plasil},
pages = {151-166},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kapova2010b.pdf},
publisher = {Springer-Verlag Berlin Heidelberg},
series = {LNCS},
title = {{Evaluating Maintainability with Code Metrics for Model-to-Model Transformations}},
volume = {6093},
year = {2010}
}
@inproceedings{kapova2010d,
address = {New York, NY, USA},
author = {Kapova, Lucia and Goldschmidt, Thomas and Happe, Jens and Reussner, Ralf H.},
booktitle = {MDI '10: Proceedings of the First International Workshop on Model-Drive Interoperability},
doi = {http://doi.acm.org/10.1145/1866272.1866282},
isbn = {978-1-4503-0292-0},
location = {Oslo, Norway},
pages = {69--78},
publisher = {ACM},
title = {Domain-specific templates for refinement transformations},
year = {2010}
}
@inproceedings{kapova2007a,
address = {Prague},
author = {Kapova, Lucia and Hnetynka, Petr},
booktitle = {16th Annual Conference of Doctoral Students},
isbn = {ISBN 978-80-7378-023-4},
month = {June},
day = {5--8},
publisher = {MATFYZPRESS},
series = {Proceedings of the 16th Annual Conference of Doctoral Students - WDS 2007},
title = {{M}odel-driven {D}evelopment of {S}ervice {O}riented {A}rchitectures},
url = {http://www.mff.cuni.cz/veda/konference/wds/contents/wds07.htm},
year = {2007}
}
@inproceedings{kapova2006c,
abstract = {This paper deals with the remote laboratory VirtualLAB (VL, http://vl.cnl.tuke.sk) solution developed at Computer Network Laboratory (Technical university of Ko�ice). Aim of the project is to design and implement the conception of VirtualLAB, which provides remote access to specified laboratory network devices. This project will be used in educational process as a part of CNAP (Cisco Networking Academy Program). Using this tool, students can access and configure network devices like routers and switches remotely from any place via Internet.},
address = {Bratislava},
author = {Kapova, Lucia and Jakab, Frantisek},
booktitle = {The 7th international conference on Virtual University},
isbn = {ISBN: 80-227-2542-0},
publisher = {E-Academia Slovaka},
title = {{P}rogressive virtual laboratory solution},
year = {2006}
}
@inproceedings{kapova2006b,
abstract = {In response to an increased demand for graduate level Information Assurance (IA) education, the SPS/MSCIT (School for Professional Studies/Masters of Science in Computer Information Technology) at Regis University, Denver developed a series of IA courses in late fall of 2003. In addition to the technical, policy and management course content, modern ethical decision making-techniques were integrated into the classroom courses. The courses were developed with the intent to deliver them to online students via the WebCT platform. The course development work was divided into three phases; phase 1, selection of appropriate ethical practices and decision-making techniques from content experts, professional organization, and standards bodies, phase 2, design, development and construction of supporting instructional labs associated with the standards using the MSCIT virtual laboratory at Regis University, and finally phase 3, implementation of the supporting classroom and online Vlabs.},
address = {Herlany},
author = {Kapova, Lucia and Jakab, Frantisek and Andoga, Vladimir and Nagy, Michal},
booktitle = {7-th International Scientific Conf. on Electronic Computers and Informatics},
isbn = {ISBN 80-8073-150-0},
title = {{V}irtual {L}aboratory: {C}omponent {B}ased {A}rchitecture {I}mplementation {E}xperience},
year = {2006}
}
@inproceedings{kapova2010c,
affiliation = {Software Design and Quality Group, Karlsruhe Institute of Technology (KIT), Germany},
author = {Kapova, Lucia and Reussner, Ralf},
booktitle = {Computer Performance Engineering},
editor = {Aldini, Alessandro and Bernardo, Marco and Bononi, Luciano and Cortellessa, Vittorio},
note = {10.1007/978-3-642-15784-4\_2},
pages = {17-36},
publisher = {Springer Berlin / Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Application of Advanced Model-Driven Techniques in Performance Engineering},
url = {http://dx.doi.org/10.1007/978-3-642-15784-4\_2},
volume = {6342},
year = {2010}
}
@inproceedings{kapova2009b,
abstract = {Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specifications created by component developers. Integrating classical performance models such as queueing networks, stochastic Petri nets, or stochastic process algebras, these approaches additionally exploit the benefits of component-based software engineering, such as reuse and division of work. Although researchers have proposed many approaches in this direction during the last decade, none of them has attained widespread industrial use. On this basis, we have conducted a comprehensive state-of-the-art survey of more than 20 of these approaches assessing their applicability. We classified the approaches according to the expressiveness of their component performance modelling languages. Our survey helps practitioners to select an appropriate approach and scientists to identify interesting topics for future research.},
address = {New York, NY, USA},
author = {Lucia Kapova and Barbora Zimmerova and Anne Martens and Jens Happe and Ralf H. Reussner},
booktitle = {Proceedings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering (WOSP/SIPEW '10)},
doi = {10.1145/1712605.1712613},
location = {San Jose, California, USA},
pages = {37--48},
publisher = {ACM},
title = {State Dependence in Performance Evaluation of Component-Based Software Systems},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/kapova2009b.pdf},
year = {2010}
}
@inproceedings{koziolek2013b,
author = {Koziolek, Anne and Avritzer, Alberto and Suresh, Sindhu and Menasche, Daniel Sadoc and Trivedi, Kishor and Happe, Lucia},
booktitle = {Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on},
doi = {10.1109/ISSRE.2013.6698903},
pages = {41-50},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2013b.pdf},
title = {Design of distribution automation networks using survivability modeling and power flow equations},
year = {2013}
}
@inproceedings{koziolek2012b,
abstract = {Smart distribution networks shall improve the efficiency and reliability of power distribution by intelligently managing the available power and requested load. Such intelligent power networks pose challenges for information and communication technology (ICT). Their design requires a holistic assessment of traditional power system topology and ICT architecture. Existing analysis approaches focus on analyzing the power networks components separately. For example, communication simulation provides failure data for communication links, while power analysis makes predictions about the stability of the traditional power grid. However, these insights are not combined to provide a basis for design decisions for future smart distribution networks. In this paper, we describe a common model-driven analysis framework for smart distribution networks based on the Common Information Model (CIM). This framework provides scalable analysis of large smart distribution networks by supporting analyses on different levels of abstraction. Furthermore, we apply our framework to holistic survivability analysis. We map the CIM on a survivability model to enable assessing design options with respect to the achieved survivability improvement. We demonstrate our approach by applying the mapping transformation in a case study based on a real distribution circuit. We conclude by evaluating the survivability impact of three investment options.},
author = {Anne Koziolek and Lucia Happe and Alberto Avritzer and Sindhu Suresh},
booktitle = {Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids 2012)},
doi = {10.1109/SE4SG.2012.6225713},
isbn = {978-1-4673-1864-8},
pages = {23--29},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2012b.pdf},
publisher = {IEEE},
title = {A Common Analysis Framework for Smart Distribution Networks Applied to Survivability Analysis of Distribution Automation},
url = {http://gridoptics.pnnl.gov/se4sg12},
year = {2012}
}
@inproceedings{lesso2005a,
address = {Kosice},
author = {Lesso, Marek and Kapova, Lucia and Orsulak, Rastislav},
booktitle = {5th PhD Student Conference},
isbn = {ISBN 80-969224-4-0},
title = {{T}echnologies for building information systems: {ESZ} {S}ybase - {A}dministration system case study},
year = {2005}
}
@inproceedings{menasche2012a,
acmid = {2425260},
address = {New York, NY, USA},
author = {Menasch{\'e}, Daniel S. and Meri {Le\~{a}o}, Rosa Maria and de Souza e Silva, Edmundo and Avritzer, Alberto and Suresh, Sindhu and Trivedi, Kishor and Marie, Raymond A. and Happe, Lucia and Koziolek, Anne},
booktitle = {SIGMETRICS Performance Evaluation Review},
doi = {10.1145/2425248.2425260},
editor = {Martin Arlitt and Niklas Carlsson and Nidhi Hegde},
issn = {0163-5999},
issue_date = {December 2012},
keywords = {smart grid, survivability, transient analysis},
month = {January},
note = {Special issue on the 2012 GreenMetrics workshop},
number = {3},
numpages = {5},
pages = {53--57},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/menasche2012a.pdf},
publisher = {ACM},
title = {Survivability analysis of power distribution in smart grids with active and reactive power modeling},
url = {http://doi.acm.org/10.1145/2425248.2425260},
volume = {40},
year = {2012}
}
@inproceedings{michlik2004a,
address = {Stara Lesna},
author = {Michlik, Jan and Jakab, Frantisek and Kapova, Lucia},
booktitle = {Annual Cisco Systems Networking Conference 2004},
isbn = {ISBN 80-89066-79-8},
title = {{P}roject {V}irtual {L}ab},
year = {2004}
}
@inproceedings{michlik2005a,
address = {Kosice},
author = {Michlik, Jan and Kapova, Lucia and Jakab, Frantisek},
booktitle = {5th PhD Student Conference},
isbn = {ISBN 80-969224-4-0},
title = {{S}ystem for remote access to the laboratories - {V}irtual {L}ab},
year = {2005}
}
@inproceedings{rentschler2013a,
_address = {Berlin--Heidelberg--New York},
_booktitle = {Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings},
author = {Andreas Rentschler and Qais Noorshams and Lucia Happe and Ralf Reussner},
booktitle = {Proceedings of the 6th International Conference on Model Transformation (ICMT '13), Budapest, Hungary},
doi = {10.1007/978-3-642-38883-5_14},
editor = {Keith Duddy and Gerti Kappel},
month = {June},
note = {Acceptance Rate: 20.7\%},
pages = {141--157},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rentschler2013a.pdf},
publisher = {Springer-Verlag Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {{Interactive Visual Analytics for Efficient Maintenance of Model Transformations}},
url = {http://dx.doi.org/10.1007/978-3-642-38883-5_14},
volume = {7909},
year = {2013}
}
@inproceedings{rentschler2014a,
acmid = {2577094},
address = {New York, NY, USA},
author = {Andreas Rentschler and Dominik Werle and Qais Noorshams and Lucia Happe and Ralf Reussner},
booktitle = {Proceedings of the 13th International Conference on Modularity (AOSD '14), Lugano, Switzerland, April 22 - 26, 2014},
doi = {10.1145/2577080.2577094},
isbn = {978-1-450-32772-5},
month = {April},
note = {Acceptance Rate: 35.0\%},
numpages = {12},
pages = {217--228},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rentschler2014a.pdf},
publisher = {ACM},
title = {{Designing Information Hiding Modularity for Model Transformation Languages}},
url = {http://doi.acm.org/10.1145/2577080.2577094},
year = {2014}
}
@inproceedings{rentschler2014b,
_booktitle = {Proceedings of the 3rd Workshop on the Analysis of Model Transformations (AMT@MODELS 2014), Valencia, Spain, September 29, 2014},
_pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/rentschler2014b.pdf},
author = {Andreas Rentschler and Dominik Werle and Qais Noorshams and Lucia Happe and Ralf Reussner},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Proceedings of the 3rd Workshop on the Analysis of Model Transformations co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (AMT{}@{}MOD\-ELS '14), Valencia, Spain, September 29, 2014},
editor = {Benoit Baudry and J{\"u}rgen Dingel and Levi Lucio and Hans Vangheluwe},
issn = {1613-0073},
month = {October},
pages = {4--13},
pdf = {http://ceur-ws.org/Vol-1277/1.pdf},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {{Remodularizing Legacy Model Transformations with Automatic Clustering Techniques}},
url = {http://nbn-resolving.de/urn:nbn:de:0074-1277-5},
volume = {1277},
year = {2014}
}
@inproceedings{trubiani2015a,
acmid = {2695532},
address = {New York, NY, USA},
author = {Trubiani, Catia and Koziolek, Anne and Happe, Lucia},
booktitle = {Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering},
doi = {10.1145/2668930.2695532},
isbn = {978-1-4503-3248-4},
keywords = {quality optimisation, smart grid environment, software performance engineering},
location = {Austin, Texas, USA},
numpages = {4},
pages = {199--202},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/trubiani2015a.pdf},
publisher = {ACM},
series = {ICPE '15},
title = {Exploiting Software Performance Engineering Techniques to Optimise the Quality of Smart Grid Environments},
url = {http://doi.acm.org/10.1145/2668930.2695532},
year = {2015}
}
@inproceedings{Wert:2013:SSR:2486788.2486861,
acmid = {2486861},
address = {Piscataway, NJ, USA},
author = {Wert, Alexander and Happe, Jens and Happe, Lucia},
booktitle = {Proceedings of the 2013 International Conference on Software Engineering},
isbn = {978-1-4673-3076-3},
location = {San Francisco, CA, USA},
numpages = {10},
pages = {552--561},
publisher = {IEEE Press},
series = {ICSE '13},
title = {Supporting swift reaction: automatically uncovering performance problems by systematic experiments},
url = {http://dl.acm.org/citation.cfm?id=2486788.2486861},
year = {2013}
}
@inproceedings{strittmatter2012a,
acmid = {2188337},
author = {Strittmatter, Misha and Happe, Lucia},
booktitle = {Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE)},
doi = {10.1145/2188286.2188337},
isbn = {978-1-4503-1202-8},
keywords = {connectors, model completions, performance abstractions},
location = {Boston, Massachusetts, USA},
numpages = {4},
pages = {275--278},
publisher = {ACM},
slides = {http://sdqweb.ipd.kit.edu/publications/pdfs/strittmatter2012a_slides.pdf},
tags = {refereed},
title = {Compositional performance abstractions of software connectors},
year = {2012}
}
@inproceedings{Avritzer20155,
abstract = {Abstract The infrastructures used in cities to supply power, water and gas are consistently becoming more automated. As society depends critically on these cyber-physical infrastructures, their survivability assessment deserves more attention. In this overview, we first touch upon a taxonomy on survivability of cyber-physical infrastructures, before we focus on three classes of infrastructures (gas, water and electricity) and discuss recent modelling and evaluation approaches and challenges.},
author = {Alberto Avritzer and Laura Carnevali and Hamed Ghasemieh and Lucia Happe and Boudewijn R. Haverkort and Anne Koziolek and Daniel Menasche and Anne Remke and Sahra Sedigh Sarvestani and Enrico Vicario},
booktitle = {Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling (PASM)},
doi = {http://dx.doi.org/10.1016/j.entcs.2014.12.010},
issn = {1571-0661},
keywords = {hybrid models},
number = {0},
pages = {5 - 25},
publisher = {Electronic Notes in Theoretical Computer Science},
title = {Survivability Evaluation of Gas, Water and Electricity Infrastructures},
url = {http://www.sciencedirect.com/science/article/pii/S1571066114000942},
volume = {310},
year = {2015},
pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Avritzer20155.pdf}
}
@incollection{happe2016b,
author = {Lucia Happe and Oliver Hummel and Anne Koziolek and Klaus Krogmann and Ralf H. Reussner},
title = {Software Engineering Processes},
pages = {195--225},
chapter = {9},
booktitle = {Modeling and Simulating Software Architectures -- The Palladio Approach},
publisher = {MIT Press},
year = {2016},
editor = {Reussner, Ralf H. and Becker, Steffen and Happe, Jens and Heinrich, Robert and Koziolek, Anne and Koziolek, Heiko and Kramer, Max and Krogmann, Klaus},
address = {Cambridge, MA},
month = {October},
url = {http://mitpress.mit.edu/books/modeling-and-simulating-software-architectures},
tags = {chapter}
}
@inproceedings{raskob2015a,
author = {Raskob, Wolfgang and Bertsch, Valentin and Ruppert, Manuel and Strittmatter, Misha and Happe, Lucia and Broadnax, Brandon and Wandler, Stefan and Deines, Evgenia},
title = {Security of Electricity Supply in 2030},
booktitle = {Critical Infrastructure Protection and Resilience Europe (CIPRE)},
year = {2015},
month = {March},
day = {4-5},
location = {Den Haag, Netherlands},
tags = {refereed},
timestamp = {2017-04-13},
url = {https://publikationen.bibliothek.kit.edu/1000056115}
}